0.00/0.02 c RoundingSat 2
0.00/0.02 c branch
0.00/0.02 c commit
0.00/0.02 c with Papilo
0.00/0.02 c with SCIP
0.00/0.02 c [STEP] parsing instance
0.08/0.16 c [STEP] preprocessing with Papilo
0.08/0.22 c [STEP] solving with SCIP
299.19/300.33 c [STEP] preprocessing done, loading into solver
299.19/300.37 c [STEP] solving
299.19/300.37 c #variables 5489 #constraints 19296
299.19/300.37 c SMALL=int, LARGE=long long
299.19/300.37 d SCIPUB 16
299.19/300.37 c bounds - >= 0 @ 298.919
299.19/300.37 c stratification level: 0
408.65/410.13 c bounds - >= 1 @ 298.926
408.65/410.13 c bounds - >= 2 @ 298.927
408.65/410.13 c bounds - >= 3 @ 298.927
408.65/410.13 c bounds - >= 4 @ 298.929
408.65/410.13 c bounds - >= 5 @ 298.93
408.65/410.13 c bounds - >= 6 @ 298.93
408.65/410.13 c #Conflicts: 1000 | #Constraints: 20306
408.65/410.13 c #Conflicts: 2000 | #Constraints: 21306
408.65/410.13 c INPROCESSING
408.65/410.13 c GARBAGE COLLECT
408.65/410.13 c #Conflicts: 3000 | #Constraints: 21313
408.65/410.13 c #Conflicts: 4000 | #Constraints: 22313
408.65/410.13 c INPROCESSING
408.65/410.13 c GARBAGE COLLECT
408.65/410.13 c #Conflicts: 5000 | #Constraints: 21719
408.65/410.13 c #Conflicts: 6000 | #Constraints: 22719
408.65/410.13 c INPROCESSING
408.65/410.13 c GARBAGE COLLECT
408.65/410.13 c #Conflicts: 7000 | #Constraints: 21725
408.65/410.13 c #Conflicts: 8000 | #Constraints: 22725
408.65/410.13 c #Conflicts: 9000 | #Constraints: 23725
408.65/410.13 c INPROCESSING
408.65/410.13 c GARBAGE COLLECT
408.65/410.13 c #Conflicts: 10000 | #Constraints: 22434
408.65/410.13 c #Conflicts: 11000 | #Constraints: 23434
408.65/410.13 c #Conflicts: 12000 | #Constraints: 24434
408.65/410.13 c INPROCESSING
408.65/410.13 c GARBAGE COLLECT
408.65/410.13 c #Conflicts: 13000 | #Constraints: 22890
408.65/410.13 c #Conflicts: 14000 | #Constraints: 23890
408.65/410.13 c #Conflicts: 15000 | #Constraints: 24890
408.65/410.13 c INPROCESSING
408.65/410.13 c GARBAGE COLLECT
408.65/410.13 c #Conflicts: 16000 | #Constraints: 23131
408.65/410.13 c #Conflicts: 17000 | #Constraints: 24131
408.65/410.13 c #Conflicts: 18000 | #Constraints: 25131
408.65/410.13 c INPROCESSING
408.65/410.13 c GARBAGE COLLECT
408.65/410.13 c #Conflicts: 19000 | #Constraints: 23149
408.65/410.13 c #Conflicts: 20000 | #Constraints: 24149
408.65/410.13 c #Conflicts: 21000 | #Constraints: 25149
408.65/410.13 c INPROCESSING
408.65/410.13 c GARBAGE COLLECT
408.65/410.13 c #Conflicts: 22000 | #Constraints: 22933
408.65/410.13 c #Conflicts: 23000 | #Constraints: 23933
408.65/410.13 c #Conflicts: 24000 | #Constraints: 24933
408.65/410.13 c #Conflicts: 25000 | #Constraints: 25933
408.65/410.13 c INPROCESSING
408.65/410.13 c GARBAGE COLLECT
408.65/410.13 c #Conflicts: 26000 | #Constraints: 23554
408.65/410.13 c #Conflicts: 27000 | #Constraints: 24554
408.65/410.13 c #Conflicts: 28000 | #Constraints: 25554
408.65/410.13 c #Conflicts: 29000 | #Constraints: 26554
408.65/410.13 c INPROCESSING
408.65/410.13 c GARBAGE COLLECT
408.65/410.13 c #Conflicts: 30000 | #Constraints: 23958
408.65/410.13 c #Conflicts: 31000 | #Constraints: 24958
408.65/410.13 c #Conflicts: 32000 | #Constraints: 25958
408.65/410.13 c #Conflicts: 33000 | #Constraints: 26958
408.65/410.13 c INPROCESSING
408.65/410.13 c GARBAGE COLLECT
408.65/410.13 c #Conflicts: 34000 | #Constraints: 24193
408.65/410.13 c #Conflicts: 35000 | #Constraints: 25193
408.65/410.13 c #Conflicts: 36000 | #Constraints: 26193
408.65/410.13 c #Conflicts: 37000 | #Constraints: 27193
408.65/410.13 c INPROCESSING
408.65/410.13 c GARBAGE COLLECT
408.65/410.13 c #Conflicts: 38000 | #Constraints: 24195
408.65/410.13 c #Conflicts: 39000 | #Constraints: 25195
408.65/410.13 c #Conflicts: 40000 | #Constraints: 26195
408.65/410.13 c #Conflicts: 41000 | #Constraints: 27195
408.65/410.13 c INPROCESSING
408.65/410.13 c GARBAGE COLLECT
408.65/410.13 c #Conflicts: 42000 | #Constraints: 23985
408.65/410.13 c #Conflicts: 43000 | #Constraints: 24985
408.65/410.13 c #Conflicts: 44000 | #Constraints: 25985
408.65/410.13 c #Conflicts: 45000 | #Constraints: 26985
408.65/410.13 c #Conflicts: 46000 | #Constraints: 27985
408.65/410.13 c INPROCESSING
408.65/410.13 c GARBAGE COLLECT
408.65/410.13 c #Conflicts: 47000 | #Constraints: 24586
408.65/410.13 c #Conflicts: 48000 | #Constraints: 25586
408.65/410.13 c #Conflicts: 49000 | #Constraints: 26586
408.65/410.13 c #Conflicts: 50000 | #Constraints: 27586
408.65/410.13 c #Conflicts: 51000 | #Constraints: 28586
408.65/410.13 c INPROCESSING
408.65/410.13 c GARBAGE COLLECT
408.65/410.13 c #Conflicts: 52000 | #Constraints: 24976
408.65/410.13 c #Conflicts: 53000 | #Constraints: 25976
408.65/410.13 c #Conflicts: 54000 | #Constraints: 26976
408.65/410.13 c #Conflicts: 55000 | #Constraints: 27976
408.65/410.13 c #Conflicts: 56000 | #Constraints: 28976
408.65/410.13 c INPROCESSING
408.65/410.13 c GARBAGE COLLECT
408.65/410.13 c #Conflicts: 57000 | #Constraints: 25205
408.65/410.13 c #Conflicts: 58000 | #Constraints: 26205
408.65/410.13 c #Conflicts: 59000 | #Constraints: 27205
408.65/410.13 c #Conflicts: 60000 | #Constraints: 28205
408.65/410.13 c #Conflicts: 61000 | #Constraints: 29205
408.65/410.13 c INPROCESSING
408.65/410.13 c GARBAGE COLLECT
408.65/410.13 c #Conflicts: 62000 | #Constraints: 25214
408.65/410.13 c #Conflicts: 63000 | #Constraints: 26214
408.65/410.13 c #Conflicts: 64000 | #Constraints: 27214
408.65/410.13 c #Conflicts: 65000 | #Constraints: 28214
408.65/410.13 c #Conflicts: 66000 | #Constraints: 29214
549.97/551.94 c INPROCESSING
549.97/551.94 c GARBAGE COLLECT
549.97/551.94 c #Conflicts: 67000 | #Constraints: 24994
549.97/551.94 c #Conflicts: 68000 | #Constraints: 25994
549.97/551.94 c #Conflicts: 69000 | #Constraints: 26994
549.97/551.94 c #Conflicts: 70000 | #Constraints: 27994
549.97/551.94 c #Conflicts: 71000 | #Constraints: 28994
549.97/551.94 c #Conflicts: 72000 | #Constraints: 29994
549.97/551.94 c INPROCESSING
549.97/551.94 c GARBAGE COLLECT
549.97/551.94 c #Conflicts: 73000 | #Constraints: 25577
549.97/551.94 c #Conflicts: 74000 | #Constraints: 26577
549.97/551.94 c #Conflicts: 75000 | #Constraints: 27577
549.97/551.94 c #Conflicts: 76000 | #Constraints: 28577
549.97/551.94 c #Conflicts: 77000 | #Constraints: 29577
549.97/551.94 c #Conflicts: 78000 | #Constraints: 30577
549.97/551.94 c INPROCESSING
549.97/551.94 c GARBAGE COLLECT
549.97/551.94 c #Conflicts: 79000 | #Constraints: 26033
549.97/551.94 c #Conflicts: 80000 | #Constraints: 27033
549.97/551.94 c #Conflicts: 81000 | #Constraints: 28033
549.97/551.94 c #Conflicts: 82000 | #Constraints: 29033
549.97/551.94 c #Conflicts: 83000 | #Constraints: 30033
549.97/551.94 c #Conflicts: 84000 | #Constraints: 31033
549.97/551.94 c INPROCESSING
549.97/551.94 c GARBAGE COLLECT
549.97/551.94 c #Conflicts: 85000 | #Constraints: 26261
549.97/551.94 c #Conflicts: 86000 | #Constraints: 27261
549.97/551.94 c #Conflicts: 87000 | #Constraints: 28261
549.97/551.94 c #Conflicts: 88000 | #Constraints: 29261
549.97/551.94 c #Conflicts: 89000 | #Constraints: 30261
549.97/551.94 c #Conflicts: 90000 | #Constraints: 31261
549.97/551.94 c INPROCESSING
549.97/551.94 c GARBAGE COLLECT
549.97/551.94 c #Conflicts: 91000 | #Constraints: 26257
549.97/551.94 c #Conflicts: 92000 | #Constraints: 27257
549.97/551.94 c #Conflicts: 93000 | #Constraints: 28257
549.97/551.94 c #Conflicts: 94000 | #Constraints: 29257
549.97/551.94 c #Conflicts: 95000 | #Constraints: 30257
549.97/551.94 c #Conflicts: 96000 | #Constraints: 31257
549.97/551.94 c INPROCESSING
549.97/551.94 c GARBAGE COLLECT
549.97/551.94 c #Conflicts: 97000 | #Constraints: 26083
549.97/551.94 c #Conflicts: 98000 | #Constraints: 27083
549.97/551.94 c #Conflicts: 99000 | #Constraints: 28083
549.97/551.94 c #Conflicts: 100000 | #Constraints: 29083
549.97/551.94 c #Conflicts: 101000 | #Constraints: 30083
549.97/551.94 c #Conflicts: 102000 | #Constraints: 31083
549.97/551.94 c #Conflicts: 103000 | #Constraints: 32083
549.97/551.94 c INPROCESSING
549.97/551.94 c GARBAGE COLLECT
549.97/551.94 c #Conflicts: 104000 | #Constraints: 26709
549.97/551.94 c #Conflicts: 105000 | #Constraints: 27709
549.97/551.94 c #Conflicts: 106000 | #Constraints: 28709
549.97/551.94 c #Conflicts: 107000 | #Constraints: 29709
549.97/551.94 c #Conflicts: 108000 | #Constraints: 30709
549.97/551.94 c #Conflicts: 109000 | #Constraints: 31709
549.97/551.94 c #Conflicts: 110000 | #Constraints: 32709
549.97/551.94 c INPROCESSING
549.97/551.94 c GARBAGE COLLECT
549.97/551.94 c #Conflicts: 111000 | #Constraints: 27074
549.97/551.94 c #Conflicts: 112000 | #Constraints: 28074
549.97/551.94 c #Conflicts: 113000 | #Constraints: 29074
549.97/551.94 c #Conflicts: 114000 | #Constraints: 30074
549.97/551.94 c #Conflicts: 115000 | #Constraints: 31074
549.97/551.94 c #Conflicts: 116000 | #Constraints: 32074
549.97/551.94 c #Conflicts: 117000 | #Constraints: 33074
549.97/551.94 c INPROCESSING
549.97/551.94 c GARBAGE COLLECT
549.97/551.94 c #Conflicts: 118000 | #Constraints: 27299
549.97/551.94 c #Conflicts: 119000 | #Constraints: 28299
549.97/551.94 c #Conflicts: 120000 | #Constraints: 29299
549.97/551.94 c #Conflicts: 121000 | #Constraints: 30299
549.97/551.94 c #Conflicts: 122000 | #Constraints: 31299
549.97/551.94 c #Conflicts: 123000 | #Constraints: 32299
549.97/551.94 c #Conflicts: 124000 | #Constraints: 33299
549.97/551.94 c INPROCESSING
549.97/551.94 c GARBAGE COLLECT
549.97/551.94 c #Conflicts: 125000 | #Constraints: 27221
549.97/551.94 c #Conflicts: 126000 | #Constraints: 28221
549.97/551.94 c #Conflicts: 127000 | #Constraints: 29221
549.97/551.94 c #Conflicts: 128000 | #Constraints: 30221
549.97/551.94 c #Conflicts: 129000 | #Constraints: 31221
549.97/551.94 c #Conflicts: 130000 | #Constraints: 32221
549.97/551.94 c #Conflicts: 131000 | #Constraints: 33221
549.97/551.94 c INPROCESSING
549.97/551.94 c GARBAGE COLLECT
549.97/551.94 c #Conflicts: 132000 | #Constraints: 27001
549.97/551.94 c #Conflicts: 133000 | #Constraints: 28001
549.97/551.94 c #Conflicts: 134000 | #Constraints: 29001
549.97/551.94 c #Conflicts: 135000 | #Constraints: 30001
549.97/551.94 c #Conflicts: 136000 | #Constraints: 31001
549.97/551.94 c #Conflicts: 137000 | #Constraints: 32001
662.99/665.38 c #Conflicts: 138000 | #Constraints: 33001
662.99/665.38 c #Conflicts: 139000 | #Constraints: 34001
662.99/665.38 c INPROCESSING
662.99/665.38 c GARBAGE COLLECT
662.99/665.38 c #Conflicts: 140000 | #Constraints: 27622
662.99/665.38 c #Conflicts: 141000 | #Constraints: 28622
662.99/665.38 c #Conflicts: 142000 | #Constraints: 29622
662.99/665.38 c #Conflicts: 143000 | #Constraints: 30622
662.99/665.38 c #Conflicts: 144000 | #Constraints: 31622
662.99/665.38 c #Conflicts: 145000 | #Constraints: 32622
662.99/665.38 c #Conflicts: 146000 | #Constraints: 33622
662.99/665.38 c #Conflicts: 147000 | #Constraints: 34622
662.99/665.38 c INPROCESSING
662.99/665.38 c GARBAGE COLLECT
662.99/665.38 c #Conflicts: 148000 | #Constraints: 28013
662.99/665.38 c #Conflicts: 149000 | #Constraints: 29013
662.99/665.38 c #Conflicts: 150000 | #Constraints: 30013
662.99/665.38 c #Conflicts: 151000 | #Constraints: 31013
662.99/665.38 c #Conflicts: 152000 | #Constraints: 32013
662.99/665.38 c #Conflicts: 153000 | #Constraints: 33013
662.99/665.38 c #Conflicts: 154000 | #Constraints: 34013
662.99/665.38 c #Conflicts: 155000 | #Constraints: 35013
662.99/665.38 c INPROCESSING
662.99/665.38 c GARBAGE COLLECT
662.99/665.38 c #Conflicts: 156000 | #Constraints: 28218
662.99/665.38 c #Conflicts: 157000 | #Constraints: 29218
662.99/665.38 c #Conflicts: 158000 | #Constraints: 30218
662.99/665.38 c #Conflicts: 159000 | #Constraints: 31218
662.99/665.38 c #Conflicts: 160000 | #Constraints: 32218
662.99/665.38 c #Conflicts: 161000 | #Constraints: 33218
662.99/665.38 c #Conflicts: 162000 | #Constraints: 34218
662.99/665.38 c #Conflicts: 163000 | #Constraints: 35218
662.99/665.38 c INPROCESSING
662.99/665.38 c GARBAGE COLLECT
662.99/665.38 c #Conflicts: 164000 | #Constraints: 28240
662.99/665.38 c #Conflicts: 165000 | #Constraints: 29240
662.99/665.38 c #Conflicts: 166000 | #Constraints: 30240
662.99/665.38 c #Conflicts: 167000 | #Constraints: 31240
662.99/665.38 c #Conflicts: 168000 | #Constraints: 32240
662.99/665.38 c #Conflicts: 169000 | #Constraints: 33240
662.99/665.38 c #Conflicts: 170000 | #Constraints: 34240
662.99/665.38 c #Conflicts: 171000 | #Constraints: 35240
662.99/665.38 c INPROCESSING
662.99/665.38 c GARBAGE COLLECT
662.99/665.38 c #Conflicts: 172000 | #Constraints: 28052
662.99/665.38 c #Conflicts: 173000 | #Constraints: 29052
662.99/665.38 c #Conflicts: 174000 | #Constraints: 30052
662.99/665.38 c #Conflicts: 175000 | #Constraints: 31052
662.99/665.38 c #Conflicts: 176000 | #Constraints: 32052
662.99/665.38 c #Conflicts: 177000 | #Constraints: 33052
662.99/665.38 c #Conflicts: 178000 | #Constraints: 34052
662.99/665.38 c #Conflicts: 179000 | #Constraints: 35052
662.99/665.38 c #Conflicts: 180000 | #Constraints: 36052
662.99/665.38 c INPROCESSING
662.99/665.38 c GARBAGE COLLECT
662.99/665.38 c #Conflicts: 181000 | #Constraints: 28656
662.99/665.38 c #Conflicts: 182000 | #Constraints: 29656
662.99/665.38 c #Conflicts: 183000 | #Constraints: 30656
662.99/665.38 c #Conflicts: 184000 | #Constraints: 31656
662.99/665.38 c #Conflicts: 185000 | #Constraints: 32656
662.99/665.38 c #Conflicts: 186000 | #Constraints: 33656
662.99/665.38 c #Conflicts: 187000 | #Constraints: 34656
662.99/665.38 c #Conflicts: 188000 | #Constraints: 35656
662.99/665.38 c #Conflicts: 189000 | #Constraints: 36656
662.99/665.38 c INPROCESSING
662.99/665.38 c GARBAGE COLLECT
662.99/665.38 c #Conflicts: 190000 | #Constraints: 29075
662.99/665.38 c #Conflicts: 191000 | #Constraints: 30075
662.99/665.38 c #Conflicts: 192000 | #Constraints: 31075
662.99/665.38 c #Conflicts: 193000 | #Constraints: 32075
662.99/665.38 c #Conflicts: 194000 | #Constraints: 33075
662.99/665.38 c #Conflicts: 195000 | #Constraints: 34075
662.99/665.38 c #Conflicts: 196000 | #Constraints: 35075
662.99/665.38 c #Conflicts: 197000 | #Constraints: 36075
662.99/665.38 c #Conflicts: 198000 | #Constraints: 37075
662.99/665.38 c INPROCESSING
662.99/665.38 c GARBAGE COLLECT
662.99/665.38 c #Conflicts: 199000 | #Constraints: 29278
662.99/665.38 c #Conflicts: 200000 | #Constraints: 30278
662.99/665.38 c #Conflicts: 201000 | #Constraints: 31278
662.99/665.38 c #Conflicts: 202000 | #Constraints: 32278
662.99/665.38 c #Conflicts: 203000 | #Constraints: 33278
662.99/665.38 c #Conflicts: 204000 | #Constraints: 34278
662.99/665.38 c #Conflicts: 205000 | #Constraints: 35278
662.99/665.38 c #Conflicts: 206000 | #Constraints: 36278
662.99/665.38 c #Conflicts: 207000 | #Constraints: 37278
662.99/665.38 c INPROCESSING
662.99/665.38 c GARBAGE COLLECT
662.99/665.38 c #Conflicts: 208000 | #Constraints: 29252
662.99/665.38 c #Conflicts: 209000 | #Constraints: 30252
662.99/665.38 c #Conflicts: 210000 | #Constraints: 31252
797.43/800.28 c #Conflicts: 211000 | #Constraints: 32252
797.43/800.28 c #Conflicts: 212000 | #Constraints: 33252
797.43/800.28 c #Conflicts: 213000 | #Constraints: 34252
797.43/800.28 c #Conflicts: 214000 | #Constraints: 35252
797.43/800.28 c #Conflicts: 215000 | #Constraints: 36252
797.43/800.28 c #Conflicts: 216000 | #Constraints: 37252
797.43/800.28 c INPROCESSING
797.43/800.28 c GARBAGE COLLECT
797.43/800.28 c #Conflicts: 217000 | #Constraints: 29071
797.43/800.28 c #Conflicts: 218000 | #Constraints: 30071
797.43/800.28 c #Conflicts: 219000 | #Constraints: 31071
797.43/800.28 c #Conflicts: 220000 | #Constraints: 32071
797.43/800.28 c #Conflicts: 221000 | #Constraints: 33071
797.43/800.28 c #Conflicts: 222000 | #Constraints: 34071
797.43/800.28 c #Conflicts: 223000 | #Constraints: 35071
797.43/800.28 c #Conflicts: 224000 | #Constraints: 36071
797.43/800.28 c #Conflicts: 225000 | #Constraints: 37071
797.43/800.28 c #Conflicts: 226000 | #Constraints: 38071
797.43/800.28 c INPROCESSING
797.43/800.28 c GARBAGE COLLECT
797.43/800.28 c #Conflicts: 227000 | #Constraints: 29692
797.43/800.28 c #Conflicts: 228000 | #Constraints: 30692
797.43/800.28 c #Conflicts: 229000 | #Constraints: 31692
797.43/800.28 c #Conflicts: 230000 | #Constraints: 32692
797.43/800.28 c #Conflicts: 231000 | #Constraints: 33692
797.43/800.28 c #Conflicts: 232000 | #Constraints: 34692
797.43/800.28 c #Conflicts: 233000 | #Constraints: 35692
797.43/800.28 c #Conflicts: 234000 | #Constraints: 36692
797.43/800.28 c #Conflicts: 235000 | #Constraints: 37692
797.43/800.28 c #Conflicts: 236000 | #Constraints: 38692
797.43/800.28 c INPROCESSING
797.43/800.28 c GARBAGE COLLECT
797.43/800.28 c #Conflicts: 237000 | #Constraints: 30044
797.43/800.28 c #Conflicts: 238000 | #Constraints: 31044
797.43/800.28 c #Conflicts: 239000 | #Constraints: 32044
797.43/800.28 c #Conflicts: 240000 | #Constraints: 33044
797.43/800.28 c #Conflicts: 241000 | #Constraints: 34044
797.43/800.28 c #Conflicts: 242000 | #Constraints: 35044
797.43/800.28 c #Conflicts: 243000 | #Constraints: 36044
797.43/800.28 c #Conflicts: 244000 | #Constraints: 37044
797.43/800.28 c #Conflicts: 245000 | #Constraints: 38044
797.43/800.28 c #Conflicts: 246000 | #Constraints: 39044
797.43/800.28 c INPROCESSING
797.43/800.28 c GARBAGE COLLECT
797.43/800.28 c #Conflicts: 247000 | #Constraints: 30211
797.43/800.28 c #Conflicts: 248000 | #Constraints: 31211
797.43/800.28 c #Conflicts: 249000 | #Constraints: 32211
797.43/800.28 c #Conflicts: 250000 | #Constraints: 33211
797.43/800.28 c #Conflicts: 251000 | #Constraints: 34211
797.43/800.28 c #Conflicts: 252000 | #Constraints: 35211
797.43/800.28 c #Conflicts: 253000 | #Constraints: 36211
797.43/800.28 c #Conflicts: 254000 | #Constraints: 37211
797.43/800.28 c #Conflicts: 255000 | #Constraints: 38211
797.43/800.28 c #Conflicts: 256000 | #Constraints: 39211
797.43/800.28 c INPROCESSING
797.43/800.28 c GARBAGE COLLECT
797.43/800.28 c #Conflicts: 257000 | #Constraints: 30210
797.43/800.28 c #Conflicts: 258000 | #Constraints: 31210
797.43/800.28 c #Conflicts: 259000 | #Constraints: 32210
797.43/800.28 c #Conflicts: 260000 | #Constraints: 33210
797.43/800.28 c #Conflicts: 261000 | #Constraints: 34210
797.43/800.28 c #Conflicts: 262000 | #Constraints: 35210
797.43/800.28 c #Conflicts: 263000 | #Constraints: 36210
797.43/800.28 c #Conflicts: 264000 | #Constraints: 37210
797.43/800.28 c #Conflicts: 265000 | #Constraints: 38210
797.43/800.28 c #Conflicts: 266000 | #Constraints: 39210
797.43/800.28 c INPROCESSING
797.43/800.28 c GARBAGE COLLECT
797.43/800.28 c #Conflicts: 267000 | #Constraints: 30014
797.43/800.28 c #Conflicts: 268000 | #Constraints: 31014
797.43/800.28 c #Conflicts: 269000 | #Constraints: 32014
797.43/800.28 c #Conflicts: 270000 | #Constraints: 33014
797.43/800.28 c #Conflicts: 271000 | #Constraints: 34014
797.43/800.28 c #Conflicts: 272000 | #Constraints: 35014
797.43/800.28 c #Conflicts: 273000 | #Constraints: 36014
797.43/800.28 c #Conflicts: 274000 | #Constraints: 37014
797.43/800.28 c #Conflicts: 275000 | #Constraints: 38014
797.43/800.28 c #Conflicts: 276000 | #Constraints: 39014
797.43/800.28 c #Conflicts: 277000 | #Constraints: 40014
797.43/800.28 c INPROCESSING
797.43/800.28 c GARBAGE COLLECT
797.43/800.28 c #Conflicts: 278000 | #Constraints: 30612
797.43/800.28 c #Conflicts: 279000 | #Constraints: 31612
797.43/800.28 c #Conflicts: 280000 | #Constraints: 32612
797.43/800.28 c #Conflicts: 281000 | #Constraints: 33612
797.43/800.28 c #Conflicts: 282000 | #Constraints: 34612
797.43/800.28 c #Conflicts: 283000 | #Constraints: 35612
797.43/800.28 c #Conflicts: 284000 | #Constraints: 36612
797.43/800.28 c #Conflicts: 285000 | #Constraints: 37612
947.37/950.68 c #Conflicts: 286000 | #Constraints: 38612
947.37/950.68 c #Conflicts: 287000 | #Constraints: 39612
947.37/950.68 c #Conflicts: 288000 | #Constraints: 40612
947.37/950.68 c INPROCESSING
947.37/950.68 c GARBAGE COLLECT
947.37/950.68 c #Conflicts: 289000 | #Constraints: 31039
947.37/950.68 c #Conflicts: 290000 | #Constraints: 32039
947.37/950.68 c #Conflicts: 291000 | #Constraints: 33039
947.37/950.68 c #Conflicts: 292000 | #Constraints: 34039
947.37/950.68 c #Conflicts: 293000 | #Constraints: 35039
947.37/950.68 c #Conflicts: 294000 | #Constraints: 36039
947.37/950.68 c #Conflicts: 295000 | #Constraints: 37039
947.37/950.68 c #Conflicts: 296000 | #Constraints: 38039
947.37/950.68 c #Conflicts: 297000 | #Constraints: 39039
947.37/950.68 c #Conflicts: 298000 | #Constraints: 40039
947.37/950.68 c #Conflicts: 299000 | #Constraints: 41039
947.37/950.68 c INPROCESSING
947.37/950.68 c GARBAGE COLLECT
947.37/950.68 c #Conflicts: 300000 | #Constraints: 31232
947.37/950.68 c #Conflicts: 301000 | #Constraints: 32232
947.37/950.68 c #Conflicts: 302000 | #Constraints: 33232
947.37/950.68 c #Conflicts: 303000 | #Constraints: 34232
947.37/950.68 c #Conflicts: 304000 | #Constraints: 35232
947.37/950.68 c #Conflicts: 305000 | #Constraints: 36232
947.37/950.68 c #Conflicts: 306000 | #Constraints: 37232
947.37/950.68 c #Conflicts: 307000 | #Constraints: 38232
947.37/950.68 c #Conflicts: 308000 | #Constraints: 39232
947.37/950.68 c #Conflicts: 309000 | #Constraints: 40232
947.37/950.68 c #Conflicts: 310000 | #Constraints: 41232
947.37/950.68 c INPROCESSING
947.37/950.68 c GARBAGE COLLECT
947.37/950.68 c #Conflicts: 311000 | #Constraints: 31247
947.37/950.68 c #Conflicts: 312000 | #Constraints: 32247
947.37/950.68 c #Conflicts: 313000 | #Constraints: 33247
947.37/950.68 c #Conflicts: 314000 | #Constraints: 34247
947.37/950.68 c #Conflicts: 315000 | #Constraints: 35247
947.37/950.68 c #Conflicts: 316000 | #Constraints: 36247
947.37/950.68 c #Conflicts: 317000 | #Constraints: 37247
947.37/950.68 c #Conflicts: 318000 | #Constraints: 38247
947.37/950.68 c #Conflicts: 319000 | #Constraints: 39247
947.37/950.68 c #Conflicts: 320000 | #Constraints: 40247
947.37/950.68 c #Conflicts: 321000 | #Constraints: 41247
947.37/950.68 c INPROCESSING
947.37/950.68 c GARBAGE COLLECT
947.37/950.68 c #Conflicts: 322000 | #Constraints: 31004
947.37/950.68 c #Conflicts: 323000 | #Constraints: 32004
947.37/950.68 c #Conflicts: 324000 | #Constraints: 33004
947.37/950.68 c #Conflicts: 325000 | #Constraints: 34004
947.37/950.68 c #Conflicts: 326000 | #Constraints: 35004
947.37/950.68 c #Conflicts: 327000 | #Constraints: 36004
947.37/950.68 c #Conflicts: 328000 | #Constraints: 37004
947.37/950.68 c #Conflicts: 329000 | #Constraints: 38004
947.37/950.68 c #Conflicts: 330000 | #Constraints: 39004
947.37/950.68 c #Conflicts: 331000 | #Constraints: 40004
947.37/950.68 c #Conflicts: 332000 | #Constraints: 41004
947.37/950.68 c #Conflicts: 333000 | #Constraints: 42004
947.37/950.68 c INPROCESSING
947.37/950.68 c GARBAGE COLLECT
947.37/950.68 c #Conflicts: 334000 | #Constraints: 31657
947.37/950.68 c #Conflicts: 335000 | #Constraints: 32657
947.37/950.68 c #Conflicts: 336000 | #Constraints: 33657
947.37/950.68 c #Conflicts: 337000 | #Constraints: 34657
947.37/950.68 c #Conflicts: 338000 | #Constraints: 35657
947.37/950.68 c #Conflicts: 339000 | #Constraints: 36657
947.37/950.68 c #Conflicts: 340000 | #Constraints: 37657
947.37/950.68 c #Conflicts: 341000 | #Constraints: 38657
947.37/950.68 c #Conflicts: 342000 | #Constraints: 39657
947.37/950.68 c #Conflicts: 343000 | #Constraints: 40657
947.37/950.68 c #Conflicts: 344000 | #Constraints: 41657
947.37/950.68 c #Conflicts: 345000 | #Constraints: 42657
947.37/950.68 c INPROCESSING
947.37/950.68 c GARBAGE COLLECT
947.37/950.68 c #Conflicts: 346000 | #Constraints: 32059
947.37/950.68 c #Conflicts: 347000 | #Constraints: 33059
947.37/950.68 c #Conflicts: 348000 | #Constraints: 34059
947.37/950.68 c #Conflicts: 349000 | #Constraints: 35059
947.37/950.68 c #Conflicts: 350000 | #Constraints: 36059
947.37/950.68 c #Conflicts: 351000 | #Constraints: 37059
947.37/950.68 c #Conflicts: 352000 | #Constraints: 38059
947.37/950.68 c #Conflicts: 353000 | #Constraints: 39059
947.37/950.68 c #Conflicts: 354000 | #Constraints: 40059
947.37/950.68 c #Conflicts: 355000 | #Constraints: 41059
947.37/950.68 c #Conflicts: 356000 | #Constraints: 42059
947.37/950.68 c #Conflicts: 357000 | #Constraints: 43059
947.37/950.68 c INPROCESSING
947.37/950.68 c GARBAGE COLLECT
947.37/950.68 c #Conflicts: 358000 | #Constraints: 32278
947.37/950.68 c #Conflicts: 359000 | #Constraints: 33278
1115.02/1118.84 c #Conflicts: 360000 | #Constraints: 34278
1115.02/1118.84 c #Conflicts: 361000 | #Constraints: 35278
1115.02/1118.84 c #Conflicts: 362000 | #Constraints: 36278
1115.02/1118.84 c #Conflicts: 363000 | #Constraints: 37278
1115.02/1118.84 c #Conflicts: 364000 | #Constraints: 38278
1115.02/1118.84 c #Conflicts: 365000 | #Constraints: 39278
1115.02/1118.84 c #Conflicts: 366000 | #Constraints: 40278
1115.02/1118.84 c #Conflicts: 367000 | #Constraints: 41278
1115.02/1118.84 c #Conflicts: 368000 | #Constraints: 42278
1115.02/1118.84 c #Conflicts: 369000 | #Constraints: 43278
1115.02/1118.84 c INPROCESSING
1115.02/1118.84 c GARBAGE COLLECT
1115.02/1118.84 c #Conflicts: 370000 | #Constraints: 32289
1115.02/1118.84 c #Conflicts: 371000 | #Constraints: 33289
1115.02/1118.84 c #Conflicts: 372000 | #Constraints: 34289
1115.02/1118.84 c #Conflicts: 373000 | #Constraints: 35289
1115.02/1118.84 c #Conflicts: 374000 | #Constraints: 36289
1115.02/1118.84 c #Conflicts: 375000 | #Constraints: 37289
1115.02/1118.84 c #Conflicts: 376000 | #Constraints: 38289
1115.02/1118.84 c #Conflicts: 377000 | #Constraints: 39289
1115.02/1118.84 c #Conflicts: 378000 | #Constraints: 40289
1115.02/1118.84 c #Conflicts: 379000 | #Constraints: 41289
1115.02/1118.84 c #Conflicts: 380000 | #Constraints: 42289
1115.02/1118.84 c #Conflicts: 381000 | #Constraints: 43289
1115.02/1118.84 c INPROCESSING
1115.02/1118.84 c GARBAGE COLLECT
1115.02/1118.84 c #Conflicts: 382000 | #Constraints: 32077
1115.02/1118.84 c #Conflicts: 383000 | #Constraints: 33077
1115.02/1118.84 c #Conflicts: 384000 | #Constraints: 34077
1115.02/1118.84 c #Conflicts: 385000 | #Constraints: 35077
1115.02/1118.84 c #Conflicts: 386000 | #Constraints: 36077
1115.02/1118.84 c #Conflicts: 387000 | #Constraints: 37077
1115.02/1118.84 c #Conflicts: 388000 | #Constraints: 38077
1115.02/1118.84 c #Conflicts: 389000 | #Constraints: 39077
1115.02/1118.84 c #Conflicts: 390000 | #Constraints: 40077
1115.02/1118.84 c #Conflicts: 391000 | #Constraints: 41077
1115.02/1118.84 c #Conflicts: 392000 | #Constraints: 42077
1115.02/1118.84 c #Conflicts: 393000 | #Constraints: 43077
1115.02/1118.84 c #Conflicts: 394000 | #Constraints: 44077
1115.02/1118.84 c INPROCESSING
1115.02/1118.84 c GARBAGE COLLECT
1115.02/1118.84 c #Conflicts: 395000 | #Constraints: 32675
1115.02/1118.84 c #Conflicts: 396000 | #Constraints: 33675
1115.02/1118.84 c #Conflicts: 397000 | #Constraints: 34675
1115.02/1118.84 c #Conflicts: 398000 | #Constraints: 35675
1115.02/1118.84 c #Conflicts: 399000 | #Constraints: 36675
1115.02/1118.84 c #Conflicts: 400000 | #Constraints: 37675
1115.02/1118.84 c #Conflicts: 401000 | #Constraints: 38675
1115.02/1118.84 c #Conflicts: 402000 | #Constraints: 39675
1115.02/1118.84 c #Conflicts: 403000 | #Constraints: 40675
1115.02/1118.84 c #Conflicts: 404000 | #Constraints: 41675
1115.02/1118.84 c #Conflicts: 405000 | #Constraints: 42675
1115.02/1118.84 c #Conflicts: 406000 | #Constraints: 43675
1115.02/1118.84 c #Conflicts: 407000 | #Constraints: 44675
1115.02/1118.84 c INPROCESSING
1115.02/1118.84 c GARBAGE COLLECT
1115.02/1118.84 c #Conflicts: 408000 | #Constraints: 33080
1115.02/1118.84 c #Conflicts: 409000 | #Constraints: 34080
1115.02/1118.84 c #Conflicts: 410000 | #Constraints: 35080
1115.02/1118.84 c #Conflicts: 411000 | #Constraints: 36080
1115.02/1118.84 c #Conflicts: 412000 | #Constraints: 37080
1115.02/1118.84 c #Conflicts: 413000 | #Constraints: 38080
1115.02/1118.84 c #Conflicts: 414000 | #Constraints: 39080
1115.02/1118.84 c #Conflicts: 415000 | #Constraints: 40080
1115.02/1118.84 c #Conflicts: 416000 | #Constraints: 41080
1115.02/1118.84 c #Conflicts: 417000 | #Constraints: 42080
1115.02/1118.84 c #Conflicts: 418000 | #Constraints: 43080
1115.02/1118.84 c #Conflicts: 419000 | #Constraints: 44080
1115.02/1118.84 c #Conflicts: 420000 | #Constraints: 45080
1115.02/1118.84 c INPROCESSING
1115.02/1118.84 c GARBAGE COLLECT
1115.02/1118.84 c #Conflicts: 421000 | #Constraints: 33253
1115.02/1118.84 c #Conflicts: 422000 | #Constraints: 34253
1115.02/1118.84 c #Conflicts: 423000 | #Constraints: 35253
1115.02/1118.84 c #Conflicts: 424000 | #Constraints: 36253
1115.02/1118.84 c #Conflicts: 425000 | #Constraints: 37253
1115.02/1118.84 c #Conflicts: 426000 | #Constraints: 38253
1115.02/1118.84 c #Conflicts: 427000 | #Constraints: 39253
1115.02/1118.84 c #Conflicts: 428000 | #Constraints: 40253
1115.02/1118.84 c #Conflicts: 429000 | #Constraints: 41253
1115.02/1118.84 c #Conflicts: 430000 | #Constraints: 42253
1115.02/1118.84 c #Conflicts: 431000 | #Constraints: 43253
1115.02/1118.84 c #Conflicts: 432000 | #Constraints: 44253
1115.02/1118.84 c #Conflicts: 433000 | #Constraints: 45253
1115.02/1118.84 c INPROCESSING
1115.02/1118.84 c GARBAGE COLLECT
1115.02/1118.84 c #Conflicts: 434000 | #Constraints: 33282
1324.73/1329.25 c #Conflicts: 435000 | #Constraints: 34282
1324.73/1329.25 c #Conflicts: 436000 | #Constraints: 35282
1324.73/1329.25 c #Conflicts: 437000 | #Constraints: 36282
1324.73/1329.25 c #Conflicts: 438000 | #Constraints: 37282
1324.73/1329.25 c #Conflicts: 439000 | #Constraints: 38282
1324.73/1329.25 c #Conflicts: 440000 | #Constraints: 39282
1324.73/1329.25 c #Conflicts: 441000 | #Constraints: 40282
1324.73/1329.25 c #Conflicts: 442000 | #Constraints: 41282
1324.73/1329.25 c #Conflicts: 443000 | #Constraints: 42282
1324.73/1329.25 c #Conflicts: 444000 | #Constraints: 43282
1324.73/1329.25 c #Conflicts: 445000 | #Constraints: 44282
1324.73/1329.25 c #Conflicts: 446000 | #Constraints: 45282
1324.73/1329.25 c INPROCESSING
1324.73/1329.25 c GARBAGE COLLECT
1324.73/1329.25 c #Conflicts: 447000 | #Constraints: 33103
1324.73/1329.25 c #Conflicts: 448000 | #Constraints: 34103
1324.73/1329.25 c #Conflicts: 449000 | #Constraints: 35103
1324.73/1329.25 c #Conflicts: 450000 | #Constraints: 36103
1324.73/1329.25 c #Conflicts: 451000 | #Constraints: 37103
1324.73/1329.25 c #Conflicts: 452000 | #Constraints: 38103
1324.73/1329.25 c #Conflicts: 453000 | #Constraints: 39103
1324.73/1329.25 c #Conflicts: 454000 | #Constraints: 40103
1324.73/1329.25 c #Conflicts: 455000 | #Constraints: 41103
1324.73/1329.25 c #Conflicts: 456000 | #Constraints: 42103
1324.73/1329.25 c #Conflicts: 457000 | #Constraints: 43103
1324.73/1329.25 c #Conflicts: 458000 | #Constraints: 44103
1324.73/1329.25 c #Conflicts: 459000 | #Constraints: 45103
1324.73/1329.25 c #Conflicts: 460000 | #Constraints: 46103
1324.73/1329.25 c INPROCESSING
1324.73/1329.25 c GARBAGE COLLECT
1324.73/1329.25 c #Conflicts: 461000 | #Constraints: 33734
1324.73/1329.25 c #Conflicts: 462000 | #Constraints: 34734
1324.73/1329.25 c #Conflicts: 463000 | #Constraints: 35734
1324.73/1329.25 c #Conflicts: 464000 | #Constraints: 36734
1324.73/1329.25 c #Conflicts: 465000 | #Constraints: 37734
1324.73/1329.25 c #Conflicts: 466000 | #Constraints: 38734
1324.73/1329.25 c #Conflicts: 467000 | #Constraints: 39734
1324.73/1329.25 c #Conflicts: 468000 | #Constraints: 40734
1324.73/1329.25 c #Conflicts: 469000 | #Constraints: 41734
1324.73/1329.25 c #Conflicts: 470000 | #Constraints: 42734
1324.73/1329.25 c #Conflicts: 471000 | #Constraints: 43734
1324.73/1329.25 c #Conflicts: 472000 | #Constraints: 44734
1324.73/1329.25 c #Conflicts: 473000 | #Constraints: 45734
1324.73/1329.25 c #Conflicts: 474000 | #Constraints: 46734
1324.73/1329.25 c INPROCESSING
1324.73/1329.25 c GARBAGE COLLECT
1324.73/1329.25 c #Conflicts: 475000 | #Constraints: 34095
1324.73/1329.25 c #Conflicts: 476000 | #Constraints: 35095
1324.73/1329.25 c #Conflicts: 477000 | #Constraints: 36095
1324.73/1329.25 c #Conflicts: 478000 | #Constraints: 37095
1324.73/1329.25 c #Conflicts: 479000 | #Constraints: 38095
1324.73/1329.25 c #Conflicts: 480000 | #Constraints: 39095
1324.73/1329.25 c #Conflicts: 481000 | #Constraints: 40095
1324.73/1329.25 c #Conflicts: 482000 | #Constraints: 41095
1324.73/1329.25 c #Conflicts: 483000 | #Constraints: 42095
1324.73/1329.25 c #Conflicts: 484000 | #Constraints: 43095
1324.73/1329.25 c #Conflicts: 485000 | #Constraints: 44095
1324.73/1329.25 c #Conflicts: 486000 | #Constraints: 45095
1324.73/1329.25 c #Conflicts: 487000 | #Constraints: 46095
1324.73/1329.25 c #Conflicts: 488000 | #Constraints: 47095
1324.73/1329.25 c INPROCESSING
1324.73/1329.25 c GARBAGE COLLECT
1324.73/1329.25 c #Conflicts: 489000 | #Constraints: 34282
1324.73/1329.25 c #Conflicts: 490000 | #Constraints: 35282
1324.73/1329.25 c #Conflicts: 491000 | #Constraints: 36282
1324.73/1329.25 c #Conflicts: 492000 | #Constraints: 37282
1324.73/1329.25 c #Conflicts: 493000 | #Constraints: 38282
1324.73/1329.25 c #Conflicts: 494000 | #Constraints: 39282
1324.73/1329.25 c #Conflicts: 495000 | #Constraints: 40282
1324.73/1329.25 c #Conflicts: 496000 | #Constraints: 41282
1324.73/1329.25 c #Conflicts: 497000 | #Constraints: 42282
1324.73/1329.25 c #Conflicts: 498000 | #Constraints: 43282
1324.73/1329.25 c #Conflicts: 499000 | #Constraints: 44282
1324.73/1329.25 c #Conflicts: 500000 | #Constraints: 45282
1324.73/1329.25 c #Conflicts: 501000 | #Constraints: 46282
1324.73/1329.25 c #Conflicts: 502000 | #Constraints: 47282
1324.73/1329.25 c INPROCESSING
1324.73/1329.25 c GARBAGE COLLECT
1324.73/1329.25 c #Conflicts: 503000 | #Constraints: 34306
1324.73/1329.25 c #Conflicts: 504000 | #Constraints: 35306
1324.73/1329.25 c #Conflicts: 505000 | #Constraints: 36306
1324.73/1329.25 c #Conflicts: 506000 | #Constraints: 37306
1324.73/1329.25 c #Conflicts: 507000 | #Constraints: 38306
1324.73/1329.25 c #Conflicts: 508000 | #Constraints: 39306
1324.73/1329.25 c #Conflicts: 509000 | #Constraints: 40306
1324.73/1329.25 c #Conflicts: 510000 | #Constraints: 41306
1571.22/1576.54 c #Conflicts: 511000 | #Constraints: 42306
1571.22/1576.54 c #Conflicts: 512000 | #Constraints: 43306
1571.22/1576.54 c #Conflicts: 513000 | #Constraints: 44306
1571.22/1576.54 c #Conflicts: 514000 | #Constraints: 45306
1571.22/1576.54 c #Conflicts: 515000 | #Constraints: 46306
1571.22/1576.54 c #Conflicts: 516000 | #Constraints: 47306
1571.22/1576.54 c INPROCESSING
1571.22/1576.54 c GARBAGE COLLECT
1571.22/1576.54 c #Conflicts: 517000 | #Constraints: 34086
1571.22/1576.54 c #Conflicts: 518000 | #Constraints: 35086
1571.22/1576.54 c #Conflicts: 519000 | #Constraints: 36086
1571.22/1576.54 c #Conflicts: 520000 | #Constraints: 37086
1571.22/1576.54 c #Conflicts: 521000 | #Constraints: 38086
1571.22/1576.54 c #Conflicts: 522000 | #Constraints: 39086
1571.22/1576.54 c #Conflicts: 523000 | #Constraints: 40086
1571.22/1576.54 c #Conflicts: 524000 | #Constraints: 41086
1571.22/1576.54 c #Conflicts: 525000 | #Constraints: 42086
1571.22/1576.54 c #Conflicts: 526000 | #Constraints: 43086
1571.22/1576.54 c #Conflicts: 527000 | #Constraints: 44086
1571.22/1576.54 c #Conflicts: 528000 | #Constraints: 45086
1571.22/1576.54 c #Conflicts: 529000 | #Constraints: 46086
1571.22/1576.54 c #Conflicts: 530000 | #Constraints: 47086
1571.22/1576.54 c #Conflicts: 531000 | #Constraints: 48086
1571.22/1576.54 c INPROCESSING
1571.22/1576.54 c GARBAGE COLLECT
1571.22/1576.54 c #Conflicts: 532000 | #Constraints: 34707
1571.22/1576.54 c #Conflicts: 533000 | #Constraints: 35707
1571.22/1576.54 c #Conflicts: 534000 | #Constraints: 36707
1571.22/1576.54 c #Conflicts: 535000 | #Constraints: 37707
1571.22/1576.54 c #Conflicts: 536000 | #Constraints: 38707
1571.22/1576.54 c #Conflicts: 537000 | #Constraints: 39707
1571.22/1576.54 c #Conflicts: 538000 | #Constraints: 40707
1571.22/1576.54 c #Conflicts: 539000 | #Constraints: 41707
1571.22/1576.54 c #Conflicts: 540000 | #Constraints: 42707
1571.22/1576.54 c #Conflicts: 541000 | #Constraints: 43707
1571.22/1576.54 c #Conflicts: 542000 | #Constraints: 44707
1571.22/1576.54 c #Conflicts: 543000 | #Constraints: 45707
1571.22/1576.54 c #Conflicts: 544000 | #Constraints: 46707
1571.22/1576.54 c #Conflicts: 545000 | #Constraints: 47707
1571.22/1576.54 c #Conflicts: 546000 | #Constraints: 48707
1571.22/1576.54 c INPROCESSING
1571.22/1576.54 c GARBAGE COLLECT
1571.22/1576.54 c #Conflicts: 547000 | #Constraints: 35135
1571.22/1576.54 c #Conflicts: 548000 | #Constraints: 36135
1571.22/1576.54 c #Conflicts: 549000 | #Constraints: 37135
1571.22/1576.54 c #Conflicts: 550000 | #Constraints: 38135
1571.22/1576.54 c #Conflicts: 551000 | #Constraints: 39135
1571.22/1576.54 c #Conflicts: 552000 | #Constraints: 40135
1571.22/1576.54 c #Conflicts: 553000 | #Constraints: 41135
1571.22/1576.54 c #Conflicts: 554000 | #Constraints: 42135
1571.22/1576.54 c #Conflicts: 555000 | #Constraints: 43135
1571.22/1576.54 c #Conflicts: 556000 | #Constraints: 44135
1571.22/1576.54 c #Conflicts: 557000 | #Constraints: 45135
1571.22/1576.54 c #Conflicts: 558000 | #Constraints: 46135
1571.22/1576.54 c #Conflicts: 559000 | #Constraints: 47135
1571.22/1576.54 c #Conflicts: 560000 | #Constraints: 48135
1571.22/1576.54 c #Conflicts: 561000 | #Constraints: 49135
1571.22/1576.54 c INPROCESSING
1571.22/1576.54 c GARBAGE COLLECT
1571.22/1576.54 c #Conflicts: 562000 | #Constraints: 35343
1571.22/1576.54 c #Conflicts: 563000 | #Constraints: 36343
1571.22/1576.54 c #Conflicts: 564000 | #Constraints: 37343
1571.22/1576.54 c #Conflicts: 565000 | #Constraints: 38343
1571.22/1576.54 c #Conflicts: 566000 | #Constraints: 39343
1571.22/1576.54 c #Conflicts: 567000 | #Constraints: 40343
1571.22/1576.54 c #Conflicts: 568000 | #Constraints: 41343
1571.22/1576.54 c #Conflicts: 569000 | #Constraints: 42343
1571.22/1576.54 c #Conflicts: 570000 | #Constraints: 43343
1571.22/1576.54 c #Conflicts: 571000 | #Constraints: 44343
1571.22/1576.54 c #Conflicts: 572000 | #Constraints: 45343
1571.22/1576.54 c #Conflicts: 573000 | #Constraints: 46343
1571.22/1576.54 c #Conflicts: 574000 | #Constraints: 47343
1571.22/1576.54 c #Conflicts: 575000 | #Constraints: 48343
1571.22/1576.54 c #Conflicts: 576000 | #Constraints: 49343
1571.22/1576.54 c INPROCESSING
1571.22/1576.54 c GARBAGE COLLECT
1571.22/1576.54 c #Conflicts: 577000 | #Constraints: 35307
1571.22/1576.54 c #Conflicts: 578000 | #Constraints: 36307
1571.22/1576.54 c #Conflicts: 579000 | #Constraints: 37307
1571.22/1576.54 c #Conflicts: 580000 | #Constraints: 38307
1571.22/1576.54 c #Conflicts: 581000 | #Constraints: 39307
1571.22/1576.54 c #Conflicts: 582000 | #Constraints: 40307
1571.22/1576.54 c #Conflicts: 583000 | #Constraints: 41307
1571.22/1576.54 c #Conflicts: 584000 | #Constraints: 42307
1571.22/1576.54 c #Conflicts: 585000 | #Constraints: 43307
1805.08/1811.16 c #Conflicts: 586000 | #Constraints: 44307
1805.08/1811.16 c #Conflicts: 587000 | #Constraints: 45307
1805.08/1811.16 c #Conflicts: 588000 | #Constraints: 46307
1805.08/1811.16 c #Conflicts: 589000 | #Constraints: 47307
1805.08/1811.16 c #Conflicts: 590000 | #Constraints: 48307
1805.08/1811.16 c #Conflicts: 591000 | #Constraints: 49307
1805.08/1811.16 c INPROCESSING
1805.08/1811.16 c GARBAGE COLLECT
1805.08/1811.16 c #Conflicts: 592000 | #Constraints: 35030
1805.08/1811.16 c #Conflicts: 593000 | #Constraints: 36030
1805.08/1811.16 c #Conflicts: 594000 | #Constraints: 37030
1805.08/1811.16 c #Conflicts: 595000 | #Constraints: 38030
1805.08/1811.16 c #Conflicts: 596000 | #Constraints: 39030
1805.08/1811.16 c #Conflicts: 597000 | #Constraints: 40030
1805.08/1811.16 c #Conflicts: 598000 | #Constraints: 41030
1805.08/1811.16 c #Conflicts: 599000 | #Constraints: 42030
1805.08/1811.16 c #Conflicts: 600000 | #Constraints: 43030
1805.08/1811.16 c #Conflicts: 601000 | #Constraints: 44030
1805.08/1811.16 c #Conflicts: 602000 | #Constraints: 45030
1805.08/1811.16 c #Conflicts: 603000 | #Constraints: 46030
1805.08/1811.16 c #Conflicts: 604000 | #Constraints: 47030
1805.08/1811.16 c #Conflicts: 605000 | #Constraints: 48030
1805.08/1811.16 c #Conflicts: 606000 | #Constraints: 49030
1805.08/1811.16 c #Conflicts: 607000 | #Constraints: 50030
1805.08/1811.16 c INPROCESSING
1805.08/1811.16 c GARBAGE COLLECT
1805.08/1811.16 c #Conflicts: 608000 | #Constraints: 35665
1805.08/1811.16 c #Conflicts: 609000 | #Constraints: 36665
1805.08/1811.16 c #Conflicts: 610000 | #Constraints: 37665
1805.08/1811.16 c #Conflicts: 611000 | #Constraints: 38665
1805.08/1811.16 c #Conflicts: 612000 | #Constraints: 39665
1805.08/1811.16 c #Conflicts: 613000 | #Constraints: 40665
1805.08/1811.16 c #Conflicts: 614000 | #Constraints: 41665
1805.08/1811.16 c #Conflicts: 615000 | #Constraints: 42665
1805.08/1811.16 c #Conflicts: 616000 | #Constraints: 43665
1805.08/1811.16 c #Conflicts: 617000 | #Constraints: 44665
1805.08/1811.16 c #Conflicts: 618000 | #Constraints: 45665
1805.08/1811.16 c #Conflicts: 619000 | #Constraints: 46665
1805.08/1811.16 c #Conflicts: 620000 | #Constraints: 47665
1805.08/1811.16 c #Conflicts: 621000 | #Constraints: 48665
1805.08/1811.16 c #Conflicts: 622000 | #Constraints: 49665
1805.08/1811.16 c #Conflicts: 623000 | #Constraints: 50665
1805.08/1811.16 c INPROCESSING
1805.08/1811.16 c GARBAGE COLLECT
1805.08/1811.16 c #Conflicts: 624000 | #Constraints: 36062
1805.08/1811.16 c #Conflicts: 625000 | #Constraints: 37062
1805.08/1811.16 c #Conflicts: 626000 | #Constraints: 38062
1805.08/1811.16 c #Conflicts: 627000 | #Constraints: 39062
1805.08/1811.16 c #Conflicts: 628000 | #Constraints: 40062
1805.08/1811.16 c #Conflicts: 629000 | #Constraints: 41062
1805.08/1811.16 c #Conflicts: 630000 | #Constraints: 42062
1805.08/1811.16 c #Conflicts: 631000 | #Constraints: 43062
1805.08/1811.16 c #Conflicts: 632000 | #Constraints: 44062
1805.08/1811.16 c #Conflicts: 633000 | #Constraints: 45062
1805.08/1811.16 c #Conflicts: 634000 | #Constraints: 46062
1805.08/1811.16 c #Conflicts: 635000 | #Constraints: 47062
1805.08/1811.16 c #Conflicts: 636000 | #Constraints: 48062
1805.08/1811.16 c #Conflicts: 637000 | #Constraints: 49062
1805.08/1811.16 c #Conflicts: 638000 | #Constraints: 50062
1805.08/1811.16 c #Conflicts: 639000 | #Constraints: 51062
1805.08/1811.16 c INPROCESSING
1805.08/1811.16 c GARBAGE COLLECT
1805.08/1811.16 c #Conflicts: 640000 | #Constraints: 36287
1805.08/1811.16 c #Conflicts: 641000 | #Constraints: 37287
1805.08/1811.16 c #Conflicts: 642000 | #Constraints: 38287
1805.08/1811.16 c #Conflicts: 643000 | #Constraints: 39287
1805.08/1811.16 c #Conflicts: 644000 | #Constraints: 40287
1805.08/1811.16 c #Conflicts: 645000 | #Constraints: 41287
1805.08/1811.16 c #Conflicts: 646000 | #Constraints: 42287
1805.08/1811.16 c #Conflicts: 647000 | #Constraints: 43287
1805.08/1811.16 c #Conflicts: 648000 | #Constraints: 44287
1805.08/1811.16 c #Conflicts: 649000 | #Constraints: 45287
1805.08/1811.16 c #Conflicts: 650000 | #Constraints: 46287
1805.08/1811.16 c #Conflicts: 651000 | #Constraints: 47287
1805.08/1811.16 c #Conflicts: 652000 | #Constraints: 48287
1805.08/1811.16 c #Conflicts: 653000 | #Constraints: 49287
1805.08/1811.16 c #Conflicts: 654000 | #Constraints: 50287
1805.08/1811.16 c #Conflicts: 655000 | #Constraints: 51287
1805.08/1811.16 c INPROCESSING
1805.08/1811.16 c GARBAGE COLLECT
1805.08/1811.16 c #Conflicts: 656000 | #Constraints: 36280
1805.08/1811.16 c #Conflicts: 657000 | #Constraints: 37280
1805.08/1811.16 c #Conflicts: 658000 | #Constraints: 38280
1805.08/1811.16 c #Conflicts: 659000 | #Constraints: 39280
1805.08/1811.16 c #Conflicts: 660000 | #Constraints: 40280
1805.08/1811.16 c #Conflicts: 661000 | #Constraints: 41280
2062.02/2068.94 c #Conflicts: 662000 | #Constraints: 42280
2062.02/2068.94 c #Conflicts: 663000 | #Constraints: 43280
2062.02/2068.94 c #Conflicts: 664000 | #Constraints: 44280
2062.02/2068.94 c #Conflicts: 665000 | #Constraints: 45280
2062.02/2068.94 c #Conflicts: 666000 | #Constraints: 46280
2062.02/2068.94 c #Conflicts: 667000 | #Constraints: 47280
2062.02/2068.94 c #Conflicts: 668000 | #Constraints: 48280
2062.02/2068.94 c #Conflicts: 669000 | #Constraints: 49280
2062.02/2068.94 c #Conflicts: 670000 | #Constraints: 50280
2062.02/2068.94 c #Conflicts: 671000 | #Constraints: 51280
2062.02/2068.94 c INPROCESSING
2062.02/2068.94 c GARBAGE COLLECT
2062.02/2068.94 c #Conflicts: 672000 | #Constraints: 36113
2062.02/2068.94 c #Conflicts: 673000 | #Constraints: 37113
2062.02/2068.94 c #Conflicts: 674000 | #Constraints: 38113
2062.02/2068.94 c #Conflicts: 675000 | #Constraints: 39113
2062.02/2068.94 c #Conflicts: 676000 | #Constraints: 40113
2062.02/2068.94 c #Conflicts: 677000 | #Constraints: 41113
2062.02/2068.94 c #Conflicts: 678000 | #Constraints: 42113
2062.02/2068.94 c #Conflicts: 679000 | #Constraints: 43113
2062.02/2068.94 c #Conflicts: 680000 | #Constraints: 44113
2062.02/2068.94 c #Conflicts: 681000 | #Constraints: 45113
2062.02/2068.94 c #Conflicts: 682000 | #Constraints: 46113
2062.02/2068.94 c #Conflicts: 683000 | #Constraints: 47113
2062.02/2068.94 c #Conflicts: 684000 | #Constraints: 48113
2062.02/2068.94 c #Conflicts: 685000 | #Constraints: 49113
2062.02/2068.94 c #Conflicts: 686000 | #Constraints: 50113
2062.02/2068.94 c #Conflicts: 687000 | #Constraints: 51113
2062.02/2068.94 c #Conflicts: 688000 | #Constraints: 52113
2062.02/2068.94 c INPROCESSING
2062.02/2068.94 c GARBAGE COLLECT
2062.02/2068.94 c #Conflicts: 689000 | #Constraints: 36710
2062.02/2068.94 c #Conflicts: 690000 | #Constraints: 37710
2062.02/2068.94 c #Conflicts: 691000 | #Constraints: 38710
2062.02/2068.94 c #Conflicts: 692000 | #Constraints: 39710
2062.02/2068.94 c #Conflicts: 693000 | #Constraints: 40710
2062.02/2068.94 c #Conflicts: 694000 | #Constraints: 41710
2062.02/2068.94 c #Conflicts: 695000 | #Constraints: 42710
2062.02/2068.94 c #Conflicts: 696000 | #Constraints: 43710
2062.02/2068.94 c #Conflicts: 697000 | #Constraints: 44710
2062.02/2068.94 c #Conflicts: 698000 | #Constraints: 45710
2062.02/2068.94 c #Conflicts: 699000 | #Constraints: 46710
2062.02/2068.94 c #Conflicts: 700000 | #Constraints: 47710
2062.02/2068.94 c #Conflicts: 701000 | #Constraints: 48710
2062.02/2068.94 c #Conflicts: 702000 | #Constraints: 49710
2062.02/2068.94 c #Conflicts: 703000 | #Constraints: 50710
2062.02/2068.94 c #Conflicts: 704000 | #Constraints: 51710
2062.02/2068.94 c #Conflicts: 705000 | #Constraints: 52710
2062.02/2068.94 c INPROCESSING
2062.02/2068.94 c GARBAGE COLLECT
2062.02/2068.94 c #Conflicts: 706000 | #Constraints: 37138
2062.02/2068.94 c #Conflicts: 707000 | #Constraints: 38138
2062.02/2068.94 c #Conflicts: 708000 | #Constraints: 39138
2062.02/2068.94 c #Conflicts: 709000 | #Constraints: 40138
2062.02/2068.94 c #Conflicts: 710000 | #Constraints: 41138
2062.02/2068.94 c #Conflicts: 711000 | #Constraints: 42138
2062.02/2068.94 c #Conflicts: 712000 | #Constraints: 43138
2062.02/2068.94 c #Conflicts: 713000 | #Constraints: 44138
2062.02/2068.94 c #Conflicts: 714000 | #Constraints: 45138
2062.02/2068.94 c #Conflicts: 715000 | #Constraints: 46138
2062.02/2068.94 c #Conflicts: 716000 | #Constraints: 47138
2062.02/2068.94 c #Conflicts: 717000 | #Constraints: 48138
2062.02/2068.94 c #Conflicts: 718000 | #Constraints: 49138
2062.02/2068.94 c #Conflicts: 719000 | #Constraints: 50138
2062.02/2068.94 c #Conflicts: 720000 | #Constraints: 51138
2062.02/2068.94 c #Conflicts: 721000 | #Constraints: 52138
2062.02/2068.94 c #Conflicts: 722000 | #Constraints: 53138
2062.02/2068.94 c INPROCESSING
2062.02/2068.94 c GARBAGE COLLECT
2062.02/2068.94 c #Conflicts: 723000 | #Constraints: 37339
2062.02/2068.94 c #Conflicts: 724000 | #Constraints: 38339
2062.02/2068.94 c #Conflicts: 725000 | #Constraints: 39339
2062.02/2068.94 c #Conflicts: 726000 | #Constraints: 40339
2062.02/2068.94 c #Conflicts: 727000 | #Constraints: 41339
2062.02/2068.94 c #Conflicts: 728000 | #Constraints: 42339
2062.02/2068.94 c #Conflicts: 729000 | #Constraints: 43339
2062.02/2068.94 c #Conflicts: 730000 | #Constraints: 44339
2062.02/2068.94 c #Conflicts: 731000 | #Constraints: 45339
2062.02/2068.94 c #Conflicts: 732000 | #Constraints: 46339
2062.02/2068.94 c #Conflicts: 733000 | #Constraints: 47339
2062.02/2068.94 c #Conflicts: 734000 | #Constraints: 48339
2062.02/2068.94 c #Conflicts: 735000 | #Constraints: 49339
2062.02/2068.94 c #Conflicts: 736000 | #Constraints: 50339
2062.02/2068.94 c #Conflicts: 737000 | #Constraints: 51339
2333.53/2341.36 c #Conflicts: 738000 | #Constraints: 52339
2333.53/2341.36 c #Conflicts: 739000 | #Constraints: 53339
2333.53/2341.36 c INPROCESSING
2333.53/2341.36 c GARBAGE COLLECT
2333.53/2341.36 c #Conflicts: 740000 | #Constraints: 37317
2333.53/2341.36 c #Conflicts: 741000 | #Constraints: 38317
2333.53/2341.36 c #Conflicts: 742000 | #Constraints: 39317
2333.53/2341.36 c #Conflicts: 743000 | #Constraints: 40317
2333.53/2341.36 c #Conflicts: 744000 | #Constraints: 41317
2333.53/2341.36 c #Conflicts: 745000 | #Constraints: 42317
2333.53/2341.36 c #Conflicts: 746000 | #Constraints: 43317
2333.53/2341.36 c #Conflicts: 747000 | #Constraints: 44317
2333.53/2341.36 c #Conflicts: 748000 | #Constraints: 45317
2333.53/2341.36 c #Conflicts: 749000 | #Constraints: 46317
2333.53/2341.36 c #Conflicts: 750000 | #Constraints: 47317
2333.53/2341.36 c #Conflicts: 751000 | #Constraints: 48317
2333.53/2341.36 c #Conflicts: 752000 | #Constraints: 49317
2333.53/2341.36 c #Conflicts: 753000 | #Constraints: 50317
2333.53/2341.36 c #Conflicts: 754000 | #Constraints: 51317
2333.53/2341.36 c #Conflicts: 755000 | #Constraints: 52317
2333.53/2341.36 c #Conflicts: 756000 | #Constraints: 53317
2333.53/2341.36 c INPROCESSING
2333.53/2341.36 c GARBAGE COLLECT
2333.53/2341.36 c #Conflicts: 757000 | #Constraints: 37107
2333.53/2341.36 c #Conflicts: 758000 | #Constraints: 38107
2333.53/2341.36 c #Conflicts: 759000 | #Constraints: 39107
2333.53/2341.36 c #Conflicts: 760000 | #Constraints: 40107
2333.53/2341.36 c #Conflicts: 761000 | #Constraints: 41107
2333.53/2341.36 c #Conflicts: 762000 | #Constraints: 42107
2333.53/2341.36 c #Conflicts: 763000 | #Constraints: 43107
2333.53/2341.36 c #Conflicts: 764000 | #Constraints: 44107
2333.53/2341.36 c #Conflicts: 765000 | #Constraints: 45107
2333.53/2341.36 c #Conflicts: 766000 | #Constraints: 46107
2333.53/2341.36 c #Conflicts: 767000 | #Constraints: 47107
2333.53/2341.36 c #Conflicts: 768000 | #Constraints: 48107
2333.53/2341.36 c #Conflicts: 769000 | #Constraints: 49107
2333.53/2341.36 c #Conflicts: 770000 | #Constraints: 50107
2333.53/2341.36 c #Conflicts: 771000 | #Constraints: 51107
2333.53/2341.36 c #Conflicts: 772000 | #Constraints: 52107
2333.53/2341.36 c #Conflicts: 773000 | #Constraints: 53107
2333.53/2341.36 c #Conflicts: 774000 | #Constraints: 54107
2333.53/2341.36 c INPROCESSING
2333.53/2341.36 c GARBAGE COLLECT
2333.53/2341.36 c #Conflicts: 775000 | #Constraints: 37750
2333.53/2341.36 c #Conflicts: 776000 | #Constraints: 38750
2333.53/2341.36 c #Conflicts: 777000 | #Constraints: 39750
2333.53/2341.36 c #Conflicts: 778000 | #Constraints: 40750
2333.53/2341.36 c #Conflicts: 779000 | #Constraints: 41750
2333.53/2341.36 c #Conflicts: 780000 | #Constraints: 42750
2333.53/2341.36 c #Conflicts: 781000 | #Constraints: 43750
2333.53/2341.36 c #Conflicts: 782000 | #Constraints: 44750
2333.53/2341.36 c #Conflicts: 783000 | #Constraints: 45750
2333.53/2341.36 c #Conflicts: 784000 | #Constraints: 46750
2333.53/2341.36 c #Conflicts: 785000 | #Constraints: 47750
2333.53/2341.36 c #Conflicts: 786000 | #Constraints: 48750
2333.53/2341.36 c #Conflicts: 787000 | #Constraints: 49750
2333.53/2341.36 c #Conflicts: 788000 | #Constraints: 50750
2333.53/2341.36 c #Conflicts: 789000 | #Constraints: 51750
2333.53/2341.36 c #Conflicts: 790000 | #Constraints: 52750
2333.53/2341.36 c #Conflicts: 791000 | #Constraints: 53750
2333.53/2341.36 c #Conflicts: 792000 | #Constraints: 54750
2333.53/2341.36 c INPROCESSING
2333.53/2341.36 c GARBAGE COLLECT
2333.53/2341.36 c #Conflicts: 793000 | #Constraints: 38146
2333.53/2341.36 c #Conflicts: 794000 | #Constraints: 39146
2333.53/2341.36 c #Conflicts: 795000 | #Constraints: 40146
2333.53/2341.36 c #Conflicts: 796000 | #Constraints: 41146
2333.53/2341.36 c #Conflicts: 797000 | #Constraints: 42146
2333.53/2341.36 c #Conflicts: 798000 | #Constraints: 43146
2333.53/2341.36 c #Conflicts: 799000 | #Constraints: 44146
2333.53/2341.36 c #Conflicts: 800000 | #Constraints: 45146
2333.53/2341.36 c #Conflicts: 801000 | #Constraints: 46146
2333.53/2341.36 c #Conflicts: 802000 | #Constraints: 47146
2333.53/2341.36 c #Conflicts: 803000 | #Constraints: 48146
2333.53/2341.36 c #Conflicts: 804000 | #Constraints: 49146
2333.53/2341.36 c #Conflicts: 805000 | #Constraints: 50146
2333.53/2341.36 c #Conflicts: 806000 | #Constraints: 51146
2333.53/2341.36 c #Conflicts: 807000 | #Constraints: 52146
2333.53/2341.36 c #Conflicts: 808000 | #Constraints: 53146
2333.53/2341.36 c #Conflicts: 809000 | #Constraints: 54146
2333.53/2341.36 c #Conflicts: 810000 | #Constraints: 55146
2333.53/2341.36 c INPROCESSING
2333.53/2341.36 c GARBAGE COLLECT
2333.53/2341.36 c #Conflicts: 811000 | #Constraints: 38260
2333.53/2341.36 c #Conflicts: 812000 | #Constraints: 39260
2333.53/2341.36 c #Conflicts: 813000 | #Constraints: 40260
2617.28/2625.93 c #Conflicts: 814000 | #Constraints: 41260
2617.28/2625.93 c #Conflicts: 815000 | #Constraints: 42260
2617.28/2625.93 c #Conflicts: 816000 | #Constraints: 43260
2617.28/2625.93 c #Conflicts: 817000 | #Constraints: 44260
2617.28/2625.93 c #Conflicts: 818000 | #Constraints: 45260
2617.28/2625.93 c #Conflicts: 819000 | #Constraints: 46260
2617.28/2625.93 c #Conflicts: 820000 | #Constraints: 47260
2617.28/2625.93 c #Conflicts: 821000 | #Constraints: 48260
2617.28/2625.93 c #Conflicts: 822000 | #Constraints: 49260
2617.28/2625.93 c #Conflicts: 823000 | #Constraints: 50260
2617.28/2625.93 c #Conflicts: 824000 | #Constraints: 51260
2617.28/2625.93 c #Conflicts: 825000 | #Constraints: 52260
2617.28/2625.93 c #Conflicts: 826000 | #Constraints: 53260
2617.28/2625.93 c #Conflicts: 827000 | #Constraints: 54260
2617.28/2625.93 c #Conflicts: 828000 | #Constraints: 55260
2617.28/2625.93 c INPROCESSING
2617.28/2625.93 c GARBAGE COLLECT
2617.28/2625.93 c #Conflicts: 829000 | #Constraints: 38277
2617.28/2625.93 c #Conflicts: 830000 | #Constraints: 39277
2617.28/2625.93 c #Conflicts: 831000 | #Constraints: 40277
2617.28/2625.93 c #Conflicts: 832000 | #Constraints: 41277
2617.28/2625.93 c #Conflicts: 833000 | #Constraints: 42277
2617.28/2625.93 c #Conflicts: 834000 | #Constraints: 43277
2617.28/2625.93 c #Conflicts: 835000 | #Constraints: 44277
2617.28/2625.93 c #Conflicts: 836000 | #Constraints: 45277
2617.28/2625.93 c #Conflicts: 837000 | #Constraints: 46277
2617.28/2625.93 c #Conflicts: 838000 | #Constraints: 47277
2617.28/2625.93 c #Conflicts: 839000 | #Constraints: 48277
2617.28/2625.93 c #Conflicts: 840000 | #Constraints: 49277
2617.28/2625.93 c #Conflicts: 841000 | #Constraints: 50277
2617.28/2625.93 c #Conflicts: 842000 | #Constraints: 51277
2617.28/2625.93 c #Conflicts: 843000 | #Constraints: 52277
2617.28/2625.93 c #Conflicts: 844000 | #Constraints: 53277
2617.28/2625.93 c #Conflicts: 845000 | #Constraints: 54277
2617.28/2625.93 c #Conflicts: 846000 | #Constraints: 55277
2617.28/2625.93 c INPROCESSING
2617.28/2625.93 c GARBAGE COLLECT
2617.28/2625.93 c #Conflicts: 847000 | #Constraints: 38065
2617.28/2625.93 c #Conflicts: 848000 | #Constraints: 39065
2617.28/2625.93 c #Conflicts: 849000 | #Constraints: 40065
2617.28/2625.93 c #Conflicts: 850000 | #Constraints: 41065
2617.28/2625.93 c #Conflicts: 851000 | #Constraints: 42065
2617.28/2625.93 c #Conflicts: 852000 | #Constraints: 43065
2617.28/2625.93 c #Conflicts: 853000 | #Constraints: 44065
2617.28/2625.93 c #Conflicts: 854000 | #Constraints: 45065
2617.28/2625.93 c #Conflicts: 855000 | #Constraints: 46065
2617.28/2625.93 c #Conflicts: 856000 | #Constraints: 47065
2617.28/2625.93 c #Conflicts: 857000 | #Constraints: 48065
2617.28/2625.93 c #Conflicts: 858000 | #Constraints: 49065
2617.28/2625.93 c #Conflicts: 859000 | #Constraints: 50065
2617.28/2625.93 c #Conflicts: 860000 | #Constraints: 51065
2617.28/2625.93 c #Conflicts: 861000 | #Constraints: 52065
2617.28/2625.93 c #Conflicts: 862000 | #Constraints: 53065
2617.28/2625.93 c #Conflicts: 863000 | #Constraints: 54065
2617.28/2625.93 c #Conflicts: 864000 | #Constraints: 55065
2617.28/2625.93 c #Conflicts: 865000 | #Constraints: 56065
2617.28/2625.93 c INPROCESSING
2617.28/2625.93 c GARBAGE COLLECT
2617.28/2625.93 c #Conflicts: 866000 | #Constraints: 38724
2617.28/2625.93 c #Conflicts: 867000 | #Constraints: 39724
2617.28/2625.93 c #Conflicts: 868000 | #Constraints: 40724
2617.28/2625.93 c #Conflicts: 869000 | #Constraints: 41724
2617.28/2625.93 c #Conflicts: 870000 | #Constraints: 42724
2617.28/2625.93 c #Conflicts: 871000 | #Constraints: 43724
2617.28/2625.93 c #Conflicts: 872000 | #Constraints: 44724
2617.28/2625.93 c #Conflicts: 873000 | #Constraints: 45724
2617.28/2625.93 c #Conflicts: 874000 | #Constraints: 46724
2617.28/2625.93 c #Conflicts: 875000 | #Constraints: 47724
2617.28/2625.93 c #Conflicts: 876000 | #Constraints: 48724
2617.28/2625.93 c #Conflicts: 877000 | #Constraints: 49724
2617.28/2625.93 c #Conflicts: 878000 | #Constraints: 50724
2617.28/2625.93 c #Conflicts: 879000 | #Constraints: 51724
2617.28/2625.93 c #Conflicts: 880000 | #Constraints: 52724
2617.28/2625.93 c #Conflicts: 881000 | #Constraints: 53724
2617.28/2625.93 c #Conflicts: 882000 | #Constraints: 54724
2617.28/2625.93 c #Conflicts: 883000 | #Constraints: 55724
2617.28/2625.93 c #Conflicts: 884000 | #Constraints: 56724
2617.28/2625.93 c INPROCESSING
2617.28/2625.93 c GARBAGE COLLECT
2617.28/2625.93 c #Conflicts: 885000 | #Constraints: 39163
2617.28/2625.93 c #Conflicts: 886000 | #Constraints: 40163
2617.28/2625.93 c #Conflicts: 887000 | #Constraints: 41163
2617.28/2625.93 c #Conflicts: 888000 | #Constraints: 42163
2617.28/2625.93 c #Conflicts: 889000 | #Constraints: 43163
2928.14/2937.76 c #Conflicts: 890000 | #Constraints: 44163
2928.14/2937.76 c #Conflicts: 891000 | #Constraints: 45163
2928.14/2937.76 c #Conflicts: 892000 | #Constraints: 46163
2928.14/2937.76 c #Conflicts: 893000 | #Constraints: 47163
2928.14/2937.76 c #Conflicts: 894000 | #Constraints: 48163
2928.14/2937.76 c #Conflicts: 895000 | #Constraints: 49163
2928.14/2937.76 c #Conflicts: 896000 | #Constraints: 50163
2928.14/2937.76 c #Conflicts: 897000 | #Constraints: 51163
2928.14/2937.76 c #Conflicts: 898000 | #Constraints: 52163
2928.14/2937.76 c #Conflicts: 899000 | #Constraints: 53163
2928.14/2937.76 c #Conflicts: 900000 | #Constraints: 54163
2928.14/2937.76 c #Conflicts: 901000 | #Constraints: 55163
2928.14/2937.76 c #Conflicts: 902000 | #Constraints: 56163
2928.14/2937.76 c #Conflicts: 903000 | #Constraints: 57163
2928.14/2937.76 c INPROCESSING
2928.14/2937.76 c GARBAGE COLLECT
2928.14/2937.76 c #Conflicts: 904000 | #Constraints: 39285
2928.14/2937.76 c #Conflicts: 905000 | #Constraints: 40285
2928.14/2937.76 c #Conflicts: 906000 | #Constraints: 41285
2928.14/2937.76 c #Conflicts: 907000 | #Constraints: 42285
2928.14/2937.76 c #Conflicts: 908000 | #Constraints: 43285
2928.14/2937.76 c #Conflicts: 909000 | #Constraints: 44285
2928.14/2937.76 c #Conflicts: 910000 | #Constraints: 45285
2928.14/2937.76 c #Conflicts: 911000 | #Constraints: 46285
2928.14/2937.76 c #Conflicts: 912000 | #Constraints: 47285
2928.14/2937.76 c #Conflicts: 913000 | #Constraints: 48285
2928.14/2937.76 c #Conflicts: 914000 | #Constraints: 49285
2928.14/2937.76 c #Conflicts: 915000 | #Constraints: 50285
2928.14/2937.76 c #Conflicts: 916000 | #Constraints: 51285
2928.14/2937.76 c #Conflicts: 917000 | #Constraints: 52285
2928.14/2937.76 c #Conflicts: 918000 | #Constraints: 53285
2928.14/2937.76 c #Conflicts: 919000 | #Constraints: 54285
2928.14/2937.76 c #Conflicts: 920000 | #Constraints: 55285
2928.14/2937.76 c #Conflicts: 921000 | #Constraints: 56285
2928.14/2937.76 c #Conflicts: 922000 | #Constraints: 57285
2928.14/2937.76 c INPROCESSING
2928.14/2937.76 c GARBAGE COLLECT
2928.14/2937.76 c #Conflicts: 923000 | #Constraints: 39317
2928.14/2937.76 c #Conflicts: 924000 | #Constraints: 40317
2928.14/2937.76 c #Conflicts: 925000 | #Constraints: 41317
2928.14/2937.76 c #Conflicts: 926000 | #Constraints: 42317
2928.14/2937.76 c #Conflicts: 927000 | #Constraints: 43317
2928.14/2937.76 c #Conflicts: 928000 | #Constraints: 44317
2928.14/2937.76 c #Conflicts: 929000 | #Constraints: 45317
2928.14/2937.76 c #Conflicts: 930000 | #Constraints: 46317
2928.14/2937.76 c #Conflicts: 931000 | #Constraints: 47317
2928.14/2937.76 c #Conflicts: 932000 | #Constraints: 48317
2928.14/2937.76 c #Conflicts: 933000 | #Constraints: 49317
2928.14/2937.76 c #Conflicts: 934000 | #Constraints: 50317
2928.14/2937.76 c #Conflicts: 935000 | #Constraints: 51317
2928.14/2937.76 c #Conflicts: 936000 | #Constraints: 52317
2928.14/2937.76 c #Conflicts: 937000 | #Constraints: 53317
2928.14/2937.76 c #Conflicts: 938000 | #Constraints: 54317
2928.14/2937.76 c #Conflicts: 939000 | #Constraints: 55317
2928.14/2937.76 c #Conflicts: 940000 | #Constraints: 56317
2928.14/2937.76 c #Conflicts: 941000 | #Constraints: 57317
2928.14/2937.76 c INPROCESSING
2928.14/2937.76 c GARBAGE COLLECT
2928.14/2937.76 c #Conflicts: 942000 | #Constraints: 39147
2928.14/2937.76 c #Conflicts: 943000 | #Constraints: 40147
2928.14/2937.76 c #Conflicts: 944000 | #Constraints: 41147
2928.14/2937.76 c #Conflicts: 945000 | #Constraints: 42147
2928.14/2937.76 c #Conflicts: 946000 | #Constraints: 43147
2928.14/2937.76 c #Conflicts: 947000 | #Constraints: 44147
2928.14/2937.76 c #Conflicts: 948000 | #Constraints: 45147
2928.14/2937.76 c #Conflicts: 949000 | #Constraints: 46147
2928.14/2937.76 c #Conflicts: 950000 | #Constraints: 47147
2928.14/2937.76 c #Conflicts: 951000 | #Constraints: 48147
2928.14/2937.76 c #Conflicts: 952000 | #Constraints: 49147
2928.14/2937.76 c #Conflicts: 953000 | #Constraints: 50147
2928.14/2937.76 c #Conflicts: 954000 | #Constraints: 51147
2928.14/2937.76 c #Conflicts: 955000 | #Constraints: 52147
2928.14/2937.76 c #Conflicts: 956000 | #Constraints: 53147
2928.14/2937.76 c #Conflicts: 957000 | #Constraints: 54147
2928.14/2937.76 c #Conflicts: 958000 | #Constraints: 55147
2928.14/2937.76 c #Conflicts: 959000 | #Constraints: 56147
2928.14/2937.76 c #Conflicts: 960000 | #Constraints: 57147
2928.14/2937.76 c #Conflicts: 961000 | #Constraints: 58147
2928.14/2937.76 c INPROCESSING
2928.14/2937.76 c GARBAGE COLLECT
2928.14/2937.76 c #Conflicts: 962000 | #Constraints: 39749
2928.14/2937.76 c #Conflicts: 963000 | #Constraints: 40749
2928.14/2937.76 c #Conflicts: 964000 | #Constraints: 41749
2928.14/2937.76 c #Conflicts: 965000 | #Constraints: 42749
3256.55/3267.14 c #Conflicts: 966000 | #Constraints: 43749
3256.55/3267.14 c #Conflicts: 967000 | #Constraints: 44749
3256.55/3267.14 c #Conflicts: 968000 | #Constraints: 45749
3256.55/3267.14 c #Conflicts: 969000 | #Constraints: 46749
3256.55/3267.14 c #Conflicts: 970000 | #Constraints: 47749
3256.55/3267.14 c #Conflicts: 971000 | #Constraints: 48749
3256.55/3267.14 c #Conflicts: 972000 | #Constraints: 49749
3256.55/3267.14 c #Conflicts: 973000 | #Constraints: 50749
3256.55/3267.14 c #Conflicts: 974000 | #Constraints: 51749
3256.55/3267.14 c #Conflicts: 975000 | #Constraints: 52749
3256.55/3267.14 c #Conflicts: 976000 | #Constraints: 53749
3256.55/3267.14 c #Conflicts: 977000 | #Constraints: 54749
3256.55/3267.14 c #Conflicts: 978000 | #Constraints: 55749
3256.55/3267.14 c #Conflicts: 979000 | #Constraints: 56749
3256.55/3267.14 c #Conflicts: 980000 | #Constraints: 57749
3256.55/3267.14 c #Conflicts: 981000 | #Constraints: 58749
3256.55/3267.14 c INPROCESSING
3256.55/3267.14 c GARBAGE COLLECT
3256.55/3267.14 c #Conflicts: 982000 | #Constraints: 40187
3256.55/3267.14 c #Conflicts: 983000 | #Constraints: 41187
3256.55/3267.14 c #Conflicts: 984000 | #Constraints: 42187
3256.55/3267.14 c #Conflicts: 985000 | #Constraints: 43187
3256.55/3267.14 c #Conflicts: 986000 | #Constraints: 44187
3256.55/3267.14 c #Conflicts: 987000 | #Constraints: 45187
3256.55/3267.14 c #Conflicts: 988000 | #Constraints: 46187
3256.55/3267.14 c #Conflicts: 989000 | #Constraints: 47187
3256.55/3267.14 c #Conflicts: 990000 | #Constraints: 48187
3256.55/3267.14 c #Conflicts: 991000 | #Constraints: 49187
3256.55/3267.14 c #Conflicts: 992000 | #Constraints: 50187
3256.55/3267.14 c #Conflicts: 993000 | #Constraints: 51187
3256.55/3267.14 c #Conflicts: 994000 | #Constraints: 52187
3256.55/3267.14 c #Conflicts: 995000 | #Constraints: 53187
3256.55/3267.14 c #Conflicts: 996000 | #Constraints: 54187
3256.55/3267.14 c #Conflicts: 997000 | #Constraints: 55187
3256.55/3267.14 c #Conflicts: 998000 | #Constraints: 56187
3256.55/3267.14 c #Conflicts: 999000 | #Constraints: 57187
3256.55/3267.14 c #Conflicts: 1000000 | #Constraints: 58187
3256.55/3267.14 c #Conflicts: 1001000 | #Constraints: 59187
3256.55/3267.14 c INPROCESSING
3256.55/3267.14 c GARBAGE COLLECT
3256.55/3267.14 c #Conflicts: 1002000 | #Constraints: 40377
3256.55/3267.14 c #Conflicts: 1003000 | #Constraints: 41377
3256.55/3267.14 c #Conflicts: 1004000 | #Constraints: 42377
3256.55/3267.14 c #Conflicts: 1005000 | #Constraints: 43377
3256.55/3267.14 c #Conflicts: 1006000 | #Constraints: 44377
3256.55/3267.14 c #Conflicts: 1007000 | #Constraints: 45377
3256.55/3267.14 c #Conflicts: 1008000 | #Constraints: 46377
3256.55/3267.14 c #Conflicts: 1009000 | #Constraints: 47377
3256.55/3267.14 c #Conflicts: 1010000 | #Constraints: 48377
3256.55/3267.14 c #Conflicts: 1011000 | #Constraints: 49377
3256.55/3267.14 c #Conflicts: 1012000 | #Constraints: 50377
3256.55/3267.14 c #Conflicts: 1013000 | #Constraints: 51377
3256.55/3267.14 c #Conflicts: 1014000 | #Constraints: 52377
3256.55/3267.14 c #Conflicts: 1015000 | #Constraints: 53377
3256.55/3267.14 c #Conflicts: 1016000 | #Constraints: 54377
3256.55/3267.14 c #Conflicts: 1017000 | #Constraints: 55377
3256.55/3267.14 c #Conflicts: 1018000 | #Constraints: 56377
3256.55/3267.14 c #Conflicts: 1019000 | #Constraints: 57377
3256.55/3267.14 c #Conflicts: 1020000 | #Constraints: 58377
3256.55/3267.14 c #Conflicts: 1021000 | #Constraints: 59377
3256.55/3267.14 c INPROCESSING
3256.55/3267.14 c GARBAGE COLLECT
3256.55/3267.14 c #Conflicts: 1022000 | #Constraints: 40360
3256.55/3267.14 c #Conflicts: 1023000 | #Constraints: 41360
3256.55/3267.14 c #Conflicts: 1024000 | #Constraints: 42360
3256.55/3267.14 c #Conflicts: 1025000 | #Constraints: 43360
3256.55/3267.14 c #Conflicts: 1026000 | #Constraints: 44360
3256.55/3267.14 c #Conflicts: 1027000 | #Constraints: 45360
3256.55/3267.14 c #Conflicts: 1028000 | #Constraints: 46360
3256.55/3267.14 c #Conflicts: 1029000 | #Constraints: 47360
3256.55/3267.14 c #Conflicts: 1030000 | #Constraints: 48360
3256.55/3267.14 c #Conflicts: 1031000 | #Constraints: 49360
3256.55/3267.14 c #Conflicts: 1032000 | #Constraints: 50360
3256.55/3267.14 c #Conflicts: 1033000 | #Constraints: 51360
3256.55/3267.14 c #Conflicts: 1034000 | #Constraints: 52360
3256.55/3267.14 c #Conflicts: 1035000 | #Constraints: 53360
3256.55/3267.14 c #Conflicts: 1036000 | #Constraints: 54360
3256.55/3267.14 c #Conflicts: 1037000 | #Constraints: 55360
3256.55/3267.14 c #Conflicts: 1038000 | #Constraints: 56360
3256.55/3267.14 c #Conflicts: 1039000 | #Constraints: 57360
3256.55/3267.14 c #Conflicts: 1040000 | #Constraints: 58360
3256.55/3267.14 c #Conflicts: 1041000 | #Constraints: 59360
3256.55/3267.14 c INPROCESSING
3256.55/3267.14 c GARBAGE COLLECT
3585.04/3596.60 c #Conflicts: 1042000 | #Constraints: 40145
3585.04/3596.60 c #Conflicts: 1043000 | #Constraints: 41145
3585.04/3596.60 c #Conflicts: 1044000 | #Constraints: 42145
3585.04/3596.60 c #Conflicts: 1045000 | #Constraints: 43145
3585.04/3596.60 c #Conflicts: 1046000 | #Constraints: 44145
3585.04/3596.60 c #Conflicts: 1047000 | #Constraints: 45145
3585.04/3596.60 c #Conflicts: 1048000 | #Constraints: 46145
3585.04/3596.60 c #Conflicts: 1049000 | #Constraints: 47145
3585.04/3596.60 c #Conflicts: 1050000 | #Constraints: 48145
3585.04/3596.60 c #Conflicts: 1051000 | #Constraints: 49145
3585.04/3596.60 c #Conflicts: 1052000 | #Constraints: 50145
3585.04/3596.60 c #Conflicts: 1053000 | #Constraints: 51145
3585.04/3596.60 c #Conflicts: 1054000 | #Constraints: 52145
3585.04/3596.60 c #Conflicts: 1055000 | #Constraints: 53145
3585.04/3596.60 c #Conflicts: 1056000 | #Constraints: 54145
3585.04/3596.60 c #Conflicts: 1057000 | #Constraints: 55145
3585.04/3596.60 c #Conflicts: 1058000 | #Constraints: 56145
3585.04/3596.60 c #Conflicts: 1059000 | #Constraints: 57145
3585.04/3596.60 c #Conflicts: 1060000 | #Constraints: 58145
3585.04/3596.60 c #Conflicts: 1061000 | #Constraints: 59145
3585.04/3596.60 c #Conflicts: 1062000 | #Constraints: 60145
3585.04/3596.60 c INPROCESSING
3585.04/3596.60 c GARBAGE COLLECT
3585.04/3596.60 c #Conflicts: 1063000 | #Constraints: 40737
3585.04/3596.60 c #Conflicts: 1064000 | #Constraints: 41737
3585.04/3596.60 c #Conflicts: 1065000 | #Constraints: 42737
3585.04/3596.60 c #Conflicts: 1066000 | #Constraints: 43737
3585.04/3596.60 c #Conflicts: 1067000 | #Constraints: 44737
3585.04/3596.60 c #Conflicts: 1068000 | #Constraints: 45737
3585.04/3596.60 c #Conflicts: 1069000 | #Constraints: 46737
3585.04/3596.60 c #Conflicts: 1070000 | #Constraints: 47737
3585.04/3596.60 c #Conflicts: 1071000 | #Constraints: 48737
3585.04/3596.60 c #Conflicts: 1072000 | #Constraints: 49737
3585.04/3596.60 c #Conflicts: 1073000 | #Constraints: 50737
3585.04/3596.60 c #Conflicts: 1074000 | #Constraints: 51737
3585.04/3596.60 c #Conflicts: 1075000 | #Constraints: 52737
3585.04/3596.60 c #Conflicts: 1076000 | #Constraints: 53737
3585.04/3596.60 c #Conflicts: 1077000 | #Constraints: 54737
3585.04/3596.60 c #Conflicts: 1078000 | #Constraints: 55737
3585.04/3596.60 c #Conflicts: 1079000 | #Constraints: 56737
3585.04/3596.60 c #Conflicts: 1080000 | #Constraints: 57737
3585.04/3596.60 c #Conflicts: 1081000 | #Constraints: 58737
3585.04/3596.60 c #Conflicts: 1082000 | #Constraints: 59737
3585.04/3596.60 c #Conflicts: 1083000 | #Constraints: 60737
3585.04/3596.60 c INPROCESSING
3585.04/3596.60 c GARBAGE COLLECT
3585.04/3596.60 c #Conflicts: 1084000 | #Constraints: 41128
3585.04/3596.60 c #Conflicts: 1085000 | #Constraints: 42128
3585.04/3596.60 c #Conflicts: 1086000 | #Constraints: 43128
3585.04/3596.60 c #Conflicts: 1087000 | #Constraints: 44128
3585.04/3596.60 c #Conflicts: 1088000 | #Constraints: 45128
3585.04/3596.60 c #Conflicts: 1089000 | #Constraints: 46128
3585.04/3596.60 c #Conflicts: 1090000 | #Constraints: 47128
3585.04/3596.60 c #Conflicts: 1091000 | #Constraints: 48128
3585.04/3596.60 c #Conflicts: 1092000 | #Constraints: 49128
3585.04/3596.60 c #Conflicts: 1093000 | #Constraints: 50128
3585.04/3596.60 c #Conflicts: 1094000 | #Constraints: 51128
3585.04/3596.60 c #Conflicts: 1095000 | #Constraints: 52128
3585.04/3596.60 c #Conflicts: 1096000 | #Constraints: 53128
3585.04/3596.60 c #Conflicts: 1097000 | #Constraints: 54128
3585.04/3596.60 c #Conflicts: 1098000 | #Constraints: 55128
3585.04/3596.60 c #Conflicts: 1099000 | #Constraints: 56128
3585.04/3596.60 c #Conflicts: 1100000 | #Constraints: 57128
3585.04/3596.60 c #Conflicts: 1101000 | #Constraints: 58128
3585.04/3596.60 c #Conflicts: 1102000 | #Constraints: 59128
3585.04/3596.60 c #Conflicts: 1103000 | #Constraints: 60128
3585.04/3596.60 c #Conflicts: 1104000 | #Constraints: 61128
3585.04/3596.60 c INPROCESSING
3585.04/3596.60 c GARBAGE COLLECT
3585.04/3596.60 c #Conflicts: 1105000 | #Constraints: 41283
3585.04/3596.60 c #Conflicts: 1106000 | #Constraints: 42283
3585.04/3596.60 c #Conflicts: 1107000 | #Constraints: 43283
3585.04/3596.60 c #Conflicts: 1108000 | #Constraints: 44283
3585.04/3596.60 c #Conflicts: 1109000 | #Constraints: 45283
3585.04/3596.60 c #Conflicts: 1110000 | #Constraints: 46283
3585.04/3596.60 c #Conflicts: 1111000 | #Constraints: 47283
3585.04/3596.60 c #Conflicts: 1112000 | #Constraints: 48283
3585.04/3596.60 c #Conflicts: 1113000 | #Constraints: 49283
3585.04/3596.60 c #Conflicts: 1114000 | #Constraints: 50283
3585.04/3596.60 c #Conflicts: 1115000 | #Constraints: 51283
3585.04/3596.60 c #Conflicts: 1116000 | #Constraints: 52283
3585.04/3596.60 c #Conflicts: 1117000 | #Constraints: 53283
3585.04/3596.60 c #Conflicts: 1118000 | #Constraints: 54283
3600.09/3611.70 c #Conflicts: 1119000 | #Constraints: 55283
3600.09/3611.70 c #Conflicts: 1120000 | #Constraints: 56283
3600.09/3611.70 c #Conflicts: 1121000 | #Constraints: 57283
3600.09/3611.70 c Program interrupted by user.
3600.09/3611.70 c cpu time 3589.65 s
3600.09/3611.70 c deterministic time 1190343609781 1.19e+12
3600.09/3611.70 c optimization time 67.4596 s
3600.09/3611.70 c total solve time 3223.27 s
3600.09/3611.70 c core-guided solve time 3223.27 s
3600.09/3611.70 c propagation time 2654.8 s
3600.09/3611.70 c conflict analysis time 593.522 s
3600.09/3611.70 c propagations 708423558
3600.09/3611.70 c resolve steps 19120604
3600.09/3611.70 c decisions 8434041
3600.09/3611.70 c conflicts 1121156
3600.09/3611.70 c restarts 2046
3600.09/3611.70 c inprocessing phases 96
3600.09/3611.70 c input clauses 19296
3600.09/3611.70 c input cardinalities 7
3600.09/3611.70 c input general constraints 0
3600.09/3611.70 c input average constraint length 2.76
3600.09/3611.70 c input average constraint degree 1.06
3600.09/3611.70 c learned clauses 716429
3600.09/3611.70 c learned cardinalities 1196
3600.09/3611.70 c learned general constraints 403534
3600.09/3611.70 c learned average constraint length 911.92
3600.09/3611.70 c learned average constraint degree 176060.18
3600.09/3611.70 c watched constraints 399302
3600.09/3611.70 c counting constraints 4232
3600.09/3611.70 c gcd simplifications 6811
3600.09/3611.70 c detected cardinalities 11
3600.09/3611.70 c weakened non-implied lits 178852894
3600.09/3611.70 c weakened non-implying lits 38338
3600.09/3611.70 c original variables 5499
3600.09/3611.70 c clausal propagations 564122568
3600.09/3611.70 c cardinality propagations 2045641
3600.09/3611.70 c watched propagations 133457224
3600.09/3611.70 c counting propagations 7541650
3600.09/3611.70 c watch lookups 5910268653
3600.09/3611.70 c watch backjump lookups 2997948052
3600.09/3611.70 c watch checks 928188523428
3600.09/3611.70 c propagation checks 244911403628
3600.09/3611.70 c constraint additions 6900633652
3600.09/3611.70 c trail pops 717974768
3600.09/3611.70 c formula constraints 19296
3600.09/3611.70 c learned constraints 1121159
3600.09/3611.70 c bound constraints 7
3600.09/3611.70 c core-guided constraints 0
3600.09/3611.70 c encountered formula constraints 9966007
3600.09/3611.70 c encountered learned constraints 10275744
3600.09/3611.70 c encountered bound constraints 9
3600.09/3611.70 c encountered core-guided constraints 0
3600.09/3611.70 c LP total time 0 s
3600.09/3611.70 c LP solve time 0 s
3600.09/3611.70 c LP constraints added 0
3600.09/3611.70 c LP constraints removed 0
3600.09/3611.70 c LP pivots internal 0
3600.09/3611.70 c LP pivots root 0
3600.09/3611.70 c LP calls 0
3600.09/3611.70 c LP optimalities 0
3600.09/3611.70 c LP no pivot count 0
3600.09/3611.70 c LP infeasibilities 0
3600.09/3611.70 c LP valid Farkas constraints 0
3600.09/3611.70 c LP learned Farkas constraints 0
3600.09/3611.70 c LP basis resets 0
3600.09/3611.70 c LP cycling count 0
3600.09/3611.70 c LP singular count 0
3600.09/3611.70 c LP no primal count 0
3600.09/3611.70 c LP no farkas count 0
3600.09/3611.70 c LP other issue count 0
3600.09/3611.70 c LP Gomory cuts 0
3600.09/3611.70 c LP learned cuts 0
3600.09/3611.70 c LP deleted cuts 0
3600.09/3611.70 c LP encountered Gomory constraints 0
3600.09/3611.70 c LP encountered Farkas constraints 0
3600.09/3611.70 c LP encountered learned Farkas constraints 0
3600.09/3611.70 c CG auxiliary variables introduced 0
3600.09/3611.70 c CG solutions found 0
3600.09/3611.70 c CG cores constructed 6
3600.09/3611.70 c CG core cardinality constraints returned 0
3600.09/3611.70 c CG unit cores 0
3600.09/3611.70 c CG single cores 6
3600.09/3611.70 c CG blocks removed during cardinality reduction 0
3600.09/3611.70 c CG first core best 0
3600.09/3611.70 c CG decision core best 0
3600.09/3611.70 c CG core reduction tie 0
3600.09/3611.70 c CG core degree average 1.00
3600.09/3611.70 c CG core slack average 48.17
3600.09/3611.70 c CG exhausted 0
3600.09/3611.70 c CG exhaust time 0 s
3600.09/3611.70 c CG trimmed 0
3600.09/3611.70 c CG trim time 0.000641 s
3600.09/3611.70 c CG minimized 0
3600.09/3611.70 c CG minimize time 0 s
3600.09/3611.70 c CG am1 prop time 0.001231 s
3600.09/3611.70 c CG # am1s reformulated 0
3600.09/3611.70 c CG lower bound derived from am1s 0
3600.09/3611.70 c CG # clausal cores 6
3600.09/3611.70 c CG # cardinality cores 0
3600.09/3611.70 c CG # pb cores 0
3600.09/3611.70 c CG # pb reforms 0
3600.09/3611.70 c CG # cores discarded because of pb reform 0
3600.09/3611.70 d LOWERBOUND 6
3600.09/3611.70 d NCORES 6
3600.09/3611.70 d NPBCORES 0
3600.09/3611.70 d NPBREFORM 0
3600.09/3611.70 d NTRIMMED 0
3600.09/3611.70 d NEXHAUSTED 0
3600.09/3611.70 d NAM1S 0
3600.09/3611.70 d AM1LB 0
3600.09/3611.70 c [Papilo Statistics]
3600.09/3611.70 c prepro time 0.0562856s
3600.09/3611.70 c # tsx applied 18
3600.09/3611.70 c # tsx conflicts 0
3600.09/3611.70 c # bound changes 5
3600.09/3611.70 c # side changes 12
3600.09/3611.70 c # coef changes 42
3600.09/3611.70 c # rounds 2
3600.09/3611.70 c # deted vars 11
3600.09/3611.70 c # deted constrs 23
3600.09/3611.70 c # consecutive rounds of only bound changes 0
3600.09/3611.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: 63837 MiB (62898 MiB free)
memory of node 1: 64465 MiB (63552 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4529018-1752258848/watcher-4529018-1752258848 -o /tmp/evaluation-result-4529018-1752258848/solver-4529018-1752258848 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1752258848-113063 --watchdog 3760 mixed-bag HOME/instance-4529018-1752258848.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=113111, runsolver pid=113106
[startup+0.10007 s]*
/proc/loadavg: 0.88 1.07 1.56 5/252 113120
/proc/meminfo: memFree=129472048/131382120 swapFree=33010160/33010684
[pid=113111] ppid=113106 vsize=83436 memory=12224 CPUtime=0.08 cores=5,7
/proc/113111/stat : 113111 (mixed-bag) R 113106 113111 113047 0 -1 4194304 1700 0 0 0 8 0 0 0 20 0 1 0 141563983 85438464 3056 18446744073709551615 4235264 15840557 140723027409344 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 40058880 140723027413402 140723027413479 140723027413479 140723027419083 0
/proc/113111/statm: 20859 3056 2112 2834 0 3611 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 83436 KiB
Current children cumulated memory: 12224 KiB
[startup+0.214326 s]*
/proc/loadavg: 0.88 1.07 1.56 5/252 113120
/proc/meminfo: memFree=129447664/131382120 swapFree=33010160/33010684
[pid=113111] ppid=113106 vsize=102108 memory=28880 CPUtime=0.2 cores=5,7
/proc/113111/stat : 113111 (mixed-bag) R 113106 113111 113047 0 -1 4194304 5263 0 0 0 18 2 0 0 20 0 1 0 141563983 104558592 7220 18446744073709551615 4235264 15840557 140723027409344 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 40058880 140723027413402 140723027413479 140723027413479 140723027419083 0
/proc/113111/statm: 25527 7220 3584 2834 0 7732 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 102108 KiB
Current children cumulated memory: 28880 KiB
[startup+0.314413 s]*
/proc/loadavg: 0.88 1.07 1.56 5/252 113120
/proc/meminfo: memFree=129367528/131382120 swapFree=33010160/33010684
[pid=113111] ppid=113106 vsize=134984 memory=61904 CPUtime=0.29 cores=5,7
/proc/113111/stat : 113111 (mixed-bag) R 113106 113111 113047 0 -1 4194304 13169 0 0 0 24 5 0 0 20 0 1 0 141563983 138223616 15476 18446744073709551615 4235264 15840557 140723027409344 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 40058880 140723027413402 140723027413479 140723027413479 140723027419083 0
/proc/113111/statm: 33746 15476 3936 2834 0 15951 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 134984 KiB
Current children cumulated memory: 61904 KiB
[startup+0.700334 s]
/proc/loadavg: 0.88 1.07 1.56 5/252 113120
/proc/meminfo: memFree=129253256/131382120 swapFree=33010160/33010684
[pid=113111] ppid=113106 vsize=153616 memory=80388 CPUtime=0.67 cores=5,7
/proc/113111/stat : 113111 (mixed-bag) R 113106 113111 113047 0 -1 4194304 18122 0 0 0 60 7 0 0 20 0 1 0 141563983 157302784 20097 18446744073709551615 4235264 15840557 140723027409344 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 40058880 140723027413402 140723027413479 140723027413479 140723027419083 0
/proc/113111/statm: 38404 20097 4000 2834 0 20609 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 153616 KiB
Current children cumulated memory: 80388 KiB
[startup+1.50037 s]
/proc/loadavg: 0.88 1.07 1.56 5/252 113120
/proc/meminfo: memFree=129069564/131382120 swapFree=33010160/33010684
[pid=113111] ppid=113106 vsize=220096 memory=138512 CPUtime=1.46 cores=5,7
/proc/113111/stat : 113111 (mixed-bag) R 113106 113111 113047 0 -1 4194304 33136 0 0 0 135 11 0 0 20 0 1 0 141563983 225378304 34628 18446744073709551615 4235264 15840557 140723027409344 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 40058880 140723027413402 140723027413479 140723027413479 140723027419083 0
/proc/113111/statm: 55024 34628 4224 2834 0 37229 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 220096 KiB
Current children cumulated memory: 138512 KiB
[startup+3.11334 s]
/proc/loadavg: 0.88 1.07 1.56 5/252 113120
/proc/meminfo: memFree=128523752/131382120 swapFree=33010160/33010684
[pid=113111] ppid=113106 vsize=242516 memory=162192 CPUtime=3.06 cores=5,7
/proc/113111/stat : 113111 (mixed-bag) R 113106 113111 113047 0 -1 4194304 39113 0 0 0 294 12 0 0 20 0 1 0 141563983 248336384 40548 18446744073709551615 4235264 15840557 140723027409344 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 40058880 140723027413402 140723027413479 140723027413479 140723027419083 0
/proc/113111/statm: 60629 40548 4224 2834 0 42834 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 242516 KiB
Current children cumulated memory: 162192 KiB
[startup+6.30031 s]
/proc/loadavg: 1.13 1.12 1.58 5/252 113120
/proc/meminfo: memFree=127030736/131382120 swapFree=33010160/33010684
[pid=113111] ppid=113106 vsize=278644 memory=184464 CPUtime=6.25 cores=5,7
/proc/113111/stat : 113111 (mixed-bag) R 113106 113111 113047 0 -1 4194304 44704 0 0 0 611 14 0 0 20 0 1 0 141563983 285331456 46116 18446744073709551615 4235264 15840557 140723027409344 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 40058880 140723027413402 140723027413479 140723027413479 140723027419083 0
/proc/113111/statm: 69661 46116 4224 2834 0 51866 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 278644 KiB
Current children cumulated memory: 184464 KiB
[startup+12.7003 s]
/proc/loadavg: 1.36 1.17 1.59 5/249 113155
/proc/meminfo: memFree=128356852/131382120 swapFree=33010160/33010684
[pid=113111] ppid=113106 vsize=318316 memory=223888 CPUtime=12.6 cores=5,7
/proc/113111/stat : 113111 (mixed-bag) R 113106 113111 113047 0 -1 4194304 54561 0 0 0 1242 18 0 0 20 0 1 0 141563983 325955584 55972 18446744073709551615 4235264 15840557 140723027409344 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 40058880 140723027413402 140723027413479 140723027413479 140723027419083 0
/proc/113111/statm: 79579 55972 4224 2834 0 61784 0
Current children cumulated CPU time: 12.6 s
Current children cumulated vsize: 318316 KiB
Current children cumulated memory: 223888 KiB
[startup+25.5003 s]
/proc/loadavg: 1.94 1.31 1.63 5/252 113166
/proc/meminfo: memFree=125620404/131382120 swapFree=33010160/33010684
[pid=113111] ppid=113106 vsize=318316 memory=223888 CPUtime=25.35 cores=5,7
/proc/113111/stat : 113111 (mixed-bag) R 113106 113111 113047 0 -1 4194304 54563 0 0 0 2517 18 0 0 20 0 1 0 141563983 325955584 55972 18446744073709551615 4235264 15840557 140723027409344 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 40058880 140723027413402 140723027413479 140723027413479 140723027419083 0
/proc/113111/statm: 79579 55972 4224 2834 0 61784 0
Current children cumulated CPU time: 25.35 s
Current children cumulated vsize: 318316 KiB
Current children cumulated memory: 223888 KiB
[startup+51.1132 s]
/proc/loadavg: 2.71 1.54 1.70 5/251 113166
/proc/meminfo: memFree=117341820/131382120 swapFree=33010160/33010684
[pid=113111] ppid=113106 vsize=318316 memory=224016 CPUtime=50.88 cores=5,7
/proc/113111/stat : 113111 (mixed-bag) R 113106 113111 113047 0 -1 4194304 54591 0 0 0 5070 18 0 0 20 0 1 0 141563983 325955584 56004 18446744073709551615 4235264 15840557 140723027409344 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 40058880 140723027413402 140723027413479 140723027413479 140723027419083 0
/proc/113111/statm: 79579 56004 4224 2834 0 61784 0
Current children cumulated CPU time: 50.88 s
Current children cumulated vsize: 318316 KiB
Current children cumulated memory: 224016 KiB
[startup+102.3 s]
/proc/loadavg: 3.56 1.95 1.83 6/252 113236
/proc/meminfo: memFree=128074188/131382120 swapFree=33010160/33010684
[pid=113111] ppid=113106 vsize=318316 memory=224272 CPUtime=101.88 cores=5,7
/proc/113111/stat : 113111 (mixed-bag) R 113106 113111 113047 0 -1 4194304 54675 0 0 0 10166 22 0 0 20 0 1 0 141563983 325955584 56068 18446744073709551615 4235264 15840557 140723027409344 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 40058880 140723027413402 140723027413479 140723027413479 140723027419083 0
/proc/113111/statm: 79579 56068 4224 2834 0 61784 0
Current children cumulated CPU time: 101.88 s
Current children cumulated vsize: 318316 KiB
Current children cumulated memory: 224272 KiB
[startup+162.3 s]
/proc/loadavg: 3.96 2.36 1.98 5/254 113453
/proc/meminfo: memFree=120827436/131382120 swapFree=33010160/33010684
[pid=113111] ppid=113106 vsize=340676 memory=231696 CPUtime=161.63 cores=5,7
/proc/113111/stat : 113111 (mixed-bag) R 113106 113111 113047 0 -1 4194304 56530 0 0 0 16134 29 0 0 20 0 1 0 141563983 348852224 57924 18446744073709551615 4235264 15840557 140723027409344 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 40058880 140723027413402 140723027413479 140723027413479 140723027419083 0
/proc/113111/statm: 85169 57924 4224 2834 0 67374 0
Current children cumulated CPU time: 161.63 s
Current children cumulated vsize: 340676 KiB
Current children cumulated memory: 231696 KiB
[startup+222.3 s]
/proc/loadavg: 4.05 2.68 2.12 5/254 113455
/proc/meminfo: memFree=116473104/131382120 swapFree=33010160/33010684
[pid=113111] ppid=113106 vsize=381160 memory=260072 CPUtime=221.45 cores=5,7
/proc/113111/stat : 113111 (mixed-bag) R 113106 113111 113047 0 -1 4194304 64763 0 0 0 22114 31 0 0 20 0 1 0 141563983 390307840 65018 18446744073709551615 4235264 15840557 140723027409344 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 40058880 140723027413402 140723027413479 140723027413479 140723027419083 0
/proc/113111/statm: 95290 65018 4224 2834 0 77495 0
Current children cumulated CPU time: 221.45 s
Current children cumulated vsize: 381160 KiB
Current children cumulated memory: 260072 KiB
[startup+282.3 s]
/proc/loadavg: 4.06 2.93 2.24 5/256 113512
/proc/meminfo: memFree=119609324/131382120 swapFree=33010160/33010684
[pid=113111] ppid=113106 vsize=398344 memory=277524 CPUtime=281.27 cores=5,7
/proc/113111/stat : 113111 (mixed-bag) R 113106 113111 113047 0 -1 4194304 71006 0 0 0 28095 32 0 0 20 0 1 0 141563983 407904256 69381 18446744073709551615 4235264 15840557 140723027409344 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 40058880 140723027413402 140723027413479 140723027413479 140723027419083 0
/proc/113111/statm: 99586 69381 4224 2834 0 81791 0
Current children cumulated CPU time: 281.27 s
Current children cumulated vsize: 398344 KiB
Current children cumulated memory: 277524 KiB
[startup+342.3 s]
/proc/loadavg: 4.06 3.15 2.36 5/254 113611
/proc/meminfo: memFree=127656204/131382120 swapFree=33010160/33010684
[pid=113111] ppid=113106 vsize=435504 memory=313484 CPUtime=341.05 cores=5,7
/proc/113111/stat : 113111 (mixed-bag) R 113106 113111 113047 0 -1 4194304 73815 0 0 0 34042 63 0 0 20 0 1 0 141563983 445956096 78371 18446744073709551615 4235264 15840557 140723027409344 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 40058880 140723027413402 140723027413479 140723027413479 140723027419083 0
/proc/113111/statm: 108876 78371 4416 2834 0 91081 0
Current children cumulated CPU time: 341.05 s
Current children cumulated vsize: 435504 KiB
Current children cumulated memory: 313484 KiB
[startup+402.3 s]
/proc/loadavg: 4.14 3.34 2.48 5/253 113613
/proc/meminfo: memFree=127892176/131382120 swapFree=33010160/33010684
[pid=113111] ppid=113106 vsize=466324 memory=327844 CPUtime=400.86 cores=5,7
/proc/113111/stat : 113111 (mixed-bag) R 113106 113111 113047 0 -1 4194304 74340 0 0 0 39993 93 0 0 20 0 1 0 141563983 477515776 81961 18446744073709551615 4235264 15840557 140723027409344 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 40058880 140723027413402 140723027413479 140723027413479 140723027419083 0
/proc/113111/statm: 116581 81961 4416 2834 0 98786 0
Current children cumulated CPU time: 400.86 s
Current children cumulated vsize: 466324 KiB
Current children cumulated memory: 327844 KiB
[startup+462.3 s]
/proc/loadavg: 4.09 3.47 2.58 5/253 113615
/proc/meminfo: memFree=127802704/131382120 swapFree=33010160/33010684
[pid=113111] ppid=113106 vsize=466324 memory=327844 CPUtime=460.66 cores=5,7
/proc/113111/stat : 113111 (mixed-bag) R 113106 113111 113047 0 -1 4194304 74350 0 0 0 45943 123 0 0 20 0 1 0 141563983 477515776 81961 18446744073709551615 4235264 15840557 140723027409344 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 40058880 140723027413402 140723027413479 140723027413479 140723027419083 0
/proc/113111/statm: 116581 81961 4416 2834 0 98786 0
Current children cumulated CPU time: 460.66 s
################
# More data... #
################
Current children cumulated memory: 452060 KiB
[startup+2922.3 s]
/proc/loadavg: 4.19 4.11 4.02 5/249 113737
/proc/meminfo: memFree=127117448/131382120 swapFree=33010160/33010684
[pid=113111] ppid=113106 vsize=516412 memory=452060 CPUtime=2912.79 cores=5,7
/proc/113111/stat : 113111 (mixed-bag) R 113106 113111 113047 0 -1 4194304 75453 0 0 0 290360 919 0 0 20 0 1 0 141563983 528805888 113015 18446744073709551615 4235264 15840557 140723027409344 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 40058880 140723027413402 140723027413479 140723027413479 140723027419083 0
/proc/113111/statm: 129103 113015 4416 2834 0 111308 0
Current children cumulated CPU time: 2912.79 s
Current children cumulated vsize: 516412 KiB
Current children cumulated memory: 452060 KiB
[startup+2982.3 s]
/proc/loadavg: 4.07 4.09 4.01 5/250 113740
/proc/meminfo: memFree=127103904/131382120 swapFree=33010160/33010684
[pid=113111] ppid=113106 vsize=597800 memory=458204 CPUtime=2972.6 cores=5,7
/proc/113111/stat : 113111 (mixed-bag) R 113106 113111 113047 0 -1 4194304 75959 0 0 0 296330 930 0 0 20 0 1 0 141563983 612147200 114551 18446744073709551615 4235264 15840557 140723027409344 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 40058880 140723027413402 140723027413479 140723027413479 140723027419083 0
/proc/113111/statm: 149450 114551 4416 2834 0 131655 0
Current children cumulated CPU time: 2972.6 s
Current children cumulated vsize: 597800 KiB
Current children cumulated memory: 458204 KiB
[startup+3042.3 s]
/proc/loadavg: 4.06 4.09 4.01 5/251 113743
/proc/meminfo: memFree=127075468/131382120 swapFree=33010160/33010684
[pid=113111] ppid=113106 vsize=597800 memory=458204 CPUtime=3032.42 cores=5,7
/proc/113111/stat : 113111 (mixed-bag) R 113106 113111 113047 0 -1 4194304 75959 0 0 0 302297 945 0 0 20 0 1 0 141563983 612147200 114551 18446744073709551615 4235264 15840557 140723027409344 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 40058880 140723027413402 140723027413479 140723027413479 140723027419083 0
/proc/113111/statm: 149450 114551 4416 2834 0 131655 0
Current children cumulated CPU time: 3032.42 s
Current children cumulated vsize: 597800 KiB
Current children cumulated memory: 458204 KiB
[startup+3102.3 s]
/proc/loadavg: 4.12 4.10 4.02 5/251 113747
/proc/meminfo: memFree=127075640/131382120 swapFree=33010160/33010684
[pid=113111] ppid=113106 vsize=597800 memory=458204 CPUtime=3092.24 cores=5,7
/proc/113111/stat : 113111 (mixed-bag) R 113106 113111 113047 0 -1 4194304 75959 0 0 0 308270 954 0 0 20 0 1 0 141563983 612147200 114551 18446744073709551615 4235264 15840557 140723027409344 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 40058880 140723027413402 140723027413479 140723027413479 140723027419083 0
/proc/113111/statm: 149450 114551 4416 2834 0 131655 0
Current children cumulated CPU time: 3092.24 s
Current children cumulated vsize: 597800 KiB
Current children cumulated memory: 458204 KiB
[startup+3162.3 s]
/proc/loadavg: 4.10 4.09 4.02 5/251 113749
/proc/meminfo: memFree=127075688/131382120 swapFree=33010160/33010684
[pid=113111] ppid=113106 vsize=597800 memory=458204 CPUtime=3152.06 cores=5,7
/proc/113111/stat : 113111 (mixed-bag) R 113106 113111 113047 0 -1 4194304 75959 0 0 0 314241 965 0 0 20 0 1 0 141563983 612147200 114551 18446744073709551615 4235264 15840557 140723027409344 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 40058880 140723027413402 140723027413479 140723027413479 140723027419083 0
/proc/113111/statm: 149450 114551 4416 2834 0 131655 0
Current children cumulated CPU time: 3152.06 s
Current children cumulated vsize: 597800 KiB
Current children cumulated memory: 458204 KiB
[startup+3222.3 s]
/proc/loadavg: 4.11 4.09 4.02 5/251 113755
/proc/meminfo: memFree=127071532/131382120 swapFree=33010160/33010684
[pid=113111] ppid=113106 vsize=597800 memory=458204 CPUtime=3211.88 cores=5,7
/proc/113111/stat : 113111 (mixed-bag) R 113106 113111 113047 0 -1 4194304 75959 0 0 0 320213 975 0 0 20 0 1 0 141563983 612147200 114551 18446744073709551615 4235264 15840557 140723027409344 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 40058880 140723027413402 140723027413479 140723027413479 140723027419083 0
/proc/113111/statm: 149450 114551 4416 2834 0 131655 0
Current children cumulated CPU time: 3211.88 s
Current children cumulated vsize: 597800 KiB
Current children cumulated memory: 458204 KiB
[startup+3282.3 s]
/proc/loadavg: 4.38 4.15 4.04 5/251 113757
/proc/meminfo: memFree=127062968/131382120 swapFree=33010160/33010684
[pid=113111] ppid=113106 vsize=597800 memory=458204 CPUtime=3271.69 cores=5,7
/proc/113111/stat : 113111 (mixed-bag) R 113106 113111 113047 0 -1 4194304 75959 0 0 0 326185 984 0 0 20 0 1 0 141563983 612147200 114551 18446744073709551615 4235264 15840557 140723027409344 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 40058880 140723027413402 140723027413479 140723027413479 140723027419083 0
/proc/113111/statm: 149450 114551 4416 2834 0 131655 0
Current children cumulated CPU time: 3271.69 s
Current children cumulated vsize: 597800 KiB
Current children cumulated memory: 458204 KiB
[startup+3342.3 s]
/proc/loadavg: 4.63 4.29 4.10 5/249 113758
/proc/meminfo: memFree=127014440/131382120 swapFree=33010160/33010684
[pid=113111] ppid=113106 vsize=597800 memory=486876 CPUtime=3331.51 cores=5,7
/proc/113111/stat : 113111 (mixed-bag) R 113106 113111 113047 0 -1 4194304 75973 0 0 0 332154 997 0 0 20 0 1 0 141563983 612147200 121719 18446744073709551615 4235264 15840557 140723027409344 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 40058880 140723027413402 140723027413479 140723027413479 140723027419083 0
/proc/113111/statm: 149450 121719 4416 2834 0 131655 0
Current children cumulated CPU time: 3331.51 s
Current children cumulated vsize: 597800 KiB
Current children cumulated memory: 486876 KiB
[startup+3402.3 s]
/proc/loadavg: 4.55 4.31 4.11 5/249 113760
/proc/meminfo: memFree=126994012/131382120 swapFree=33010160/33010684
[pid=113111] ppid=113106 vsize=597800 memory=507356 CPUtime=3391.33 cores=5,7
/proc/113111/stat : 113111 (mixed-bag) R 113106 113111 113047 0 -1 4194304 75983 0 0 0 338125 1008 0 0 20 0 1 0 141563983 612147200 126839 18446744073709551615 4235264 15840557 140723027409344 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 40058880 140723027413402 140723027413479 140723027413479 140723027419083 0
/proc/113111/statm: 149450 126839 4416 2834 0 131655 0
Current children cumulated CPU time: 3391.33 s
Current children cumulated vsize: 597800 KiB
Current children cumulated memory: 507356 KiB
[startup+3462.3 s]
/proc/loadavg: 4.66 4.41 4.16 5/249 113762
/proc/meminfo: memFree=126994092/131382120 swapFree=33010160/33010684
[pid=113111] ppid=113106 vsize=597800 memory=507356 CPUtime=3451.14 cores=5,7
/proc/113111/stat : 113111 (mixed-bag) R 113106 113111 113047 0 -1 4194304 75983 0 0 0 344096 1018 0 0 20 0 1 0 141563983 612147200 126839 18446744073709551615 4235264 15840557 140723027409344 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 40058880 140723027413402 140723027413479 140723027413479 140723027419083 0
/proc/113111/statm: 149450 126839 4416 2834 0 131655 0
Current children cumulated CPU time: 3451.14 s
Current children cumulated vsize: 597800 KiB
Current children cumulated memory: 507356 KiB
[startup+3522.3 s]
/proc/loadavg: 5.56 4.70 4.28 5/249 113764
/proc/meminfo: memFree=126993840/131382120 swapFree=33010160/33010684
[pid=113111] ppid=113106 vsize=597800 memory=507356 CPUtime=3510.96 cores=5,7
/proc/113111/stat : 113111 (mixed-bag) R 113106 113111 113047 0 -1 4194304 75983 0 0 0 350066 1030 0 0 20 0 1 0 141563983 612147200 126839 18446744073709551615 4235264 15840557 140723027409344 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 40058880 140723027413402 140723027413479 140723027413479 140723027419083 0
/proc/113111/statm: 149450 126839 4416 2834 0 131655 0
Current children cumulated CPU time: 3510.96 s
Current children cumulated vsize: 597800 KiB
Current children cumulated memory: 507356 KiB
[startup+3582.3 s]
/proc/loadavg: 4.73 4.63 4.28 5/249 113766
/proc/meminfo: memFree=126993964/131382120 swapFree=33010160/33010684
[pid=113111] ppid=113106 vsize=597800 memory=507356 CPUtime=3570.78 cores=5,7
/proc/113111/stat : 113111 (mixed-bag) R 113106 113111 113047 0 -1 4194304 75983 0 0 0 356038 1040 0 0 20 0 1 0 141563983 612147200 126839 18446744073709551615 4235264 15840557 140723027409344 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 40058880 140723027413402 140723027413479 140723027413479 140723027419083 0
/proc/113111/statm: 149450 126839 4416 2834 0 131655 0
Current children cumulated CPU time: 3570.78 s
Current children cumulated vsize: 597800 KiB
Current children cumulated memory: 507356 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3611.7 s]
/proc/loadavg: 4.44 4.57 4.27 5/249 113768
/proc/meminfo: memFree=126994160/131382120 swapFree=33010160/33010684
[pid=113111] ppid=113106 vsize=597800 memory=507356 CPUtime=3600.09 cores=5,7
/proc/113111/stat : 113111 (mixed-bag) R 113106 113111 113047 0 -1 4194304 75983 0 0 0 358964 1045 0 0 20 0 1 0 141563983 612147200 126839 18446744073709551615 4235264 15840557 140723027409344 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 40058880 140723027413402 140723027413479 140723027413479 140723027419083 0
/proc/113111/statm: 149450 126839 4416 2834 0 131655 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 597800 KiB
Current children cumulated memory: 507356 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3611.71 s]
# the end of solver process 113111 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3589.66 s, system=10.4573 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3611.7 s]
/proc/loadavg: 4.44 4.57 4.27 5/249 113768
/proc/meminfo: memFree=126994160/131382120 swapFree=33010160/33010684
[pid=113111] ppid=113106 vsize=597800 memory=507356 CPUtime=3600.09 cores=5,7
/proc/113111/stat : 113111 (mixed-bag) R 113106 113111 113047 0 -1 4194304 75983 0 0 0 358964 1045 0 0 20 0 1 0 141563983 612147200 126839 18446744073709551615 4235264 15840557 140723027409344 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 40058880 140723027413402 140723027413479 140723027413479 140723027419083 0
/proc/113111/statm: 149450 126839 4416 2834 0 131655 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 597800 KiB
Current children cumulated memory: 507356 KiB
Child status: 0
Real time (s): 3611.71
CPU time (s): 3600.11
CPU user time (s): 3589.66
CPU system time (s): 10.4573
CPU usage (%): 99.6789
Max. virtual memory (cumulated for all children) (KiB): 597800
Max. memory (cumulated for all children) (KiB): 507356
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3589.66
system time used= 10.4573
maximum resident set size= 508380
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 76012
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= 212
involuntary context switches= 19663
# summary of solver processes directly reported to runsolver:
# pid: 113111
# total CPU time (s): 3600.11
# total CPU user time (s): 3589.66
# total CPU system time (s): 10.4573
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.9591 second user time and 35.9636 second system time
The end
Begin job on nodeC008 at 2025-07-11 20:34:09
IDJOB=4529018
IDBENCH=148192
IDSOLVER=3386
FILE ID=nodeC008/4529018-1752258848
RUNJOBID= nodeC008-1752258848-113063
SLURM_JOB_ID= 9682616
Free space on /tmp= 432812 MiB
SOLVER NAME= mixed-bag-2024 2025-07-10
BENCH NAME= PB24/normalized-PB07/OPT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_5.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4529018-1752258848/watcher-4529018-1752258848 -o /tmp/evaluation-result-4529018-1752258848/solver-4529018-1752258848 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1752258848-113063 --watchdog 3760 mixed-bag HOME/instance-4529018-1752258848.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 2f5de9b63d0a2988dce846045b262c40
RANDOM SEED=1090145543
nodeC008 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.209
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.72
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 : 0xb00001f
cpu MHz : 1197.210
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.72
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 : 0xb00001f
cpu MHz : 1197.261
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.72
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 : 0xb00001f
cpu MHz : 1197.164
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.72
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 : 0xb00001f
cpu MHz : 1197.260
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.72
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 : 0xb00001f
cpu MHz : 1197.211
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.72
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 : 0xb00001f
cpu MHz : 1197.208
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.72
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 : 0xb00001f
cpu MHz : 1195.836
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.72
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382120 kB
MemFree: 129486304 kB
MemAvailable: 129884964 kB
Buffers: 2128 kB
Cached: 1190340 kB
SwapCached: 16 kB
Active: 656468 kB
Inactive: 607472 kB
Active(anon): 55644 kB
Inactive(anon): 33748 kB
Active(file): 600824 kB
Inactive(file): 573724 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010160 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 65796 kB
Writeback: 8 kB
AnonPages: 74536 kB
Mapped: 105196 kB
Shmem: 17920 kB
KReclaimable: 127480 kB
Slab: 215352 kB
SReclaimable: 127480 kB
SUnreclaim: 87872 kB
KernelStack: 3904 kB
PageTables: 2780 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701744 kB
Committed_AS: 333232 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149288 kB
VmallocChunk: 0 kB
Percpu: 3872 kB
HardwareCorrupted: 0 kB
AnonHugePages: 16384 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 181064 kB
DirectMap2M: 9158656 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 432568 MiB
End job on nodeC008 at 2025-07-11 21:34:21