0.00/0.00 c RoundingSat 2
0.00/0.00 c branch
0.00/0.00 c commit
0.00/0.00 c with Papilo
0.00/0.00 c with SCIP
0.00/0.00 c [STEP] parsing instance
0.00/0.04 c [STEP] preprocessing with Papilo
0.00/0.06 c [STEP] solving with SCIP
299.08/300.15 c [STEP] preprocessing done, loading into solver
299.08/300.19 c [STEP] solving
299.08/300.19 c #variables 5489 #constraints 19296
299.08/300.19 c SMALL=int, LARGE=long long
299.08/300.19 c bounds - >= 0 @ 298.848
299.08/300.19 c stratification level: 0
408.13/409.51 c bounds - >= 1 @ 298.856
408.13/409.51 c bounds - >= 2 @ 298.856
408.13/409.51 c bounds - >= 3 @ 298.857
408.13/409.51 c bounds - >= 4 @ 298.859
408.13/409.51 c bounds - >= 5 @ 298.859
408.13/409.51 c bounds - >= 6 @ 298.86
408.13/409.51 c #Conflicts: 1000 | #Constraints: 20306
408.13/409.51 c #Conflicts: 2000 | #Constraints: 21306
408.13/409.51 c INPROCESSING
408.13/409.51 c GARBAGE COLLECT
408.13/409.51 c #Conflicts: 3000 | #Constraints: 21313
408.13/409.51 c #Conflicts: 4000 | #Constraints: 22313
408.13/409.51 c INPROCESSING
408.13/409.51 c GARBAGE COLLECT
408.13/409.51 c #Conflicts: 5000 | #Constraints: 21719
408.13/409.51 c #Conflicts: 6000 | #Constraints: 22719
408.13/409.51 c INPROCESSING
408.13/409.51 c GARBAGE COLLECT
408.13/409.51 c #Conflicts: 7000 | #Constraints: 21725
408.13/409.51 c #Conflicts: 8000 | #Constraints: 22725
408.13/409.51 c #Conflicts: 9000 | #Constraints: 23725
408.13/409.51 c INPROCESSING
408.13/409.51 c GARBAGE COLLECT
408.13/409.51 c #Conflicts: 10000 | #Constraints: 22434
408.13/409.51 c #Conflicts: 11000 | #Constraints: 23434
408.13/409.51 c #Conflicts: 12000 | #Constraints: 24434
408.13/409.51 c INPROCESSING
408.13/409.51 c GARBAGE COLLECT
408.13/409.51 c #Conflicts: 13000 | #Constraints: 22890
408.13/409.51 c #Conflicts: 14000 | #Constraints: 23890
408.13/409.51 c #Conflicts: 15000 | #Constraints: 24890
408.13/409.51 c INPROCESSING
408.13/409.51 c GARBAGE COLLECT
408.13/409.51 c #Conflicts: 16000 | #Constraints: 23131
408.13/409.51 c #Conflicts: 17000 | #Constraints: 24131
408.13/409.51 c #Conflicts: 18000 | #Constraints: 25131
408.13/409.51 c INPROCESSING
408.13/409.51 c GARBAGE COLLECT
408.13/409.51 c #Conflicts: 19000 | #Constraints: 23149
408.13/409.51 c #Conflicts: 20000 | #Constraints: 24149
408.13/409.51 c #Conflicts: 21000 | #Constraints: 25149
408.13/409.51 c INPROCESSING
408.13/409.51 c GARBAGE COLLECT
408.13/409.51 c #Conflicts: 22000 | #Constraints: 22933
408.13/409.51 c #Conflicts: 23000 | #Constraints: 23933
408.13/409.51 c #Conflicts: 24000 | #Constraints: 24933
408.13/409.51 c #Conflicts: 25000 | #Constraints: 25933
408.13/409.51 c INPROCESSING
408.13/409.51 c GARBAGE COLLECT
408.13/409.51 c #Conflicts: 26000 | #Constraints: 23554
408.13/409.51 c #Conflicts: 27000 | #Constraints: 24554
408.13/409.51 c #Conflicts: 28000 | #Constraints: 25554
408.13/409.51 c #Conflicts: 29000 | #Constraints: 26554
408.13/409.51 c INPROCESSING
408.13/409.51 c GARBAGE COLLECT
408.13/409.51 c #Conflicts: 30000 | #Constraints: 23958
408.13/409.51 c #Conflicts: 31000 | #Constraints: 24958
408.13/409.51 c #Conflicts: 32000 | #Constraints: 25958
408.13/409.51 c #Conflicts: 33000 | #Constraints: 26958
408.13/409.51 c INPROCESSING
408.13/409.51 c GARBAGE COLLECT
408.13/409.51 c #Conflicts: 34000 | #Constraints: 24193
408.13/409.51 c #Conflicts: 35000 | #Constraints: 25193
408.13/409.51 c #Conflicts: 36000 | #Constraints: 26193
408.13/409.51 c #Conflicts: 37000 | #Constraints: 27193
408.13/409.51 c INPROCESSING
408.13/409.51 c GARBAGE COLLECT
408.13/409.51 c #Conflicts: 38000 | #Constraints: 24195
408.13/409.51 c #Conflicts: 39000 | #Constraints: 25195
408.13/409.51 c #Conflicts: 40000 | #Constraints: 26195
408.13/409.51 c #Conflicts: 41000 | #Constraints: 27195
408.13/409.51 c INPROCESSING
408.13/409.51 c GARBAGE COLLECT
408.13/409.51 c #Conflicts: 42000 | #Constraints: 23985
408.13/409.51 c #Conflicts: 43000 | #Constraints: 24985
408.13/409.51 c #Conflicts: 44000 | #Constraints: 25985
408.13/409.51 c #Conflicts: 45000 | #Constraints: 26985
408.13/409.51 c #Conflicts: 46000 | #Constraints: 27985
408.13/409.51 c INPROCESSING
408.13/409.51 c GARBAGE COLLECT
408.13/409.51 c #Conflicts: 47000 | #Constraints: 24586
408.13/409.51 c #Conflicts: 48000 | #Constraints: 25586
408.13/409.51 c #Conflicts: 49000 | #Constraints: 26586
408.13/409.51 c #Conflicts: 50000 | #Constraints: 27586
408.13/409.51 c #Conflicts: 51000 | #Constraints: 28586
408.13/409.51 c INPROCESSING
408.13/409.51 c GARBAGE COLLECT
408.13/409.51 c #Conflicts: 52000 | #Constraints: 24976
408.13/409.51 c #Conflicts: 53000 | #Constraints: 25976
408.13/409.51 c #Conflicts: 54000 | #Constraints: 26976
408.13/409.51 c #Conflicts: 55000 | #Constraints: 27976
408.13/409.51 c #Conflicts: 56000 | #Constraints: 28976
408.13/409.51 c INPROCESSING
408.13/409.51 c GARBAGE COLLECT
408.13/409.51 c #Conflicts: 57000 | #Constraints: 25205
408.13/409.51 c #Conflicts: 58000 | #Constraints: 26205
408.13/409.51 c #Conflicts: 59000 | #Constraints: 27205
408.13/409.51 c #Conflicts: 60000 | #Constraints: 28205
408.13/409.51 c #Conflicts: 61000 | #Constraints: 29205
408.13/409.51 c INPROCESSING
408.13/409.51 c GARBAGE COLLECT
408.13/409.51 c #Conflicts: 62000 | #Constraints: 25214
408.13/409.51 c #Conflicts: 63000 | #Constraints: 26214
408.13/409.51 c #Conflicts: 64000 | #Constraints: 27214
408.13/409.51 c #Conflicts: 65000 | #Constraints: 28214
547.69/549.52 c #Conflicts: 66000 | #Constraints: 29214
547.69/549.52 c INPROCESSING
547.69/549.52 c GARBAGE COLLECT
547.69/549.52 c #Conflicts: 67000 | #Constraints: 24994
547.69/549.52 c #Conflicts: 68000 | #Constraints: 25994
547.69/549.52 c #Conflicts: 69000 | #Constraints: 26994
547.69/549.52 c #Conflicts: 70000 | #Constraints: 27994
547.69/549.52 c #Conflicts: 71000 | #Constraints: 28994
547.69/549.52 c #Conflicts: 72000 | #Constraints: 29994
547.69/549.52 c INPROCESSING
547.69/549.52 c GARBAGE COLLECT
547.69/549.52 c #Conflicts: 73000 | #Constraints: 25577
547.69/549.52 c #Conflicts: 74000 | #Constraints: 26577
547.69/549.52 c #Conflicts: 75000 | #Constraints: 27577
547.69/549.52 c #Conflicts: 76000 | #Constraints: 28577
547.69/549.52 c #Conflicts: 77000 | #Constraints: 29577
547.69/549.52 c #Conflicts: 78000 | #Constraints: 30577
547.69/549.52 c INPROCESSING
547.69/549.52 c GARBAGE COLLECT
547.69/549.52 c #Conflicts: 79000 | #Constraints: 26033
547.69/549.52 c #Conflicts: 80000 | #Constraints: 27033
547.69/549.52 c #Conflicts: 81000 | #Constraints: 28033
547.69/549.52 c #Conflicts: 82000 | #Constraints: 29033
547.69/549.52 c #Conflicts: 83000 | #Constraints: 30033
547.69/549.52 c #Conflicts: 84000 | #Constraints: 31033
547.69/549.52 c INPROCESSING
547.69/549.52 c GARBAGE COLLECT
547.69/549.52 c #Conflicts: 85000 | #Constraints: 26261
547.69/549.52 c #Conflicts: 86000 | #Constraints: 27261
547.69/549.52 c #Conflicts: 87000 | #Constraints: 28261
547.69/549.52 c #Conflicts: 88000 | #Constraints: 29261
547.69/549.52 c #Conflicts: 89000 | #Constraints: 30261
547.69/549.52 c #Conflicts: 90000 | #Constraints: 31261
547.69/549.52 c INPROCESSING
547.69/549.52 c GARBAGE COLLECT
547.69/549.52 c #Conflicts: 91000 | #Constraints: 26257
547.69/549.52 c #Conflicts: 92000 | #Constraints: 27257
547.69/549.52 c #Conflicts: 93000 | #Constraints: 28257
547.69/549.52 c #Conflicts: 94000 | #Constraints: 29257
547.69/549.52 c #Conflicts: 95000 | #Constraints: 30257
547.69/549.52 c #Conflicts: 96000 | #Constraints: 31257
547.69/549.52 c INPROCESSING
547.69/549.52 c GARBAGE COLLECT
547.69/549.52 c #Conflicts: 97000 | #Constraints: 26083
547.69/549.52 c #Conflicts: 98000 | #Constraints: 27083
547.69/549.52 c #Conflicts: 99000 | #Constraints: 28083
547.69/549.52 c #Conflicts: 100000 | #Constraints: 29083
547.69/549.52 c #Conflicts: 101000 | #Constraints: 30083
547.69/549.52 c #Conflicts: 102000 | #Constraints: 31083
547.69/549.52 c #Conflicts: 103000 | #Constraints: 32083
547.69/549.52 c INPROCESSING
547.69/549.52 c GARBAGE COLLECT
547.69/549.52 c #Conflicts: 104000 | #Constraints: 26709
547.69/549.52 c #Conflicts: 105000 | #Constraints: 27709
547.69/549.52 c #Conflicts: 106000 | #Constraints: 28709
547.69/549.52 c #Conflicts: 107000 | #Constraints: 29709
547.69/549.52 c #Conflicts: 108000 | #Constraints: 30709
547.69/549.52 c #Conflicts: 109000 | #Constraints: 31709
547.69/549.52 c #Conflicts: 110000 | #Constraints: 32709
547.69/549.52 c INPROCESSING
547.69/549.52 c GARBAGE COLLECT
547.69/549.52 c #Conflicts: 111000 | #Constraints: 27074
547.69/549.52 c #Conflicts: 112000 | #Constraints: 28074
547.69/549.52 c #Conflicts: 113000 | #Constraints: 29074
547.69/549.52 c #Conflicts: 114000 | #Constraints: 30074
547.69/549.52 c #Conflicts: 115000 | #Constraints: 31074
547.69/549.52 c #Conflicts: 116000 | #Constraints: 32074
547.69/549.52 c #Conflicts: 117000 | #Constraints: 33074
547.69/549.52 c INPROCESSING
547.69/549.52 c GARBAGE COLLECT
547.69/549.52 c #Conflicts: 118000 | #Constraints: 27299
547.69/549.52 c #Conflicts: 119000 | #Constraints: 28299
547.69/549.52 c #Conflicts: 120000 | #Constraints: 29299
547.69/549.52 c #Conflicts: 121000 | #Constraints: 30299
547.69/549.52 c #Conflicts: 122000 | #Constraints: 31299
547.69/549.52 c #Conflicts: 123000 | #Constraints: 32299
547.69/549.52 c #Conflicts: 124000 | #Constraints: 33299
547.69/549.52 c INPROCESSING
547.69/549.52 c GARBAGE COLLECT
547.69/549.52 c #Conflicts: 125000 | #Constraints: 27221
547.69/549.52 c #Conflicts: 126000 | #Constraints: 28221
547.69/549.52 c #Conflicts: 127000 | #Constraints: 29221
547.69/549.52 c #Conflicts: 128000 | #Constraints: 30221
547.69/549.52 c #Conflicts: 129000 | #Constraints: 31221
547.69/549.52 c #Conflicts: 130000 | #Constraints: 32221
547.69/549.52 c #Conflicts: 131000 | #Constraints: 33221
547.69/549.52 c INPROCESSING
547.69/549.52 c GARBAGE COLLECT
547.69/549.52 c #Conflicts: 132000 | #Constraints: 27001
547.69/549.52 c #Conflicts: 133000 | #Constraints: 28001
547.69/549.52 c #Conflicts: 134000 | #Constraints: 29001
547.69/549.52 c #Conflicts: 135000 | #Constraints: 30001
547.69/549.52 c #Conflicts: 136000 | #Constraints: 31001
547.69/549.52 c #Conflicts: 137000 | #Constraints: 32001
660.05/662.27 c #Conflicts: 138000 | #Constraints: 33001
660.05/662.27 c #Conflicts: 139000 | #Constraints: 34001
660.05/662.27 c INPROCESSING
660.05/662.27 c GARBAGE COLLECT
660.05/662.27 c #Conflicts: 140000 | #Constraints: 27622
660.05/662.27 c #Conflicts: 141000 | #Constraints: 28622
660.05/662.27 c #Conflicts: 142000 | #Constraints: 29622
660.05/662.27 c #Conflicts: 143000 | #Constraints: 30622
660.05/662.27 c #Conflicts: 144000 | #Constraints: 31622
660.05/662.27 c #Conflicts: 145000 | #Constraints: 32622
660.05/662.27 c #Conflicts: 146000 | #Constraints: 33622
660.05/662.27 c #Conflicts: 147000 | #Constraints: 34622
660.05/662.27 c INPROCESSING
660.05/662.27 c GARBAGE COLLECT
660.05/662.27 c #Conflicts: 148000 | #Constraints: 28013
660.05/662.27 c #Conflicts: 149000 | #Constraints: 29013
660.05/662.27 c #Conflicts: 150000 | #Constraints: 30013
660.05/662.27 c #Conflicts: 151000 | #Constraints: 31013
660.05/662.27 c #Conflicts: 152000 | #Constraints: 32013
660.05/662.27 c #Conflicts: 153000 | #Constraints: 33013
660.05/662.27 c #Conflicts: 154000 | #Constraints: 34013
660.05/662.27 c #Conflicts: 155000 | #Constraints: 35013
660.05/662.27 c INPROCESSING
660.05/662.27 c GARBAGE COLLECT
660.05/662.27 c #Conflicts: 156000 | #Constraints: 28218
660.05/662.27 c #Conflicts: 157000 | #Constraints: 29218
660.05/662.27 c #Conflicts: 158000 | #Constraints: 30218
660.05/662.27 c #Conflicts: 159000 | #Constraints: 31218
660.05/662.27 c #Conflicts: 160000 | #Constraints: 32218
660.05/662.27 c #Conflicts: 161000 | #Constraints: 33218
660.05/662.27 c #Conflicts: 162000 | #Constraints: 34218
660.05/662.27 c #Conflicts: 163000 | #Constraints: 35218
660.05/662.27 c INPROCESSING
660.05/662.27 c GARBAGE COLLECT
660.05/662.27 c #Conflicts: 164000 | #Constraints: 28240
660.05/662.27 c #Conflicts: 165000 | #Constraints: 29240
660.05/662.27 c #Conflicts: 166000 | #Constraints: 30240
660.05/662.27 c #Conflicts: 167000 | #Constraints: 31240
660.05/662.27 c #Conflicts: 168000 | #Constraints: 32240
660.05/662.27 c #Conflicts: 169000 | #Constraints: 33240
660.05/662.27 c #Conflicts: 170000 | #Constraints: 34240
660.05/662.27 c #Conflicts: 171000 | #Constraints: 35240
660.05/662.27 c INPROCESSING
660.05/662.27 c GARBAGE COLLECT
660.05/662.27 c #Conflicts: 172000 | #Constraints: 28052
660.05/662.27 c #Conflicts: 173000 | #Constraints: 29052
660.05/662.27 c #Conflicts: 174000 | #Constraints: 30052
660.05/662.27 c #Conflicts: 175000 | #Constraints: 31052
660.05/662.27 c #Conflicts: 176000 | #Constraints: 32052
660.05/662.27 c #Conflicts: 177000 | #Constraints: 33052
660.05/662.27 c #Conflicts: 178000 | #Constraints: 34052
660.05/662.27 c #Conflicts: 179000 | #Constraints: 35052
660.05/662.27 c #Conflicts: 180000 | #Constraints: 36052
660.05/662.27 c INPROCESSING
660.05/662.27 c GARBAGE COLLECT
660.05/662.27 c #Conflicts: 181000 | #Constraints: 28656
660.05/662.27 c #Conflicts: 182000 | #Constraints: 29656
660.05/662.27 c #Conflicts: 183000 | #Constraints: 30656
660.05/662.27 c #Conflicts: 184000 | #Constraints: 31656
660.05/662.27 c #Conflicts: 185000 | #Constraints: 32656
660.05/662.27 c #Conflicts: 186000 | #Constraints: 33656
660.05/662.27 c #Conflicts: 187000 | #Constraints: 34656
660.05/662.27 c #Conflicts: 188000 | #Constraints: 35656
660.05/662.27 c #Conflicts: 189000 | #Constraints: 36656
660.05/662.27 c INPROCESSING
660.05/662.27 c GARBAGE COLLECT
660.05/662.27 c #Conflicts: 190000 | #Constraints: 29075
660.05/662.27 c #Conflicts: 191000 | #Constraints: 30075
660.05/662.27 c #Conflicts: 192000 | #Constraints: 31075
660.05/662.27 c #Conflicts: 193000 | #Constraints: 32075
660.05/662.27 c #Conflicts: 194000 | #Constraints: 33075
660.05/662.27 c #Conflicts: 195000 | #Constraints: 34075
660.05/662.27 c #Conflicts: 196000 | #Constraints: 35075
660.05/662.27 c #Conflicts: 197000 | #Constraints: 36075
660.05/662.27 c #Conflicts: 198000 | #Constraints: 37075
660.05/662.27 c INPROCESSING
660.05/662.27 c GARBAGE COLLECT
660.05/662.27 c #Conflicts: 199000 | #Constraints: 29278
660.05/662.27 c #Conflicts: 200000 | #Constraints: 30278
660.05/662.27 c #Conflicts: 201000 | #Constraints: 31278
660.05/662.27 c #Conflicts: 202000 | #Constraints: 32278
660.05/662.27 c #Conflicts: 203000 | #Constraints: 33278
660.05/662.27 c #Conflicts: 204000 | #Constraints: 34278
660.05/662.27 c #Conflicts: 205000 | #Constraints: 35278
660.05/662.27 c #Conflicts: 206000 | #Constraints: 36278
660.05/662.27 c #Conflicts: 207000 | #Constraints: 37278
660.05/662.27 c INPROCESSING
660.05/662.27 c GARBAGE COLLECT
660.05/662.27 c #Conflicts: 208000 | #Constraints: 29252
660.05/662.27 c #Conflicts: 209000 | #Constraints: 30252
660.05/662.27 c #Conflicts: 210000 | #Constraints: 31252
794.82/797.47 c #Conflicts: 211000 | #Constraints: 32252
794.82/797.47 c #Conflicts: 212000 | #Constraints: 33252
794.82/797.47 c #Conflicts: 213000 | #Constraints: 34252
794.82/797.47 c #Conflicts: 214000 | #Constraints: 35252
794.82/797.47 c #Conflicts: 215000 | #Constraints: 36252
794.82/797.47 c #Conflicts: 216000 | #Constraints: 37252
794.82/797.47 c INPROCESSING
794.82/797.47 c GARBAGE COLLECT
794.82/797.47 c #Conflicts: 217000 | #Constraints: 29071
794.82/797.47 c #Conflicts: 218000 | #Constraints: 30071
794.82/797.47 c #Conflicts: 219000 | #Constraints: 31071
794.82/797.47 c #Conflicts: 220000 | #Constraints: 32071
794.82/797.47 c #Conflicts: 221000 | #Constraints: 33071
794.82/797.47 c #Conflicts: 222000 | #Constraints: 34071
794.82/797.47 c #Conflicts: 223000 | #Constraints: 35071
794.82/797.47 c #Conflicts: 224000 | #Constraints: 36071
794.82/797.47 c #Conflicts: 225000 | #Constraints: 37071
794.82/797.47 c #Conflicts: 226000 | #Constraints: 38071
794.82/797.47 c INPROCESSING
794.82/797.47 c GARBAGE COLLECT
794.82/797.47 c #Conflicts: 227000 | #Constraints: 29692
794.82/797.47 c #Conflicts: 228000 | #Constraints: 30692
794.82/797.47 c #Conflicts: 229000 | #Constraints: 31692
794.82/797.47 c #Conflicts: 230000 | #Constraints: 32692
794.82/797.47 c #Conflicts: 231000 | #Constraints: 33692
794.82/797.47 c #Conflicts: 232000 | #Constraints: 34692
794.82/797.47 c #Conflicts: 233000 | #Constraints: 35692
794.82/797.47 c #Conflicts: 234000 | #Constraints: 36692
794.82/797.47 c #Conflicts: 235000 | #Constraints: 37692
794.82/797.47 c #Conflicts: 236000 | #Constraints: 38692
794.82/797.47 c INPROCESSING
794.82/797.47 c GARBAGE COLLECT
794.82/797.47 c #Conflicts: 237000 | #Constraints: 30044
794.82/797.47 c #Conflicts: 238000 | #Constraints: 31044
794.82/797.47 c #Conflicts: 239000 | #Constraints: 32044
794.82/797.47 c #Conflicts: 240000 | #Constraints: 33044
794.82/797.47 c #Conflicts: 241000 | #Constraints: 34044
794.82/797.47 c #Conflicts: 242000 | #Constraints: 35044
794.82/797.47 c #Conflicts: 243000 | #Constraints: 36044
794.82/797.47 c #Conflicts: 244000 | #Constraints: 37044
794.82/797.47 c #Conflicts: 245000 | #Constraints: 38044
794.82/797.47 c #Conflicts: 246000 | #Constraints: 39044
794.82/797.47 c INPROCESSING
794.82/797.47 c GARBAGE COLLECT
794.82/797.47 c #Conflicts: 247000 | #Constraints: 30211
794.82/797.47 c #Conflicts: 248000 | #Constraints: 31211
794.82/797.47 c #Conflicts: 249000 | #Constraints: 32211
794.82/797.47 c #Conflicts: 250000 | #Constraints: 33211
794.82/797.47 c #Conflicts: 251000 | #Constraints: 34211
794.82/797.47 c #Conflicts: 252000 | #Constraints: 35211
794.82/797.47 c #Conflicts: 253000 | #Constraints: 36211
794.82/797.47 c #Conflicts: 254000 | #Constraints: 37211
794.82/797.47 c #Conflicts: 255000 | #Constraints: 38211
794.82/797.47 c #Conflicts: 256000 | #Constraints: 39211
794.82/797.47 c INPROCESSING
794.82/797.47 c GARBAGE COLLECT
794.82/797.47 c #Conflicts: 257000 | #Constraints: 30210
794.82/797.47 c #Conflicts: 258000 | #Constraints: 31210
794.82/797.47 c #Conflicts: 259000 | #Constraints: 32210
794.82/797.47 c #Conflicts: 260000 | #Constraints: 33210
794.82/797.47 c #Conflicts: 261000 | #Constraints: 34210
794.82/797.47 c #Conflicts: 262000 | #Constraints: 35210
794.82/797.47 c #Conflicts: 263000 | #Constraints: 36210
794.82/797.47 c #Conflicts: 264000 | #Constraints: 37210
794.82/797.47 c #Conflicts: 265000 | #Constraints: 38210
794.82/797.47 c #Conflicts: 266000 | #Constraints: 39210
794.82/797.47 c INPROCESSING
794.82/797.47 c GARBAGE COLLECT
794.82/797.47 c #Conflicts: 267000 | #Constraints: 30014
794.82/797.47 c #Conflicts: 268000 | #Constraints: 31014
794.82/797.47 c #Conflicts: 269000 | #Constraints: 32014
794.82/797.47 c #Conflicts: 270000 | #Constraints: 33014
794.82/797.47 c #Conflicts: 271000 | #Constraints: 34014
794.82/797.47 c #Conflicts: 272000 | #Constraints: 35014
794.82/797.47 c #Conflicts: 273000 | #Constraints: 36014
794.82/797.47 c #Conflicts: 274000 | #Constraints: 37014
794.82/797.47 c #Conflicts: 275000 | #Constraints: 38014
794.82/797.47 c #Conflicts: 276000 | #Constraints: 39014
794.82/797.47 c #Conflicts: 277000 | #Constraints: 40014
794.82/797.47 c INPROCESSING
794.82/797.47 c GARBAGE COLLECT
794.82/797.47 c #Conflicts: 278000 | #Constraints: 30612
794.82/797.47 c #Conflicts: 279000 | #Constraints: 31612
794.82/797.47 c #Conflicts: 280000 | #Constraints: 32612
794.82/797.47 c #Conflicts: 281000 | #Constraints: 33612
794.82/797.47 c #Conflicts: 282000 | #Constraints: 34612
794.82/797.47 c #Conflicts: 283000 | #Constraints: 35612
794.82/797.47 c #Conflicts: 284000 | #Constraints: 36612
794.82/797.47 c #Conflicts: 285000 | #Constraints: 37612
946.84/949.92 c #Conflicts: 286000 | #Constraints: 38612
946.84/949.92 c #Conflicts: 287000 | #Constraints: 39612
946.84/949.92 c #Conflicts: 288000 | #Constraints: 40612
946.84/949.92 c INPROCESSING
946.84/949.92 c GARBAGE COLLECT
946.84/949.92 c #Conflicts: 289000 | #Constraints: 31039
946.84/949.92 c #Conflicts: 290000 | #Constraints: 32039
946.84/949.92 c #Conflicts: 291000 | #Constraints: 33039
946.84/949.92 c #Conflicts: 292000 | #Constraints: 34039
946.84/949.92 c #Conflicts: 293000 | #Constraints: 35039
946.84/949.92 c #Conflicts: 294000 | #Constraints: 36039
946.84/949.92 c #Conflicts: 295000 | #Constraints: 37039
946.84/949.92 c #Conflicts: 296000 | #Constraints: 38039
946.84/949.92 c #Conflicts: 297000 | #Constraints: 39039
946.84/949.92 c #Conflicts: 298000 | #Constraints: 40039
946.84/949.92 c #Conflicts: 299000 | #Constraints: 41039
946.84/949.92 c INPROCESSING
946.84/949.92 c GARBAGE COLLECT
946.84/949.92 c #Conflicts: 300000 | #Constraints: 31232
946.84/949.92 c #Conflicts: 301000 | #Constraints: 32232
946.84/949.92 c #Conflicts: 302000 | #Constraints: 33232
946.84/949.92 c #Conflicts: 303000 | #Constraints: 34232
946.84/949.92 c #Conflicts: 304000 | #Constraints: 35232
946.84/949.92 c #Conflicts: 305000 | #Constraints: 36232
946.84/949.92 c #Conflicts: 306000 | #Constraints: 37232
946.84/949.92 c #Conflicts: 307000 | #Constraints: 38232
946.84/949.92 c #Conflicts: 308000 | #Constraints: 39232
946.84/949.92 c #Conflicts: 309000 | #Constraints: 40232
946.84/949.92 c #Conflicts: 310000 | #Constraints: 41232
946.84/949.92 c INPROCESSING
946.84/949.92 c GARBAGE COLLECT
946.84/949.92 c #Conflicts: 311000 | #Constraints: 31247
946.84/949.92 c #Conflicts: 312000 | #Constraints: 32247
946.84/949.92 c #Conflicts: 313000 | #Constraints: 33247
946.84/949.92 c #Conflicts: 314000 | #Constraints: 34247
946.84/949.92 c #Conflicts: 315000 | #Constraints: 35247
946.84/949.92 c #Conflicts: 316000 | #Constraints: 36247
946.84/949.92 c #Conflicts: 317000 | #Constraints: 37247
946.84/949.92 c #Conflicts: 318000 | #Constraints: 38247
946.84/949.92 c #Conflicts: 319000 | #Constraints: 39247
946.84/949.92 c #Conflicts: 320000 | #Constraints: 40247
946.84/949.92 c #Conflicts: 321000 | #Constraints: 41247
946.84/949.92 c INPROCESSING
946.84/949.92 c GARBAGE COLLECT
946.84/949.92 c #Conflicts: 322000 | #Constraints: 31004
946.84/949.92 c #Conflicts: 323000 | #Constraints: 32004
946.84/949.92 c #Conflicts: 324000 | #Constraints: 33004
946.84/949.92 c #Conflicts: 325000 | #Constraints: 34004
946.84/949.92 c #Conflicts: 326000 | #Constraints: 35004
946.84/949.92 c #Conflicts: 327000 | #Constraints: 36004
946.84/949.92 c #Conflicts: 328000 | #Constraints: 37004
946.84/949.92 c #Conflicts: 329000 | #Constraints: 38004
946.84/949.92 c #Conflicts: 330000 | #Constraints: 39004
946.84/949.92 c #Conflicts: 331000 | #Constraints: 40004
946.84/949.92 c #Conflicts: 332000 | #Constraints: 41004
946.84/949.92 c #Conflicts: 333000 | #Constraints: 42004
946.84/949.92 c INPROCESSING
946.84/949.92 c GARBAGE COLLECT
946.84/949.92 c #Conflicts: 334000 | #Constraints: 31657
946.84/949.92 c #Conflicts: 335000 | #Constraints: 32657
946.84/949.92 c #Conflicts: 336000 | #Constraints: 33657
946.84/949.92 c #Conflicts: 337000 | #Constraints: 34657
946.84/949.92 c #Conflicts: 338000 | #Constraints: 35657
946.84/949.92 c #Conflicts: 339000 | #Constraints: 36657
946.84/949.92 c #Conflicts: 340000 | #Constraints: 37657
946.84/949.92 c #Conflicts: 341000 | #Constraints: 38657
946.84/949.92 c #Conflicts: 342000 | #Constraints: 39657
946.84/949.92 c #Conflicts: 343000 | #Constraints: 40657
946.84/949.92 c #Conflicts: 344000 | #Constraints: 41657
946.84/949.92 c #Conflicts: 345000 | #Constraints: 42657
946.84/949.92 c INPROCESSING
946.84/949.92 c GARBAGE COLLECT
946.84/949.92 c #Conflicts: 346000 | #Constraints: 32059
946.84/949.92 c #Conflicts: 347000 | #Constraints: 33059
946.84/949.92 c #Conflicts: 348000 | #Constraints: 34059
946.84/949.92 c #Conflicts: 349000 | #Constraints: 35059
946.84/949.92 c #Conflicts: 350000 | #Constraints: 36059
946.84/949.92 c #Conflicts: 351000 | #Constraints: 37059
946.84/949.92 c #Conflicts: 352000 | #Constraints: 38059
946.84/949.92 c #Conflicts: 353000 | #Constraints: 39059
946.84/949.92 c #Conflicts: 354000 | #Constraints: 40059
946.84/949.92 c #Conflicts: 355000 | #Constraints: 41059
946.84/949.92 c #Conflicts: 356000 | #Constraints: 42059
946.84/949.92 c #Conflicts: 357000 | #Constraints: 43059
946.84/949.92 c INPROCESSING
946.84/949.92 c GARBAGE COLLECT
946.84/949.92 c #Conflicts: 358000 | #Constraints: 32278
946.84/949.92 c #Conflicts: 359000 | #Constraints: 33278
1114.42/1118.02 c #Conflicts: 360000 | #Constraints: 34278
1114.42/1118.02 c #Conflicts: 361000 | #Constraints: 35278
1114.42/1118.02 c #Conflicts: 362000 | #Constraints: 36278
1114.42/1118.02 c #Conflicts: 363000 | #Constraints: 37278
1114.42/1118.02 c #Conflicts: 364000 | #Constraints: 38278
1114.42/1118.02 c #Conflicts: 365000 | #Constraints: 39278
1114.42/1118.02 c #Conflicts: 366000 | #Constraints: 40278
1114.42/1118.02 c #Conflicts: 367000 | #Constraints: 41278
1114.42/1118.02 c #Conflicts: 368000 | #Constraints: 42278
1114.42/1118.02 c #Conflicts: 369000 | #Constraints: 43278
1114.42/1118.02 c INPROCESSING
1114.42/1118.02 c GARBAGE COLLECT
1114.42/1118.02 c #Conflicts: 370000 | #Constraints: 32289
1114.42/1118.02 c #Conflicts: 371000 | #Constraints: 33289
1114.42/1118.02 c #Conflicts: 372000 | #Constraints: 34289
1114.42/1118.02 c #Conflicts: 373000 | #Constraints: 35289
1114.42/1118.02 c #Conflicts: 374000 | #Constraints: 36289
1114.42/1118.02 c #Conflicts: 375000 | #Constraints: 37289
1114.42/1118.02 c #Conflicts: 376000 | #Constraints: 38289
1114.42/1118.02 c #Conflicts: 377000 | #Constraints: 39289
1114.42/1118.02 c #Conflicts: 378000 | #Constraints: 40289
1114.42/1118.02 c #Conflicts: 379000 | #Constraints: 41289
1114.42/1118.02 c #Conflicts: 380000 | #Constraints: 42289
1114.42/1118.02 c #Conflicts: 381000 | #Constraints: 43289
1114.42/1118.02 c INPROCESSING
1114.42/1118.02 c GARBAGE COLLECT
1114.42/1118.02 c #Conflicts: 382000 | #Constraints: 32077
1114.42/1118.02 c #Conflicts: 383000 | #Constraints: 33077
1114.42/1118.02 c #Conflicts: 384000 | #Constraints: 34077
1114.42/1118.02 c #Conflicts: 385000 | #Constraints: 35077
1114.42/1118.02 c #Conflicts: 386000 | #Constraints: 36077
1114.42/1118.02 c #Conflicts: 387000 | #Constraints: 37077
1114.42/1118.02 c #Conflicts: 388000 | #Constraints: 38077
1114.42/1118.02 c #Conflicts: 389000 | #Constraints: 39077
1114.42/1118.02 c #Conflicts: 390000 | #Constraints: 40077
1114.42/1118.02 c #Conflicts: 391000 | #Constraints: 41077
1114.42/1118.02 c #Conflicts: 392000 | #Constraints: 42077
1114.42/1118.02 c #Conflicts: 393000 | #Constraints: 43077
1114.42/1118.02 c #Conflicts: 394000 | #Constraints: 44077
1114.42/1118.02 c INPROCESSING
1114.42/1118.02 c GARBAGE COLLECT
1114.42/1118.02 c #Conflicts: 395000 | #Constraints: 32675
1114.42/1118.02 c #Conflicts: 396000 | #Constraints: 33675
1114.42/1118.02 c #Conflicts: 397000 | #Constraints: 34675
1114.42/1118.02 c #Conflicts: 398000 | #Constraints: 35675
1114.42/1118.02 c #Conflicts: 399000 | #Constraints: 36675
1114.42/1118.02 c #Conflicts: 400000 | #Constraints: 37675
1114.42/1118.02 c #Conflicts: 401000 | #Constraints: 38675
1114.42/1118.02 c #Conflicts: 402000 | #Constraints: 39675
1114.42/1118.02 c #Conflicts: 403000 | #Constraints: 40675
1114.42/1118.02 c #Conflicts: 404000 | #Constraints: 41675
1114.42/1118.02 c #Conflicts: 405000 | #Constraints: 42675
1114.42/1118.02 c #Conflicts: 406000 | #Constraints: 43675
1114.42/1118.02 c #Conflicts: 407000 | #Constraints: 44675
1114.42/1118.02 c INPROCESSING
1114.42/1118.02 c GARBAGE COLLECT
1114.42/1118.02 c #Conflicts: 408000 | #Constraints: 33080
1114.42/1118.02 c #Conflicts: 409000 | #Constraints: 34080
1114.42/1118.02 c #Conflicts: 410000 | #Constraints: 35080
1114.42/1118.02 c #Conflicts: 411000 | #Constraints: 36080
1114.42/1118.02 c #Conflicts: 412000 | #Constraints: 37080
1114.42/1118.02 c #Conflicts: 413000 | #Constraints: 38080
1114.42/1118.02 c #Conflicts: 414000 | #Constraints: 39080
1114.42/1118.02 c #Conflicts: 415000 | #Constraints: 40080
1114.42/1118.02 c #Conflicts: 416000 | #Constraints: 41080
1114.42/1118.02 c #Conflicts: 417000 | #Constraints: 42080
1114.42/1118.02 c #Conflicts: 418000 | #Constraints: 43080
1114.42/1118.02 c #Conflicts: 419000 | #Constraints: 44080
1114.42/1118.02 c #Conflicts: 420000 | #Constraints: 45080
1114.42/1118.02 c INPROCESSING
1114.42/1118.02 c GARBAGE COLLECT
1114.42/1118.02 c #Conflicts: 421000 | #Constraints: 33253
1114.42/1118.02 c #Conflicts: 422000 | #Constraints: 34253
1114.42/1118.02 c #Conflicts: 423000 | #Constraints: 35253
1114.42/1118.02 c #Conflicts: 424000 | #Constraints: 36253
1114.42/1118.02 c #Conflicts: 425000 | #Constraints: 37253
1114.42/1118.02 c #Conflicts: 426000 | #Constraints: 38253
1114.42/1118.02 c #Conflicts: 427000 | #Constraints: 39253
1114.42/1118.02 c #Conflicts: 428000 | #Constraints: 40253
1114.42/1118.02 c #Conflicts: 429000 | #Constraints: 41253
1114.42/1118.02 c #Conflicts: 430000 | #Constraints: 42253
1114.42/1118.02 c #Conflicts: 431000 | #Constraints: 43253
1114.42/1118.02 c #Conflicts: 432000 | #Constraints: 44253
1114.42/1118.02 c #Conflicts: 433000 | #Constraints: 45253
1114.42/1118.02 c INPROCESSING
1114.42/1118.02 c GARBAGE COLLECT
1114.42/1118.02 c #Conflicts: 434000 | #Constraints: 33282
1322.05/1326.31 c #Conflicts: 435000 | #Constraints: 34282
1322.05/1326.31 c #Conflicts: 436000 | #Constraints: 35282
1322.05/1326.31 c #Conflicts: 437000 | #Constraints: 36282
1322.05/1326.31 c #Conflicts: 438000 | #Constraints: 37282
1322.05/1326.31 c #Conflicts: 439000 | #Constraints: 38282
1322.05/1326.31 c #Conflicts: 440000 | #Constraints: 39282
1322.05/1326.31 c #Conflicts: 441000 | #Constraints: 40282
1322.05/1326.31 c #Conflicts: 442000 | #Constraints: 41282
1322.05/1326.31 c #Conflicts: 443000 | #Constraints: 42282
1322.05/1326.31 c #Conflicts: 444000 | #Constraints: 43282
1322.05/1326.31 c #Conflicts: 445000 | #Constraints: 44282
1322.05/1326.31 c #Conflicts: 446000 | #Constraints: 45282
1322.05/1326.31 c INPROCESSING
1322.05/1326.31 c GARBAGE COLLECT
1322.05/1326.31 c #Conflicts: 447000 | #Constraints: 33103
1322.05/1326.31 c #Conflicts: 448000 | #Constraints: 34103
1322.05/1326.31 c #Conflicts: 449000 | #Constraints: 35103
1322.05/1326.31 c #Conflicts: 450000 | #Constraints: 36103
1322.05/1326.31 c #Conflicts: 451000 | #Constraints: 37103
1322.05/1326.31 c #Conflicts: 452000 | #Constraints: 38103
1322.05/1326.31 c #Conflicts: 453000 | #Constraints: 39103
1322.05/1326.31 c #Conflicts: 454000 | #Constraints: 40103
1322.05/1326.31 c #Conflicts: 455000 | #Constraints: 41103
1322.05/1326.31 c #Conflicts: 456000 | #Constraints: 42103
1322.05/1326.31 c #Conflicts: 457000 | #Constraints: 43103
1322.05/1326.31 c #Conflicts: 458000 | #Constraints: 44103
1322.05/1326.31 c #Conflicts: 459000 | #Constraints: 45103
1322.05/1326.31 c #Conflicts: 460000 | #Constraints: 46103
1322.05/1326.31 c INPROCESSING
1322.05/1326.31 c GARBAGE COLLECT
1322.05/1326.31 c #Conflicts: 461000 | #Constraints: 33734
1322.05/1326.31 c #Conflicts: 462000 | #Constraints: 34734
1322.05/1326.31 c #Conflicts: 463000 | #Constraints: 35734
1322.05/1326.31 c #Conflicts: 464000 | #Constraints: 36734
1322.05/1326.31 c #Conflicts: 465000 | #Constraints: 37734
1322.05/1326.31 c #Conflicts: 466000 | #Constraints: 38734
1322.05/1326.31 c #Conflicts: 467000 | #Constraints: 39734
1322.05/1326.31 c #Conflicts: 468000 | #Constraints: 40734
1322.05/1326.31 c #Conflicts: 469000 | #Constraints: 41734
1322.05/1326.31 c #Conflicts: 470000 | #Constraints: 42734
1322.05/1326.31 c #Conflicts: 471000 | #Constraints: 43734
1322.05/1326.31 c #Conflicts: 472000 | #Constraints: 44734
1322.05/1326.31 c #Conflicts: 473000 | #Constraints: 45734
1322.05/1326.31 c #Conflicts: 474000 | #Constraints: 46734
1322.05/1326.31 c INPROCESSING
1322.05/1326.31 c GARBAGE COLLECT
1322.05/1326.31 c #Conflicts: 475000 | #Constraints: 34095
1322.05/1326.31 c #Conflicts: 476000 | #Constraints: 35095
1322.05/1326.31 c #Conflicts: 477000 | #Constraints: 36095
1322.05/1326.31 c #Conflicts: 478000 | #Constraints: 37095
1322.05/1326.31 c #Conflicts: 479000 | #Constraints: 38095
1322.05/1326.31 c #Conflicts: 480000 | #Constraints: 39095
1322.05/1326.31 c #Conflicts: 481000 | #Constraints: 40095
1322.05/1326.31 c #Conflicts: 482000 | #Constraints: 41095
1322.05/1326.31 c #Conflicts: 483000 | #Constraints: 42095
1322.05/1326.31 c #Conflicts: 484000 | #Constraints: 43095
1322.05/1326.31 c #Conflicts: 485000 | #Constraints: 44095
1322.05/1326.31 c #Conflicts: 486000 | #Constraints: 45095
1322.05/1326.31 c #Conflicts: 487000 | #Constraints: 46095
1322.05/1326.31 c #Conflicts: 488000 | #Constraints: 47095
1322.05/1326.31 c INPROCESSING
1322.05/1326.31 c GARBAGE COLLECT
1322.05/1326.31 c #Conflicts: 489000 | #Constraints: 34282
1322.05/1326.31 c #Conflicts: 490000 | #Constraints: 35282
1322.05/1326.31 c #Conflicts: 491000 | #Constraints: 36282
1322.05/1326.31 c #Conflicts: 492000 | #Constraints: 37282
1322.05/1326.31 c #Conflicts: 493000 | #Constraints: 38282
1322.05/1326.31 c #Conflicts: 494000 | #Constraints: 39282
1322.05/1326.31 c #Conflicts: 495000 | #Constraints: 40282
1322.05/1326.31 c #Conflicts: 496000 | #Constraints: 41282
1322.05/1326.31 c #Conflicts: 497000 | #Constraints: 42282
1322.05/1326.31 c #Conflicts: 498000 | #Constraints: 43282
1322.05/1326.31 c #Conflicts: 499000 | #Constraints: 44282
1322.05/1326.31 c #Conflicts: 500000 | #Constraints: 45282
1322.05/1326.31 c #Conflicts: 501000 | #Constraints: 46282
1322.05/1326.31 c #Conflicts: 502000 | #Constraints: 47282
1322.05/1326.31 c INPROCESSING
1322.05/1326.31 c GARBAGE COLLECT
1322.05/1326.31 c #Conflicts: 503000 | #Constraints: 34306
1322.05/1326.31 c #Conflicts: 504000 | #Constraints: 35306
1322.05/1326.31 c #Conflicts: 505000 | #Constraints: 36306
1322.05/1326.31 c #Conflicts: 506000 | #Constraints: 37306
1322.05/1326.31 c #Conflicts: 507000 | #Constraints: 38306
1322.05/1326.31 c #Conflicts: 508000 | #Constraints: 39306
1322.05/1326.31 c #Conflicts: 509000 | #Constraints: 40306
1322.05/1326.31 c #Conflicts: 510000 | #Constraints: 41306
1565.88/1570.94 c #Conflicts: 511000 | #Constraints: 42306
1565.88/1570.94 c #Conflicts: 512000 | #Constraints: 43306
1565.88/1570.94 c #Conflicts: 513000 | #Constraints: 44306
1565.88/1570.94 c #Conflicts: 514000 | #Constraints: 45306
1565.88/1570.94 c #Conflicts: 515000 | #Constraints: 46306
1565.88/1570.94 c #Conflicts: 516000 | #Constraints: 47306
1565.88/1570.94 c INPROCESSING
1565.88/1570.94 c GARBAGE COLLECT
1565.88/1570.94 c #Conflicts: 517000 | #Constraints: 34086
1565.88/1570.94 c #Conflicts: 518000 | #Constraints: 35086
1565.88/1570.94 c #Conflicts: 519000 | #Constraints: 36086
1565.88/1570.94 c #Conflicts: 520000 | #Constraints: 37086
1565.88/1570.94 c #Conflicts: 521000 | #Constraints: 38086
1565.88/1570.94 c #Conflicts: 522000 | #Constraints: 39086
1565.88/1570.94 c #Conflicts: 523000 | #Constraints: 40086
1565.88/1570.94 c #Conflicts: 524000 | #Constraints: 41086
1565.88/1570.94 c #Conflicts: 525000 | #Constraints: 42086
1565.88/1570.94 c #Conflicts: 526000 | #Constraints: 43086
1565.88/1570.94 c #Conflicts: 527000 | #Constraints: 44086
1565.88/1570.94 c #Conflicts: 528000 | #Constraints: 45086
1565.88/1570.94 c #Conflicts: 529000 | #Constraints: 46086
1565.88/1570.94 c #Conflicts: 530000 | #Constraints: 47086
1565.88/1570.94 c #Conflicts: 531000 | #Constraints: 48086
1565.88/1570.94 c INPROCESSING
1565.88/1570.94 c GARBAGE COLLECT
1565.88/1570.94 c #Conflicts: 532000 | #Constraints: 34707
1565.88/1570.94 c #Conflicts: 533000 | #Constraints: 35707
1565.88/1570.94 c #Conflicts: 534000 | #Constraints: 36707
1565.88/1570.94 c #Conflicts: 535000 | #Constraints: 37707
1565.88/1570.94 c #Conflicts: 536000 | #Constraints: 38707
1565.88/1570.94 c #Conflicts: 537000 | #Constraints: 39707
1565.88/1570.94 c #Conflicts: 538000 | #Constraints: 40707
1565.88/1570.94 c #Conflicts: 539000 | #Constraints: 41707
1565.88/1570.94 c #Conflicts: 540000 | #Constraints: 42707
1565.88/1570.94 c #Conflicts: 541000 | #Constraints: 43707
1565.88/1570.94 c #Conflicts: 542000 | #Constraints: 44707
1565.88/1570.94 c #Conflicts: 543000 | #Constraints: 45707
1565.88/1570.94 c #Conflicts: 544000 | #Constraints: 46707
1565.88/1570.94 c #Conflicts: 545000 | #Constraints: 47707
1565.88/1570.94 c #Conflicts: 546000 | #Constraints: 48707
1565.88/1570.94 c INPROCESSING
1565.88/1570.94 c GARBAGE COLLECT
1565.88/1570.94 c #Conflicts: 547000 | #Constraints: 35135
1565.88/1570.94 c #Conflicts: 548000 | #Constraints: 36135
1565.88/1570.94 c #Conflicts: 549000 | #Constraints: 37135
1565.88/1570.94 c #Conflicts: 550000 | #Constraints: 38135
1565.88/1570.94 c #Conflicts: 551000 | #Constraints: 39135
1565.88/1570.94 c #Conflicts: 552000 | #Constraints: 40135
1565.88/1570.94 c #Conflicts: 553000 | #Constraints: 41135
1565.88/1570.94 c #Conflicts: 554000 | #Constraints: 42135
1565.88/1570.94 c #Conflicts: 555000 | #Constraints: 43135
1565.88/1570.94 c #Conflicts: 556000 | #Constraints: 44135
1565.88/1570.94 c #Conflicts: 557000 | #Constraints: 45135
1565.88/1570.94 c #Conflicts: 558000 | #Constraints: 46135
1565.88/1570.94 c #Conflicts: 559000 | #Constraints: 47135
1565.88/1570.94 c #Conflicts: 560000 | #Constraints: 48135
1565.88/1570.94 c #Conflicts: 561000 | #Constraints: 49135
1565.88/1570.94 c INPROCESSING
1565.88/1570.94 c GARBAGE COLLECT
1565.88/1570.94 c #Conflicts: 562000 | #Constraints: 35343
1565.88/1570.94 c #Conflicts: 563000 | #Constraints: 36343
1565.88/1570.94 c #Conflicts: 564000 | #Constraints: 37343
1565.88/1570.94 c #Conflicts: 565000 | #Constraints: 38343
1565.88/1570.94 c #Conflicts: 566000 | #Constraints: 39343
1565.88/1570.94 c #Conflicts: 567000 | #Constraints: 40343
1565.88/1570.94 c #Conflicts: 568000 | #Constraints: 41343
1565.88/1570.94 c #Conflicts: 569000 | #Constraints: 42343
1565.88/1570.94 c #Conflicts: 570000 | #Constraints: 43343
1565.88/1570.94 c #Conflicts: 571000 | #Constraints: 44343
1565.88/1570.94 c #Conflicts: 572000 | #Constraints: 45343
1565.88/1570.94 c #Conflicts: 573000 | #Constraints: 46343
1565.88/1570.94 c #Conflicts: 574000 | #Constraints: 47343
1565.88/1570.94 c #Conflicts: 575000 | #Constraints: 48343
1565.88/1570.94 c #Conflicts: 576000 | #Constraints: 49343
1565.88/1570.94 c INPROCESSING
1565.88/1570.94 c GARBAGE COLLECT
1565.88/1570.94 c #Conflicts: 577000 | #Constraints: 35307
1565.88/1570.94 c #Conflicts: 578000 | #Constraints: 36307
1565.88/1570.94 c #Conflicts: 579000 | #Constraints: 37307
1565.88/1570.94 c #Conflicts: 580000 | #Constraints: 38307
1565.88/1570.94 c #Conflicts: 581000 | #Constraints: 39307
1565.88/1570.94 c #Conflicts: 582000 | #Constraints: 40307
1565.88/1570.94 c #Conflicts: 583000 | #Constraints: 41307
1565.88/1570.94 c #Conflicts: 584000 | #Constraints: 42307
1565.88/1570.94 c #Conflicts: 585000 | #Constraints: 43307
1799.74/1805.52 c #Conflicts: 586000 | #Constraints: 44307
1799.74/1805.52 c #Conflicts: 587000 | #Constraints: 45307
1799.74/1805.52 c #Conflicts: 588000 | #Constraints: 46307
1799.74/1805.52 c #Conflicts: 589000 | #Constraints: 47307
1799.74/1805.52 c #Conflicts: 590000 | #Constraints: 48307
1799.74/1805.52 c #Conflicts: 591000 | #Constraints: 49307
1799.74/1805.52 c INPROCESSING
1799.74/1805.52 c GARBAGE COLLECT
1799.74/1805.52 c #Conflicts: 592000 | #Constraints: 35030
1799.74/1805.52 c #Conflicts: 593000 | #Constraints: 36030
1799.74/1805.52 c #Conflicts: 594000 | #Constraints: 37030
1799.74/1805.52 c #Conflicts: 595000 | #Constraints: 38030
1799.74/1805.52 c #Conflicts: 596000 | #Constraints: 39030
1799.74/1805.52 c #Conflicts: 597000 | #Constraints: 40030
1799.74/1805.52 c #Conflicts: 598000 | #Constraints: 41030
1799.74/1805.52 c #Conflicts: 599000 | #Constraints: 42030
1799.74/1805.52 c #Conflicts: 600000 | #Constraints: 43030
1799.74/1805.52 c #Conflicts: 601000 | #Constraints: 44030
1799.74/1805.52 c #Conflicts: 602000 | #Constraints: 45030
1799.74/1805.52 c #Conflicts: 603000 | #Constraints: 46030
1799.74/1805.52 c #Conflicts: 604000 | #Constraints: 47030
1799.74/1805.52 c #Conflicts: 605000 | #Constraints: 48030
1799.74/1805.52 c #Conflicts: 606000 | #Constraints: 49030
1799.74/1805.52 c #Conflicts: 607000 | #Constraints: 50030
1799.74/1805.52 c INPROCESSING
1799.74/1805.52 c GARBAGE COLLECT
1799.74/1805.52 c #Conflicts: 608000 | #Constraints: 35665
1799.74/1805.52 c #Conflicts: 609000 | #Constraints: 36665
1799.74/1805.52 c #Conflicts: 610000 | #Constraints: 37665
1799.74/1805.52 c #Conflicts: 611000 | #Constraints: 38665
1799.74/1805.52 c #Conflicts: 612000 | #Constraints: 39665
1799.74/1805.52 c #Conflicts: 613000 | #Constraints: 40665
1799.74/1805.52 c #Conflicts: 614000 | #Constraints: 41665
1799.74/1805.52 c #Conflicts: 615000 | #Constraints: 42665
1799.74/1805.52 c #Conflicts: 616000 | #Constraints: 43665
1799.74/1805.52 c #Conflicts: 617000 | #Constraints: 44665
1799.74/1805.52 c #Conflicts: 618000 | #Constraints: 45665
1799.74/1805.52 c #Conflicts: 619000 | #Constraints: 46665
1799.74/1805.52 c #Conflicts: 620000 | #Constraints: 47665
1799.74/1805.52 c #Conflicts: 621000 | #Constraints: 48665
1799.74/1805.52 c #Conflicts: 622000 | #Constraints: 49665
1799.74/1805.52 c #Conflicts: 623000 | #Constraints: 50665
1799.74/1805.52 c INPROCESSING
1799.74/1805.52 c GARBAGE COLLECT
1799.74/1805.52 c #Conflicts: 624000 | #Constraints: 36062
1799.74/1805.52 c #Conflicts: 625000 | #Constraints: 37062
1799.74/1805.52 c #Conflicts: 626000 | #Constraints: 38062
1799.74/1805.52 c #Conflicts: 627000 | #Constraints: 39062
1799.74/1805.52 c #Conflicts: 628000 | #Constraints: 40062
1799.74/1805.52 c #Conflicts: 629000 | #Constraints: 41062
1799.74/1805.52 c #Conflicts: 630000 | #Constraints: 42062
1799.74/1805.52 c #Conflicts: 631000 | #Constraints: 43062
1799.74/1805.52 c #Conflicts: 632000 | #Constraints: 44062
1799.74/1805.52 c #Conflicts: 633000 | #Constraints: 45062
1799.74/1805.52 c #Conflicts: 634000 | #Constraints: 46062
1799.74/1805.52 c #Conflicts: 635000 | #Constraints: 47062
1799.74/1805.52 c #Conflicts: 636000 | #Constraints: 48062
1799.74/1805.52 c #Conflicts: 637000 | #Constraints: 49062
1799.74/1805.52 c #Conflicts: 638000 | #Constraints: 50062
1799.74/1805.52 c #Conflicts: 639000 | #Constraints: 51062
1799.74/1805.52 c INPROCESSING
1799.74/1805.52 c GARBAGE COLLECT
1799.74/1805.52 c #Conflicts: 640000 | #Constraints: 36287
1799.74/1805.52 c #Conflicts: 641000 | #Constraints: 37287
1799.74/1805.52 c #Conflicts: 642000 | #Constraints: 38287
1799.74/1805.52 c #Conflicts: 643000 | #Constraints: 39287
1799.74/1805.52 c #Conflicts: 644000 | #Constraints: 40287
1799.74/1805.52 c #Conflicts: 645000 | #Constraints: 41287
1799.74/1805.52 c #Conflicts: 646000 | #Constraints: 42287
1799.74/1805.52 c #Conflicts: 647000 | #Constraints: 43287
1799.74/1805.52 c #Conflicts: 648000 | #Constraints: 44287
1799.74/1805.52 c #Conflicts: 649000 | #Constraints: 45287
1799.74/1805.52 c #Conflicts: 650000 | #Constraints: 46287
1799.74/1805.52 c #Conflicts: 651000 | #Constraints: 47287
1799.74/1805.52 c #Conflicts: 652000 | #Constraints: 48287
1799.74/1805.52 c #Conflicts: 653000 | #Constraints: 49287
1799.74/1805.52 c #Conflicts: 654000 | #Constraints: 50287
1799.74/1805.52 c #Conflicts: 655000 | #Constraints: 51287
1799.74/1805.52 c INPROCESSING
1799.74/1805.52 c GARBAGE COLLECT
1799.74/1805.52 c #Conflicts: 656000 | #Constraints: 36280
1799.74/1805.52 c #Conflicts: 657000 | #Constraints: 37280
1799.74/1805.52 c #Conflicts: 658000 | #Constraints: 38280
1799.74/1805.52 c #Conflicts: 659000 | #Constraints: 39280
1799.74/1805.52 c #Conflicts: 660000 | #Constraints: 40280
1799.74/1805.52 c #Conflicts: 661000 | #Constraints: 41280
2052.54/2059.10 c #Conflicts: 662000 | #Constraints: 42280
2052.54/2059.10 c #Conflicts: 663000 | #Constraints: 43280
2052.54/2059.10 c #Conflicts: 664000 | #Constraints: 44280
2052.54/2059.10 c #Conflicts: 665000 | #Constraints: 45280
2052.54/2059.10 c #Conflicts: 666000 | #Constraints: 46280
2052.54/2059.10 c #Conflicts: 667000 | #Constraints: 47280
2052.54/2059.10 c #Conflicts: 668000 | #Constraints: 48280
2052.54/2059.10 c #Conflicts: 669000 | #Constraints: 49280
2052.54/2059.10 c #Conflicts: 670000 | #Constraints: 50280
2052.54/2059.10 c #Conflicts: 671000 | #Constraints: 51280
2052.54/2059.10 c INPROCESSING
2052.54/2059.10 c GARBAGE COLLECT
2052.54/2059.10 c #Conflicts: 672000 | #Constraints: 36113
2052.54/2059.10 c #Conflicts: 673000 | #Constraints: 37113
2052.54/2059.10 c #Conflicts: 674000 | #Constraints: 38113
2052.54/2059.10 c #Conflicts: 675000 | #Constraints: 39113
2052.54/2059.10 c #Conflicts: 676000 | #Constraints: 40113
2052.54/2059.10 c #Conflicts: 677000 | #Constraints: 41113
2052.54/2059.10 c #Conflicts: 678000 | #Constraints: 42113
2052.54/2059.10 c #Conflicts: 679000 | #Constraints: 43113
2052.54/2059.10 c #Conflicts: 680000 | #Constraints: 44113
2052.54/2059.10 c #Conflicts: 681000 | #Constraints: 45113
2052.54/2059.10 c #Conflicts: 682000 | #Constraints: 46113
2052.54/2059.10 c #Conflicts: 683000 | #Constraints: 47113
2052.54/2059.10 c #Conflicts: 684000 | #Constraints: 48113
2052.54/2059.10 c #Conflicts: 685000 | #Constraints: 49113
2052.54/2059.10 c #Conflicts: 686000 | #Constraints: 50113
2052.54/2059.10 c #Conflicts: 687000 | #Constraints: 51113
2052.54/2059.10 c #Conflicts: 688000 | #Constraints: 52113
2052.54/2059.10 c INPROCESSING
2052.54/2059.10 c GARBAGE COLLECT
2052.54/2059.10 c #Conflicts: 689000 | #Constraints: 36710
2052.54/2059.10 c #Conflicts: 690000 | #Constraints: 37710
2052.54/2059.10 c #Conflicts: 691000 | #Constraints: 38710
2052.54/2059.10 c #Conflicts: 692000 | #Constraints: 39710
2052.54/2059.10 c #Conflicts: 693000 | #Constraints: 40710
2052.54/2059.10 c #Conflicts: 694000 | #Constraints: 41710
2052.54/2059.10 c #Conflicts: 695000 | #Constraints: 42710
2052.54/2059.10 c #Conflicts: 696000 | #Constraints: 43710
2052.54/2059.10 c #Conflicts: 697000 | #Constraints: 44710
2052.54/2059.10 c #Conflicts: 698000 | #Constraints: 45710
2052.54/2059.10 c #Conflicts: 699000 | #Constraints: 46710
2052.54/2059.10 c #Conflicts: 700000 | #Constraints: 47710
2052.54/2059.10 c #Conflicts: 701000 | #Constraints: 48710
2052.54/2059.10 c #Conflicts: 702000 | #Constraints: 49710
2052.54/2059.10 c #Conflicts: 703000 | #Constraints: 50710
2052.54/2059.10 c #Conflicts: 704000 | #Constraints: 51710
2052.54/2059.10 c #Conflicts: 705000 | #Constraints: 52710
2052.54/2059.10 c INPROCESSING
2052.54/2059.10 c GARBAGE COLLECT
2052.54/2059.10 c #Conflicts: 706000 | #Constraints: 37138
2052.54/2059.10 c #Conflicts: 707000 | #Constraints: 38138
2052.54/2059.10 c #Conflicts: 708000 | #Constraints: 39138
2052.54/2059.10 c #Conflicts: 709000 | #Constraints: 40138
2052.54/2059.10 c #Conflicts: 710000 | #Constraints: 41138
2052.54/2059.10 c #Conflicts: 711000 | #Constraints: 42138
2052.54/2059.10 c #Conflicts: 712000 | #Constraints: 43138
2052.54/2059.10 c #Conflicts: 713000 | #Constraints: 44138
2052.54/2059.10 c #Conflicts: 714000 | #Constraints: 45138
2052.54/2059.10 c #Conflicts: 715000 | #Constraints: 46138
2052.54/2059.10 c #Conflicts: 716000 | #Constraints: 47138
2052.54/2059.10 c #Conflicts: 717000 | #Constraints: 48138
2052.54/2059.10 c #Conflicts: 718000 | #Constraints: 49138
2052.54/2059.10 c #Conflicts: 719000 | #Constraints: 50138
2052.54/2059.10 c #Conflicts: 720000 | #Constraints: 51138
2052.54/2059.10 c #Conflicts: 721000 | #Constraints: 52138
2052.54/2059.10 c #Conflicts: 722000 | #Constraints: 53138
2052.54/2059.10 c INPROCESSING
2052.54/2059.10 c GARBAGE COLLECT
2052.54/2059.10 c #Conflicts: 723000 | #Constraints: 37339
2052.54/2059.10 c #Conflicts: 724000 | #Constraints: 38339
2052.54/2059.10 c #Conflicts: 725000 | #Constraints: 39339
2052.54/2059.10 c #Conflicts: 726000 | #Constraints: 40339
2052.54/2059.10 c #Conflicts: 727000 | #Constraints: 41339
2052.54/2059.10 c #Conflicts: 728000 | #Constraints: 42339
2052.54/2059.10 c #Conflicts: 729000 | #Constraints: 43339
2052.54/2059.10 c #Conflicts: 730000 | #Constraints: 44339
2052.54/2059.10 c #Conflicts: 731000 | #Constraints: 45339
2052.54/2059.10 c #Conflicts: 732000 | #Constraints: 46339
2052.54/2059.10 c #Conflicts: 733000 | #Constraints: 47339
2052.54/2059.10 c #Conflicts: 734000 | #Constraints: 48339
2052.54/2059.10 c #Conflicts: 735000 | #Constraints: 49339
2052.54/2059.10 c #Conflicts: 736000 | #Constraints: 50339
2052.54/2059.10 c #Conflicts: 737000 | #Constraints: 51339
2323.22/2330.66 c #Conflicts: 738000 | #Constraints: 52339
2323.22/2330.66 c #Conflicts: 739000 | #Constraints: 53339
2323.22/2330.66 c INPROCESSING
2323.22/2330.66 c GARBAGE COLLECT
2323.22/2330.66 c #Conflicts: 740000 | #Constraints: 37317
2323.22/2330.66 c #Conflicts: 741000 | #Constraints: 38317
2323.22/2330.66 c #Conflicts: 742000 | #Constraints: 39317
2323.22/2330.66 c #Conflicts: 743000 | #Constraints: 40317
2323.22/2330.66 c #Conflicts: 744000 | #Constraints: 41317
2323.22/2330.66 c #Conflicts: 745000 | #Constraints: 42317
2323.22/2330.66 c #Conflicts: 746000 | #Constraints: 43317
2323.22/2330.66 c #Conflicts: 747000 | #Constraints: 44317
2323.22/2330.66 c #Conflicts: 748000 | #Constraints: 45317
2323.22/2330.66 c #Conflicts: 749000 | #Constraints: 46317
2323.22/2330.66 c #Conflicts: 750000 | #Constraints: 47317
2323.22/2330.66 c #Conflicts: 751000 | #Constraints: 48317
2323.22/2330.66 c #Conflicts: 752000 | #Constraints: 49317
2323.22/2330.66 c #Conflicts: 753000 | #Constraints: 50317
2323.22/2330.66 c #Conflicts: 754000 | #Constraints: 51317
2323.22/2330.66 c #Conflicts: 755000 | #Constraints: 52317
2323.22/2330.66 c #Conflicts: 756000 | #Constraints: 53317
2323.22/2330.66 c INPROCESSING
2323.22/2330.66 c GARBAGE COLLECT
2323.22/2330.66 c #Conflicts: 757000 | #Constraints: 37107
2323.22/2330.66 c #Conflicts: 758000 | #Constraints: 38107
2323.22/2330.66 c #Conflicts: 759000 | #Constraints: 39107
2323.22/2330.66 c #Conflicts: 760000 | #Constraints: 40107
2323.22/2330.66 c #Conflicts: 761000 | #Constraints: 41107
2323.22/2330.66 c #Conflicts: 762000 | #Constraints: 42107
2323.22/2330.66 c #Conflicts: 763000 | #Constraints: 43107
2323.22/2330.66 c #Conflicts: 764000 | #Constraints: 44107
2323.22/2330.66 c #Conflicts: 765000 | #Constraints: 45107
2323.22/2330.66 c #Conflicts: 766000 | #Constraints: 46107
2323.22/2330.66 c #Conflicts: 767000 | #Constraints: 47107
2323.22/2330.66 c #Conflicts: 768000 | #Constraints: 48107
2323.22/2330.66 c #Conflicts: 769000 | #Constraints: 49107
2323.22/2330.66 c #Conflicts: 770000 | #Constraints: 50107
2323.22/2330.66 c #Conflicts: 771000 | #Constraints: 51107
2323.22/2330.66 c #Conflicts: 772000 | #Constraints: 52107
2323.22/2330.66 c #Conflicts: 773000 | #Constraints: 53107
2323.22/2330.66 c #Conflicts: 774000 | #Constraints: 54107
2323.22/2330.66 c INPROCESSING
2323.22/2330.66 c GARBAGE COLLECT
2323.22/2330.66 c #Conflicts: 775000 | #Constraints: 37750
2323.22/2330.66 c #Conflicts: 776000 | #Constraints: 38750
2323.22/2330.66 c #Conflicts: 777000 | #Constraints: 39750
2323.22/2330.66 c #Conflicts: 778000 | #Constraints: 40750
2323.22/2330.66 c #Conflicts: 779000 | #Constraints: 41750
2323.22/2330.66 c #Conflicts: 780000 | #Constraints: 42750
2323.22/2330.66 c #Conflicts: 781000 | #Constraints: 43750
2323.22/2330.66 c #Conflicts: 782000 | #Constraints: 44750
2323.22/2330.66 c #Conflicts: 783000 | #Constraints: 45750
2323.22/2330.66 c #Conflicts: 784000 | #Constraints: 46750
2323.22/2330.66 c #Conflicts: 785000 | #Constraints: 47750
2323.22/2330.66 c #Conflicts: 786000 | #Constraints: 48750
2323.22/2330.66 c #Conflicts: 787000 | #Constraints: 49750
2323.22/2330.66 c #Conflicts: 788000 | #Constraints: 50750
2323.22/2330.66 c #Conflicts: 789000 | #Constraints: 51750
2323.22/2330.66 c #Conflicts: 790000 | #Constraints: 52750
2323.22/2330.66 c #Conflicts: 791000 | #Constraints: 53750
2323.22/2330.66 c #Conflicts: 792000 | #Constraints: 54750
2323.22/2330.66 c INPROCESSING
2323.22/2330.66 c GARBAGE COLLECT
2323.22/2330.66 c #Conflicts: 793000 | #Constraints: 38146
2323.22/2330.66 c #Conflicts: 794000 | #Constraints: 39146
2323.22/2330.66 c #Conflicts: 795000 | #Constraints: 40146
2323.22/2330.66 c #Conflicts: 796000 | #Constraints: 41146
2323.22/2330.66 c #Conflicts: 797000 | #Constraints: 42146
2323.22/2330.66 c #Conflicts: 798000 | #Constraints: 43146
2323.22/2330.66 c #Conflicts: 799000 | #Constraints: 44146
2323.22/2330.66 c #Conflicts: 800000 | #Constraints: 45146
2323.22/2330.66 c #Conflicts: 801000 | #Constraints: 46146
2323.22/2330.66 c #Conflicts: 802000 | #Constraints: 47146
2323.22/2330.66 c #Conflicts: 803000 | #Constraints: 48146
2323.22/2330.66 c #Conflicts: 804000 | #Constraints: 49146
2323.22/2330.66 c #Conflicts: 805000 | #Constraints: 50146
2323.22/2330.66 c #Conflicts: 806000 | #Constraints: 51146
2323.22/2330.66 c #Conflicts: 807000 | #Constraints: 52146
2323.22/2330.66 c #Conflicts: 808000 | #Constraints: 53146
2323.22/2330.66 c #Conflicts: 809000 | #Constraints: 54146
2323.22/2330.66 c #Conflicts: 810000 | #Constraints: 55146
2323.22/2330.66 c INPROCESSING
2323.22/2330.66 c GARBAGE COLLECT
2323.22/2330.66 c #Conflicts: 811000 | #Constraints: 38260
2323.22/2330.66 c #Conflicts: 812000 | #Constraints: 39260
2323.22/2330.66 c #Conflicts: 813000 | #Constraints: 40260
2600.21/2608.38 c #Conflicts: 814000 | #Constraints: 41260
2600.21/2608.38 c #Conflicts: 815000 | #Constraints: 42260
2600.21/2608.38 c #Conflicts: 816000 | #Constraints: 43260
2600.21/2608.38 c #Conflicts: 817000 | #Constraints: 44260
2600.21/2608.38 c #Conflicts: 818000 | #Constraints: 45260
2600.21/2608.38 c #Conflicts: 819000 | #Constraints: 46260
2600.21/2608.38 c #Conflicts: 820000 | #Constraints: 47260
2600.21/2608.38 c #Conflicts: 821000 | #Constraints: 48260
2600.21/2608.38 c #Conflicts: 822000 | #Constraints: 49260
2600.21/2608.38 c #Conflicts: 823000 | #Constraints: 50260
2600.21/2608.38 c #Conflicts: 824000 | #Constraints: 51260
2600.21/2608.38 c #Conflicts: 825000 | #Constraints: 52260
2600.21/2608.38 c #Conflicts: 826000 | #Constraints: 53260
2600.21/2608.38 c #Conflicts: 827000 | #Constraints: 54260
2600.21/2608.38 c #Conflicts: 828000 | #Constraints: 55260
2600.21/2608.38 c INPROCESSING
2600.21/2608.38 c GARBAGE COLLECT
2600.21/2608.38 c #Conflicts: 829000 | #Constraints: 38277
2600.21/2608.38 c #Conflicts: 830000 | #Constraints: 39277
2600.21/2608.38 c #Conflicts: 831000 | #Constraints: 40277
2600.21/2608.38 c #Conflicts: 832000 | #Constraints: 41277
2600.21/2608.38 c #Conflicts: 833000 | #Constraints: 42277
2600.21/2608.38 c #Conflicts: 834000 | #Constraints: 43277
2600.21/2608.38 c #Conflicts: 835000 | #Constraints: 44277
2600.21/2608.38 c #Conflicts: 836000 | #Constraints: 45277
2600.21/2608.38 c #Conflicts: 837000 | #Constraints: 46277
2600.21/2608.38 c #Conflicts: 838000 | #Constraints: 47277
2600.21/2608.38 c #Conflicts: 839000 | #Constraints: 48277
2600.21/2608.38 c #Conflicts: 840000 | #Constraints: 49277
2600.21/2608.38 c #Conflicts: 841000 | #Constraints: 50277
2600.21/2608.38 c #Conflicts: 842000 | #Constraints: 51277
2600.21/2608.38 c #Conflicts: 843000 | #Constraints: 52277
2600.21/2608.38 c #Conflicts: 844000 | #Constraints: 53277
2600.21/2608.38 c #Conflicts: 845000 | #Constraints: 54277
2600.21/2608.38 c #Conflicts: 846000 | #Constraints: 55277
2600.21/2608.38 c INPROCESSING
2600.21/2608.38 c GARBAGE COLLECT
2600.21/2608.38 c #Conflicts: 847000 | #Constraints: 38065
2600.21/2608.38 c #Conflicts: 848000 | #Constraints: 39065
2600.21/2608.38 c #Conflicts: 849000 | #Constraints: 40065
2600.21/2608.38 c #Conflicts: 850000 | #Constraints: 41065
2600.21/2608.38 c #Conflicts: 851000 | #Constraints: 42065
2600.21/2608.38 c #Conflicts: 852000 | #Constraints: 43065
2600.21/2608.38 c #Conflicts: 853000 | #Constraints: 44065
2600.21/2608.38 c #Conflicts: 854000 | #Constraints: 45065
2600.21/2608.38 c #Conflicts: 855000 | #Constraints: 46065
2600.21/2608.38 c #Conflicts: 856000 | #Constraints: 47065
2600.21/2608.38 c #Conflicts: 857000 | #Constraints: 48065
2600.21/2608.38 c #Conflicts: 858000 | #Constraints: 49065
2600.21/2608.38 c #Conflicts: 859000 | #Constraints: 50065
2600.21/2608.38 c #Conflicts: 860000 | #Constraints: 51065
2600.21/2608.38 c #Conflicts: 861000 | #Constraints: 52065
2600.21/2608.38 c #Conflicts: 862000 | #Constraints: 53065
2600.21/2608.38 c #Conflicts: 863000 | #Constraints: 54065
2600.21/2608.38 c #Conflicts: 864000 | #Constraints: 55065
2600.21/2608.38 c #Conflicts: 865000 | #Constraints: 56065
2600.21/2608.38 c INPROCESSING
2600.21/2608.38 c GARBAGE COLLECT
2600.21/2608.38 c #Conflicts: 866000 | #Constraints: 38724
2600.21/2608.38 c #Conflicts: 867000 | #Constraints: 39724
2600.21/2608.38 c #Conflicts: 868000 | #Constraints: 40724
2600.21/2608.38 c #Conflicts: 869000 | #Constraints: 41724
2600.21/2608.38 c #Conflicts: 870000 | #Constraints: 42724
2600.21/2608.38 c #Conflicts: 871000 | #Constraints: 43724
2600.21/2608.38 c #Conflicts: 872000 | #Constraints: 44724
2600.21/2608.38 c #Conflicts: 873000 | #Constraints: 45724
2600.21/2608.38 c #Conflicts: 874000 | #Constraints: 46724
2600.21/2608.38 c #Conflicts: 875000 | #Constraints: 47724
2600.21/2608.38 c #Conflicts: 876000 | #Constraints: 48724
2600.21/2608.38 c #Conflicts: 877000 | #Constraints: 49724
2600.21/2608.38 c #Conflicts: 878000 | #Constraints: 50724
2600.21/2608.38 c #Conflicts: 879000 | #Constraints: 51724
2600.21/2608.38 c #Conflicts: 880000 | #Constraints: 52724
2600.21/2608.38 c #Conflicts: 881000 | #Constraints: 53724
2600.21/2608.38 c #Conflicts: 882000 | #Constraints: 54724
2600.21/2608.38 c #Conflicts: 883000 | #Constraints: 55724
2600.21/2608.38 c #Conflicts: 884000 | #Constraints: 56724
2600.21/2608.38 c INPROCESSING
2600.21/2608.38 c GARBAGE COLLECT
2600.21/2608.38 c #Conflicts: 885000 | #Constraints: 39163
2600.21/2608.38 c #Conflicts: 886000 | #Constraints: 40163
2600.21/2608.38 c #Conflicts: 887000 | #Constraints: 41163
2600.21/2608.38 c #Conflicts: 888000 | #Constraints: 42163
2600.21/2608.38 c #Conflicts: 889000 | #Constraints: 43163
2902.43/2911.35 c #Conflicts: 890000 | #Constraints: 44163
2902.43/2911.35 c #Conflicts: 891000 | #Constraints: 45163
2902.43/2911.35 c #Conflicts: 892000 | #Constraints: 46163
2902.43/2911.35 c #Conflicts: 893000 | #Constraints: 47163
2902.43/2911.35 c #Conflicts: 894000 | #Constraints: 48163
2902.43/2911.35 c #Conflicts: 895000 | #Constraints: 49163
2902.43/2911.35 c #Conflicts: 896000 | #Constraints: 50163
2902.43/2911.35 c #Conflicts: 897000 | #Constraints: 51163
2902.43/2911.35 c #Conflicts: 898000 | #Constraints: 52163
2902.43/2911.35 c #Conflicts: 899000 | #Constraints: 53163
2902.43/2911.35 c #Conflicts: 900000 | #Constraints: 54163
2902.43/2911.35 c #Conflicts: 901000 | #Constraints: 55163
2902.43/2911.35 c #Conflicts: 902000 | #Constraints: 56163
2902.43/2911.35 c #Conflicts: 903000 | #Constraints: 57163
2902.43/2911.35 c INPROCESSING
2902.43/2911.35 c GARBAGE COLLECT
2902.43/2911.35 c #Conflicts: 904000 | #Constraints: 39285
2902.43/2911.35 c #Conflicts: 905000 | #Constraints: 40285
2902.43/2911.35 c #Conflicts: 906000 | #Constraints: 41285
2902.43/2911.35 c #Conflicts: 907000 | #Constraints: 42285
2902.43/2911.35 c #Conflicts: 908000 | #Constraints: 43285
2902.43/2911.35 c #Conflicts: 909000 | #Constraints: 44285
2902.43/2911.35 c #Conflicts: 910000 | #Constraints: 45285
2902.43/2911.35 c #Conflicts: 911000 | #Constraints: 46285
2902.43/2911.35 c #Conflicts: 912000 | #Constraints: 47285
2902.43/2911.35 c #Conflicts: 913000 | #Constraints: 48285
2902.43/2911.35 c #Conflicts: 914000 | #Constraints: 49285
2902.43/2911.35 c #Conflicts: 915000 | #Constraints: 50285
2902.43/2911.35 c #Conflicts: 916000 | #Constraints: 51285
2902.43/2911.35 c #Conflicts: 917000 | #Constraints: 52285
2902.43/2911.35 c #Conflicts: 918000 | #Constraints: 53285
2902.43/2911.35 c #Conflicts: 919000 | #Constraints: 54285
2902.43/2911.35 c #Conflicts: 920000 | #Constraints: 55285
2902.43/2911.35 c #Conflicts: 921000 | #Constraints: 56285
2902.43/2911.35 c #Conflicts: 922000 | #Constraints: 57285
2902.43/2911.35 c INPROCESSING
2902.43/2911.35 c GARBAGE COLLECT
2902.43/2911.35 c #Conflicts: 923000 | #Constraints: 39317
2902.43/2911.35 c #Conflicts: 924000 | #Constraints: 40317
2902.43/2911.35 c #Conflicts: 925000 | #Constraints: 41317
2902.43/2911.35 c #Conflicts: 926000 | #Constraints: 42317
2902.43/2911.35 c #Conflicts: 927000 | #Constraints: 43317
2902.43/2911.35 c #Conflicts: 928000 | #Constraints: 44317
2902.43/2911.35 c #Conflicts: 929000 | #Constraints: 45317
2902.43/2911.35 c #Conflicts: 930000 | #Constraints: 46317
2902.43/2911.35 c #Conflicts: 931000 | #Constraints: 47317
2902.43/2911.35 c #Conflicts: 932000 | #Constraints: 48317
2902.43/2911.35 c #Conflicts: 933000 | #Constraints: 49317
2902.43/2911.35 c #Conflicts: 934000 | #Constraints: 50317
2902.43/2911.35 c #Conflicts: 935000 | #Constraints: 51317
2902.43/2911.35 c #Conflicts: 936000 | #Constraints: 52317
2902.43/2911.35 c #Conflicts: 937000 | #Constraints: 53317
2902.43/2911.35 c #Conflicts: 938000 | #Constraints: 54317
2902.43/2911.35 c #Conflicts: 939000 | #Constraints: 55317
2902.43/2911.35 c #Conflicts: 940000 | #Constraints: 56317
2902.43/2911.35 c #Conflicts: 941000 | #Constraints: 57317
2902.43/2911.35 c INPROCESSING
2902.43/2911.35 c GARBAGE COLLECT
2902.43/2911.35 c #Conflicts: 942000 | #Constraints: 39147
2902.43/2911.35 c #Conflicts: 943000 | #Constraints: 40147
2902.43/2911.35 c #Conflicts: 944000 | #Constraints: 41147
2902.43/2911.35 c #Conflicts: 945000 | #Constraints: 42147
2902.43/2911.35 c #Conflicts: 946000 | #Constraints: 43147
2902.43/2911.35 c #Conflicts: 947000 | #Constraints: 44147
2902.43/2911.35 c #Conflicts: 948000 | #Constraints: 45147
2902.43/2911.35 c #Conflicts: 949000 | #Constraints: 46147
2902.43/2911.35 c #Conflicts: 950000 | #Constraints: 47147
2902.43/2911.35 c #Conflicts: 951000 | #Constraints: 48147
2902.43/2911.35 c #Conflicts: 952000 | #Constraints: 49147
2902.43/2911.35 c #Conflicts: 953000 | #Constraints: 50147
2902.43/2911.35 c #Conflicts: 954000 | #Constraints: 51147
2902.43/2911.35 c #Conflicts: 955000 | #Constraints: 52147
2902.43/2911.35 c #Conflicts: 956000 | #Constraints: 53147
2902.43/2911.35 c #Conflicts: 957000 | #Constraints: 54147
2902.43/2911.35 c #Conflicts: 958000 | #Constraints: 55147
2902.43/2911.35 c #Conflicts: 959000 | #Constraints: 56147
2902.43/2911.35 c #Conflicts: 960000 | #Constraints: 57147
2902.43/2911.35 c #Conflicts: 961000 | #Constraints: 58147
2902.43/2911.35 c INPROCESSING
2902.43/2911.35 c GARBAGE COLLECT
2902.43/2911.35 c #Conflicts: 962000 | #Constraints: 39749
2902.43/2911.35 c #Conflicts: 963000 | #Constraints: 40749
2902.43/2911.35 c #Conflicts: 964000 | #Constraints: 41749
2902.43/2911.35 c #Conflicts: 965000 | #Constraints: 42749
3220.52/3230.23 c #Conflicts: 966000 | #Constraints: 43749
3220.52/3230.23 c #Conflicts: 967000 | #Constraints: 44749
3220.52/3230.23 c #Conflicts: 968000 | #Constraints: 45749
3220.52/3230.23 c #Conflicts: 969000 | #Constraints: 46749
3220.52/3230.23 c #Conflicts: 970000 | #Constraints: 47749
3220.52/3230.23 c #Conflicts: 971000 | #Constraints: 48749
3220.52/3230.23 c #Conflicts: 972000 | #Constraints: 49749
3220.52/3230.23 c #Conflicts: 973000 | #Constraints: 50749
3220.52/3230.23 c #Conflicts: 974000 | #Constraints: 51749
3220.52/3230.23 c #Conflicts: 975000 | #Constraints: 52749
3220.52/3230.23 c #Conflicts: 976000 | #Constraints: 53749
3220.52/3230.23 c #Conflicts: 977000 | #Constraints: 54749
3220.52/3230.23 c #Conflicts: 978000 | #Constraints: 55749
3220.52/3230.23 c #Conflicts: 979000 | #Constraints: 56749
3220.52/3230.23 c #Conflicts: 980000 | #Constraints: 57749
3220.52/3230.23 c #Conflicts: 981000 | #Constraints: 58749
3220.52/3230.23 c INPROCESSING
3220.52/3230.23 c GARBAGE COLLECT
3220.52/3230.23 c #Conflicts: 982000 | #Constraints: 40187
3220.52/3230.23 c #Conflicts: 983000 | #Constraints: 41187
3220.52/3230.23 c #Conflicts: 984000 | #Constraints: 42187
3220.52/3230.24 c #Conflicts: 985000 | #Constraints: 43187
3220.52/3230.24 c #Conflicts: 986000 | #Constraints: 44187
3220.52/3230.24 c #Conflicts: 987000 | #Constraints: 45187
3220.52/3230.24 c #Conflicts: 988000 | #Constraints: 46187
3220.52/3230.24 c #Conflicts: 989000 | #Constraints: 47187
3220.52/3230.24 c #Conflicts: 990000 | #Constraints: 48187
3220.52/3230.24 c #Conflicts: 991000 | #Constraints: 49187
3220.52/3230.24 c #Conflicts: 992000 | #Constraints: 50187
3220.52/3230.24 c #Conflicts: 993000 | #Constraints: 51187
3220.52/3230.24 c #Conflicts: 994000 | #Constraints: 52187
3220.52/3230.24 c #Conflicts: 995000 | #Constraints: 53187
3220.52/3230.24 c #Conflicts: 996000 | #Constraints: 54187
3220.52/3230.24 c #Conflicts: 997000 | #Constraints: 55187
3220.52/3230.24 c #Conflicts: 998000 | #Constraints: 56187
3220.52/3230.24 c #Conflicts: 999000 | #Constraints: 57187
3220.52/3230.24 c #Conflicts: 1000000 | #Constraints: 58187
3220.52/3230.24 c #Conflicts: 1001000 | #Constraints: 59187
3220.52/3230.24 c INPROCESSING
3220.52/3230.24 c GARBAGE COLLECT
3220.52/3230.24 c #Conflicts: 1002000 | #Constraints: 40377
3220.52/3230.24 c #Conflicts: 1003000 | #Constraints: 41377
3220.52/3230.24 c #Conflicts: 1004000 | #Constraints: 42377
3220.52/3230.24 c #Conflicts: 1005000 | #Constraints: 43377
3220.52/3230.24 c #Conflicts: 1006000 | #Constraints: 44377
3220.52/3230.24 c #Conflicts: 1007000 | #Constraints: 45377
3220.52/3230.24 c #Conflicts: 1008000 | #Constraints: 46377
3220.52/3230.24 c #Conflicts: 1009000 | #Constraints: 47377
3220.52/3230.24 c #Conflicts: 1010000 | #Constraints: 48377
3220.52/3230.24 c #Conflicts: 1011000 | #Constraints: 49377
3220.52/3230.24 c #Conflicts: 1012000 | #Constraints: 50377
3220.52/3230.24 c #Conflicts: 1013000 | #Constraints: 51377
3220.52/3230.24 c #Conflicts: 1014000 | #Constraints: 52377
3220.52/3230.24 c #Conflicts: 1015000 | #Constraints: 53377
3220.52/3230.24 c #Conflicts: 1016000 | #Constraints: 54377
3220.52/3230.24 c #Conflicts: 1017000 | #Constraints: 55377
3220.52/3230.24 c #Conflicts: 1018000 | #Constraints: 56377
3220.52/3230.24 c #Conflicts: 1019000 | #Constraints: 57377
3220.52/3230.24 c #Conflicts: 1020000 | #Constraints: 58377
3220.52/3230.24 c #Conflicts: 1021000 | #Constraints: 59377
3220.52/3230.24 c INPROCESSING
3220.52/3230.24 c GARBAGE COLLECT
3220.52/3230.24 c #Conflicts: 1022000 | #Constraints: 40360
3220.52/3230.24 c #Conflicts: 1023000 | #Constraints: 41360
3220.52/3230.24 c #Conflicts: 1024000 | #Constraints: 42360
3220.52/3230.24 c #Conflicts: 1025000 | #Constraints: 43360
3220.52/3230.24 c #Conflicts: 1026000 | #Constraints: 44360
3220.52/3230.24 c #Conflicts: 1027000 | #Constraints: 45360
3220.52/3230.24 c #Conflicts: 1028000 | #Constraints: 46360
3220.52/3230.24 c #Conflicts: 1029000 | #Constraints: 47360
3220.52/3230.24 c #Conflicts: 1030000 | #Constraints: 48360
3220.52/3230.24 c #Conflicts: 1031000 | #Constraints: 49360
3220.52/3230.24 c #Conflicts: 1032000 | #Constraints: 50360
3220.52/3230.24 c #Conflicts: 1033000 | #Constraints: 51360
3220.52/3230.24 c #Conflicts: 1034000 | #Constraints: 52360
3220.52/3230.24 c #Conflicts: 1035000 | #Constraints: 53360
3220.52/3230.24 c #Conflicts: 1036000 | #Constraints: 54360
3220.52/3230.24 c #Conflicts: 1037000 | #Constraints: 55360
3220.52/3230.24 c #Conflicts: 1038000 | #Constraints: 56360
3220.52/3230.24 c #Conflicts: 1039000 | #Constraints: 57360
3220.52/3230.24 c #Conflicts: 1040000 | #Constraints: 58360
3220.52/3230.24 c #Conflicts: 1041000 | #Constraints: 59360
3220.52/3230.24 c INPROCESSING
3220.52/3230.24 c GARBAGE COLLECT
3541.31/3551.84 c #Conflicts: 1042000 | #Constraints: 40145
3541.31/3551.84 c #Conflicts: 1043000 | #Constraints: 41145
3541.31/3551.84 c #Conflicts: 1044000 | #Constraints: 42145
3541.31/3551.84 c #Conflicts: 1045000 | #Constraints: 43145
3541.31/3551.84 c #Conflicts: 1046000 | #Constraints: 44145
3541.31/3551.84 c #Conflicts: 1047000 | #Constraints: 45145
3541.31/3551.84 c #Conflicts: 1048000 | #Constraints: 46145
3541.31/3551.84 c #Conflicts: 1049000 | #Constraints: 47145
3541.31/3551.84 c #Conflicts: 1050000 | #Constraints: 48145
3541.31/3551.84 c #Conflicts: 1051000 | #Constraints: 49145
3541.31/3551.84 c #Conflicts: 1052000 | #Constraints: 50145
3541.31/3551.84 c #Conflicts: 1053000 | #Constraints: 51145
3541.31/3551.84 c #Conflicts: 1054000 | #Constraints: 52145
3541.31/3551.84 c #Conflicts: 1055000 | #Constraints: 53145
3541.31/3551.84 c #Conflicts: 1056000 | #Constraints: 54145
3541.31/3551.84 c #Conflicts: 1057000 | #Constraints: 55145
3541.31/3551.84 c #Conflicts: 1058000 | #Constraints: 56145
3541.31/3551.84 c #Conflicts: 1059000 | #Constraints: 57145
3541.31/3551.84 c #Conflicts: 1060000 | #Constraints: 58145
3541.31/3551.84 c #Conflicts: 1061000 | #Constraints: 59145
3541.31/3551.84 c #Conflicts: 1062000 | #Constraints: 60145
3541.31/3551.84 c INPROCESSING
3541.31/3551.84 c GARBAGE COLLECT
3541.31/3551.84 c #Conflicts: 1063000 | #Constraints: 40737
3541.31/3551.84 c #Conflicts: 1064000 | #Constraints: 41737
3541.31/3551.84 c #Conflicts: 1065000 | #Constraints: 42737
3541.31/3551.84 c #Conflicts: 1066000 | #Constraints: 43737
3541.31/3551.84 c #Conflicts: 1067000 | #Constraints: 44737
3541.31/3551.84 c #Conflicts: 1068000 | #Constraints: 45737
3541.31/3551.84 c #Conflicts: 1069000 | #Constraints: 46737
3541.31/3551.84 c #Conflicts: 1070000 | #Constraints: 47737
3541.31/3551.84 c #Conflicts: 1071000 | #Constraints: 48737
3541.31/3551.84 c #Conflicts: 1072000 | #Constraints: 49737
3541.31/3551.84 c #Conflicts: 1073000 | #Constraints: 50737
3541.31/3551.84 c #Conflicts: 1074000 | #Constraints: 51737
3541.31/3551.84 c #Conflicts: 1075000 | #Constraints: 52737
3541.31/3551.84 c #Conflicts: 1076000 | #Constraints: 53737
3541.31/3551.84 c #Conflicts: 1077000 | #Constraints: 54737
3541.31/3551.84 c #Conflicts: 1078000 | #Constraints: 55737
3541.31/3551.84 c #Conflicts: 1079000 | #Constraints: 56737
3541.31/3551.84 c #Conflicts: 1080000 | #Constraints: 57737
3541.31/3551.84 c #Conflicts: 1081000 | #Constraints: 58737
3541.31/3551.84 c #Conflicts: 1082000 | #Constraints: 59737
3541.31/3551.84 c #Conflicts: 1083000 | #Constraints: 60737
3541.31/3551.84 c INPROCESSING
3541.31/3551.84 c GARBAGE COLLECT
3541.31/3551.84 c #Conflicts: 1084000 | #Constraints: 41128
3541.31/3551.84 c #Conflicts: 1085000 | #Constraints: 42128
3541.31/3551.84 c #Conflicts: 1086000 | #Constraints: 43128
3541.31/3551.84 c #Conflicts: 1087000 | #Constraints: 44128
3541.31/3551.84 c #Conflicts: 1088000 | #Constraints: 45128
3541.31/3551.84 c #Conflicts: 1089000 | #Constraints: 46128
3541.31/3551.84 c #Conflicts: 1090000 | #Constraints: 47128
3541.31/3551.84 c #Conflicts: 1091000 | #Constraints: 48128
3541.31/3551.84 c #Conflicts: 1092000 | #Constraints: 49128
3541.31/3551.84 c #Conflicts: 1093000 | #Constraints: 50128
3541.31/3551.84 c #Conflicts: 1094000 | #Constraints: 51128
3541.31/3551.84 c #Conflicts: 1095000 | #Constraints: 52128
3541.31/3551.84 c #Conflicts: 1096000 | #Constraints: 53128
3541.31/3551.84 c #Conflicts: 1097000 | #Constraints: 54128
3541.31/3551.84 c #Conflicts: 1098000 | #Constraints: 55128
3541.31/3551.84 c #Conflicts: 1099000 | #Constraints: 56128
3541.31/3551.84 c #Conflicts: 1100000 | #Constraints: 57128
3541.31/3551.84 c #Conflicts: 1101000 | #Constraints: 58128
3541.31/3551.84 c #Conflicts: 1102000 | #Constraints: 59128
3541.31/3551.84 c #Conflicts: 1103000 | #Constraints: 60128
3541.31/3551.84 c #Conflicts: 1104000 | #Constraints: 61128
3541.31/3551.84 c INPROCESSING
3541.31/3551.84 c GARBAGE COLLECT
3541.31/3551.84 c #Conflicts: 1105000 | #Constraints: 41283
3541.31/3551.84 c #Conflicts: 1106000 | #Constraints: 42283
3541.31/3551.84 c #Conflicts: 1107000 | #Constraints: 43283
3541.31/3551.84 c #Conflicts: 1108000 | #Constraints: 44283
3541.31/3551.84 c #Conflicts: 1109000 | #Constraints: 45283
3541.31/3551.84 c #Conflicts: 1110000 | #Constraints: 46283
3541.31/3551.84 c #Conflicts: 1111000 | #Constraints: 47283
3541.31/3551.84 c #Conflicts: 1112000 | #Constraints: 48283
3541.31/3551.84 c #Conflicts: 1113000 | #Constraints: 49283
3541.31/3551.84 c #Conflicts: 1114000 | #Constraints: 50283
3541.31/3551.84 c #Conflicts: 1115000 | #Constraints: 51283
3541.31/3551.84 c #Conflicts: 1116000 | #Constraints: 52283
3541.31/3551.84 c #Conflicts: 1117000 | #Constraints: 53283
3541.31/3551.84 c #Conflicts: 1118000 | #Constraints: 54283
3600.05/3610.70 c #Conflicts: 1119000 | #Constraints: 55283
3600.05/3610.70 c #Conflicts: 1120000 | #Constraints: 56283
3600.05/3610.70 c #Conflicts: 1121000 | #Constraints: 57283
3600.05/3610.70 c #Conflicts: 1122000 | #Constraints: 58283
3600.05/3610.70 c #Conflicts: 1123000 | #Constraints: 59283
3600.05/3610.70 c #Conflicts: 1124000 | #Constraints: 60283
3600.05/3610.70 c #Conflicts: 1125000 | #Constraints: 61283
3600.05/3610.70 c INPROCESSING
3600.05/3610.70 c GARBAGE COLLECT
3600.05/3610.70 c #Conflicts: 1126000 | #Constraints: 41285
3600.05/3610.70 c #Conflicts: 1127000 | #Constraints: 42285
3600.05/3610.70 c #Conflicts: 1128000 | #Constraints: 43285
3600.05/3610.70 c #Conflicts: 1129000 | #Constraints: 44285
3600.05/3610.70 c #Conflicts: 1130000 | #Constraints: 45285
3600.05/3610.70 c #Conflicts: 1131000 | #Constraints: 46285
3600.05/3610.70 c #Conflicts: 1132000 | #Constraints: 47285
3600.05/3610.70 c Program interrupted by user.
3600.05/3610.70 c cpu time 3588.48 s
3600.05/3610.70 c deterministic time 1207605431914 1.21e+12
3600.05/3610.70 c optimization time 22.9041 s
3600.05/3610.70 c total solve time 3266.72 s
3600.05/3610.70 c core-guided solve time 3266.72 s
3600.05/3610.70 c propagation time 2691 s
3600.05/3610.70 c conflict analysis time 556.416 s
3600.05/3610.70 c propagations 713897156
3600.05/3610.70 c resolve steps 19308035
3600.05/3610.70 c decisions 8503869
3600.05/3610.70 c conflicts 1132200
3600.05/3610.70 c restarts 2071
3600.05/3610.70 c inprocessing phases 97
3600.05/3610.70 c input clauses 19296
3600.05/3610.70 c input cardinalities 7
3600.05/3610.70 c input general constraints 0
3600.05/3610.70 c input average constraint length 2.76
3600.05/3610.70 c input average constraint degree 1.06
3600.05/3610.70 c learned clauses 724455
3600.05/3610.70 c learned cardinalities 1196
3600.05/3610.70 c learned general constraints 406552
3600.05/3610.70 c learned average constraint length 910.63
3600.05/3610.70 c learned average constraint degree 174357.72
3600.05/3610.70 c watched constraints 402300
3600.05/3610.70 c counting constraints 4252
3600.05/3610.70 c gcd simplifications 6900
3600.05/3610.70 c detected cardinalities 11
3600.05/3610.70 c weakened non-implied lits 180604847
3600.05/3610.70 c weakened non-implying lits 38467
3600.05/3610.70 c original variables 5499
3600.05/3610.70 c clausal propagations 568183497
3600.05/3610.70 c cardinality propagations 2057983
3600.05/3610.70 c watched propagations 134759153
3600.05/3610.70 c counting propagations 7629361
3600.05/3610.70 c watch lookups 5989195549
3600.05/3610.70 c watch backjump lookups 3046635484
3600.05/3610.70 c watch checks 940910011597
3600.05/3610.70 c propagation checks 249237271826
3600.05/3610.70 c constraint additions 6976386450
3600.05/3610.70 c trail pops 723529982
3600.05/3610.70 c formula constraints 19296
3600.05/3610.70 c learned constraints 1132203
3600.05/3610.70 c bound constraints 7
3600.05/3610.70 c core-guided constraints 0
3600.05/3610.70 c encountered formula constraints 10044183
3600.05/3610.70 c encountered learned constraints 10396043
3600.05/3610.70 c encountered bound constraints 9
3600.05/3610.70 c encountered core-guided constraints 0
3600.05/3610.70 c LP total time 0 s
3600.05/3610.70 c LP solve time 0 s
3600.05/3610.70 c LP constraints added 0
3600.05/3610.70 c LP constraints removed 0
3600.05/3610.70 c LP pivots internal 0
3600.05/3610.70 c LP pivots root 0
3600.05/3610.70 c LP calls 0
3600.05/3610.70 c LP optimalities 0
3600.05/3610.70 c LP no pivot count 0
3600.05/3610.70 c LP infeasibilities 0
3600.05/3610.70 c LP valid Farkas constraints 0
3600.05/3610.70 c LP learned Farkas constraints 0
3600.05/3610.70 c LP basis resets 0
3600.05/3610.70 c LP cycling count 0
3600.05/3610.70 c LP singular count 0
3600.05/3610.70 c LP no primal count 0
3600.05/3610.70 c LP no farkas count 0
3600.05/3610.70 c LP other issue count 0
3600.05/3610.70 c LP Gomory cuts 0
3600.05/3610.70 c LP learned cuts 0
3600.05/3610.70 c LP deleted cuts 0
3600.05/3610.70 c LP encountered Gomory constraints 0
3600.05/3610.70 c LP encountered Farkas constraints 0
3600.05/3610.70 c LP encountered learned Farkas constraints 0
3600.05/3610.70 c CG auxiliary variables introduced 0
3600.05/3610.70 c CG solutions found 0
3600.05/3610.70 c CG cores constructed 6
3600.05/3610.70 c CG core cardinality constraints returned 0
3600.05/3610.70 c CG unit cores 0
3600.05/3610.70 c CG single cores 6
3600.05/3610.70 c CG blocks removed during cardinality reduction 0
3600.05/3610.70 c CG first core best 0
3600.05/3610.70 c CG decision core best 0
3600.05/3610.70 c CG core reduction tie 0
3600.05/3610.70 c CG core degree average 1.00
3600.05/3610.70 c CG core slack average 48.17
3600.05/3610.70 c CG exhausted 0
3600.05/3610.70 c CG exhaust time 0 s
3600.05/3610.70 c CG trimmed 0
3600.05/3610.70 c CG trim time 0.000702 s
3600.05/3610.70 c CG minimized 0
3600.05/3610.70 c CG minimize time 0 s
3600.05/3610.70 c CG am1 prop time 0.001363 s
3600.05/3610.70 c CG # am1s reformulated 0
3600.05/3610.70 c CG lower bound derived from am1s 0
3600.05/3610.70 c CG # clausal cores 6
3600.05/3610.70 c CG # cardinality cores 0
3600.05/3610.70 c CG # pb cores 0
3600.05/3610.70 c CG # pb reforms 0
3600.05/3610.70 c CG # cores discarded because of pb reform 0
3600.05/3610.70 d LOWERBOUND 6
3600.05/3610.70 d NCORES 6
3600.05/3610.70 d NPBCORES 0
3600.05/3610.70 d NPBREFORM 0
3600.05/3610.70 d NTRIMMED 0
3600.05/3610.70 d NEXHAUSTED 0
3600.05/3610.70 d NAM1S 0
3600.05/3610.70 d AM1LB 0
3600.05/3610.70 c [Papilo Statistics]
3600.05/3610.70 c prepro time 0.0186249s
3600.05/3610.70 c # tsx applied 18
3600.05/3610.70 c # tsx conflicts 0
3600.05/3610.70 c # bound changes 5
3600.05/3610.70 c # side changes 12
3600.05/3610.70 c # coef changes 42
3600.05/3610.70 c # rounds 2
3600.05/3610.70 c # deted vars 11
3600.05/3610.70 c # deted constrs 23
3600.05/3610.70 c # consecutive rounds of only bound changes 0
3600.05/3610.70 s UNKNOWN
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63968 MiB (62454 MiB free)
memory of node 1: 64473 MiB (63148 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4435556-1721106919/watcher-4435556-1721106919 -o /tmp/evaluation-result-4435556-1721106919/solver-4435556-1721106919 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1721103319-840502 --watchdog 3760 mixed-bag HOME/instance-4435556-1721106919.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=842641, runsolver pid=842638
Current StackSize limit: 8192 KiB
[startup+0.100087 s]*
/proc/loadavg: 4.14 4.12 4.06 5/255 842642
/proc/meminfo: memFree=128564616/131524600 swapFree=131071996/131071996
[pid=842641] ppid=842638 vsize=129120 memory=61160 CPUtime=0.09 cores=1,3
/proc/842641/stat : 842641 (mixed-bag) R 842638 842641 840490 0 -1 4194304 13128 0 0 0 7 2 0 0 20 0 1 0 162862797 132218880 15290 134679101440 4194304 16487941 140728085151680 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 54235136 140728085156887 140728085156964 140728085156964 140728085163979 0
/proc/842641/statm: 32280 15290 3777 3002 0 16031 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 129120 KiB
Current children cumulated memory: 61160 KiB
[startup+0.205468 s]*
/proc/loadavg: 4.14 4.12 4.06 5/255 842642
/proc/meminfo: memFree=128543860/131524600 swapFree=131071996/131071996
[pid=842641] ppid=842638 vsize=143576 memory=75572 CPUtime=0.2 cores=1,3
/proc/842641/stat : 842641 (mixed-bag) R 842638 842641 840490 0 -1 4194304 17905 0 0 0 17 3 0 0 20 0 1 0 162862797 147021824 18893 134679101440 4194304 16487941 140728085151680 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 54235136 140728085156887 140728085156964 140728085156964 140728085163979 0
/proc/842641/statm: 35894 18893 3777 3002 0 19645 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 143576 KiB
Current children cumulated memory: 75572 KiB
[startup+0.305421 s]*
/proc/loadavg: 4.14 4.12 4.06 5/255 842642
/proc/meminfo: memFree=128428968/131524600 swapFree=131071996/131071996
[pid=842641] ppid=842638 vsize=159360 memory=84028 CPUtime=0.3 cores=1,3
/proc/842641/stat : 842641 (mixed-bag) R 842638 842641 840490 0 -1 4194304 19926 0 0 0 27 3 0 0 20 0 1 0 162862797 163184640 21007 134679101440 4194304 16487941 140728085151680 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 54235136 140728085156887 140728085156964 140728085156964 140728085163979 0
/proc/842641/statm: 39840 21007 3850 3002 0 23591 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 159360 KiB
Current children cumulated memory: 84028 KiB
[startup+0.700219 s]
/proc/loadavg: 4.14 4.12 4.06 5/255 842642
/proc/meminfo: memFree=128314792/131524600 swapFree=131071996/131071996
[pid=842641] ppid=842638 vsize=216844 memory=140296 CPUtime=0.69 cores=1,3
/proc/842641/stat : 842641 (mixed-bag) R 842638 842641 840490 0 -1 4194304 33889 0 0 0 63 6 0 0 20 0 1 0 162862797 222048256 35074 134679101440 4194304 16487941 140728085151680 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 54235136 140728085156887 140728085156964 140728085156964 140728085163979 0
/proc/842641/statm: 54211 35074 4026 3002 0 37962 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 216844 KiB
Current children cumulated memory: 140296 KiB
[startup+1.50021 s]
/proc/loadavg: 4.14 4.12 4.06 5/255 842642
/proc/meminfo: memFree=128277048/131524600 swapFree=131071996/131071996
[pid=842641] ppid=842638 vsize=236356 memory=159004 CPUtime=1.48 cores=1,3
/proc/842641/stat : 842641 (mixed-bag) R 842638 842641 840490 0 -1 4194304 38558 0 0 0 142 6 0 0 20 0 1 0 162862797 242028544 39751 134679101440 4194304 16487941 140728085151680 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 54235136 140728085156887 140728085156964 140728085156964 140728085163979 0
/proc/842641/statm: 59089 39751 4057 3002 0 42840 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 236356 KiB
Current children cumulated memory: 159004 KiB
[startup+3.10537 s]
/proc/loadavg: 4.13 4.11 4.06 5/255 842642
/proc/meminfo: memFree=127359344/131524600 swapFree=131071996/131071996
[pid=842641] ppid=842638 vsize=244384 memory=166892 CPUtime=3.09 cores=1,3
/proc/842641/stat : 842641 (mixed-bag) R 842638 842641 840490 0 -1 4194304 40566 0 0 0 302 7 0 0 20 0 1 0 162862797 250249216 41723 134679101440 4194304 16487941 140728085151680 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 54235136 140728085156887 140728085156964 140728085156964 140728085163979 0
/proc/842641/statm: 61096 41723 4057 3002 0 44847 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 244384 KiB
Current children cumulated memory: 166892 KiB
[startup+6.30017 s]
/proc/loadavg: 4.13 4.11 4.06 5/255 842642
/proc/meminfo: memFree=127260096/131524600 swapFree=131071996/131071996
[pid=842641] ppid=842638 vsize=275008 memory=184808 CPUtime=6.27 cores=1,3
/proc/842641/stat : 842641 (mixed-bag) R 842638 842641 840490 0 -1 4194304 45023 0 0 0 620 7 0 0 20 0 1 0 162862797 281608192 46202 134679101440 4194304 16487941 140728085151680 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 54235136 140728085156887 140728085156964 140728085156964 140728085163979 0
/proc/842641/statm: 68752 46202 4057 3002 0 52503 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 275008 KiB
Current children cumulated memory: 184808 KiB
[startup+12.7002 s]
/proc/loadavg: 4.12 4.11 4.06 4/249 842675
/proc/meminfo: memFree=127237248/131524600 swapFree=131071996/131071996
[pid=842641] ppid=842638 vsize=312332 memory=222556 CPUtime=12.65 cores=1,3
/proc/842641/stat : 842641 (mixed-bag) R 842638 842641 840490 0 -1 4194304 54450 0 0 0 1255 10 0 0 20 0 1 0 162862797 319827968 55639 134679101440 4194304 16487941 140728085151680 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 54235136 140728085156887 140728085156964 140728085156964 140728085163979 0
/proc/842641/statm: 78083 55639 4057 3002 0 61834 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 312332 KiB
Current children cumulated memory: 222556 KiB
[startup+25.5002 s]
/proc/loadavg: 4.09 4.11 4.05 5/255 842691
/proc/meminfo: memFree=126944444/131524600 swapFree=131071996/131071996
[pid=842641] ppid=842638 vsize=312332 memory=222556 CPUtime=25.41 cores=1,3
/proc/842641/stat : 842641 (mixed-bag) R 842638 842641 840490 0 -1 4194304 54452 0 0 0 2530 11 0 0 20 0 1 0 162862797 319827968 55639 134679101440 4194304 16487941 140728085151680 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 54235136 140728085156887 140728085156964 140728085156964 140728085163979 0
/proc/842641/statm: 78083 55639 4057 3002 0 61834 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 312332 KiB
Current children cumulated memory: 222556 KiB
[startup+51.1053 s]
/proc/loadavg: 4.13 4.11 4.06 5/255 842696
/proc/meminfo: memFree=126131392/131524600 swapFree=131071996/131071996
[pid=842641] ppid=842638 vsize=312332 memory=222556 CPUtime=50.92 cores=1,3
/proc/842641/stat : 842641 (mixed-bag) R 842638 842641 840490 0 -1 4194304 54483 0 0 0 5079 13 0 0 20 0 1 0 162862797 319827968 55639 134679101440 4194304 16487941 140728085151680 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 54235136 140728085156887 140728085156964 140728085156964 140728085163979 0
/proc/842641/statm: 78083 55639 4057 3002 0 61834 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 312332 KiB
Current children cumulated memory: 222556 KiB
[startup+102.3 s]
/proc/loadavg: 4.12 4.11 4.06 5/255 842704
/proc/meminfo: memFree=126119856/131524600 swapFree=131071996/131071996
[pid=842641] ppid=842638 vsize=312332 memory=223348 CPUtime=101.94 cores=1,3
/proc/842641/stat : 842641 (mixed-bag) R 842638 842641 840490 0 -1 4194304 54678 0 0 0 10176 18 0 0 20 0 1 0 162862797 319827968 55837 134679101440 4194304 16487941 140728085151680 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 54235136 140728085156887 140728085156964 140728085156964 140728085163979 0
/proc/842641/statm: 78083 55837 4057 3002 0 61834 0
Current children cumulated CPU time: 101.94 s
Current children cumulated vsize: 312332 KiB
Current children cumulated memory: 223348 KiB
[startup+162.3 s]
/proc/loadavg: 4.09 4.10 4.06 5/254 842715
/proc/meminfo: memFree=126045744/131524600 swapFree=131071996/131071996
[pid=842641] ppid=842638 vsize=360044 memory=254108 CPUtime=161.74 cores=1,3
/proc/842641/stat : 842641 (mixed-bag) R 842638 842641 840490 0 -1 4194304 63831 0 0 0 16148 26 0 0 20 0 1 0 162862797 368685056 63527 134679101440 4194304 16487941 140728085151680 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 54235136 140728085156887 140728085156964 140728085156964 140728085163979 0
/proc/842641/statm: 90011 63527 4057 3002 0 73762 0
Current children cumulated CPU time: 161.74 s
Current children cumulated vsize: 360044 KiB
Current children cumulated memory: 254108 KiB
[startup+222.3 s]
/proc/loadavg: 4.13 4.11 4.06 5/255 842727
/proc/meminfo: memFree=125989516/131524600 swapFree=131071996/131071996
[pid=842641] ppid=842638 vsize=371276 memory=265432 CPUtime=221.54 cores=1,3
/proc/842641/stat : 842641 (mixed-bag) R 842638 842641 840490 0 -1 4194304 67649 0 0 0 22124 30 0 0 20 0 1 0 162862797 380186624 66358 134679101440 4194304 16487941 140728085151680 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 54235136 140728085156887 140728085156964 140728085156964 140728085163979 0
/proc/842641/statm: 92819 66358 4057 3002 0 76570 0
Current children cumulated CPU time: 221.54 s
Current children cumulated vsize: 371276 KiB
Current children cumulated memory: 265432 KiB
[startup+282.3 s]
/proc/loadavg: 4.17 4.12 4.07 5/258 842742
/proc/meminfo: memFree=125915712/131524600 swapFree=131071996/131071996
[pid=842641] ppid=842638 vsize=371276 memory=265560 CPUtime=281.33 cores=1,3
/proc/842641/stat : 842641 (mixed-bag) R 842638 842641 840490 0 -1 4194304 67690 0 0 0 28102 31 0 0 20 0 1 0 162862797 380186624 66390 134679101440 4194304 16487941 140728085151680 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 54235136 140728085156887 140728085156964 140728085156964 140728085163979 0
/proc/842641/statm: 92819 66390 4073 3002 0 76570 0
Current children cumulated CPU time: 281.33 s
Current children cumulated vsize: 371276 KiB
Current children cumulated memory: 265560 KiB
[startup+342.3 s]
/proc/loadavg: 4.19 4.14 4.08 5/258 842755
/proc/meminfo: memFree=125816488/131524600 swapFree=131071996/131071996
[pid=842641] ppid=842638 vsize=405796 memory=301088 CPUtime=341.14 cores=1,3
/proc/842641/stat : 842641 (mixed-bag) R 842638 842641 840490 0 -1 4194304 71074 0 0 0 34052 62 0 0 20 0 1 0 162862797 415535104 75272 134679101440 4194304 16487941 140728085151680 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 54235136 140728085156887 140728085156964 140728085156964 140728085163979 0
/proc/842641/statm: 101449 75272 4185 3002 0 85200 0
Current children cumulated CPU time: 341.14 s
Current children cumulated vsize: 405796 KiB
Current children cumulated memory: 301088 KiB
[startup+402.3 s]
/proc/loadavg: 4.16 4.14 4.09 5/259 842766
/proc/meminfo: memFree=125682128/131524600 swapFree=131071996/131071996
[pid=842641] ppid=842638 vsize=436616 memory=315364 CPUtime=400.95 cores=1,3
/proc/842641/stat : 842641 (mixed-bag) R 842638 842641 840490 0 -1 4194304 71605 0 0 0 40000 95 0 0 20 0 1 0 162862797 447094784 78841 134679101440 4194304 16487941 140728085151680 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 54235136 140728085156887 140728085156964 140728085156964 140728085163979 0
/proc/842641/statm: 109154 78841 4185 3002 0 92905 0
Current children cumulated CPU time: 400.95 s
Current children cumulated vsize: 436616 KiB
Current children cumulated memory: 315364 KiB
[startup+462.3 s]
/proc/loadavg: 4.10 4.13 4.09 5/259 842777
/proc/meminfo: memFree=125644028/131524600 swapFree=131071996/131071996
[pid=842641] ppid=842638 vsize=436616 memory=315560 CPUtime=460.77 cores=1,3
/proc/842641/stat : 842641 (mixed-bag) R 842638 842641 840490 0 -1 4194304 71650 0 0 0 45947 130 0 0 20 0 1 0 162862797 447094784 78890 134679101440 4194304 16487941 140728085151680 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 54235136 140728085156887 140728085156964 140728085156964 140728085163979 0
/proc/842641/statm: 109154 78890 4185 3002 0 92905 0
################
# More data... #
################
Current children cumulated memory: 429412 KiB
[startup+2922.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/257 844406
/proc/meminfo: memFree=124596388/131524600 swapFree=131071996/131071996
[pid=842641] ppid=842638 vsize=568092 memory=435556 CPUtime=2913.41 cores=1,3
/proc/842641/stat : 842641 (mixed-bag) R 842638 842641 840490 0 -1 4194304 75538 0 0 0 290328 1013 0 0 20 0 1 0 162862797 581726208 108889 134679101440 4194304 16487941 140728085151680 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 54235136 140728085156887 140728085156964 140728085156964 140728085163979 0
/proc/842641/statm: 142023 108889 4185 3002 0 125774 0
Current children cumulated CPU time: 2913.41 s
Current children cumulated vsize: 568092 KiB
Current children cumulated memory: 435556 KiB
[startup+2982.3 s]
/proc/loadavg: 4.14 4.11 4.09 5/256 844416
/proc/meminfo: memFree=124595684/131524600 swapFree=131071996/131071996
[pid=842641] ppid=842638 vsize=568092 memory=435556 CPUtime=2973.26 cores=1,3
/proc/842641/stat : 842641 (mixed-bag) R 842638 842641 840490 0 -1 4194304 75667 0 0 0 296299 1027 0 0 20 0 1 0 162862797 581726208 108889 134679101440 4194304 16487941 140728085151680 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 54235136 140728085156887 140728085156964 140728085156964 140728085163979 0
/proc/842641/statm: 142023 108889 4185 3002 0 125774 0
Current children cumulated CPU time: 2973.26 s
Current children cumulated vsize: 568092 KiB
Current children cumulated memory: 435556 KiB
[startup+3042.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/254 844426
/proc/meminfo: memFree=124594820/131524600 swapFree=131071996/131071996
[pid=842641] ppid=842638 vsize=568092 memory=435556 CPUtime=3033.1 cores=1,3
/proc/842641/stat : 842641 (mixed-bag) R 842638 842641 840490 0 -1 4194304 75792 0 0 0 302269 1041 0 0 20 0 1 0 162862797 581726208 108889 134679101440 4194304 16487941 140728085151680 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 54235136 140728085156887 140728085156964 140728085156964 140728085163979 0
/proc/842641/statm: 142023 108889 4185 3002 0 125774 0
Current children cumulated CPU time: 3033.1 s
Current children cumulated vsize: 568092 KiB
Current children cumulated memory: 435556 KiB
[startup+3102.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/254 844436
/proc/meminfo: memFree=124587984/131524600 swapFree=131071996/131071996
[pid=842641] ppid=842638 vsize=568092 memory=435556 CPUtime=3092.95 cores=1,3
/proc/842641/stat : 842641 (mixed-bag) R 842638 842641 840490 0 -1 4194304 75931 0 0 0 308242 1053 0 0 20 0 1 0 162862797 581726208 108889 134679101440 4194304 16487941 140728085151680 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 54235136 140728085156887 140728085156964 140728085156964 140728085163979 0
/proc/842641/statm: 142023 108889 4185 3002 0 125774 0
Current children cumulated CPU time: 3092.95 s
Current children cumulated vsize: 568092 KiB
Current children cumulated memory: 435556 KiB
[startup+3162.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/254 844447
/proc/meminfo: memFree=124579112/131524600 swapFree=131071996/131071996
[pid=842641] ppid=842638 vsize=568092 memory=435556 CPUtime=3152.8 cores=1,3
/proc/842641/stat : 842641 (mixed-bag) R 842638 842641 840490 0 -1 4194304 76064 0 0 0 314215 1065 0 0 20 0 1 0 162862797 581726208 108889 134679101440 4194304 16487941 140728085151680 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 54235136 140728085156887 140728085156964 140728085156964 140728085163979 0
/proc/842641/statm: 142023 108889 4185 3002 0 125774 0
Current children cumulated CPU time: 3152.8 s
Current children cumulated vsize: 568092 KiB
Current children cumulated memory: 435556 KiB
[startup+3222.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/254 844458
/proc/meminfo: memFree=124576064/131524600 swapFree=131071996/131071996
[pid=842641] ppid=842638 vsize=568092 memory=435556 CPUtime=3212.65 cores=1,3
/proc/842641/stat : 842641 (mixed-bag) R 842638 842641 840490 0 -1 4194304 76193 0 0 0 320187 1078 0 0 20 0 1 0 162862797 581726208 108889 134679101440 4194304 16487941 140728085151680 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 54235136 140728085156887 140728085156964 140728085156964 140728085163979 0
/proc/842641/statm: 142023 108889 4185 3002 0 125774 0
Current children cumulated CPU time: 3212.65 s
Current children cumulated vsize: 568092 KiB
Current children cumulated memory: 435556 KiB
[startup+3282.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/257 844473
/proc/meminfo: memFree=124561268/131524600 swapFree=131071996/131071996
[pid=842641] ppid=842638 vsize=568092 memory=435556 CPUtime=3272.49 cores=1,3
/proc/842641/stat : 842641 (mixed-bag) R 842638 842641 840490 0 -1 4194304 76328 0 0 0 326158 1091 0 0 20 0 1 0 162862797 581726208 108889 134679101440 4194304 16487941 140728085151680 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 54235136 140728085156887 140728085156964 140728085156964 140728085163979 0
/proc/842641/statm: 142023 108889 4185 3002 0 125774 0
Current children cumulated CPU time: 3272.49 s
Current children cumulated vsize: 568092 KiB
Current children cumulated memory: 435556 KiB
[startup+3342.3 s]
/proc/loadavg: 4.14 4.10 4.09 5/257 844484
/proc/meminfo: memFree=124511136/131524600 swapFree=131071996/131071996
[pid=842641] ppid=842638 vsize=568092 memory=484708 CPUtime=3332.34 cores=1,3
/proc/842641/stat : 842641 (mixed-bag) R 842638 842641 840490 0 -1 4194304 76499 0 0 0 332129 1105 0 0 20 0 1 0 162862797 581726208 121177 134679101440 4194304 16487941 140728085151680 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 54235136 140728085156887 140728085156964 140728085156964 140728085163979 0
/proc/842641/statm: 142023 121177 4185 3002 0 125774 0
Current children cumulated CPU time: 3332.34 s
Current children cumulated vsize: 568092 KiB
Current children cumulated memory: 484708 KiB
[startup+3402.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/257 844494
/proc/meminfo: memFree=124510428/131524600 swapFree=131071996/131071996
[pid=842641] ppid=842638 vsize=568092 memory=484708 CPUtime=3392.18 cores=1,3
/proc/842641/stat : 842641 (mixed-bag) R 842638 842641 840490 0 -1 4194304 76626 0 0 0 338101 1117 0 0 20 0 1 0 162862797 581726208 121177 134679101440 4194304 16487941 140728085151680 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 54235136 140728085156887 140728085156964 140728085156964 140728085163979 0
/proc/842641/statm: 142023 121177 4185 3002 0 125774 0
Current children cumulated CPU time: 3392.18 s
Current children cumulated vsize: 568092 KiB
Current children cumulated memory: 484708 KiB
[startup+3462.3 s]
/proc/loadavg: 4.04 4.07 4.08 5/257 844506
/proc/meminfo: memFree=124509844/131524600 swapFree=131071996/131071996
[pid=842641] ppid=842638 vsize=568092 memory=484708 CPUtime=3452.04 cores=1,3
/proc/842641/stat : 842641 (mixed-bag) R 842638 842641 840490 0 -1 4194304 76748 0 0 0 344074 1130 0 0 20 0 1 0 162862797 581726208 121177 134679101440 4194304 16487941 140728085151680 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 54235136 140728085156887 140728085156964 140728085156964 140728085163979 0
/proc/842641/statm: 142023 121177 4185 3002 0 125774 0
Current children cumulated CPU time: 3452.04 s
Current children cumulated vsize: 568092 KiB
Current children cumulated memory: 484708 KiB
[startup+3522.3 s]
/proc/loadavg: 4.19 4.11 4.10 5/257 844517
/proc/meminfo: memFree=124508884/131524600 swapFree=131071996/131071996
[pid=842641] ppid=842638 vsize=568092 memory=484708 CPUtime=3511.88 cores=1,3
/proc/842641/stat : 842641 (mixed-bag) R 842638 842641 840490 0 -1 4194304 76896 0 0 0 350048 1140 0 0 20 0 1 0 162862797 581726208 121177 134679101440 4194304 16487941 140728085151680 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 54235136 140728085156887 140728085156964 140728085156964 140728085163979 0
/proc/842641/statm: 142023 121177 4185 3002 0 125774 0
Current children cumulated CPU time: 3511.88 s
Current children cumulated vsize: 568092 KiB
Current children cumulated memory: 484708 KiB
[startup+3582.3 s]
/proc/loadavg: 4.31 4.17 4.12 5/257 844528
/proc/meminfo: memFree=124507920/131524600 swapFree=131071996/131071996
[pid=842641] ppid=842638 vsize=568092 memory=484708 CPUtime=3571.73 cores=1,3
/proc/842641/stat : 842641 (mixed-bag) R 842638 842641 840490 0 -1 4194304 77018 0 0 0 356023 1150 0 0 20 0 1 0 162862797 581726208 121177 134679101440 4194304 16487941 140728085151680 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 54235136 140728085156887 140728085156964 140728085156964 140728085163979 0
/proc/842641/statm: 142023 121177 4185 3002 0 125774 0
Current children cumulated CPU time: 3571.73 s
Current children cumulated vsize: 568092 KiB
Current children cumulated memory: 484708 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.7 s]
/proc/loadavg: 4.18 4.16 4.11 5/254 844624
/proc/meminfo: memFree=127948420/131524600 swapFree=131071996/131071996
[pid=842641] ppid=842638 vsize=568092 memory=484708 CPUtime=3600.05 cores=1,3
/proc/842641/stat : 842641 (mixed-bag) R 842638 842641 840490 0 -1 4194304 77055 0 0 0 358847 1158 0 0 20 0 1 0 162862797 581726208 121177 134679101440 4194304 16487941 140728085151680 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 54235136 140728085156887 140728085156964 140728085156964 140728085163979 0
/proc/842641/statm: 142023 121177 4185 3002 0 125774 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 568092 KiB
Current children cumulated memory: 484708 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.7 s]
# the end of solver process 842641 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3588.48 s, system=11.5896 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.7 s]
/proc/loadavg: 4.18 4.16 4.11 5/254 844624
/proc/meminfo: memFree=127948420/131524600 swapFree=131071996/131071996
[pid=842641] ppid=842638 vsize=568092 memory=484708 CPUtime=3600.05 cores=1,3
/proc/842641/stat : 842641 (mixed-bag) R 842638 842641 840490 0 -1 4194304 77055 0 0 0 358847 1158 0 0 20 0 1 0 162862797 581726208 121177 134679101440 4194304 16487941 140728085151680 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 54235136 140728085156887 140728085156964 140728085156964 140728085163979 0
/proc/842641/statm: 142023 121177 4185 3002 0 125774 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 568092 KiB
Current children cumulated memory: 484708 KiB
Child status: 0
Real time (s): 3610.7
CPU time (s): 3600.07
CPU user time (s): 3588.48
CPU system time (s): 11.5896
CPU usage (%): 99.7055
Max. virtual memory (cumulated for all children) (KiB): 568092
Max. memory (cumulated for all children) (KiB): 484708
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3588.48
system time used= 11.5896
maximum resident set size= 485604
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 77078
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= 84
involuntary context switches= 2987
# summary of solver processes directly reported to runsolver:
# pid: 842641
# total CPU time (s): 3600.07
# total CPU user time (s): 3588.48
# total CPU system time (s): 11.5896
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.69796 second user time and 16.3064 second system time
The end
Begin job on nodeC035 at 2024-07-16 07:15:32
IDJOB=4435556
IDBENCH=148192
IDSOLVER=3066
FILE ID=nodeC035/4435556-1721106919
RUNJOBID= nodeC035-1721103319-840502
SLURM_JOB_ID= 7505619
Free space on /tmp= 890008 MiB
SOLVER NAME= mixed-bag 2024-07-02
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 --file-size-limit 102400 -w /tmp/evaluation-result-4435556-1721106919/watcher-4435556-1721106919 -o /tmp/evaluation-result-4435556-1721106919/solver-4435556-1721106919 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1721103319-840502 --watchdog 3760 mixed-bag HOME/instance-4435556-1721106919.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 2f5de9b63d0a2988dce846045b262c40
RANDOM SEED=163863697
nodeC035.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3661.971
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.65
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 : 3653.232
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.79
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.047
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.65
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 : 3667.704
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.79
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 : 3661.955
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.65
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 : 3665.616
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.79
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.860
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.65
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 : 3659.976
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.79
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 128618032 kB
MemAvailable: 129231312 kB
Buffers: 381412 kB
Cached: 1070704 kB
SwapCached: 0 kB
Active: 701232 kB
Inactive: 1615896 kB
Active(anon): 1536 kB
Inactive(anon): 901176 kB
Active(file): 699696 kB
Inactive(file): 714720 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 61768 kB
Writeback: 0 kB
AnonPages: 865080 kB
Mapped: 128584 kB
Shmem: 37724 kB
KReclaimable: 77376 kB
Slab: 180888 kB
SReclaimable: 77376 kB
SUnreclaim: 103512 kB
KernelStack: 4112 kB
PageTables: 11240 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 1245260 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 63040 kB
HardwareCorrupted: 0 kB
AnonHugePages: 587776 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 199380 kB
DirectMap2M: 18448384 kB
DirectMap1G: 117440512 kB
Free space on /tmp at the end= 890000 MiB
End job on nodeC035 at 2024-07-16 08:15:43