0.00/0.01 c RoundingSat 2
0.00/0.01 c branch
0.00/0.01 c commit
0.00/0.01 c with Papilo
0.00/0.01 c with SCIP
0.00/0.01 c [STEP] parsing instance
0.00/0.06 c [STEP] preprocessing with Papilo
0.00/0.08 c [STEP] solving with SCIP
299.29/300.15 c [STEP] preprocessing done, loading into solver
299.29/300.19 c [STEP] solving
299.29/300.19 c #variables 5489 #constraints 19296
299.29/300.19 c SMALL=int, LARGE=long long
299.29/300.19 d SCIPUB 16
299.29/300.19 c bounds - >= 0 @ 299.247
299.29/300.19 c stratification level: 0
405.25/406.48 c bounds - >= 1 @ 299.254
405.25/406.48 c bounds - >= 2 @ 299.254
405.25/406.48 c bounds - >= 3 @ 299.254
405.25/406.48 c bounds - >= 4 @ 299.255
405.25/406.48 c bounds - >= 5 @ 299.256
405.25/406.48 c bounds - >= 6 @ 299.256
405.25/406.48 c #Conflicts: 1000 | #Constraints: 20306
405.25/406.48 c #Conflicts: 2000 | #Constraints: 21306
405.25/406.48 c INPROCESSING
405.25/406.48 c GARBAGE COLLECT
405.25/406.48 c #Conflicts: 3000 | #Constraints: 21313
405.25/406.48 c #Conflicts: 4000 | #Constraints: 22313
405.25/406.48 c INPROCESSING
405.25/406.48 c GARBAGE COLLECT
405.25/406.48 c #Conflicts: 5000 | #Constraints: 21719
405.25/406.48 c #Conflicts: 6000 | #Constraints: 22719
405.25/406.48 c INPROCESSING
405.25/406.48 c GARBAGE COLLECT
405.25/406.48 c #Conflicts: 7000 | #Constraints: 21725
405.25/406.48 c #Conflicts: 8000 | #Constraints: 22725
405.25/406.48 c #Conflicts: 9000 | #Constraints: 23725
405.25/406.48 c INPROCESSING
405.25/406.48 c GARBAGE COLLECT
405.25/406.48 c #Conflicts: 10000 | #Constraints: 22434
405.25/406.48 c #Conflicts: 11000 | #Constraints: 23434
405.25/406.48 c #Conflicts: 12000 | #Constraints: 24434
405.25/406.48 c INPROCESSING
405.25/406.48 c GARBAGE COLLECT
405.25/406.48 c #Conflicts: 13000 | #Constraints: 22890
405.25/406.48 c #Conflicts: 14000 | #Constraints: 23890
405.25/406.48 c #Conflicts: 15000 | #Constraints: 24890
405.25/406.48 c INPROCESSING
405.25/406.48 c GARBAGE COLLECT
405.25/406.48 c #Conflicts: 16000 | #Constraints: 23131
405.25/406.48 c #Conflicts: 17000 | #Constraints: 24131
405.25/406.48 c #Conflicts: 18000 | #Constraints: 25131
405.25/406.48 c INPROCESSING
405.25/406.48 c GARBAGE COLLECT
405.25/406.48 c #Conflicts: 19000 | #Constraints: 23149
405.25/406.48 c #Conflicts: 20000 | #Constraints: 24149
405.25/406.48 c #Conflicts: 21000 | #Constraints: 25149
405.25/406.48 c INPROCESSING
405.25/406.48 c GARBAGE COLLECT
405.25/406.48 c #Conflicts: 22000 | #Constraints: 22933
405.25/406.48 c #Conflicts: 23000 | #Constraints: 23933
405.25/406.48 c #Conflicts: 24000 | #Constraints: 24933
405.25/406.48 c #Conflicts: 25000 | #Constraints: 25933
405.25/406.48 c INPROCESSING
405.25/406.48 c GARBAGE COLLECT
405.25/406.48 c #Conflicts: 26000 | #Constraints: 23554
405.25/406.48 c #Conflicts: 27000 | #Constraints: 24554
405.25/406.48 c #Conflicts: 28000 | #Constraints: 25554
405.25/406.48 c #Conflicts: 29000 | #Constraints: 26554
405.25/406.48 c INPROCESSING
405.25/406.48 c GARBAGE COLLECT
405.25/406.48 c #Conflicts: 30000 | #Constraints: 23958
405.25/406.48 c #Conflicts: 31000 | #Constraints: 24958
405.25/406.48 c #Conflicts: 32000 | #Constraints: 25958
405.25/406.48 c #Conflicts: 33000 | #Constraints: 26958
405.25/406.48 c INPROCESSING
405.25/406.48 c GARBAGE COLLECT
405.25/406.48 c #Conflicts: 34000 | #Constraints: 24193
405.25/406.48 c #Conflicts: 35000 | #Constraints: 25193
405.25/406.48 c #Conflicts: 36000 | #Constraints: 26193
405.25/406.48 c #Conflicts: 37000 | #Constraints: 27193
405.25/406.48 c INPROCESSING
405.25/406.48 c GARBAGE COLLECT
405.25/406.48 c #Conflicts: 38000 | #Constraints: 24195
405.25/406.48 c #Conflicts: 39000 | #Constraints: 25195
405.25/406.48 c #Conflicts: 40000 | #Constraints: 26195
405.25/406.48 c #Conflicts: 41000 | #Constraints: 27195
405.25/406.48 c INPROCESSING
405.25/406.48 c GARBAGE COLLECT
405.25/406.48 c #Conflicts: 42000 | #Constraints: 23985
405.25/406.48 c #Conflicts: 43000 | #Constraints: 24985
405.25/406.48 c #Conflicts: 44000 | #Constraints: 25985
405.25/406.48 c #Conflicts: 45000 | #Constraints: 26985
405.25/406.48 c #Conflicts: 46000 | #Constraints: 27985
405.25/406.48 c INPROCESSING
405.25/406.48 c GARBAGE COLLECT
405.25/406.48 c #Conflicts: 47000 | #Constraints: 24586
405.25/406.48 c #Conflicts: 48000 | #Constraints: 25586
405.25/406.48 c #Conflicts: 49000 | #Constraints: 26586
405.25/406.48 c #Conflicts: 50000 | #Constraints: 27586
405.25/406.48 c #Conflicts: 51000 | #Constraints: 28586
405.25/406.48 c INPROCESSING
405.25/406.48 c GARBAGE COLLECT
405.25/406.48 c #Conflicts: 52000 | #Constraints: 24976
405.25/406.48 c #Conflicts: 53000 | #Constraints: 25976
405.25/406.48 c #Conflicts: 54000 | #Constraints: 26976
405.25/406.48 c #Conflicts: 55000 | #Constraints: 27976
405.25/406.48 c #Conflicts: 56000 | #Constraints: 28976
405.25/406.48 c INPROCESSING
405.25/406.48 c GARBAGE COLLECT
405.25/406.48 c #Conflicts: 57000 | #Constraints: 25205
405.25/406.48 c #Conflicts: 58000 | #Constraints: 26205
405.25/406.48 c #Conflicts: 59000 | #Constraints: 27205
405.25/406.48 c #Conflicts: 60000 | #Constraints: 28205
405.25/406.48 c #Conflicts: 61000 | #Constraints: 29205
405.25/406.48 c INPROCESSING
405.25/406.48 c GARBAGE COLLECT
405.25/406.48 c #Conflicts: 62000 | #Constraints: 25214
405.25/406.48 c #Conflicts: 63000 | #Constraints: 26214
405.25/406.48 c #Conflicts: 64000 | #Constraints: 27214
405.25/406.48 c #Conflicts: 65000 | #Constraints: 28214
540.33/541.97 c #Conflicts: 66000 | #Constraints: 29214
540.33/541.97 c INPROCESSING
540.33/541.97 c GARBAGE COLLECT
540.33/541.97 c #Conflicts: 67000 | #Constraints: 24994
540.33/541.97 c #Conflicts: 68000 | #Constraints: 25994
540.33/541.97 c #Conflicts: 69000 | #Constraints: 26994
540.33/541.97 c #Conflicts: 70000 | #Constraints: 27994
540.33/541.97 c #Conflicts: 71000 | #Constraints: 28994
540.33/541.97 c #Conflicts: 72000 | #Constraints: 29994
540.33/541.97 c INPROCESSING
540.33/541.97 c GARBAGE COLLECT
540.33/541.97 c #Conflicts: 73000 | #Constraints: 25577
540.33/541.97 c #Conflicts: 74000 | #Constraints: 26577
540.33/541.97 c #Conflicts: 75000 | #Constraints: 27577
540.33/541.97 c #Conflicts: 76000 | #Constraints: 28577
540.33/541.97 c #Conflicts: 77000 | #Constraints: 29577
540.33/541.97 c #Conflicts: 78000 | #Constraints: 30577
540.33/541.97 c INPROCESSING
540.33/541.97 c GARBAGE COLLECT
540.33/541.97 c #Conflicts: 79000 | #Constraints: 26033
540.33/541.97 c #Conflicts: 80000 | #Constraints: 27033
540.33/541.97 c #Conflicts: 81000 | #Constraints: 28033
540.33/541.97 c #Conflicts: 82000 | #Constraints: 29033
540.33/541.97 c #Conflicts: 83000 | #Constraints: 30033
540.33/541.97 c #Conflicts: 84000 | #Constraints: 31033
540.33/541.97 c INPROCESSING
540.33/541.97 c GARBAGE COLLECT
540.33/541.97 c #Conflicts: 85000 | #Constraints: 26261
540.33/541.97 c #Conflicts: 86000 | #Constraints: 27261
540.33/541.97 c #Conflicts: 87000 | #Constraints: 28261
540.33/541.97 c #Conflicts: 88000 | #Constraints: 29261
540.33/541.97 c #Conflicts: 89000 | #Constraints: 30261
540.33/541.97 c #Conflicts: 90000 | #Constraints: 31261
540.33/541.97 c INPROCESSING
540.33/541.97 c GARBAGE COLLECT
540.33/541.97 c #Conflicts: 91000 | #Constraints: 26257
540.33/541.97 c #Conflicts: 92000 | #Constraints: 27257
540.33/541.97 c #Conflicts: 93000 | #Constraints: 28257
540.33/541.97 c #Conflicts: 94000 | #Constraints: 29257
540.33/541.97 c #Conflicts: 95000 | #Constraints: 30257
540.33/541.97 c #Conflicts: 96000 | #Constraints: 31257
540.33/541.97 c INPROCESSING
540.33/541.97 c GARBAGE COLLECT
540.33/541.97 c #Conflicts: 97000 | #Constraints: 26083
540.33/541.97 c #Conflicts: 98000 | #Constraints: 27083
540.33/541.97 c #Conflicts: 99000 | #Constraints: 28083
540.33/541.97 c #Conflicts: 100000 | #Constraints: 29083
540.33/541.97 c #Conflicts: 101000 | #Constraints: 30083
540.33/541.97 c #Conflicts: 102000 | #Constraints: 31083
540.33/541.97 c #Conflicts: 103000 | #Constraints: 32083
540.33/541.97 c INPROCESSING
540.33/541.97 c GARBAGE COLLECT
540.33/541.97 c #Conflicts: 104000 | #Constraints: 26709
540.33/541.97 c #Conflicts: 105000 | #Constraints: 27709
540.33/541.97 c #Conflicts: 106000 | #Constraints: 28709
540.33/541.97 c #Conflicts: 107000 | #Constraints: 29709
540.33/541.97 c #Conflicts: 108000 | #Constraints: 30709
540.33/541.97 c #Conflicts: 109000 | #Constraints: 31709
540.33/541.97 c #Conflicts: 110000 | #Constraints: 32709
540.33/541.97 c INPROCESSING
540.33/541.97 c GARBAGE COLLECT
540.33/541.97 c #Conflicts: 111000 | #Constraints: 27074
540.33/541.97 c #Conflicts: 112000 | #Constraints: 28074
540.33/541.97 c #Conflicts: 113000 | #Constraints: 29074
540.33/541.97 c #Conflicts: 114000 | #Constraints: 30074
540.33/541.97 c #Conflicts: 115000 | #Constraints: 31074
540.33/541.97 c #Conflicts: 116000 | #Constraints: 32074
540.33/541.97 c #Conflicts: 117000 | #Constraints: 33074
540.33/541.97 c INPROCESSING
540.33/541.97 c GARBAGE COLLECT
540.33/541.97 c #Conflicts: 118000 | #Constraints: 27299
540.33/541.97 c #Conflicts: 119000 | #Constraints: 28299
540.33/541.97 c #Conflicts: 120000 | #Constraints: 29299
540.33/541.97 c #Conflicts: 121000 | #Constraints: 30299
540.33/541.97 c #Conflicts: 122000 | #Constraints: 31299
540.33/541.97 c #Conflicts: 123000 | #Constraints: 32299
540.33/541.97 c #Conflicts: 124000 | #Constraints: 33299
540.33/541.97 c INPROCESSING
540.33/541.97 c GARBAGE COLLECT
540.33/541.97 c #Conflicts: 125000 | #Constraints: 27221
540.33/541.97 c #Conflicts: 126000 | #Constraints: 28221
540.33/541.97 c #Conflicts: 127000 | #Constraints: 29221
540.33/541.97 c #Conflicts: 128000 | #Constraints: 30221
540.33/541.97 c #Conflicts: 129000 | #Constraints: 31221
540.33/541.97 c #Conflicts: 130000 | #Constraints: 32221
540.33/541.97 c #Conflicts: 131000 | #Constraints: 33221
540.33/541.97 c INPROCESSING
540.33/541.97 c GARBAGE COLLECT
540.33/541.97 c #Conflicts: 132000 | #Constraints: 27001
540.33/541.97 c #Conflicts: 133000 | #Constraints: 28001
540.33/541.97 c #Conflicts: 134000 | #Constraints: 29001
540.33/541.97 c #Conflicts: 135000 | #Constraints: 30001
540.33/541.97 c #Conflicts: 136000 | #Constraints: 31001
540.33/541.97 c #Conflicts: 137000 | #Constraints: 32001
649.21/651.12 c #Conflicts: 138000 | #Constraints: 33001
649.21/651.12 c #Conflicts: 139000 | #Constraints: 34001
649.21/651.12 c INPROCESSING
649.21/651.12 c GARBAGE COLLECT
649.21/651.12 c #Conflicts: 140000 | #Constraints: 27622
649.21/651.12 c #Conflicts: 141000 | #Constraints: 28622
649.21/651.12 c #Conflicts: 142000 | #Constraints: 29622
649.21/651.12 c #Conflicts: 143000 | #Constraints: 30622
649.21/651.12 c #Conflicts: 144000 | #Constraints: 31622
649.21/651.12 c #Conflicts: 145000 | #Constraints: 32622
649.21/651.12 c #Conflicts: 146000 | #Constraints: 33622
649.21/651.12 c #Conflicts: 147000 | #Constraints: 34622
649.21/651.12 c INPROCESSING
649.21/651.12 c GARBAGE COLLECT
649.21/651.12 c #Conflicts: 148000 | #Constraints: 28013
649.21/651.12 c #Conflicts: 149000 | #Constraints: 29013
649.21/651.12 c #Conflicts: 150000 | #Constraints: 30013
649.21/651.12 c #Conflicts: 151000 | #Constraints: 31013
649.21/651.12 c #Conflicts: 152000 | #Constraints: 32013
649.21/651.12 c #Conflicts: 153000 | #Constraints: 33013
649.21/651.12 c #Conflicts: 154000 | #Constraints: 34013
649.21/651.12 c #Conflicts: 155000 | #Constraints: 35013
649.21/651.12 c INPROCESSING
649.21/651.12 c GARBAGE COLLECT
649.21/651.12 c #Conflicts: 156000 | #Constraints: 28218
649.21/651.12 c #Conflicts: 157000 | #Constraints: 29218
649.21/651.12 c #Conflicts: 158000 | #Constraints: 30218
649.21/651.12 c #Conflicts: 159000 | #Constraints: 31218
649.21/651.12 c #Conflicts: 160000 | #Constraints: 32218
649.21/651.12 c #Conflicts: 161000 | #Constraints: 33218
649.21/651.12 c #Conflicts: 162000 | #Constraints: 34218
649.21/651.12 c #Conflicts: 163000 | #Constraints: 35218
649.21/651.12 c INPROCESSING
649.21/651.12 c GARBAGE COLLECT
649.21/651.12 c #Conflicts: 164000 | #Constraints: 28240
649.21/651.12 c #Conflicts: 165000 | #Constraints: 29240
649.21/651.12 c #Conflicts: 166000 | #Constraints: 30240
649.21/651.12 c #Conflicts: 167000 | #Constraints: 31240
649.21/651.12 c #Conflicts: 168000 | #Constraints: 32240
649.21/651.12 c #Conflicts: 169000 | #Constraints: 33240
649.21/651.12 c #Conflicts: 170000 | #Constraints: 34240
649.21/651.12 c #Conflicts: 171000 | #Constraints: 35240
649.21/651.12 c INPROCESSING
649.21/651.12 c GARBAGE COLLECT
649.21/651.12 c #Conflicts: 172000 | #Constraints: 28052
649.21/651.12 c #Conflicts: 173000 | #Constraints: 29052
649.21/651.12 c #Conflicts: 174000 | #Constraints: 30052
649.21/651.12 c #Conflicts: 175000 | #Constraints: 31052
649.21/651.12 c #Conflicts: 176000 | #Constraints: 32052
649.21/651.12 c #Conflicts: 177000 | #Constraints: 33052
649.21/651.12 c #Conflicts: 178000 | #Constraints: 34052
649.21/651.12 c #Conflicts: 179000 | #Constraints: 35052
649.21/651.12 c #Conflicts: 180000 | #Constraints: 36052
649.21/651.12 c INPROCESSING
649.21/651.12 c GARBAGE COLLECT
649.21/651.12 c #Conflicts: 181000 | #Constraints: 28656
649.21/651.12 c #Conflicts: 182000 | #Constraints: 29656
649.21/651.12 c #Conflicts: 183000 | #Constraints: 30656
649.21/651.12 c #Conflicts: 184000 | #Constraints: 31656
649.21/651.12 c #Conflicts: 185000 | #Constraints: 32656
649.21/651.12 c #Conflicts: 186000 | #Constraints: 33656
649.21/651.12 c #Conflicts: 187000 | #Constraints: 34656
649.21/651.12 c #Conflicts: 188000 | #Constraints: 35656
649.21/651.12 c #Conflicts: 189000 | #Constraints: 36656
649.21/651.12 c INPROCESSING
649.21/651.12 c GARBAGE COLLECT
649.21/651.12 c #Conflicts: 190000 | #Constraints: 29075
649.21/651.12 c #Conflicts: 191000 | #Constraints: 30075
649.21/651.12 c #Conflicts: 192000 | #Constraints: 31075
649.21/651.12 c #Conflicts: 193000 | #Constraints: 32075
649.21/651.12 c #Conflicts: 194000 | #Constraints: 33075
649.21/651.12 c #Conflicts: 195000 | #Constraints: 34075
649.21/651.12 c #Conflicts: 196000 | #Constraints: 35075
649.21/651.12 c #Conflicts: 197000 | #Constraints: 36075
649.21/651.12 c #Conflicts: 198000 | #Constraints: 37075
649.21/651.12 c INPROCESSING
649.21/651.12 c GARBAGE COLLECT
649.21/651.12 c #Conflicts: 199000 | #Constraints: 29278
649.21/651.12 c #Conflicts: 200000 | #Constraints: 30278
649.21/651.12 c #Conflicts: 201000 | #Constraints: 31278
649.21/651.12 c #Conflicts: 202000 | #Constraints: 32278
649.21/651.12 c #Conflicts: 203000 | #Constraints: 33278
649.21/651.12 c #Conflicts: 204000 | #Constraints: 34278
649.21/651.12 c #Conflicts: 205000 | #Constraints: 35278
649.21/651.12 c #Conflicts: 206000 | #Constraints: 36278
649.21/651.12 c #Conflicts: 207000 | #Constraints: 37278
649.21/651.12 c INPROCESSING
649.21/651.12 c GARBAGE COLLECT
649.21/651.12 c #Conflicts: 208000 | #Constraints: 29252
649.21/651.12 c #Conflicts: 209000 | #Constraints: 30252
649.21/651.12 c #Conflicts: 210000 | #Constraints: 31252
783.49/785.84 c #Conflicts: 211000 | #Constraints: 32252
783.49/785.84 c #Conflicts: 212000 | #Constraints: 33252
783.49/785.84 c #Conflicts: 213000 | #Constraints: 34252
783.49/785.84 c #Conflicts: 214000 | #Constraints: 35252
783.49/785.84 c #Conflicts: 215000 | #Constraints: 36252
783.49/785.84 c #Conflicts: 216000 | #Constraints: 37252
783.49/785.84 c INPROCESSING
783.49/785.84 c GARBAGE COLLECT
783.49/785.84 c #Conflicts: 217000 | #Constraints: 29071
783.49/785.84 c #Conflicts: 218000 | #Constraints: 30071
783.49/785.84 c #Conflicts: 219000 | #Constraints: 31071
783.49/785.84 c #Conflicts: 220000 | #Constraints: 32071
783.49/785.84 c #Conflicts: 221000 | #Constraints: 33071
783.49/785.84 c #Conflicts: 222000 | #Constraints: 34071
783.49/785.84 c #Conflicts: 223000 | #Constraints: 35071
783.49/785.84 c #Conflicts: 224000 | #Constraints: 36071
783.49/785.84 c #Conflicts: 225000 | #Constraints: 37071
783.49/785.84 c #Conflicts: 226000 | #Constraints: 38071
783.49/785.84 c INPROCESSING
783.49/785.84 c GARBAGE COLLECT
783.49/785.84 c #Conflicts: 227000 | #Constraints: 29692
783.49/785.84 c #Conflicts: 228000 | #Constraints: 30692
783.49/785.84 c #Conflicts: 229000 | #Constraints: 31692
783.49/785.84 c #Conflicts: 230000 | #Constraints: 32692
783.49/785.84 c #Conflicts: 231000 | #Constraints: 33692
783.49/785.84 c #Conflicts: 232000 | #Constraints: 34692
783.49/785.84 c #Conflicts: 233000 | #Constraints: 35692
783.49/785.84 c #Conflicts: 234000 | #Constraints: 36692
783.49/785.84 c #Conflicts: 235000 | #Constraints: 37692
783.49/785.84 c #Conflicts: 236000 | #Constraints: 38692
783.49/785.84 c INPROCESSING
783.49/785.84 c GARBAGE COLLECT
783.49/785.84 c #Conflicts: 237000 | #Constraints: 30044
783.49/785.84 c #Conflicts: 238000 | #Constraints: 31044
783.49/785.84 c #Conflicts: 239000 | #Constraints: 32044
783.49/785.84 c #Conflicts: 240000 | #Constraints: 33044
783.49/785.84 c #Conflicts: 241000 | #Constraints: 34044
783.49/785.84 c #Conflicts: 242000 | #Constraints: 35044
783.49/785.84 c #Conflicts: 243000 | #Constraints: 36044
783.49/785.84 c #Conflicts: 244000 | #Constraints: 37044
783.49/785.84 c #Conflicts: 245000 | #Constraints: 38044
783.49/785.84 c #Conflicts: 246000 | #Constraints: 39044
783.49/785.84 c INPROCESSING
783.49/785.84 c GARBAGE COLLECT
783.49/785.84 c #Conflicts: 247000 | #Constraints: 30211
783.49/785.84 c #Conflicts: 248000 | #Constraints: 31211
783.49/785.84 c #Conflicts: 249000 | #Constraints: 32211
783.49/785.84 c #Conflicts: 250000 | #Constraints: 33211
783.49/785.84 c #Conflicts: 251000 | #Constraints: 34211
783.49/785.84 c #Conflicts: 252000 | #Constraints: 35211
783.49/785.84 c #Conflicts: 253000 | #Constraints: 36211
783.49/785.84 c #Conflicts: 254000 | #Constraints: 37211
783.49/785.84 c #Conflicts: 255000 | #Constraints: 38211
783.49/785.84 c #Conflicts: 256000 | #Constraints: 39211
783.49/785.84 c INPROCESSING
783.49/785.84 c GARBAGE COLLECT
783.49/785.84 c #Conflicts: 257000 | #Constraints: 30210
783.49/785.84 c #Conflicts: 258000 | #Constraints: 31210
783.49/785.84 c #Conflicts: 259000 | #Constraints: 32210
783.49/785.84 c #Conflicts: 260000 | #Constraints: 33210
783.49/785.84 c #Conflicts: 261000 | #Constraints: 34210
783.49/785.84 c #Conflicts: 262000 | #Constraints: 35210
783.49/785.84 c #Conflicts: 263000 | #Constraints: 36210
783.49/785.84 c #Conflicts: 264000 | #Constraints: 37210
783.49/785.84 c #Conflicts: 265000 | #Constraints: 38210
783.49/785.84 c #Conflicts: 266000 | #Constraints: 39210
783.49/785.84 c INPROCESSING
783.49/785.84 c GARBAGE COLLECT
783.49/785.84 c #Conflicts: 267000 | #Constraints: 30014
783.49/785.84 c #Conflicts: 268000 | #Constraints: 31014
783.49/785.84 c #Conflicts: 269000 | #Constraints: 32014
783.49/785.84 c #Conflicts: 270000 | #Constraints: 33014
783.49/785.84 c #Conflicts: 271000 | #Constraints: 34014
783.49/785.84 c #Conflicts: 272000 | #Constraints: 35014
783.49/785.84 c #Conflicts: 273000 | #Constraints: 36014
783.49/785.84 c #Conflicts: 274000 | #Constraints: 37014
783.49/785.84 c #Conflicts: 275000 | #Constraints: 38014
783.49/785.84 c #Conflicts: 276000 | #Constraints: 39014
783.49/785.84 c #Conflicts: 277000 | #Constraints: 40014
783.49/785.84 c INPROCESSING
783.49/785.84 c GARBAGE COLLECT
783.49/785.84 c #Conflicts: 278000 | #Constraints: 30612
783.49/785.84 c #Conflicts: 279000 | #Constraints: 31612
783.49/785.84 c #Conflicts: 280000 | #Constraints: 32612
783.49/785.84 c #Conflicts: 281000 | #Constraints: 33612
783.49/785.84 c #Conflicts: 282000 | #Constraints: 34612
783.49/785.84 c #Conflicts: 283000 | #Constraints: 35612
783.49/785.84 c #Conflicts: 284000 | #Constraints: 36612
783.49/785.84 c #Conflicts: 285000 | #Constraints: 37612
937.12/939.98 c #Conflicts: 286000 | #Constraints: 38612
937.12/939.98 c #Conflicts: 287000 | #Constraints: 39612
937.12/939.98 c #Conflicts: 288000 | #Constraints: 40612
937.12/939.98 c INPROCESSING
937.12/939.98 c GARBAGE COLLECT
937.12/939.98 c #Conflicts: 289000 | #Constraints: 31039
937.12/939.98 c #Conflicts: 290000 | #Constraints: 32039
937.12/939.98 c #Conflicts: 291000 | #Constraints: 33039
937.12/939.98 c #Conflicts: 292000 | #Constraints: 34039
937.12/939.98 c #Conflicts: 293000 | #Constraints: 35039
937.12/939.98 c #Conflicts: 294000 | #Constraints: 36039
937.12/939.98 c #Conflicts: 295000 | #Constraints: 37039
937.12/939.98 c #Conflicts: 296000 | #Constraints: 38039
937.12/939.98 c #Conflicts: 297000 | #Constraints: 39039
937.12/939.98 c #Conflicts: 298000 | #Constraints: 40039
937.12/939.98 c #Conflicts: 299000 | #Constraints: 41039
937.12/939.98 c INPROCESSING
937.12/939.98 c GARBAGE COLLECT
937.12/939.98 c #Conflicts: 300000 | #Constraints: 31232
937.12/939.98 c #Conflicts: 301000 | #Constraints: 32232
937.12/939.98 c #Conflicts: 302000 | #Constraints: 33232
937.12/939.98 c #Conflicts: 303000 | #Constraints: 34232
937.12/939.98 c #Conflicts: 304000 | #Constraints: 35232
937.12/939.98 c #Conflicts: 305000 | #Constraints: 36232
937.12/939.98 c #Conflicts: 306000 | #Constraints: 37232
937.12/939.98 c #Conflicts: 307000 | #Constraints: 38232
937.12/939.98 c #Conflicts: 308000 | #Constraints: 39232
937.12/939.98 c #Conflicts: 309000 | #Constraints: 40232
937.12/939.98 c #Conflicts: 310000 | #Constraints: 41232
937.12/939.98 c INPROCESSING
937.12/939.98 c GARBAGE COLLECT
937.12/939.98 c #Conflicts: 311000 | #Constraints: 31247
937.12/939.98 c #Conflicts: 312000 | #Constraints: 32247
937.12/939.98 c #Conflicts: 313000 | #Constraints: 33247
937.12/939.98 c #Conflicts: 314000 | #Constraints: 34247
937.12/939.98 c #Conflicts: 315000 | #Constraints: 35247
937.12/939.98 c #Conflicts: 316000 | #Constraints: 36247
937.12/939.98 c #Conflicts: 317000 | #Constraints: 37247
937.12/939.98 c #Conflicts: 318000 | #Constraints: 38247
937.12/939.98 c #Conflicts: 319000 | #Constraints: 39247
937.12/939.98 c #Conflicts: 320000 | #Constraints: 40247
937.12/939.98 c #Conflicts: 321000 | #Constraints: 41247
937.12/939.98 c INPROCESSING
937.12/939.98 c GARBAGE COLLECT
937.12/939.98 c #Conflicts: 322000 | #Constraints: 31004
937.12/939.98 c #Conflicts: 323000 | #Constraints: 32004
937.12/939.98 c #Conflicts: 324000 | #Constraints: 33004
937.12/939.98 c #Conflicts: 325000 | #Constraints: 34004
937.12/939.98 c #Conflicts: 326000 | #Constraints: 35004
937.12/939.98 c #Conflicts: 327000 | #Constraints: 36004
937.12/939.98 c #Conflicts: 328000 | #Constraints: 37004
937.12/939.98 c #Conflicts: 329000 | #Constraints: 38004
937.12/939.98 c #Conflicts: 330000 | #Constraints: 39004
937.12/939.98 c #Conflicts: 331000 | #Constraints: 40004
937.12/939.98 c #Conflicts: 332000 | #Constraints: 41004
937.12/939.98 c #Conflicts: 333000 | #Constraints: 42004
937.12/939.98 c INPROCESSING
937.12/939.98 c GARBAGE COLLECT
937.12/939.98 c #Conflicts: 334000 | #Constraints: 31657
937.12/939.98 c #Conflicts: 335000 | #Constraints: 32657
937.12/939.98 c #Conflicts: 336000 | #Constraints: 33657
937.12/939.98 c #Conflicts: 337000 | #Constraints: 34657
937.12/939.98 c #Conflicts: 338000 | #Constraints: 35657
937.12/939.98 c #Conflicts: 339000 | #Constraints: 36657
937.12/939.98 c #Conflicts: 340000 | #Constraints: 37657
937.12/939.98 c #Conflicts: 341000 | #Constraints: 38657
937.12/939.98 c #Conflicts: 342000 | #Constraints: 39657
937.12/939.98 c #Conflicts: 343000 | #Constraints: 40657
937.12/939.98 c #Conflicts: 344000 | #Constraints: 41657
937.12/939.98 c #Conflicts: 345000 | #Constraints: 42657
937.12/939.98 c INPROCESSING
937.12/939.98 c GARBAGE COLLECT
937.12/939.98 c #Conflicts: 346000 | #Constraints: 32059
937.12/939.98 c #Conflicts: 347000 | #Constraints: 33059
937.12/939.98 c #Conflicts: 348000 | #Constraints: 34059
937.12/939.98 c #Conflicts: 349000 | #Constraints: 35059
937.12/939.98 c #Conflicts: 350000 | #Constraints: 36059
937.12/939.98 c #Conflicts: 351000 | #Constraints: 37059
937.12/939.98 c #Conflicts: 352000 | #Constraints: 38059
937.12/939.98 c #Conflicts: 353000 | #Constraints: 39059
937.12/939.98 c #Conflicts: 354000 | #Constraints: 40059
937.12/939.98 c #Conflicts: 355000 | #Constraints: 41059
937.12/939.98 c #Conflicts: 356000 | #Constraints: 42059
937.12/939.98 c #Conflicts: 357000 | #Constraints: 43059
937.12/939.98 c INPROCESSING
937.12/939.98 c GARBAGE COLLECT
937.12/939.98 c #Conflicts: 358000 | #Constraints: 32278
937.12/939.98 c #Conflicts: 359000 | #Constraints: 33278
1104.51/1107.87 c #Conflicts: 360000 | #Constraints: 34278
1104.51/1107.87 c #Conflicts: 361000 | #Constraints: 35278
1104.51/1107.87 c #Conflicts: 362000 | #Constraints: 36278
1104.51/1107.87 c #Conflicts: 363000 | #Constraints: 37278
1104.51/1107.87 c #Conflicts: 364000 | #Constraints: 38278
1104.51/1107.87 c #Conflicts: 365000 | #Constraints: 39278
1104.51/1107.87 c #Conflicts: 366000 | #Constraints: 40278
1104.51/1107.87 c #Conflicts: 367000 | #Constraints: 41278
1104.51/1107.87 c #Conflicts: 368000 | #Constraints: 42278
1104.51/1107.87 c #Conflicts: 369000 | #Constraints: 43278
1104.51/1107.87 c INPROCESSING
1104.51/1107.87 c GARBAGE COLLECT
1104.51/1107.87 c #Conflicts: 370000 | #Constraints: 32289
1104.51/1107.87 c #Conflicts: 371000 | #Constraints: 33289
1104.51/1107.87 c #Conflicts: 372000 | #Constraints: 34289
1104.51/1107.87 c #Conflicts: 373000 | #Constraints: 35289
1104.51/1107.87 c #Conflicts: 374000 | #Constraints: 36289
1104.51/1107.87 c #Conflicts: 375000 | #Constraints: 37289
1104.51/1107.87 c #Conflicts: 376000 | #Constraints: 38289
1104.51/1107.87 c #Conflicts: 377000 | #Constraints: 39289
1104.51/1107.87 c #Conflicts: 378000 | #Constraints: 40289
1104.51/1107.87 c #Conflicts: 379000 | #Constraints: 41289
1104.51/1107.87 c #Conflicts: 380000 | #Constraints: 42289
1104.51/1107.87 c #Conflicts: 381000 | #Constraints: 43289
1104.51/1107.87 c INPROCESSING
1104.51/1107.87 c GARBAGE COLLECT
1104.51/1107.87 c #Conflicts: 382000 | #Constraints: 32077
1104.51/1107.87 c #Conflicts: 383000 | #Constraints: 33077
1104.51/1107.87 c #Conflicts: 384000 | #Constraints: 34077
1104.51/1107.87 c #Conflicts: 385000 | #Constraints: 35077
1104.51/1107.87 c #Conflicts: 386000 | #Constraints: 36077
1104.51/1107.87 c #Conflicts: 387000 | #Constraints: 37077
1104.51/1107.87 c #Conflicts: 388000 | #Constraints: 38077
1104.51/1107.87 c #Conflicts: 389000 | #Constraints: 39077
1104.51/1107.87 c #Conflicts: 390000 | #Constraints: 40077
1104.51/1107.87 c #Conflicts: 391000 | #Constraints: 41077
1104.51/1107.87 c #Conflicts: 392000 | #Constraints: 42077
1104.51/1107.87 c #Conflicts: 393000 | #Constraints: 43077
1104.51/1107.87 c #Conflicts: 394000 | #Constraints: 44077
1104.51/1107.87 c INPROCESSING
1104.51/1107.87 c GARBAGE COLLECT
1104.51/1107.87 c #Conflicts: 395000 | #Constraints: 32675
1104.51/1107.87 c #Conflicts: 396000 | #Constraints: 33675
1104.51/1107.87 c #Conflicts: 397000 | #Constraints: 34675
1104.51/1107.87 c #Conflicts: 398000 | #Constraints: 35675
1104.51/1107.87 c #Conflicts: 399000 | #Constraints: 36675
1104.51/1107.87 c #Conflicts: 400000 | #Constraints: 37675
1104.51/1107.87 c #Conflicts: 401000 | #Constraints: 38675
1104.51/1107.87 c #Conflicts: 402000 | #Constraints: 39675
1104.51/1107.87 c #Conflicts: 403000 | #Constraints: 40675
1104.51/1107.87 c #Conflicts: 404000 | #Constraints: 41675
1104.51/1107.87 c #Conflicts: 405000 | #Constraints: 42675
1104.51/1107.87 c #Conflicts: 406000 | #Constraints: 43675
1104.51/1107.87 c #Conflicts: 407000 | #Constraints: 44675
1104.51/1107.87 c INPROCESSING
1104.51/1107.87 c GARBAGE COLLECT
1104.51/1107.87 c #Conflicts: 408000 | #Constraints: 33080
1104.51/1107.87 c #Conflicts: 409000 | #Constraints: 34080
1104.51/1107.87 c #Conflicts: 410000 | #Constraints: 35080
1104.51/1107.87 c #Conflicts: 411000 | #Constraints: 36080
1104.51/1107.87 c #Conflicts: 412000 | #Constraints: 37080
1104.51/1107.87 c #Conflicts: 413000 | #Constraints: 38080
1104.51/1107.87 c #Conflicts: 414000 | #Constraints: 39080
1104.51/1107.87 c #Conflicts: 415000 | #Constraints: 40080
1104.51/1107.87 c #Conflicts: 416000 | #Constraints: 41080
1104.51/1107.87 c #Conflicts: 417000 | #Constraints: 42080
1104.51/1107.87 c #Conflicts: 418000 | #Constraints: 43080
1104.51/1107.87 c #Conflicts: 419000 | #Constraints: 44080
1104.51/1107.87 c #Conflicts: 420000 | #Constraints: 45080
1104.51/1107.87 c INPROCESSING
1104.51/1107.87 c GARBAGE COLLECT
1104.51/1107.87 c #Conflicts: 421000 | #Constraints: 33253
1104.51/1107.87 c #Conflicts: 422000 | #Constraints: 34253
1104.51/1107.87 c #Conflicts: 423000 | #Constraints: 35253
1104.51/1107.87 c #Conflicts: 424000 | #Constraints: 36253
1104.51/1107.87 c #Conflicts: 425000 | #Constraints: 37253
1104.51/1107.87 c #Conflicts: 426000 | #Constraints: 38253
1104.51/1107.87 c #Conflicts: 427000 | #Constraints: 39253
1104.51/1107.87 c #Conflicts: 428000 | #Constraints: 40253
1104.51/1107.87 c #Conflicts: 429000 | #Constraints: 41253
1104.51/1107.87 c #Conflicts: 430000 | #Constraints: 42253
1104.51/1107.87 c #Conflicts: 431000 | #Constraints: 43253
1104.51/1107.87 c #Conflicts: 432000 | #Constraints: 44253
1104.51/1107.87 c #Conflicts: 433000 | #Constraints: 45253
1104.51/1107.87 c INPROCESSING
1104.51/1107.87 c GARBAGE COLLECT
1104.51/1107.87 c #Conflicts: 434000 | #Constraints: 33282
1315.94/1319.97 c #Conflicts: 435000 | #Constraints: 34282
1315.94/1319.97 c #Conflicts: 436000 | #Constraints: 35282
1315.94/1319.97 c #Conflicts: 437000 | #Constraints: 36282
1315.94/1319.97 c #Conflicts: 438000 | #Constraints: 37282
1315.94/1319.97 c #Conflicts: 439000 | #Constraints: 38282
1315.94/1319.97 c #Conflicts: 440000 | #Constraints: 39282
1315.94/1319.97 c #Conflicts: 441000 | #Constraints: 40282
1315.94/1319.97 c #Conflicts: 442000 | #Constraints: 41282
1315.94/1319.97 c #Conflicts: 443000 | #Constraints: 42282
1315.94/1319.97 c #Conflicts: 444000 | #Constraints: 43282
1315.94/1319.97 c #Conflicts: 445000 | #Constraints: 44282
1315.94/1319.97 c #Conflicts: 446000 | #Constraints: 45282
1315.94/1319.97 c INPROCESSING
1315.94/1319.97 c GARBAGE COLLECT
1315.94/1319.97 c #Conflicts: 447000 | #Constraints: 33103
1315.94/1319.97 c #Conflicts: 448000 | #Constraints: 34103
1315.94/1319.97 c #Conflicts: 449000 | #Constraints: 35103
1315.94/1319.97 c #Conflicts: 450000 | #Constraints: 36103
1315.94/1319.97 c #Conflicts: 451000 | #Constraints: 37103
1315.94/1319.97 c #Conflicts: 452000 | #Constraints: 38103
1315.94/1319.97 c #Conflicts: 453000 | #Constraints: 39103
1315.94/1319.97 c #Conflicts: 454000 | #Constraints: 40103
1315.94/1319.97 c #Conflicts: 455000 | #Constraints: 41103
1315.94/1319.97 c #Conflicts: 456000 | #Constraints: 42103
1315.94/1319.97 c #Conflicts: 457000 | #Constraints: 43103
1315.94/1319.97 c #Conflicts: 458000 | #Constraints: 44103
1315.94/1319.97 c #Conflicts: 459000 | #Constraints: 45103
1315.94/1319.97 c #Conflicts: 460000 | #Constraints: 46103
1315.94/1319.97 c INPROCESSING
1315.94/1319.97 c GARBAGE COLLECT
1315.94/1319.97 c #Conflicts: 461000 | #Constraints: 33734
1315.94/1319.97 c #Conflicts: 462000 | #Constraints: 34734
1315.94/1319.97 c #Conflicts: 463000 | #Constraints: 35734
1315.94/1319.97 c #Conflicts: 464000 | #Constraints: 36734
1315.94/1319.97 c #Conflicts: 465000 | #Constraints: 37734
1315.94/1319.97 c #Conflicts: 466000 | #Constraints: 38734
1315.94/1319.97 c #Conflicts: 467000 | #Constraints: 39734
1315.94/1319.97 c #Conflicts: 468000 | #Constraints: 40734
1315.94/1319.97 c #Conflicts: 469000 | #Constraints: 41734
1315.94/1319.97 c #Conflicts: 470000 | #Constraints: 42734
1315.94/1319.97 c #Conflicts: 471000 | #Constraints: 43734
1315.94/1319.97 c #Conflicts: 472000 | #Constraints: 44734
1315.94/1319.97 c #Conflicts: 473000 | #Constraints: 45734
1315.94/1319.97 c #Conflicts: 474000 | #Constraints: 46734
1315.94/1319.97 c INPROCESSING
1315.94/1319.97 c GARBAGE COLLECT
1315.94/1319.97 c #Conflicts: 475000 | #Constraints: 34095
1315.94/1319.97 c #Conflicts: 476000 | #Constraints: 35095
1315.94/1319.97 c #Conflicts: 477000 | #Constraints: 36095
1315.94/1319.97 c #Conflicts: 478000 | #Constraints: 37095
1315.94/1319.97 c #Conflicts: 479000 | #Constraints: 38095
1315.94/1319.97 c #Conflicts: 480000 | #Constraints: 39095
1315.94/1319.97 c #Conflicts: 481000 | #Constraints: 40095
1315.94/1319.97 c #Conflicts: 482000 | #Constraints: 41095
1315.94/1319.97 c #Conflicts: 483000 | #Constraints: 42095
1315.94/1319.97 c #Conflicts: 484000 | #Constraints: 43095
1315.94/1319.97 c #Conflicts: 485000 | #Constraints: 44095
1315.94/1319.97 c #Conflicts: 486000 | #Constraints: 45095
1315.94/1319.97 c #Conflicts: 487000 | #Constraints: 46095
1315.94/1319.97 c #Conflicts: 488000 | #Constraints: 47095
1315.94/1319.97 c INPROCESSING
1315.94/1319.97 c GARBAGE COLLECT
1315.94/1319.97 c #Conflicts: 489000 | #Constraints: 34282
1315.94/1319.97 c #Conflicts: 490000 | #Constraints: 35282
1315.94/1319.97 c #Conflicts: 491000 | #Constraints: 36282
1315.94/1319.97 c #Conflicts: 492000 | #Constraints: 37282
1315.94/1319.97 c #Conflicts: 493000 | #Constraints: 38282
1315.94/1319.97 c #Conflicts: 494000 | #Constraints: 39282
1315.94/1319.97 c #Conflicts: 495000 | #Constraints: 40282
1315.94/1319.97 c #Conflicts: 496000 | #Constraints: 41282
1315.94/1319.97 c #Conflicts: 497000 | #Constraints: 42282
1315.94/1319.97 c #Conflicts: 498000 | #Constraints: 43282
1315.94/1319.97 c #Conflicts: 499000 | #Constraints: 44282
1315.94/1319.97 c #Conflicts: 500000 | #Constraints: 45282
1315.94/1319.97 c #Conflicts: 501000 | #Constraints: 46282
1315.94/1319.97 c #Conflicts: 502000 | #Constraints: 47282
1315.94/1319.97 c INPROCESSING
1315.94/1319.97 c GARBAGE COLLECT
1315.94/1319.97 c #Conflicts: 503000 | #Constraints: 34306
1315.94/1319.97 c #Conflicts: 504000 | #Constraints: 35306
1315.94/1319.97 c #Conflicts: 505000 | #Constraints: 36306
1315.94/1319.97 c #Conflicts: 506000 | #Constraints: 37306
1315.94/1319.97 c #Conflicts: 507000 | #Constraints: 38306
1315.94/1319.97 c #Conflicts: 508000 | #Constraints: 39306
1315.94/1319.97 c #Conflicts: 509000 | #Constraints: 40306
1315.94/1319.97 c #Conflicts: 510000 | #Constraints: 41306
1553.13/1557.78 c #Conflicts: 511000 | #Constraints: 42306
1553.13/1557.78 c #Conflicts: 512000 | #Constraints: 43306
1553.13/1557.78 c #Conflicts: 513000 | #Constraints: 44306
1553.13/1557.78 c #Conflicts: 514000 | #Constraints: 45306
1553.13/1557.78 c #Conflicts: 515000 | #Constraints: 46306
1553.13/1557.78 c #Conflicts: 516000 | #Constraints: 47306
1553.13/1557.78 c INPROCESSING
1553.13/1557.78 c GARBAGE COLLECT
1553.13/1557.78 c #Conflicts: 517000 | #Constraints: 34086
1553.13/1557.78 c #Conflicts: 518000 | #Constraints: 35086
1553.13/1557.78 c #Conflicts: 519000 | #Constraints: 36086
1553.13/1557.78 c #Conflicts: 520000 | #Constraints: 37086
1553.13/1557.78 c #Conflicts: 521000 | #Constraints: 38086
1553.13/1557.78 c #Conflicts: 522000 | #Constraints: 39086
1553.13/1557.78 c #Conflicts: 523000 | #Constraints: 40086
1553.13/1557.78 c #Conflicts: 524000 | #Constraints: 41086
1553.13/1557.78 c #Conflicts: 525000 | #Constraints: 42086
1553.13/1557.78 c #Conflicts: 526000 | #Constraints: 43086
1553.13/1557.78 c #Conflicts: 527000 | #Constraints: 44086
1553.13/1557.78 c #Conflicts: 528000 | #Constraints: 45086
1553.13/1557.78 c #Conflicts: 529000 | #Constraints: 46086
1553.13/1557.78 c #Conflicts: 530000 | #Constraints: 47086
1553.13/1557.78 c #Conflicts: 531000 | #Constraints: 48086
1553.13/1557.78 c INPROCESSING
1553.13/1557.78 c GARBAGE COLLECT
1553.13/1557.78 c #Conflicts: 532000 | #Constraints: 34707
1553.13/1557.78 c #Conflicts: 533000 | #Constraints: 35707
1553.13/1557.78 c #Conflicts: 534000 | #Constraints: 36707
1553.13/1557.78 c #Conflicts: 535000 | #Constraints: 37707
1553.13/1557.78 c #Conflicts: 536000 | #Constraints: 38707
1553.13/1557.78 c #Conflicts: 537000 | #Constraints: 39707
1553.13/1557.78 c #Conflicts: 538000 | #Constraints: 40707
1553.13/1557.78 c #Conflicts: 539000 | #Constraints: 41707
1553.13/1557.78 c #Conflicts: 540000 | #Constraints: 42707
1553.13/1557.78 c #Conflicts: 541000 | #Constraints: 43707
1553.13/1557.78 c #Conflicts: 542000 | #Constraints: 44707
1553.13/1557.78 c #Conflicts: 543000 | #Constraints: 45707
1553.13/1557.78 c #Conflicts: 544000 | #Constraints: 46707
1553.13/1557.78 c #Conflicts: 545000 | #Constraints: 47707
1553.13/1557.78 c #Conflicts: 546000 | #Constraints: 48707
1553.13/1557.78 c INPROCESSING
1553.13/1557.78 c GARBAGE COLLECT
1553.13/1557.78 c #Conflicts: 547000 | #Constraints: 35135
1553.13/1557.78 c #Conflicts: 548000 | #Constraints: 36135
1553.13/1557.78 c #Conflicts: 549000 | #Constraints: 37135
1553.13/1557.78 c #Conflicts: 550000 | #Constraints: 38135
1553.13/1557.78 c #Conflicts: 551000 | #Constraints: 39135
1553.13/1557.78 c #Conflicts: 552000 | #Constraints: 40135
1553.13/1557.78 c #Conflicts: 553000 | #Constraints: 41135
1553.13/1557.78 c #Conflicts: 554000 | #Constraints: 42135
1553.13/1557.78 c #Conflicts: 555000 | #Constraints: 43135
1553.13/1557.78 c #Conflicts: 556000 | #Constraints: 44135
1553.13/1557.78 c #Conflicts: 557000 | #Constraints: 45135
1553.13/1557.78 c #Conflicts: 558000 | #Constraints: 46135
1553.13/1557.78 c #Conflicts: 559000 | #Constraints: 47135
1553.13/1557.78 c #Conflicts: 560000 | #Constraints: 48135
1553.13/1557.78 c #Conflicts: 561000 | #Constraints: 49135
1553.13/1557.78 c INPROCESSING
1553.13/1557.78 c GARBAGE COLLECT
1553.13/1557.78 c #Conflicts: 562000 | #Constraints: 35343
1553.13/1557.78 c #Conflicts: 563000 | #Constraints: 36343
1553.13/1557.78 c #Conflicts: 564000 | #Constraints: 37343
1553.13/1557.78 c #Conflicts: 565000 | #Constraints: 38343
1553.13/1557.78 c #Conflicts: 566000 | #Constraints: 39343
1553.13/1557.78 c #Conflicts: 567000 | #Constraints: 40343
1553.13/1557.78 c #Conflicts: 568000 | #Constraints: 41343
1553.13/1557.78 c #Conflicts: 569000 | #Constraints: 42343
1553.13/1557.78 c #Conflicts: 570000 | #Constraints: 43343
1553.13/1557.78 c #Conflicts: 571000 | #Constraints: 44343
1553.13/1557.78 c #Conflicts: 572000 | #Constraints: 45343
1553.13/1557.78 c #Conflicts: 573000 | #Constraints: 46343
1553.13/1557.78 c #Conflicts: 574000 | #Constraints: 47343
1553.13/1557.78 c #Conflicts: 575000 | #Constraints: 48343
1553.13/1557.78 c #Conflicts: 576000 | #Constraints: 49343
1553.13/1557.78 c INPROCESSING
1553.13/1557.78 c GARBAGE COLLECT
1553.13/1557.78 c #Conflicts: 577000 | #Constraints: 35307
1553.13/1557.78 c #Conflicts: 578000 | #Constraints: 36307
1553.13/1557.78 c #Conflicts: 579000 | #Constraints: 37307
1553.13/1557.78 c #Conflicts: 580000 | #Constraints: 38307
1553.13/1557.78 c #Conflicts: 581000 | #Constraints: 39307
1553.13/1557.78 c #Conflicts: 582000 | #Constraints: 40307
1553.13/1557.78 c #Conflicts: 583000 | #Constraints: 41307
1553.13/1557.78 c #Conflicts: 584000 | #Constraints: 42307
1553.13/1557.78 c #Conflicts: 585000 | #Constraints: 43307
1776.49/1781.65 c #Conflicts: 586000 | #Constraints: 44307
1776.49/1781.65 c #Conflicts: 587000 | #Constraints: 45307
1776.49/1781.65 c #Conflicts: 588000 | #Constraints: 46307
1776.49/1781.65 c #Conflicts: 589000 | #Constraints: 47307
1776.49/1781.65 c #Conflicts: 590000 | #Constraints: 48307
1776.49/1781.65 c #Conflicts: 591000 | #Constraints: 49307
1776.49/1781.65 c INPROCESSING
1776.49/1781.65 c GARBAGE COLLECT
1776.49/1781.65 c #Conflicts: 592000 | #Constraints: 35030
1776.49/1781.65 c #Conflicts: 593000 | #Constraints: 36030
1776.49/1781.65 c #Conflicts: 594000 | #Constraints: 37030
1776.49/1781.65 c #Conflicts: 595000 | #Constraints: 38030
1776.49/1781.65 c #Conflicts: 596000 | #Constraints: 39030
1776.49/1781.65 c #Conflicts: 597000 | #Constraints: 40030
1776.49/1781.65 c #Conflicts: 598000 | #Constraints: 41030
1776.49/1781.65 c #Conflicts: 599000 | #Constraints: 42030
1776.49/1781.65 c #Conflicts: 600000 | #Constraints: 43030
1776.49/1781.65 c #Conflicts: 601000 | #Constraints: 44030
1776.49/1781.65 c #Conflicts: 602000 | #Constraints: 45030
1776.49/1781.65 c #Conflicts: 603000 | #Constraints: 46030
1776.49/1781.65 c #Conflicts: 604000 | #Constraints: 47030
1776.49/1781.65 c #Conflicts: 605000 | #Constraints: 48030
1776.49/1781.65 c #Conflicts: 606000 | #Constraints: 49030
1776.49/1781.65 c #Conflicts: 607000 | #Constraints: 50030
1776.49/1781.65 c INPROCESSING
1776.49/1781.65 c GARBAGE COLLECT
1776.49/1781.65 c #Conflicts: 608000 | #Constraints: 35665
1776.49/1781.65 c #Conflicts: 609000 | #Constraints: 36665
1776.49/1781.65 c #Conflicts: 610000 | #Constraints: 37665
1776.49/1781.65 c #Conflicts: 611000 | #Constraints: 38665
1776.49/1781.65 c #Conflicts: 612000 | #Constraints: 39665
1776.49/1781.65 c #Conflicts: 613000 | #Constraints: 40665
1776.49/1781.65 c #Conflicts: 614000 | #Constraints: 41665
1776.49/1781.65 c #Conflicts: 615000 | #Constraints: 42665
1776.49/1781.65 c #Conflicts: 616000 | #Constraints: 43665
1776.49/1781.65 c #Conflicts: 617000 | #Constraints: 44665
1776.49/1781.65 c #Conflicts: 618000 | #Constraints: 45665
1776.49/1781.65 c #Conflicts: 619000 | #Constraints: 46665
1776.49/1781.65 c #Conflicts: 620000 | #Constraints: 47665
1776.49/1781.65 c #Conflicts: 621000 | #Constraints: 48665
1776.49/1781.65 c #Conflicts: 622000 | #Constraints: 49665
1776.49/1781.65 c #Conflicts: 623000 | #Constraints: 50665
1776.49/1781.65 c INPROCESSING
1776.49/1781.65 c GARBAGE COLLECT
1776.49/1781.65 c #Conflicts: 624000 | #Constraints: 36062
1776.49/1781.65 c #Conflicts: 625000 | #Constraints: 37062
1776.49/1781.65 c #Conflicts: 626000 | #Constraints: 38062
1776.49/1781.65 c #Conflicts: 627000 | #Constraints: 39062
1776.49/1781.65 c #Conflicts: 628000 | #Constraints: 40062
1776.49/1781.65 c #Conflicts: 629000 | #Constraints: 41062
1776.49/1781.65 c #Conflicts: 630000 | #Constraints: 42062
1776.49/1781.65 c #Conflicts: 631000 | #Constraints: 43062
1776.49/1781.65 c #Conflicts: 632000 | #Constraints: 44062
1776.49/1781.65 c #Conflicts: 633000 | #Constraints: 45062
1776.49/1781.65 c #Conflicts: 634000 | #Constraints: 46062
1776.49/1781.65 c #Conflicts: 635000 | #Constraints: 47062
1776.49/1781.65 c #Conflicts: 636000 | #Constraints: 48062
1776.49/1781.65 c #Conflicts: 637000 | #Constraints: 49062
1776.49/1781.65 c #Conflicts: 638000 | #Constraints: 50062
1776.49/1781.65 c #Conflicts: 639000 | #Constraints: 51062
1776.49/1781.65 c INPROCESSING
1776.49/1781.65 c GARBAGE COLLECT
1776.49/1781.65 c #Conflicts: 640000 | #Constraints: 36287
1776.49/1781.65 c #Conflicts: 641000 | #Constraints: 37287
1776.49/1781.65 c #Conflicts: 642000 | #Constraints: 38287
1776.49/1781.65 c #Conflicts: 643000 | #Constraints: 39287
1776.49/1781.65 c #Conflicts: 644000 | #Constraints: 40287
1776.49/1781.65 c #Conflicts: 645000 | #Constraints: 41287
1776.49/1781.65 c #Conflicts: 646000 | #Constraints: 42287
1776.49/1781.65 c #Conflicts: 647000 | #Constraints: 43287
1776.49/1781.65 c #Conflicts: 648000 | #Constraints: 44287
1776.49/1781.65 c #Conflicts: 649000 | #Constraints: 45287
1776.49/1781.65 c #Conflicts: 650000 | #Constraints: 46287
1776.49/1781.65 c #Conflicts: 651000 | #Constraints: 47287
1776.49/1781.65 c #Conflicts: 652000 | #Constraints: 48287
1776.49/1781.65 c #Conflicts: 653000 | #Constraints: 49287
1776.49/1781.65 c #Conflicts: 654000 | #Constraints: 50287
1776.49/1781.65 c #Conflicts: 655000 | #Constraints: 51287
1776.49/1781.65 c INPROCESSING
1776.49/1781.65 c GARBAGE COLLECT
1776.49/1781.65 c #Conflicts: 656000 | #Constraints: 36280
1776.49/1781.65 c #Conflicts: 657000 | #Constraints: 37280
1776.49/1781.65 c #Conflicts: 658000 | #Constraints: 38280
1776.49/1781.65 c #Conflicts: 659000 | #Constraints: 39280
1776.49/1781.65 c #Conflicts: 660000 | #Constraints: 40280
1776.49/1781.65 c #Conflicts: 661000 | #Constraints: 41280
2018.22/2023.94 c #Conflicts: 662000 | #Constraints: 42280
2018.22/2023.94 c #Conflicts: 663000 | #Constraints: 43280
2018.22/2023.94 c #Conflicts: 664000 | #Constraints: 44280
2018.22/2023.94 c #Conflicts: 665000 | #Constraints: 45280
2018.22/2023.94 c #Conflicts: 666000 | #Constraints: 46280
2018.22/2023.94 c #Conflicts: 667000 | #Constraints: 47280
2018.22/2023.94 c #Conflicts: 668000 | #Constraints: 48280
2018.22/2023.94 c #Conflicts: 669000 | #Constraints: 49280
2018.22/2023.94 c #Conflicts: 670000 | #Constraints: 50280
2018.22/2023.94 c #Conflicts: 671000 | #Constraints: 51280
2018.22/2023.94 c INPROCESSING
2018.22/2023.94 c GARBAGE COLLECT
2018.22/2023.94 c #Conflicts: 672000 | #Constraints: 36113
2018.22/2023.94 c #Conflicts: 673000 | #Constraints: 37113
2018.22/2023.94 c #Conflicts: 674000 | #Constraints: 38113
2018.22/2023.94 c #Conflicts: 675000 | #Constraints: 39113
2018.22/2023.94 c #Conflicts: 676000 | #Constraints: 40113
2018.22/2023.94 c #Conflicts: 677000 | #Constraints: 41113
2018.22/2023.94 c #Conflicts: 678000 | #Constraints: 42113
2018.22/2023.94 c #Conflicts: 679000 | #Constraints: 43113
2018.22/2023.94 c #Conflicts: 680000 | #Constraints: 44113
2018.22/2023.94 c #Conflicts: 681000 | #Constraints: 45113
2018.22/2023.94 c #Conflicts: 682000 | #Constraints: 46113
2018.22/2023.94 c #Conflicts: 683000 | #Constraints: 47113
2018.22/2023.94 c #Conflicts: 684000 | #Constraints: 48113
2018.22/2023.94 c #Conflicts: 685000 | #Constraints: 49113
2018.22/2023.94 c #Conflicts: 686000 | #Constraints: 50113
2018.22/2023.94 c #Conflicts: 687000 | #Constraints: 51113
2018.22/2023.94 c #Conflicts: 688000 | #Constraints: 52113
2018.22/2023.94 c INPROCESSING
2018.22/2023.94 c GARBAGE COLLECT
2018.22/2023.94 c #Conflicts: 689000 | #Constraints: 36710
2018.22/2023.94 c #Conflicts: 690000 | #Constraints: 37710
2018.22/2023.94 c #Conflicts: 691000 | #Constraints: 38710
2018.22/2023.94 c #Conflicts: 692000 | #Constraints: 39710
2018.22/2023.94 c #Conflicts: 693000 | #Constraints: 40710
2018.22/2023.94 c #Conflicts: 694000 | #Constraints: 41710
2018.22/2023.94 c #Conflicts: 695000 | #Constraints: 42710
2018.22/2023.94 c #Conflicts: 696000 | #Constraints: 43710
2018.22/2023.94 c #Conflicts: 697000 | #Constraints: 44710
2018.22/2023.94 c #Conflicts: 698000 | #Constraints: 45710
2018.22/2023.94 c #Conflicts: 699000 | #Constraints: 46710
2018.22/2023.94 c #Conflicts: 700000 | #Constraints: 47710
2018.22/2023.94 c #Conflicts: 701000 | #Constraints: 48710
2018.22/2023.94 c #Conflicts: 702000 | #Constraints: 49710
2018.22/2023.94 c #Conflicts: 703000 | #Constraints: 50710
2018.22/2023.94 c #Conflicts: 704000 | #Constraints: 51710
2018.22/2023.94 c #Conflicts: 705000 | #Constraints: 52710
2018.22/2023.94 c INPROCESSING
2018.22/2023.94 c GARBAGE COLLECT
2018.22/2023.94 c #Conflicts: 706000 | #Constraints: 37138
2018.22/2023.94 c #Conflicts: 707000 | #Constraints: 38138
2018.22/2023.94 c #Conflicts: 708000 | #Constraints: 39138
2018.22/2023.94 c #Conflicts: 709000 | #Constraints: 40138
2018.22/2023.94 c #Conflicts: 710000 | #Constraints: 41138
2018.22/2023.94 c #Conflicts: 711000 | #Constraints: 42138
2018.22/2023.94 c #Conflicts: 712000 | #Constraints: 43138
2018.22/2023.94 c #Conflicts: 713000 | #Constraints: 44138
2018.22/2023.94 c #Conflicts: 714000 | #Constraints: 45138
2018.22/2023.94 c #Conflicts: 715000 | #Constraints: 46138
2018.22/2023.94 c #Conflicts: 716000 | #Constraints: 47138
2018.22/2023.94 c #Conflicts: 717000 | #Constraints: 48138
2018.22/2023.94 c #Conflicts: 718000 | #Constraints: 49138
2018.22/2023.94 c #Conflicts: 719000 | #Constraints: 50138
2018.22/2023.94 c #Conflicts: 720000 | #Constraints: 51138
2018.22/2023.94 c #Conflicts: 721000 | #Constraints: 52138
2018.22/2023.94 c #Conflicts: 722000 | #Constraints: 53138
2018.22/2023.94 c INPROCESSING
2018.22/2023.94 c GARBAGE COLLECT
2018.22/2023.94 c #Conflicts: 723000 | #Constraints: 37339
2018.22/2023.94 c #Conflicts: 724000 | #Constraints: 38339
2018.22/2023.94 c #Conflicts: 725000 | #Constraints: 39339
2018.22/2023.94 c #Conflicts: 726000 | #Constraints: 40339
2018.22/2023.94 c #Conflicts: 727000 | #Constraints: 41339
2018.22/2023.94 c #Conflicts: 728000 | #Constraints: 42339
2018.22/2023.94 c #Conflicts: 729000 | #Constraints: 43339
2018.22/2023.94 c #Conflicts: 730000 | #Constraints: 44339
2018.22/2023.94 c #Conflicts: 731000 | #Constraints: 45339
2018.22/2023.94 c #Conflicts: 732000 | #Constraints: 46339
2018.22/2023.94 c #Conflicts: 733000 | #Constraints: 47339
2018.22/2023.94 c #Conflicts: 734000 | #Constraints: 48339
2018.22/2023.94 c #Conflicts: 735000 | #Constraints: 49339
2018.22/2023.94 c #Conflicts: 736000 | #Constraints: 50339
2018.22/2023.94 c #Conflicts: 737000 | #Constraints: 51339
2279.68/2286.07 c #Conflicts: 738000 | #Constraints: 52339
2279.68/2286.07 c #Conflicts: 739000 | #Constraints: 53339
2279.68/2286.07 c INPROCESSING
2279.68/2286.07 c GARBAGE COLLECT
2279.68/2286.07 c #Conflicts: 740000 | #Constraints: 37317
2279.68/2286.07 c #Conflicts: 741000 | #Constraints: 38317
2279.68/2286.07 c #Conflicts: 742000 | #Constraints: 39317
2279.68/2286.07 c #Conflicts: 743000 | #Constraints: 40317
2279.68/2286.07 c #Conflicts: 744000 | #Constraints: 41317
2279.68/2286.07 c #Conflicts: 745000 | #Constraints: 42317
2279.68/2286.07 c #Conflicts: 746000 | #Constraints: 43317
2279.68/2286.07 c #Conflicts: 747000 | #Constraints: 44317
2279.68/2286.07 c #Conflicts: 748000 | #Constraints: 45317
2279.68/2286.07 c #Conflicts: 749000 | #Constraints: 46317
2279.68/2286.07 c #Conflicts: 750000 | #Constraints: 47317
2279.68/2286.07 c #Conflicts: 751000 | #Constraints: 48317
2279.68/2286.07 c #Conflicts: 752000 | #Constraints: 49317
2279.68/2286.07 c #Conflicts: 753000 | #Constraints: 50317
2279.68/2286.07 c #Conflicts: 754000 | #Constraints: 51317
2279.68/2286.07 c #Conflicts: 755000 | #Constraints: 52317
2279.68/2286.07 c #Conflicts: 756000 | #Constraints: 53317
2279.68/2286.08 c INPROCESSING
2279.68/2286.08 c GARBAGE COLLECT
2279.68/2286.08 c #Conflicts: 757000 | #Constraints: 37107
2279.68/2286.08 c #Conflicts: 758000 | #Constraints: 38107
2279.68/2286.08 c #Conflicts: 759000 | #Constraints: 39107
2279.68/2286.08 c #Conflicts: 760000 | #Constraints: 40107
2279.68/2286.08 c #Conflicts: 761000 | #Constraints: 41107
2279.68/2286.08 c #Conflicts: 762000 | #Constraints: 42107
2279.68/2286.08 c #Conflicts: 763000 | #Constraints: 43107
2279.68/2286.08 c #Conflicts: 764000 | #Constraints: 44107
2279.68/2286.08 c #Conflicts: 765000 | #Constraints: 45107
2279.68/2286.08 c #Conflicts: 766000 | #Constraints: 46107
2279.68/2286.08 c #Conflicts: 767000 | #Constraints: 47107
2279.68/2286.08 c #Conflicts: 768000 | #Constraints: 48107
2279.68/2286.08 c #Conflicts: 769000 | #Constraints: 49107
2279.68/2286.08 c #Conflicts: 770000 | #Constraints: 50107
2279.68/2286.08 c #Conflicts: 771000 | #Constraints: 51107
2279.68/2286.08 c #Conflicts: 772000 | #Constraints: 52107
2279.68/2286.08 c #Conflicts: 773000 | #Constraints: 53107
2279.68/2286.08 c #Conflicts: 774000 | #Constraints: 54107
2279.68/2286.08 c INPROCESSING
2279.68/2286.08 c GARBAGE COLLECT
2279.68/2286.08 c #Conflicts: 775000 | #Constraints: 37750
2279.68/2286.08 c #Conflicts: 776000 | #Constraints: 38750
2279.68/2286.08 c #Conflicts: 777000 | #Constraints: 39750
2279.68/2286.08 c #Conflicts: 778000 | #Constraints: 40750
2279.68/2286.08 c #Conflicts: 779000 | #Constraints: 41750
2279.68/2286.08 c #Conflicts: 780000 | #Constraints: 42750
2279.68/2286.08 c #Conflicts: 781000 | #Constraints: 43750
2279.68/2286.08 c #Conflicts: 782000 | #Constraints: 44750
2279.68/2286.08 c #Conflicts: 783000 | #Constraints: 45750
2279.68/2286.08 c #Conflicts: 784000 | #Constraints: 46750
2279.68/2286.08 c #Conflicts: 785000 | #Constraints: 47750
2279.68/2286.08 c #Conflicts: 786000 | #Constraints: 48750
2279.68/2286.08 c #Conflicts: 787000 | #Constraints: 49750
2279.68/2286.08 c #Conflicts: 788000 | #Constraints: 50750
2279.68/2286.08 c #Conflicts: 789000 | #Constraints: 51750
2279.68/2286.08 c #Conflicts: 790000 | #Constraints: 52750
2279.68/2286.08 c #Conflicts: 791000 | #Constraints: 53750
2279.68/2286.08 c #Conflicts: 792000 | #Constraints: 54750
2279.68/2286.08 c INPROCESSING
2279.68/2286.08 c GARBAGE COLLECT
2279.68/2286.08 c #Conflicts: 793000 | #Constraints: 38146
2279.68/2286.08 c #Conflicts: 794000 | #Constraints: 39146
2279.68/2286.08 c #Conflicts: 795000 | #Constraints: 40146
2279.68/2286.08 c #Conflicts: 796000 | #Constraints: 41146
2279.68/2286.08 c #Conflicts: 797000 | #Constraints: 42146
2279.68/2286.08 c #Conflicts: 798000 | #Constraints: 43146
2279.68/2286.08 c #Conflicts: 799000 | #Constraints: 44146
2279.68/2286.08 c #Conflicts: 800000 | #Constraints: 45146
2279.68/2286.08 c #Conflicts: 801000 | #Constraints: 46146
2279.68/2286.08 c #Conflicts: 802000 | #Constraints: 47146
2279.68/2286.08 c #Conflicts: 803000 | #Constraints: 48146
2279.68/2286.08 c #Conflicts: 804000 | #Constraints: 49146
2279.68/2286.08 c #Conflicts: 805000 | #Constraints: 50146
2279.68/2286.08 c #Conflicts: 806000 | #Constraints: 51146
2279.68/2286.08 c #Conflicts: 807000 | #Constraints: 52146
2279.68/2286.08 c #Conflicts: 808000 | #Constraints: 53146
2279.68/2286.08 c #Conflicts: 809000 | #Constraints: 54146
2279.68/2286.08 c #Conflicts: 810000 | #Constraints: 55146
2279.68/2286.08 c INPROCESSING
2279.68/2286.08 c GARBAGE COLLECT
2279.68/2286.08 c #Conflicts: 811000 | #Constraints: 38260
2279.68/2286.08 c #Conflicts: 812000 | #Constraints: 39260
2279.68/2286.08 c #Conflicts: 813000 | #Constraints: 40260
2562.59/2569.66 c #Conflicts: 814000 | #Constraints: 41260
2562.59/2569.66 c #Conflicts: 815000 | #Constraints: 42260
2562.59/2569.66 c #Conflicts: 816000 | #Constraints: 43260
2562.59/2569.66 c #Conflicts: 817000 | #Constraints: 44260
2562.59/2569.66 c #Conflicts: 818000 | #Constraints: 45260
2562.59/2569.66 c #Conflicts: 819000 | #Constraints: 46260
2562.59/2569.66 c #Conflicts: 820000 | #Constraints: 47260
2562.59/2569.66 c #Conflicts: 821000 | #Constraints: 48260
2562.59/2569.66 c #Conflicts: 822000 | #Constraints: 49260
2562.59/2569.66 c #Conflicts: 823000 | #Constraints: 50260
2562.59/2569.66 c #Conflicts: 824000 | #Constraints: 51260
2562.59/2569.66 c #Conflicts: 825000 | #Constraints: 52260
2562.59/2569.66 c #Conflicts: 826000 | #Constraints: 53260
2562.59/2569.66 c #Conflicts: 827000 | #Constraints: 54260
2562.59/2569.66 c #Conflicts: 828000 | #Constraints: 55260
2562.59/2569.66 c INPROCESSING
2562.59/2569.66 c GARBAGE COLLECT
2562.59/2569.66 c #Conflicts: 829000 | #Constraints: 38277
2562.59/2569.66 c #Conflicts: 830000 | #Constraints: 39277
2562.59/2569.66 c #Conflicts: 831000 | #Constraints: 40277
2562.59/2569.66 c #Conflicts: 832000 | #Constraints: 41277
2562.59/2569.67 c #Conflicts: 833000 | #Constraints: 42277
2562.59/2569.67 c #Conflicts: 834000 | #Constraints: 43277
2562.59/2569.67 c #Conflicts: 835000 | #Constraints: 44277
2562.59/2569.67 c #Conflicts: 836000 | #Constraints: 45277
2562.59/2569.67 c #Conflicts: 837000 | #Constraints: 46277
2562.59/2569.67 c #Conflicts: 838000 | #Constraints: 47277
2562.59/2569.67 c #Conflicts: 839000 | #Constraints: 48277
2562.59/2569.67 c #Conflicts: 840000 | #Constraints: 49277
2562.59/2569.67 c #Conflicts: 841000 | #Constraints: 50277
2562.59/2569.67 c #Conflicts: 842000 | #Constraints: 51277
2562.59/2569.67 c #Conflicts: 843000 | #Constraints: 52277
2562.59/2569.67 c #Conflicts: 844000 | #Constraints: 53277
2562.59/2569.67 c #Conflicts: 845000 | #Constraints: 54277
2562.59/2569.67 c #Conflicts: 846000 | #Constraints: 55277
2562.59/2569.67 c INPROCESSING
2562.59/2569.67 c GARBAGE COLLECT
2562.59/2569.67 c #Conflicts: 847000 | #Constraints: 38065
2562.59/2569.67 c #Conflicts: 848000 | #Constraints: 39065
2562.59/2569.67 c #Conflicts: 849000 | #Constraints: 40065
2562.59/2569.67 c #Conflicts: 850000 | #Constraints: 41065
2562.59/2569.67 c #Conflicts: 851000 | #Constraints: 42065
2562.59/2569.67 c #Conflicts: 852000 | #Constraints: 43065
2562.59/2569.67 c #Conflicts: 853000 | #Constraints: 44065
2562.59/2569.67 c #Conflicts: 854000 | #Constraints: 45065
2562.59/2569.67 c #Conflicts: 855000 | #Constraints: 46065
2562.59/2569.67 c #Conflicts: 856000 | #Constraints: 47065
2562.59/2569.67 c #Conflicts: 857000 | #Constraints: 48065
2562.59/2569.67 c #Conflicts: 858000 | #Constraints: 49065
2562.59/2569.67 c #Conflicts: 859000 | #Constraints: 50065
2562.59/2569.67 c #Conflicts: 860000 | #Constraints: 51065
2562.59/2569.67 c #Conflicts: 861000 | #Constraints: 52065
2562.59/2569.67 c #Conflicts: 862000 | #Constraints: 53065
2562.59/2569.67 c #Conflicts: 863000 | #Constraints: 54065
2562.59/2569.67 c #Conflicts: 864000 | #Constraints: 55065
2562.59/2569.67 c #Conflicts: 865000 | #Constraints: 56065
2562.59/2569.67 c INPROCESSING
2562.59/2569.67 c GARBAGE COLLECT
2562.59/2569.67 c #Conflicts: 866000 | #Constraints: 38724
2562.59/2569.67 c #Conflicts: 867000 | #Constraints: 39724
2562.59/2569.67 c #Conflicts: 868000 | #Constraints: 40724
2562.59/2569.67 c #Conflicts: 869000 | #Constraints: 41724
2562.59/2569.67 c #Conflicts: 870000 | #Constraints: 42724
2562.59/2569.67 c #Conflicts: 871000 | #Constraints: 43724
2562.59/2569.67 c #Conflicts: 872000 | #Constraints: 44724
2562.59/2569.67 c #Conflicts: 873000 | #Constraints: 45724
2562.59/2569.67 c #Conflicts: 874000 | #Constraints: 46724
2562.59/2569.67 c #Conflicts: 875000 | #Constraints: 47724
2562.59/2569.67 c #Conflicts: 876000 | #Constraints: 48724
2562.59/2569.67 c #Conflicts: 877000 | #Constraints: 49724
2562.59/2569.67 c #Conflicts: 878000 | #Constraints: 50724
2562.59/2569.67 c #Conflicts: 879000 | #Constraints: 51724
2562.59/2569.67 c #Conflicts: 880000 | #Constraints: 52724
2562.59/2569.67 c #Conflicts: 881000 | #Constraints: 53724
2562.59/2569.67 c #Conflicts: 882000 | #Constraints: 54724
2562.59/2569.67 c #Conflicts: 883000 | #Constraints: 55724
2562.59/2569.67 c #Conflicts: 884000 | #Constraints: 56724
2562.59/2569.67 c INPROCESSING
2562.59/2569.67 c GARBAGE COLLECT
2562.59/2569.67 c #Conflicts: 885000 | #Constraints: 39163
2562.59/2569.67 c #Conflicts: 886000 | #Constraints: 40163
2562.59/2569.67 c #Conflicts: 887000 | #Constraints: 41163
2562.59/2569.67 c #Conflicts: 888000 | #Constraints: 42163
2562.59/2569.67 c #Conflicts: 889000 | #Constraints: 43163
2866.86/2874.68 c #Conflicts: 890000 | #Constraints: 44163
2866.86/2874.68 c #Conflicts: 891000 | #Constraints: 45163
2866.86/2874.68 c #Conflicts: 892000 | #Constraints: 46163
2866.86/2874.68 c #Conflicts: 893000 | #Constraints: 47163
2866.86/2874.68 c #Conflicts: 894000 | #Constraints: 48163
2866.86/2874.68 c #Conflicts: 895000 | #Constraints: 49163
2866.86/2874.68 c #Conflicts: 896000 | #Constraints: 50163
2866.86/2874.68 c #Conflicts: 897000 | #Constraints: 51163
2866.86/2874.68 c #Conflicts: 898000 | #Constraints: 52163
2866.86/2874.68 c #Conflicts: 899000 | #Constraints: 53163
2866.86/2874.68 c #Conflicts: 900000 | #Constraints: 54163
2866.86/2874.68 c #Conflicts: 901000 | #Constraints: 55163
2866.86/2874.68 c #Conflicts: 902000 | #Constraints: 56163
2866.86/2874.68 c #Conflicts: 903000 | #Constraints: 57163
2866.86/2874.68 c INPROCESSING
2866.86/2874.68 c GARBAGE COLLECT
2866.86/2874.68 c #Conflicts: 904000 | #Constraints: 39285
2866.86/2874.68 c #Conflicts: 905000 | #Constraints: 40285
2866.86/2874.68 c #Conflicts: 906000 | #Constraints: 41285
2866.86/2874.68 c #Conflicts: 907000 | #Constraints: 42285
2866.86/2874.68 c #Conflicts: 908000 | #Constraints: 43285
2866.86/2874.68 c #Conflicts: 909000 | #Constraints: 44285
2866.86/2874.68 c #Conflicts: 910000 | #Constraints: 45285
2866.86/2874.68 c #Conflicts: 911000 | #Constraints: 46285
2866.86/2874.68 c #Conflicts: 912000 | #Constraints: 47285
2866.86/2874.68 c #Conflicts: 913000 | #Constraints: 48285
2866.86/2874.68 c #Conflicts: 914000 | #Constraints: 49285
2866.86/2874.68 c #Conflicts: 915000 | #Constraints: 50285
2866.86/2874.68 c #Conflicts: 916000 | #Constraints: 51285
2866.86/2874.68 c #Conflicts: 917000 | #Constraints: 52285
2866.86/2874.68 c #Conflicts: 918000 | #Constraints: 53285
2866.86/2874.68 c #Conflicts: 919000 | #Constraints: 54285
2866.86/2874.68 c #Conflicts: 920000 | #Constraints: 55285
2866.86/2874.68 c #Conflicts: 921000 | #Constraints: 56285
2866.86/2874.68 c #Conflicts: 922000 | #Constraints: 57285
2866.86/2874.68 c INPROCESSING
2866.86/2874.68 c GARBAGE COLLECT
2866.86/2874.68 c #Conflicts: 923000 | #Constraints: 39317
2866.86/2874.68 c #Conflicts: 924000 | #Constraints: 40317
2866.86/2874.68 c #Conflicts: 925000 | #Constraints: 41317
2866.86/2874.68 c #Conflicts: 926000 | #Constraints: 42317
2866.86/2874.68 c #Conflicts: 927000 | #Constraints: 43317
2866.86/2874.68 c #Conflicts: 928000 | #Constraints: 44317
2866.86/2874.68 c #Conflicts: 929000 | #Constraints: 45317
2866.86/2874.68 c #Conflicts: 930000 | #Constraints: 46317
2866.86/2874.68 c #Conflicts: 931000 | #Constraints: 47317
2866.86/2874.68 c #Conflicts: 932000 | #Constraints: 48317
2866.86/2874.68 c #Conflicts: 933000 | #Constraints: 49317
2866.86/2874.68 c #Conflicts: 934000 | #Constraints: 50317
2866.86/2874.68 c #Conflicts: 935000 | #Constraints: 51317
2866.86/2874.68 c #Conflicts: 936000 | #Constraints: 52317
2866.86/2874.68 c #Conflicts: 937000 | #Constraints: 53317
2866.86/2874.68 c #Conflicts: 938000 | #Constraints: 54317
2866.86/2874.68 c #Conflicts: 939000 | #Constraints: 55317
2866.86/2874.68 c #Conflicts: 940000 | #Constraints: 56317
2866.86/2874.68 c #Conflicts: 941000 | #Constraints: 57317
2866.86/2874.68 c INPROCESSING
2866.86/2874.68 c GARBAGE COLLECT
2866.86/2874.68 c #Conflicts: 942000 | #Constraints: 39147
2866.86/2874.68 c #Conflicts: 943000 | #Constraints: 40147
2866.86/2874.68 c #Conflicts: 944000 | #Constraints: 41147
2866.86/2874.68 c #Conflicts: 945000 | #Constraints: 42147
2866.86/2874.68 c #Conflicts: 946000 | #Constraints: 43147
2866.86/2874.68 c #Conflicts: 947000 | #Constraints: 44147
2866.86/2874.68 c #Conflicts: 948000 | #Constraints: 45147
2866.86/2874.68 c #Conflicts: 949000 | #Constraints: 46147
2866.86/2874.68 c #Conflicts: 950000 | #Constraints: 47147
2866.86/2874.68 c #Conflicts: 951000 | #Constraints: 48147
2866.86/2874.68 c #Conflicts: 952000 | #Constraints: 49147
2866.86/2874.68 c #Conflicts: 953000 | #Constraints: 50147
2866.86/2874.68 c #Conflicts: 954000 | #Constraints: 51147
2866.86/2874.68 c #Conflicts: 955000 | #Constraints: 52147
2866.86/2874.68 c #Conflicts: 956000 | #Constraints: 53147
2866.86/2874.68 c #Conflicts: 957000 | #Constraints: 54147
2866.86/2874.68 c #Conflicts: 958000 | #Constraints: 55147
2866.86/2874.68 c #Conflicts: 959000 | #Constraints: 56147
2866.86/2874.68 c #Conflicts: 960000 | #Constraints: 57147
2866.86/2874.68 c #Conflicts: 961000 | #Constraints: 58147
2866.86/2874.68 c INPROCESSING
2866.86/2874.68 c GARBAGE COLLECT
2866.86/2874.68 c #Conflicts: 962000 | #Constraints: 39749
2866.86/2874.68 c #Conflicts: 963000 | #Constraints: 40749
2866.86/2874.68 c #Conflicts: 964000 | #Constraints: 41749
2866.86/2874.68 c #Conflicts: 965000 | #Constraints: 42749
3188.35/3196.93 c #Conflicts: 966000 | #Constraints: 43749
3188.35/3196.93 c #Conflicts: 967000 | #Constraints: 44749
3188.35/3196.93 c #Conflicts: 968000 | #Constraints: 45749
3188.35/3196.93 c #Conflicts: 969000 | #Constraints: 46749
3188.35/3196.93 c #Conflicts: 970000 | #Constraints: 47749
3188.35/3196.93 c #Conflicts: 971000 | #Constraints: 48749
3188.35/3196.93 c #Conflicts: 972000 | #Constraints: 49749
3188.35/3196.93 c #Conflicts: 973000 | #Constraints: 50749
3188.35/3196.93 c #Conflicts: 974000 | #Constraints: 51749
3188.35/3196.93 c #Conflicts: 975000 | #Constraints: 52749
3188.35/3196.93 c #Conflicts: 976000 | #Constraints: 53749
3188.35/3196.93 c #Conflicts: 977000 | #Constraints: 54749
3188.35/3196.93 c #Conflicts: 978000 | #Constraints: 55749
3188.35/3196.93 c #Conflicts: 979000 | #Constraints: 56749
3188.35/3196.93 c #Conflicts: 980000 | #Constraints: 57749
3188.35/3196.93 c #Conflicts: 981000 | #Constraints: 58749
3188.35/3196.93 c INPROCESSING
3188.35/3196.93 c GARBAGE COLLECT
3188.35/3196.93 c #Conflicts: 982000 | #Constraints: 40187
3188.35/3196.93 c #Conflicts: 983000 | #Constraints: 41187
3188.35/3196.93 c #Conflicts: 984000 | #Constraints: 42187
3188.35/3196.93 c #Conflicts: 985000 | #Constraints: 43187
3188.35/3196.93 c #Conflicts: 986000 | #Constraints: 44187
3188.35/3196.93 c #Conflicts: 987000 | #Constraints: 45187
3188.35/3196.93 c #Conflicts: 988000 | #Constraints: 46187
3188.35/3196.93 c #Conflicts: 989000 | #Constraints: 47187
3188.35/3196.93 c #Conflicts: 990000 | #Constraints: 48187
3188.35/3196.93 c #Conflicts: 991000 | #Constraints: 49187
3188.35/3196.93 c #Conflicts: 992000 | #Constraints: 50187
3188.35/3196.93 c #Conflicts: 993000 | #Constraints: 51187
3188.35/3196.93 c #Conflicts: 994000 | #Constraints: 52187
3188.35/3196.93 c #Conflicts: 995000 | #Constraints: 53187
3188.35/3196.93 c #Conflicts: 996000 | #Constraints: 54187
3188.35/3196.93 c #Conflicts: 997000 | #Constraints: 55187
3188.35/3196.93 c #Conflicts: 998000 | #Constraints: 56187
3188.35/3196.93 c #Conflicts: 999000 | #Constraints: 57187
3188.35/3196.93 c #Conflicts: 1000000 | #Constraints: 58187
3188.35/3196.93 c #Conflicts: 1001000 | #Constraints: 59187
3188.35/3196.93 c INPROCESSING
3188.35/3196.93 c GARBAGE COLLECT
3188.35/3196.93 c #Conflicts: 1002000 | #Constraints: 40377
3188.35/3196.93 c #Conflicts: 1003000 | #Constraints: 41377
3188.35/3196.93 c #Conflicts: 1004000 | #Constraints: 42377
3188.35/3196.93 c #Conflicts: 1005000 | #Constraints: 43377
3188.35/3196.93 c #Conflicts: 1006000 | #Constraints: 44377
3188.35/3196.93 c #Conflicts: 1007000 | #Constraints: 45377
3188.35/3196.93 c #Conflicts: 1008000 | #Constraints: 46377
3188.35/3196.93 c #Conflicts: 1009000 | #Constraints: 47377
3188.35/3196.93 c #Conflicts: 1010000 | #Constraints: 48377
3188.35/3196.93 c #Conflicts: 1011000 | #Constraints: 49377
3188.35/3196.93 c #Conflicts: 1012000 | #Constraints: 50377
3188.35/3196.93 c #Conflicts: 1013000 | #Constraints: 51377
3188.35/3196.93 c #Conflicts: 1014000 | #Constraints: 52377
3188.35/3196.93 c #Conflicts: 1015000 | #Constraints: 53377
3188.35/3196.93 c #Conflicts: 1016000 | #Constraints: 54377
3188.35/3196.93 c #Conflicts: 1017000 | #Constraints: 55377
3188.35/3196.93 c #Conflicts: 1018000 | #Constraints: 56377
3188.35/3196.93 c #Conflicts: 1019000 | #Constraints: 57377
3188.35/3196.93 c #Conflicts: 1020000 | #Constraints: 58377
3188.35/3196.93 c #Conflicts: 1021000 | #Constraints: 59377
3188.35/3196.93 c INPROCESSING
3188.35/3196.93 c GARBAGE COLLECT
3188.35/3196.93 c #Conflicts: 1022000 | #Constraints: 40360
3188.35/3196.93 c #Conflicts: 1023000 | #Constraints: 41360
3188.35/3196.93 c #Conflicts: 1024000 | #Constraints: 42360
3188.35/3196.93 c #Conflicts: 1025000 | #Constraints: 43360
3188.35/3196.93 c #Conflicts: 1026000 | #Constraints: 44360
3188.35/3196.93 c #Conflicts: 1027000 | #Constraints: 45360
3188.35/3196.93 c #Conflicts: 1028000 | #Constraints: 46360
3188.35/3196.93 c #Conflicts: 1029000 | #Constraints: 47360
3188.35/3196.93 c #Conflicts: 1030000 | #Constraints: 48360
3188.35/3196.93 c #Conflicts: 1031000 | #Constraints: 49360
3188.35/3196.93 c #Conflicts: 1032000 | #Constraints: 50360
3188.35/3196.93 c #Conflicts: 1033000 | #Constraints: 51360
3188.35/3196.93 c #Conflicts: 1034000 | #Constraints: 52360
3188.35/3196.93 c #Conflicts: 1035000 | #Constraints: 53360
3188.35/3196.93 c #Conflicts: 1036000 | #Constraints: 54360
3188.35/3196.93 c #Conflicts: 1037000 | #Constraints: 55360
3188.35/3196.93 c #Conflicts: 1038000 | #Constraints: 56360
3188.35/3196.93 c #Conflicts: 1039000 | #Constraints: 57360
3188.35/3196.93 c #Conflicts: 1040000 | #Constraints: 58360
3188.35/3196.93 c #Conflicts: 1041000 | #Constraints: 59360
3188.35/3196.93 c INPROCESSING
3188.35/3196.93 c GARBAGE COLLECT
3512.85/3522.25 c #Conflicts: 1042000 | #Constraints: 40145
3512.85/3522.25 c #Conflicts: 1043000 | #Constraints: 41145
3512.85/3522.25 c #Conflicts: 1044000 | #Constraints: 42145
3512.85/3522.25 c #Conflicts: 1045000 | #Constraints: 43145
3512.85/3522.25 c #Conflicts: 1046000 | #Constraints: 44145
3512.85/3522.25 c #Conflicts: 1047000 | #Constraints: 45145
3512.85/3522.25 c #Conflicts: 1048000 | #Constraints: 46145
3512.85/3522.25 c #Conflicts: 1049000 | #Constraints: 47145
3512.85/3522.25 c #Conflicts: 1050000 | #Constraints: 48145
3512.85/3522.25 c #Conflicts: 1051000 | #Constraints: 49145
3512.85/3522.25 c #Conflicts: 1052000 | #Constraints: 50145
3512.85/3522.25 c #Conflicts: 1053000 | #Constraints: 51145
3512.85/3522.25 c #Conflicts: 1054000 | #Constraints: 52145
3512.85/3522.25 c #Conflicts: 1055000 | #Constraints: 53145
3512.85/3522.25 c #Conflicts: 1056000 | #Constraints: 54145
3512.85/3522.25 c #Conflicts: 1057000 | #Constraints: 55145
3512.85/3522.25 c #Conflicts: 1058000 | #Constraints: 56145
3512.85/3522.25 c #Conflicts: 1059000 | #Constraints: 57145
3512.85/3522.25 c #Conflicts: 1060000 | #Constraints: 58145
3512.85/3522.25 c #Conflicts: 1061000 | #Constraints: 59145
3512.85/3522.25 c #Conflicts: 1062000 | #Constraints: 60145
3512.85/3522.25 c INPROCESSING
3512.85/3522.25 c GARBAGE COLLECT
3512.85/3522.25 c #Conflicts: 1063000 | #Constraints: 40737
3512.85/3522.25 c #Conflicts: 1064000 | #Constraints: 41737
3512.85/3522.25 c #Conflicts: 1065000 | #Constraints: 42737
3512.85/3522.25 c #Conflicts: 1066000 | #Constraints: 43737
3512.85/3522.25 c #Conflicts: 1067000 | #Constraints: 44737
3512.85/3522.25 c #Conflicts: 1068000 | #Constraints: 45737
3512.85/3522.25 c #Conflicts: 1069000 | #Constraints: 46737
3512.85/3522.25 c #Conflicts: 1070000 | #Constraints: 47737
3512.85/3522.25 c #Conflicts: 1071000 | #Constraints: 48737
3512.85/3522.25 c #Conflicts: 1072000 | #Constraints: 49737
3512.85/3522.25 c #Conflicts: 1073000 | #Constraints: 50737
3512.85/3522.25 c #Conflicts: 1074000 | #Constraints: 51737
3512.85/3522.25 c #Conflicts: 1075000 | #Constraints: 52737
3512.85/3522.25 c #Conflicts: 1076000 | #Constraints: 53737
3512.85/3522.25 c #Conflicts: 1077000 | #Constraints: 54737
3512.85/3522.25 c #Conflicts: 1078000 | #Constraints: 55737
3512.85/3522.25 c #Conflicts: 1079000 | #Constraints: 56737
3512.85/3522.25 c #Conflicts: 1080000 | #Constraints: 57737
3512.85/3522.25 c #Conflicts: 1081000 | #Constraints: 58737
3512.85/3522.25 c #Conflicts: 1082000 | #Constraints: 59737
3512.85/3522.25 c #Conflicts: 1083000 | #Constraints: 60737
3512.85/3522.25 c INPROCESSING
3512.85/3522.25 c GARBAGE COLLECT
3512.85/3522.25 c #Conflicts: 1084000 | #Constraints: 41128
3512.85/3522.25 c #Conflicts: 1085000 | #Constraints: 42128
3512.85/3522.25 c #Conflicts: 1086000 | #Constraints: 43128
3512.85/3522.25 c #Conflicts: 1087000 | #Constraints: 44128
3512.85/3522.25 c #Conflicts: 1088000 | #Constraints: 45128
3512.85/3522.25 c #Conflicts: 1089000 | #Constraints: 46128
3512.85/3522.25 c #Conflicts: 1090000 | #Constraints: 47128
3512.85/3522.25 c #Conflicts: 1091000 | #Constraints: 48128
3512.85/3522.25 c #Conflicts: 1092000 | #Constraints: 49128
3512.85/3522.25 c #Conflicts: 1093000 | #Constraints: 50128
3512.85/3522.25 c #Conflicts: 1094000 | #Constraints: 51128
3512.85/3522.25 c #Conflicts: 1095000 | #Constraints: 52128
3512.85/3522.25 c #Conflicts: 1096000 | #Constraints: 53128
3512.85/3522.25 c #Conflicts: 1097000 | #Constraints: 54128
3512.85/3522.25 c #Conflicts: 1098000 | #Constraints: 55128
3512.85/3522.25 c #Conflicts: 1099000 | #Constraints: 56128
3512.85/3522.25 c #Conflicts: 1100000 | #Constraints: 57128
3512.85/3522.25 c #Conflicts: 1101000 | #Constraints: 58128
3512.85/3522.25 c #Conflicts: 1102000 | #Constraints: 59128
3512.85/3522.25 c #Conflicts: 1103000 | #Constraints: 60128
3512.85/3522.25 c #Conflicts: 1104000 | #Constraints: 61128
3512.85/3522.25 c INPROCESSING
3512.85/3522.25 c GARBAGE COLLECT
3512.85/3522.25 c #Conflicts: 1105000 | #Constraints: 41283
3512.85/3522.25 c #Conflicts: 1106000 | #Constraints: 42283
3512.85/3522.25 c #Conflicts: 1107000 | #Constraints: 43283
3512.85/3522.25 c #Conflicts: 1108000 | #Constraints: 44283
3512.85/3522.25 c #Conflicts: 1109000 | #Constraints: 45283
3512.85/3522.25 c #Conflicts: 1110000 | #Constraints: 46283
3512.85/3522.25 c #Conflicts: 1111000 | #Constraints: 47283
3512.85/3522.25 c #Conflicts: 1112000 | #Constraints: 48283
3512.85/3522.25 c #Conflicts: 1113000 | #Constraints: 49283
3512.85/3522.25 c #Conflicts: 1114000 | #Constraints: 50283
3512.85/3522.25 c #Conflicts: 1115000 | #Constraints: 51283
3512.85/3522.25 c #Conflicts: 1116000 | #Constraints: 52283
3512.85/3522.25 c #Conflicts: 1117000 | #Constraints: 53283
3512.85/3522.25 c #Conflicts: 1118000 | #Constraints: 54283
3600.04/3609.60 c #Conflicts: 1119000 | #Constraints: 55283
3600.04/3609.60 c #Conflicts: 1120000 | #Constraints: 56283
3600.04/3609.60 c #Conflicts: 1121000 | #Constraints: 57283
3600.04/3609.60 c #Conflicts: 1122000 | #Constraints: 58283
3600.04/3609.60 c #Conflicts: 1123000 | #Constraints: 59283
3600.04/3609.60 c #Conflicts: 1124000 | #Constraints: 60283
3600.04/3609.60 c #Conflicts: 1125000 | #Constraints: 61283
3600.04/3609.60 c INPROCESSING
3600.04/3609.60 c GARBAGE COLLECT
3600.04/3609.60 c #Conflicts: 1126000 | #Constraints: 41285
3600.04/3609.60 c #Conflicts: 1127000 | #Constraints: 42285
3600.04/3609.60 c #Conflicts: 1128000 | #Constraints: 43285
3600.04/3609.60 c #Conflicts: 1129000 | #Constraints: 44285
3600.04/3609.60 c #Conflicts: 1130000 | #Constraints: 45285
3600.04/3609.60 c #Conflicts: 1131000 | #Constraints: 46285
3600.04/3609.60 c #Conflicts: 1132000 | #Constraints: 47285
3600.04/3609.60 c #Conflicts: 1133000 | #Constraints: 48285
3600.04/3609.60 c #Conflicts: 1134000 | #Constraints: 49285
3600.04/3609.60 c #Conflicts: 1135000 | #Constraints: 50285
3600.04/3609.60 c #Conflicts: 1136000 | #Constraints: 51285
3600.04/3609.60 c #Conflicts: 1137000 | #Constraints: 52285
3600.04/3609.60 c #Conflicts: 1138000 | #Constraints: 53285
3600.04/3609.60 c #Conflicts: 1139000 | #Constraints: 54285
3600.04/3609.60 c Program interrupted by user.
3600.04/3609.60 c cpu time 3590.03 s
3600.04/3609.60 c deterministic time 1218213594270 1.22e+12
3600.04/3609.60 c optimization time 51.3909 s
3600.04/3609.60 c total solve time 3239.39 s
3600.04/3609.60 c core-guided solve time 3239.39 s
3600.04/3609.60 c propagation time 2627.97 s
3600.04/3609.60 c conflict analysis time 616.397 s
3600.04/3609.60 c propagations 717995784
3600.04/3609.60 c resolve steps 19428729
3600.04/3609.60 c decisions 8559662
3600.04/3609.60 c conflicts 1139155
3600.04/3609.60 c restarts 2097
3600.04/3609.60 c inprocessing phases 97
3600.04/3609.60 c input clauses 19296
3600.04/3609.60 c input cardinalities 7
3600.04/3609.60 c input general constraints 0
3600.04/3609.60 c input average constraint length 2.76
3600.04/3609.60 c input average constraint degree 1.06
3600.04/3609.60 c learned clauses 729306
3600.04/3609.60 c learned cardinalities 1196
3600.04/3609.60 c learned general constraints 408656
3600.04/3609.60 c learned average constraint length 910.11
3600.04/3609.60 c learned average constraint degree 173318.92
3600.04/3609.60 c watched constraints 404399
3600.04/3609.60 c counting constraints 4257
3600.04/3609.60 c gcd simplifications 6950
3600.04/3609.60 c detected cardinalities 11
3600.04/3609.60 c weakened non-implied lits 181635967
3600.04/3609.60 c weakened non-implying lits 38534
3600.04/3609.60 c original variables 5499
3600.04/3609.60 c clausal propagations 571376477
3600.04/3609.60 c cardinality propagations 2065921
3600.04/3609.60 c watched propagations 135608439
3600.04/3609.60 c counting propagations 7671803
3600.04/3609.60 c watch lookups 6043536572
3600.04/3609.60 c watch backjump lookups 3077345910
3600.04/3609.60 c watch checks 948640168902
3600.04/3609.60 c propagation checks 251974763102
3600.04/3609.60 c constraint additions 7023534151
3600.04/3609.60 c trail pops 727690186
3600.04/3609.60 c formula constraints 19296
3600.04/3609.60 c learned constraints 1139158
3600.04/3609.60 c bound constraints 7
3600.04/3609.60 c core-guided constraints 0
3600.04/3609.60 c encountered formula constraints 10097506
3600.04/3609.60 c encountered learned constraints 10470369
3600.04/3609.60 c encountered bound constraints 9
3600.04/3609.60 c encountered core-guided constraints 0
3600.04/3609.60 c LP total time 0 s
3600.04/3609.60 c LP solve time 0 s
3600.04/3609.60 c LP constraints added 0
3600.04/3609.60 c LP constraints removed 0
3600.04/3609.60 c LP pivots internal 0
3600.04/3609.60 c LP pivots root 0
3600.04/3609.60 c LP calls 0
3600.04/3609.60 c LP optimalities 0
3600.04/3609.60 c LP no pivot count 0
3600.04/3609.60 c LP infeasibilities 0
3600.04/3609.60 c LP valid Farkas constraints 0
3600.04/3609.60 c LP learned Farkas constraints 0
3600.04/3609.60 c LP basis resets 0
3600.04/3609.60 c LP cycling count 0
3600.04/3609.60 c LP singular count 0
3600.04/3609.60 c LP no primal count 0
3600.04/3609.60 c LP no farkas count 0
3600.04/3609.60 c LP other issue count 0
3600.04/3609.60 c LP Gomory cuts 0
3600.04/3609.60 c LP learned cuts 0
3600.04/3609.60 c LP deleted cuts 0
3600.04/3609.60 c LP encountered Gomory constraints 0
3600.04/3609.60 c LP encountered Farkas constraints 0
3600.04/3609.60 c LP encountered learned Farkas constraints 0
3600.04/3609.60 c CG auxiliary variables introduced 0
3600.04/3609.60 c CG solutions found 0
3600.04/3609.60 c CG cores constructed 6
3600.04/3609.60 c CG core cardinality constraints returned 0
3600.04/3609.60 c CG unit cores 0
3600.04/3609.60 c CG single cores 6
3600.04/3609.60 c CG blocks removed during cardinality reduction 0
3600.04/3609.60 c CG first core best 0
3600.04/3609.60 c CG decision core best 0
3600.04/3609.60 c CG core reduction tie 0
3600.04/3609.60 c CG core degree average 1.00
3600.04/3609.60 c CG core slack average 48.17
3600.04/3609.60 c CG exhausted 0
3600.04/3609.60 c CG exhaust time 0 s
3600.04/3609.60 c CG trimmed 0
3600.04/3609.60 c CG trim time 0.000491 s
3600.04/3609.60 c CG minimized 0
3600.04/3609.60 c CG minimize time 0 s
3600.04/3609.60 c CG am1 prop time 0.000786 s
3600.04/3609.60 c CG # am1s reformulated 0
3600.04/3609.60 c CG lower bound derived from am1s 0
3600.04/3609.60 c CG # clausal cores 6
3600.04/3609.60 c CG # cardinality cores 0
3600.04/3609.60 c CG # pb cores 0
3600.04/3609.60 c CG # pb reforms 0
3600.04/3609.60 c CG # cores discarded because of pb reform 0
3600.04/3609.60 d LOWERBOUND 6
3600.04/3609.60 d NCORES 6
3600.04/3609.60 d NPBCORES 0
3600.04/3609.60 d NPBREFORM 0
3600.04/3609.60 d NTRIMMED 0
3600.04/3609.60 d NEXHAUSTED 0
3600.04/3609.60 d NAM1S 0
3600.04/3609.60 d AM1LB 0
3600.04/3609.60 c [Papilo Statistics]
3600.04/3609.60 c prepro time 0.0211905s
3600.04/3609.60 c # tsx applied 18
3600.04/3609.60 c # tsx conflicts 0
3600.04/3609.60 c # bound changes 5
3600.04/3609.60 c # side changes 12
3600.04/3609.60 c # coef changes 42
3600.04/3609.60 c # rounds 2
3600.04/3609.60 c # deted vars 11
3600.04/3609.60 c # deted constrs 23
3600.04/3609.60 c # consecutive rounds of only bound changes 0
3600.04/3609.60 s UNKNOWN
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63708 MiB (50659 MiB free)
memory of node 1: 64465 MiB (53137 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4497735-1751400991/watcher-4497735-1751400991 -o /tmp/evaluation-result-4497735-1751400991/solver-4497735-1751400991 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1751397381-55037 --watchdog 3760 mixed-bag HOME/instance-4497735-1751400991.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=55354, runsolver pid=55348
[startup+0.100065 s]*
/proc/loadavg: 4.29 4.26 4.15 5/264 55360
/proc/meminfo: memFree=106276596/131249988 swapFree=33010416/33010684
[pid=55354] ppid=55348 vsize=118804 memory=45308 CPUtime=0.08 cores=1,3
/proc/55354/stat : 55354 (mixed-bag) R 55348 55354 55025 0 -1 4194304 8946 0 0 0 7 1 0 0 20 0 1 0 55777703 121655296 11327 18446744073709551615 4235264 15874749 140724402518624 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 51359744 140724402522524 140724402522601 140724402522601 140724402528203 0
/proc/55354/statm: 29701 11327 4032 2842 0 11395 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 118804 KiB
Current children cumulated memory: 45308 KiB
[startup+0.205689 s]*
/proc/loadavg: 4.29 4.26 4.15 5/264 55360
/proc/meminfo: memFree=106202760/131249988 swapFree=33010416/33010684
[pid=55354] ppid=55348 vsize=148648 memory=73772 CPUtime=0.19 cores=1,3
/proc/55354/stat : 55354 (mixed-bag) R 55348 55354 55025 0 -1 4194304 17197 0 0 0 16 3 0 0 20 0 1 0 55777703 152215552 18443 18446744073709551615 4235264 15874749 140724402518624 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 51359744 140724402522524 140724402522601 140724402522601 140724402528203 0
/proc/55354/statm: 37162 18443 4096 2842 0 18856 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 148648 KiB
Current children cumulated memory: 73772 KiB
[startup+0.305598 s]*
/proc/loadavg: 4.29 4.26 4.15 4/262 55360
/proc/meminfo: memFree=106631304/131249988 swapFree=33010416/33010684
[pid=55354] ppid=55348 vsize=155740 memory=81068 CPUtime=0.28 cores=1,3
/proc/55354/stat : 55354 (mixed-bag) R 55348 55354 55025 0 -1 4194304 18961 0 0 0 25 3 0 0 20 0 1 0 55777703 159477760 20267 18446744073709551615 4235264 15874749 140724402518624 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 51359744 140724402522524 140724402522601 140724402522601 140724402528203 0
/proc/55354/statm: 38935 20267 4128 2842 0 20629 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 155740 KiB
Current children cumulated memory: 81068 KiB
[startup+0.700175 s]
/proc/loadavg: 4.29 4.26 4.15 4/260 55368
/proc/meminfo: memFree=106597788/131249988 swapFree=33010416/33010684
[pid=55354] ppid=55348 vsize=225124 memory=141612 CPUtime=0.67 cores=1,3
/proc/55354/stat : 55354 (mixed-bag) R 55348 55354 55025 0 -1 4194304 33965 0 0 0 61 6 0 0 20 0 1 0 55777703 230526976 35403 18446744073709551615 4235264 15874749 140724402518624 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 51359744 140724402522524 140724402522601 140724402522601 140724402528203 0
/proc/55354/statm: 56281 35403 4320 2842 0 37975 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 225124 KiB
Current children cumulated memory: 141612 KiB
[startup+1.50018 s]
/proc/loadavg: 4.29 4.26 4.15 3/258 55391
/proc/meminfo: memFree=109617024/131249988 swapFree=33010416/33010684
[pid=55354] ppid=55348 vsize=244636 memory=160044 CPUtime=1.47 cores=1,3
/proc/55354/stat : 55354 (mixed-bag) R 55348 55354 55025 0 -1 4194304 38617 0 0 0 140 7 0 0 20 0 1 0 55777703 250507264 40011 18446744073709551615 4235264 15874749 140724402518624 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 51359744 140724402522524 140724402522601 140724402522601 140724402528203 0
/proc/55354/statm: 61159 40011 4320 2842 0 42853 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 244636 KiB
Current children cumulated memory: 160044 KiB
[startup+3.10528 s]
/proc/loadavg: 4.29 4.26 4.15 5/264 55450
/proc/meminfo: memFree=108896832/131249988 swapFree=33010416/33010684
[pid=55354] ppid=55348 vsize=252116 memory=167852 CPUtime=3.07 cores=1,3
/proc/55354/stat : 55354 (mixed-bag) R 55348 55354 55025 0 -1 4194304 40566 0 0 0 300 7 0 0 20 0 1 0 55777703 258166784 41963 18446744073709551615 4235264 15874749 140724402518624 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 51359744 140724402522524 140724402522601 140724402522601 140724402528203 0
/proc/55354/statm: 63029 41963 4320 2842 0 44723 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 252116 KiB
Current children cumulated memory: 167852 KiB
[startup+6.30016 s]
/proc/loadavg: 4.27 4.25 4.15 5/264 55450
/proc/meminfo: memFree=108573504/131249988 swapFree=33010416/33010684
[pid=55354] ppid=55348 vsize=283868 memory=186924 CPUtime=6.26 cores=1,3
/proc/55354/stat : 55354 (mixed-bag) R 55348 55354 55025 0 -1 4194304 45674 0 0 0 618 8 0 0 20 0 1 0 55777703 290680832 46731 18446744073709551615 4235264 15874749 140724402518624 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 51359744 140724402522524 140724402522601 140724402522601 140724402528203 0
/proc/55354/statm: 70967 46731 4320 2842 0 52661 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 283868 KiB
Current children cumulated memory: 186924 KiB
[startup+12.7002 s]
/proc/loadavg: 4.33 4.27 4.16 5/262 55486
/proc/meminfo: memFree=108688524/131249988 swapFree=33010416/33010684
[pid=55354] ppid=55348 vsize=320524 memory=223916 CPUtime=12.64 cores=1,3
/proc/55354/stat : 55354 (mixed-bag) R 55348 55354 55025 0 -1 4194304 54940 0 0 0 1255 9 0 0 20 0 1 0 55777703 328216576 55979 18446744073709551615 4235264 15874749 140724402518624 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 51359744 140724402522524 140724402522601 140724402522601 140724402528203 0
/proc/55354/statm: 80131 55979 4320 2842 0 61825 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 320524 KiB
Current children cumulated memory: 223916 KiB
[startup+25.5002 s]
/proc/loadavg: 4.26 4.25 4.15 5/265 55496
/proc/meminfo: memFree=105907616/131249988 swapFree=33010416/33010684
[pid=55354] ppid=55348 vsize=320524 memory=223916 CPUtime=25.41 cores=1,3
/proc/55354/stat : 55354 (mixed-bag) R 55348 55354 55025 0 -1 4194304 54951 0 0 0 2532 9 0 0 20 0 1 0 55777703 328216576 55979 18446744073709551615 4235264 15874749 140724402518624 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 51359744 140724402522524 140724402522601 140724402522601 140724402528203 0
/proc/55354/statm: 80131 55979 4320 2842 0 61825 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 320524 KiB
Current children cumulated memory: 223916 KiB
[startup+51.1053 s]
/proc/loadavg: 4.24 4.25 4.16 5/264 55496
/proc/meminfo: memFree=96968284/131249988 swapFree=33010416/33010684
[pid=55354] ppid=55348 vsize=320524 memory=225324 CPUtime=50.95 cores=1,3
/proc/55354/stat : 55354 (mixed-bag) R 55348 55354 55025 0 -1 4194304 54955 0 0 0 5086 9 0 0 20 0 1 0 55777703 328216576 56331 18446744073709551615 4235264 15874749 140724402518624 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 51359744 140724402522524 140724402522601 140724402522601 140724402528203 0
/proc/55354/statm: 80131 56331 4320 2842 0 61825 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 320524 KiB
Current children cumulated memory: 225324 KiB
[startup+102.3 s]
/proc/loadavg: 4.22 4.24 4.16 4/265 55656
/proc/meminfo: memFree=108162956/131249988 swapFree=33010416/33010684
[pid=55354] ppid=55348 vsize=320524 memory=226988 CPUtime=102 cores=1,3
/proc/55354/stat : 55354 (mixed-bag) R 55348 55354 55025 0 -1 4194304 55243 0 0 0 10191 9 0 0 20 0 1 0 55777703 328216576 56747 18446744073709551615 4235264 15874749 140724402518624 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 51359744 140724402522524 140724402522601 140724402522601 140724402528203 0
/proc/55354/statm: 80131 56747 4320 2842 0 61825 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 320524 KiB
Current children cumulated memory: 226988 KiB
[startup+162.3 s]
/proc/loadavg: 4.08 4.19 4.15 5/266 55778
/proc/meminfo: memFree=98648788/131249988 swapFree=33010416/33010684
[pid=55354] ppid=55348 vsize=368580 memory=283672 CPUtime=161.85 cores=1,3
/proc/55354/stat : 55354 (mixed-bag) R 55348 55354 55025 0 -1 4194304 64377 0 0 0 16174 11 0 0 20 0 1 0 55777703 377425920 70918 18446744073709551615 4235264 15874749 140724402518624 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 51359744 140724402522524 140724402522601 140724402522601 140724402528203 0
/proc/55354/statm: 92145 70918 4320 2842 0 73839 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 368580 KiB
Current children cumulated memory: 283672 KiB
[startup+222.3 s]
/proc/loadavg: 4.07 4.17 4.14 5/266 55780
/proc/meminfo: memFree=96756264/131249988 swapFree=33010416/33010684
[pid=55354] ppid=55348 vsize=376272 memory=305148 CPUtime=221.72 cores=1,3
/proc/55354/stat : 55354 (mixed-bag) R 55348 55354 55025 0 -1 4194304 67861 0 0 0 22160 12 0 0 20 0 1 0 55777703 385302528 76287 18446744073709551615 4235264 15874749 140724402518624 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 51359744 140724402522524 140724402522601 140724402522601 140724402528203 0
/proc/55354/statm: 94068 76287 4320 2842 0 75762 0
Current children cumulated CPU time: 221.72 s
Current children cumulated vsize: 376272 KiB
Current children cumulated memory: 305148 KiB
[startup+282.3 s]
/proc/loadavg: 4.12 4.17 4.14 5/267 55835
/proc/meminfo: memFree=102679596/131249988 swapFree=33010416/33010684
[pid=55354] ppid=55348 vsize=376272 memory=305148 CPUtime=281.54 cores=1,3
/proc/55354/stat : 55354 (mixed-bag) R 55348 55354 55025 0 -1 4194304 67862 0 0 0 28142 12 0 0 20 0 1 0 55777703 385302528 76287 18446744073709551615 4235264 15874749 140724402518624 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 51359744 140724402522524 140724402522601 140724402522601 140724402528203 0
/proc/55354/statm: 94068 76287 4320 2842 0 75762 0
Current children cumulated CPU time: 281.54 s
Current children cumulated vsize: 376272 KiB
Current children cumulated memory: 305148 KiB
[startup+342.3 s]
/proc/loadavg: 4.15 4.17 4.14 5/267 55936
/proc/meminfo: memFree=107957568/131249988 swapFree=33010416/33010684
[pid=55354] ppid=55348 vsize=410792 memory=336312 CPUtime=341.35 cores=1,3
/proc/55354/stat : 55354 (mixed-bag) R 55348 55354 55025 0 -1 4194304 70629 0 0 0 34096 39 0 0 20 0 1 0 55777703 420651008 84078 18446744073709551615 4235264 15874749 140724402518624 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 51359744 140724402522524 140724402522601 140724402522601 140724402528203 0
/proc/55354/statm: 102698 84078 4512 2842 0 84392 0
Current children cumulated CPU time: 341.35 s
Current children cumulated vsize: 410792 KiB
Current children cumulated memory: 336312 KiB
[startup+402.3 s]
/proc/loadavg: 4.13 4.15 4.13 5/265 55938
/proc/meminfo: memFree=108248456/131249988 swapFree=33010416/33010684
[pid=55354] ppid=55348 vsize=441612 memory=350648 CPUtime=401.17 cores=1,3
/proc/55354/stat : 55354 (mixed-bag) R 55348 55354 55025 0 -1 4194304 71148 0 0 0 40044 73 0 0 20 0 1 0 55777703 452210688 87662 18446744073709551615 4235264 15874749 140724402518624 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 51359744 140724402522524 140724402522601 140724402522601 140724402528203 0
/proc/55354/statm: 110403 87662 4512 2842 0 92097 0
Current children cumulated CPU time: 401.17 s
Current children cumulated vsize: 441612 KiB
Current children cumulated memory: 350648 KiB
[startup+462.3 s]
/proc/loadavg: 4.10 4.14 4.13 5/265 55940
/proc/meminfo: memFree=108216068/131249988 swapFree=33010416/33010684
[pid=55354] ppid=55348 vsize=441612 memory=350648 CPUtime=460.99 cores=1,3
/proc/55354/stat : 55354 (mixed-bag) R 55348 55354 55025 0 -1 4194304 71171 0 0 0 45995 104 0 0 20 0 1 0 55777703 452210688 87662 18446744073709551615 4235264 15874749 140724402518624 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 51359744 140724402522524 140724402522601 140724402522601 140724402528203 0
/proc/55354/statm: 110403 87662 4512 2842 0 92097 0
Current children cumulated CPU time: 460.99 s
################
# More data... #
################
Current children cumulated memory: 427628 KiB
[startup+2862.3 s]
/proc/loadavg: 4.19 4.14 4.12 5/264 56063
/proc/meminfo: memFree=107505164/131249988 swapFree=33010416/33010684
[pid=55354] ppid=55348 vsize=573088 memory=431724 CPUtime=2854.58 cores=1,3
/proc/55354/stat : 55354 (mixed-bag) R 55348 55354 55025 0 -1 4194304 73087 0 0 0 284592 866 0 0 20 0 1 0 55777703 586842112 107931 18446744073709551615 4235264 15874749 140724402518624 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 51359744 140724402522524 140724402522601 140724402522601 140724402528203 0
/proc/55354/statm: 143272 107931 4512 2842 0 124966 0
Current children cumulated CPU time: 2854.58 s
Current children cumulated vsize: 573088 KiB
Current children cumulated memory: 431724 KiB
[startup+2922.3 s]
/proc/loadavg: 4.12 4.13 4.11 5/264 56065
/proc/meminfo: memFree=107529164/131249988 swapFree=33010416/33010684
[pid=55354] ppid=55348 vsize=573088 memory=433772 CPUtime=2914.44 cores=1,3
/proc/55354/stat : 55354 (mixed-bag) R 55348 55354 55025 0 -1 4194304 73088 0 0 0 290568 876 0 0 20 0 1 0 55777703 586842112 108443 18446744073709551615 4235264 15874749 140724402518624 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 51359744 140724402522524 140724402522601 140724402522601 140724402528203 0
/proc/55354/statm: 143272 108443 4512 2842 0 124966 0
Current children cumulated CPU time: 2914.44 s
Current children cumulated vsize: 573088 KiB
Current children cumulated memory: 433772 KiB
[startup+2982.3 s]
/proc/loadavg: 4.08 4.12 4.11 5/264 56067
/proc/meminfo: memFree=107512588/131249988 swapFree=33010416/33010684
[pid=55354] ppid=55348 vsize=573088 memory=433772 CPUtime=2974.29 cores=1,3
/proc/55354/stat : 55354 (mixed-bag) R 55348 55354 55025 0 -1 4194304 73088 0 0 0 296541 888 0 0 20 0 1 0 55777703 586842112 108443 18446744073709551615 4235264 15874749 140724402518624 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 51359744 140724402522524 140724402522601 140724402522601 140724402528203 0
/proc/55354/statm: 143272 108443 4512 2842 0 124966 0
Current children cumulated CPU time: 2974.29 s
Current children cumulated vsize: 573088 KiB
Current children cumulated memory: 433772 KiB
[startup+3042.3 s]
/proc/loadavg: 4.09 4.11 4.10 5/265 56076
/proc/meminfo: memFree=107491980/131249988 swapFree=33010416/33010684
[pid=55354] ppid=55348 vsize=573088 memory=433772 CPUtime=3034.13 cores=1,3
/proc/55354/stat : 55354 (mixed-bag) R 55348 55354 55025 0 -1 4194304 73088 0 0 0 302515 898 0 0 20 0 1 0 55777703 586842112 108443 18446744073709551615 4235264 15874749 140724402518624 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 51359744 140724402522524 140724402522601 140724402522601 140724402528203 0
/proc/55354/statm: 143272 108443 4512 2842 0 124966 0
Current children cumulated CPU time: 3034.13 s
Current children cumulated vsize: 573088 KiB
Current children cumulated memory: 433772 KiB
[startup+3102.3 s]
/proc/loadavg: 4.08 4.10 4.10 5/265 56078
/proc/meminfo: memFree=107492588/131249988 swapFree=33010416/33010684
[pid=55354] ppid=55348 vsize=573088 memory=433772 CPUtime=3093.98 cores=1,3
/proc/55354/stat : 55354 (mixed-bag) R 55348 55354 55025 0 -1 4194304 73088 0 0 0 308490 908 0 0 20 0 1 0 55777703 586842112 108443 18446744073709551615 4235264 15874749 140724402518624 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 51359744 140724402522524 140724402522601 140724402522601 140724402528203 0
/proc/55354/statm: 143272 108443 4512 2842 0 124966 0
Current children cumulated CPU time: 3093.98 s
Current children cumulated vsize: 573088 KiB
Current children cumulated memory: 433772 KiB
[startup+3162.3 s]
/proc/loadavg: 4.13 4.11 4.10 5/265 56080
/proc/meminfo: memFree=107492284/131249988 swapFree=33010416/33010684
[pid=55354] ppid=55348 vsize=573088 memory=433772 CPUtime=3153.84 cores=1,3
/proc/55354/stat : 55354 (mixed-bag) R 55348 55354 55025 0 -1 4194304 73089 0 0 0 314465 919 0 0 20 0 1 0 55777703 586842112 108443 18446744073709551615 4235264 15874749 140724402518624 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 51359744 140724402522524 140724402522601 140724402522601 140724402528203 0
/proc/55354/statm: 143272 108443 4512 2842 0 124966 0
Current children cumulated CPU time: 3153.84 s
Current children cumulated vsize: 573088 KiB
Current children cumulated memory: 433772 KiB
[startup+3222.3 s]
/proc/loadavg: 4.05 4.09 4.09 5/263 56082
/proc/meminfo: memFree=107484492/131249988 swapFree=33010416/33010684
[pid=55354] ppid=55348 vsize=573088 memory=433772 CPUtime=3213.69 cores=1,3
/proc/55354/stat : 55354 (mixed-bag) R 55348 55354 55025 0 -1 4194304 73089 0 0 0 320440 929 0 0 20 0 1 0 55777703 586842112 108443 18446744073709551615 4235264 15874749 140724402518624 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 51359744 140724402522524 140724402522601 140724402522601 140724402528203 0
/proc/55354/statm: 143272 108443 4512 2842 0 124966 0
Current children cumulated CPU time: 3213.69 s
Current children cumulated vsize: 573088 KiB
Current children cumulated memory: 433772 KiB
[startup+3282.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/263 56086
/proc/meminfo: memFree=107436676/131249988 swapFree=33010416/33010684
[pid=55354] ppid=55348 vsize=573088 memory=474732 CPUtime=3273.54 cores=1,3
/proc/55354/stat : 55354 (mixed-bag) R 55348 55354 55025 0 -1 4194304 73109 0 0 0 326412 942 0 0 20 0 1 0 55777703 586842112 118683 18446744073709551615 4235264 15874749 140724402518624 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 51359744 140724402522524 140724402522601 140724402522601 140724402528203 0
/proc/55354/statm: 143272 118683 4512 2842 0 124966 0
Current children cumulated CPU time: 3273.54 s
Current children cumulated vsize: 573088 KiB
Current children cumulated memory: 474732 KiB
[startup+3342.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/263 56088
/proc/meminfo: memFree=107427400/131249988 swapFree=33010416/33010684
[pid=55354] ppid=55348 vsize=573088 memory=482924 CPUtime=3333.39 cores=1,3
/proc/55354/stat : 55354 (mixed-bag) R 55348 55354 55025 0 -1 4194304 73113 0 0 0 332386 953 0 0 20 0 1 0 55777703 586842112 120731 18446744073709551615 4235264 15874749 140724402518624 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 51359744 140724402522524 140724402522601 140724402522601 140724402528203 0
/proc/55354/statm: 143272 120731 4512 2842 0 124966 0
Current children cumulated CPU time: 3333.39 s
Current children cumulated vsize: 573088 KiB
Current children cumulated memory: 482924 KiB
[startup+3402.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/262 56090
/proc/meminfo: memFree=107427504/131249988 swapFree=33010416/33010684
[pid=55354] ppid=55348 vsize=573088 memory=482924 CPUtime=3393.24 cores=1,3
/proc/55354/stat : 55354 (mixed-bag) R 55348 55354 55025 0 -1 4194304 73174 0 0 0 338360 964 0 0 20 0 1 0 55777703 586842112 120731 18446744073709551615 4235264 15874749 140724402518624 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 51359744 140724402522524 140724402522601 140724402522601 140724402528203 0
/proc/55354/statm: 143272 120731 4512 2842 0 124966 0
Current children cumulated CPU time: 3393.24 s
Current children cumulated vsize: 573088 KiB
Current children cumulated memory: 482924 KiB
[startup+3462.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/262 56092
/proc/meminfo: memFree=107427376/131249988 swapFree=33010416/33010684
[pid=55354] ppid=55348 vsize=573088 memory=482924 CPUtime=3453.1 cores=1,3
/proc/55354/stat : 55354 (mixed-bag) R 55348 55354 55025 0 -1 4194304 73241 0 0 0 344336 974 0 0 20 0 1 0 55777703 586842112 120731 18446744073709551615 4235264 15874749 140724402518624 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 51359744 140724402522524 140724402522601 140724402522601 140724402528203 0
/proc/55354/statm: 143272 120731 4512 2842 0 124966 0
Current children cumulated CPU time: 3453.1 s
Current children cumulated vsize: 573088 KiB
Current children cumulated memory: 482924 KiB
[startup+3522.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/262 56094
/proc/meminfo: memFree=107427416/131249988 swapFree=33010416/33010684
[pid=55354] ppid=55348 vsize=573088 memory=482924 CPUtime=3512.95 cores=1,3
/proc/55354/stat : 55354 (mixed-bag) R 55348 55354 55025 0 -1 4194304 73245 0 0 0 350311 984 0 0 20 0 1 0 55777703 586842112 120731 18446744073709551615 4235264 15874749 140724402518624 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 51359744 140724402522524 140724402522601 140724402522601 140724402528203 0
/proc/55354/statm: 143272 120731 4512 2842 0 124966 0
Current children cumulated CPU time: 3512.95 s
Current children cumulated vsize: 573088 KiB
Current children cumulated memory: 482924 KiB
[startup+3582.3 s]
/proc/loadavg: 4.39 4.16 4.11 5/262 56096
/proc/meminfo: memFree=107427020/131249988 swapFree=33010416/33010684
[pid=55354] ppid=55348 vsize=573088 memory=482924 CPUtime=3572.81 cores=1,3
/proc/55354/stat : 55354 (mixed-bag) R 55348 55354 55025 0 -1 4194304 73245 0 0 0 356286 995 0 0 20 0 1 0 55777703 586842112 120731 18446744073709551615 4235264 15874749 140724402518624 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 51359744 140724402522524 140724402522601 140724402522601 140724402528203 0
/proc/55354/statm: 143272 120731 4512 2842 0 124966 0
Current children cumulated CPU time: 3572.81 s
Current children cumulated vsize: 573088 KiB
Current children cumulated memory: 482924 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.6 s]
/proc/loadavg: 4.31 4.17 4.12 5/262 56096
/proc/meminfo: memFree=107419292/131249988 swapFree=33010416/33010684
[pid=55354] ppid=55348 vsize=573088 memory=482924 CPUtime=3600.04 cores=1,3
/proc/55354/stat : 55354 (mixed-bag) R 55348 55354 55025 0 -1 4194304 73245 0 0 0 359003 1001 0 0 20 0 1 0 55777703 586842112 120731 18446744073709551615 4235264 15874749 140724402518624 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 51359744 140724402522524 140724402522601 140724402522601 140724402528203 0
/proc/55354/statm: 143272 120731 4512 2842 0 124966 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 573088 KiB
Current children cumulated memory: 482924 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.61 s]
# the end of solver process 55354 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3590.03 s, system=10.0174 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3609.61
CPU time (s): 3600.05
CPU user time (s): 3590.03
CPU system time (s): 10.0174
CPU usage (%): 99.7353
Max. virtual memory (cumulated for all children) (KiB): 573088
Max. memory (cumulated for all children) (KiB): 482924
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3590.03
system time used= 10.0174
maximum resident set size= 483820
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 73276
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= 231
involuntary context switches= 1150
# summary of solver processes directly reported to runsolver:
# pid: 55354
# total CPU time (s): 3600.05
# total CPU user time (s): 3590.03
# total CPU system time (s): 10.0174
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.73428 second user time and 15.354 second system time
The end
Begin job on nodeC031 at 2025-07-01 22:16:31
IDJOB=4497735
IDBENCH=148192
IDSOLVER=3340
FILE ID=nodeC031/4497735-1751400991
RUNJOBID= nodeC031-1751397381-55037
SLURM_JOB_ID= 9598276
Free space on /tmp= 432872 MiB
SOLVER NAME= mixed-bag-2024 2025-05-06
BENCH NAME= PB24/normalized-PB07/OPT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_5.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4497735-1751400991/watcher-4497735-1751400991 -o /tmp/evaluation-result-4497735-1751400991/solver-4497735-1751400991 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1751397381-55037 --watchdog 3760 mixed-bag HOME/instance-4497735-1751400991.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 2f5de9b63d0a2988dce846045b262c40
RANDOM SEED=161699557
nodeC031 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.922
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.671
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
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 : 3604.412
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.815
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
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 : 3595.891
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
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 : 3599.895
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
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 : 3599.893
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
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.776
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249988 kB
MemFree: 106302284 kB
MemAvailable: 126044044 kB
Buffers: 2128 kB
Cached: 20428188 kB
SwapCached: 12 kB
Active: 4066844 kB
Inactive: 20022344 kB
Active(anon): 3666456 kB
Inactive(anon): 10472 kB
Active(file): 400388 kB
Inactive(file): 20011872 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010416 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 18248 kB
Writeback: 0 kB
AnonPages: 3659392 kB
Mapped: 129372 kB
Shmem: 18052 kB
KReclaimable: 337480 kB
Slab: 428544 kB
SReclaimable: 337480 kB
SUnreclaim: 91064 kB
KernelStack: 4208 kB
PageTables: 10304 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635676 kB
Committed_AS: 4017864 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150520 kB
VmallocChunk: 0 kB
Percpu: 3808 kB
HardwareCorrupted: 0 kB
AnonHugePages: 3588096 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 191188 kB
DirectMap2M: 9017344 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 432660 MiB
End job on nodeC031 at 2025-07-01 23:16:41