0.00/0.00 c RoundingSat 2
0.00/0.00 c branch
0.00/0.00 c commit
0.00/0.00 c with Papilo
0.00/0.00 c with SCIP
0.00/0.00 c [STEP] parsing instance
0.00/0.04 c [STEP] preprocessing with Papilo
0.00/0.06 c [STEP] solving with SCIP
299.08/300.17 c [STEP] preprocessing done, loading into solver
299.17/300.20 c [STEP] solving
299.17/300.20 c #variables 5489 #constraints 19296
299.17/300.20 c SMALL=int, LARGE=long long
299.17/300.20 d SCIPUB 16
299.17/300.20 c bounds - >= 0 @ 298.956
299.17/300.20 c stratification level: 0
406.31/407.75 c bounds - >= 1 @ 298.963
406.31/407.75 c bounds - >= 2 @ 298.964
406.31/407.75 c bounds - >= 3 @ 298.964
406.31/407.75 c bounds - >= 4 @ 298.966
406.31/407.75 c bounds - >= 5 @ 298.967
406.31/407.75 c bounds - >= 6 @ 298.967
406.31/407.75 c #Conflicts: 1000 | #Constraints: 20306
406.31/407.75 c #Conflicts: 2000 | #Constraints: 21306
406.31/407.75 c INPROCESSING
406.31/407.75 c GARBAGE COLLECT
406.31/407.75 c #Conflicts: 3000 | #Constraints: 21313
406.31/407.75 c #Conflicts: 4000 | #Constraints: 22313
406.31/407.75 c INPROCESSING
406.31/407.75 c GARBAGE COLLECT
406.31/407.75 c #Conflicts: 5000 | #Constraints: 21719
406.31/407.75 c #Conflicts: 6000 | #Constraints: 22719
406.31/407.75 c INPROCESSING
406.31/407.75 c GARBAGE COLLECT
406.31/407.75 c #Conflicts: 7000 | #Constraints: 21725
406.31/407.75 c #Conflicts: 8000 | #Constraints: 22725
406.31/407.75 c #Conflicts: 9000 | #Constraints: 23725
406.31/407.75 c INPROCESSING
406.31/407.75 c GARBAGE COLLECT
406.31/407.75 c #Conflicts: 10000 | #Constraints: 22434
406.31/407.75 c #Conflicts: 11000 | #Constraints: 23434
406.31/407.75 c #Conflicts: 12000 | #Constraints: 24434
406.31/407.75 c INPROCESSING
406.31/407.75 c GARBAGE COLLECT
406.31/407.75 c #Conflicts: 13000 | #Constraints: 22890
406.31/407.75 c #Conflicts: 14000 | #Constraints: 23890
406.31/407.75 c #Conflicts: 15000 | #Constraints: 24890
406.31/407.75 c INPROCESSING
406.31/407.75 c GARBAGE COLLECT
406.31/407.75 c #Conflicts: 16000 | #Constraints: 23131
406.31/407.75 c #Conflicts: 17000 | #Constraints: 24131
406.31/407.75 c #Conflicts: 18000 | #Constraints: 25131
406.31/407.75 c INPROCESSING
406.31/407.75 c GARBAGE COLLECT
406.31/407.75 c #Conflicts: 19000 | #Constraints: 23149
406.31/407.75 c #Conflicts: 20000 | #Constraints: 24149
406.31/407.75 c #Conflicts: 21000 | #Constraints: 25149
406.31/407.75 c INPROCESSING
406.31/407.75 c GARBAGE COLLECT
406.31/407.75 c #Conflicts: 22000 | #Constraints: 22933
406.31/407.75 c #Conflicts: 23000 | #Constraints: 23933
406.31/407.75 c #Conflicts: 24000 | #Constraints: 24933
406.31/407.75 c #Conflicts: 25000 | #Constraints: 25933
406.31/407.75 c INPROCESSING
406.31/407.75 c GARBAGE COLLECT
406.31/407.75 c #Conflicts: 26000 | #Constraints: 23554
406.31/407.75 c #Conflicts: 27000 | #Constraints: 24554
406.31/407.75 c #Conflicts: 28000 | #Constraints: 25554
406.31/407.75 c #Conflicts: 29000 | #Constraints: 26554
406.31/407.75 c INPROCESSING
406.31/407.75 c GARBAGE COLLECT
406.31/407.75 c #Conflicts: 30000 | #Constraints: 23958
406.31/407.75 c #Conflicts: 31000 | #Constraints: 24958
406.31/407.75 c #Conflicts: 32000 | #Constraints: 25958
406.31/407.75 c #Conflicts: 33000 | #Constraints: 26958
406.31/407.75 c INPROCESSING
406.31/407.75 c GARBAGE COLLECT
406.31/407.75 c #Conflicts: 34000 | #Constraints: 24193
406.31/407.75 c #Conflicts: 35000 | #Constraints: 25193
406.31/407.75 c #Conflicts: 36000 | #Constraints: 26193
406.31/407.75 c #Conflicts: 37000 | #Constraints: 27193
406.31/407.75 c INPROCESSING
406.31/407.75 c GARBAGE COLLECT
406.31/407.75 c #Conflicts: 38000 | #Constraints: 24195
406.31/407.75 c #Conflicts: 39000 | #Constraints: 25195
406.31/407.75 c #Conflicts: 40000 | #Constraints: 26195
406.31/407.75 c #Conflicts: 41000 | #Constraints: 27195
406.31/407.75 c INPROCESSING
406.31/407.75 c GARBAGE COLLECT
406.31/407.75 c #Conflicts: 42000 | #Constraints: 23985
406.31/407.75 c #Conflicts: 43000 | #Constraints: 24985
406.31/407.75 c #Conflicts: 44000 | #Constraints: 25985
406.31/407.75 c #Conflicts: 45000 | #Constraints: 26985
406.31/407.75 c #Conflicts: 46000 | #Constraints: 27985
406.31/407.75 c INPROCESSING
406.31/407.75 c GARBAGE COLLECT
406.31/407.75 c #Conflicts: 47000 | #Constraints: 24586
406.31/407.75 c #Conflicts: 48000 | #Constraints: 25586
406.31/407.75 c #Conflicts: 49000 | #Constraints: 26586
406.31/407.75 c #Conflicts: 50000 | #Constraints: 27586
406.31/407.75 c #Conflicts: 51000 | #Constraints: 28586
406.31/407.75 c INPROCESSING
406.31/407.75 c GARBAGE COLLECT
406.31/407.75 c #Conflicts: 52000 | #Constraints: 24976
406.31/407.75 c #Conflicts: 53000 | #Constraints: 25976
406.31/407.75 c #Conflicts: 54000 | #Constraints: 26976
406.31/407.75 c #Conflicts: 55000 | #Constraints: 27976
406.31/407.75 c #Conflicts: 56000 | #Constraints: 28976
406.31/407.75 c INPROCESSING
406.31/407.75 c GARBAGE COLLECT
406.31/407.75 c #Conflicts: 57000 | #Constraints: 25205
406.31/407.75 c #Conflicts: 58000 | #Constraints: 26205
406.31/407.75 c #Conflicts: 59000 | #Constraints: 27205
406.31/407.75 c #Conflicts: 60000 | #Constraints: 28205
406.31/407.75 c #Conflicts: 61000 | #Constraints: 29205
406.31/407.75 c INPROCESSING
406.31/407.75 c GARBAGE COLLECT
406.31/407.75 c #Conflicts: 62000 | #Constraints: 25214
406.31/407.75 c #Conflicts: 63000 | #Constraints: 26214
406.31/407.75 c #Conflicts: 64000 | #Constraints: 27214
406.31/407.75 c #Conflicts: 65000 | #Constraints: 28214
549.93/551.87 c #Conflicts: 66000 | #Constraints: 29214
549.93/551.87 c INPROCESSING
549.93/551.87 c GARBAGE COLLECT
549.93/551.87 c #Conflicts: 67000 | #Constraints: 24994
549.93/551.87 c #Conflicts: 68000 | #Constraints: 25994
549.93/551.87 c #Conflicts: 69000 | #Constraints: 26994
549.93/551.87 c #Conflicts: 70000 | #Constraints: 27994
549.93/551.87 c #Conflicts: 71000 | #Constraints: 28994
549.93/551.87 c #Conflicts: 72000 | #Constraints: 29994
549.93/551.87 c INPROCESSING
549.93/551.87 c GARBAGE COLLECT
549.93/551.87 c #Conflicts: 73000 | #Constraints: 25577
549.93/551.87 c #Conflicts: 74000 | #Constraints: 26577
549.93/551.87 c #Conflicts: 75000 | #Constraints: 27577
549.93/551.87 c #Conflicts: 76000 | #Constraints: 28577
549.93/551.87 c #Conflicts: 77000 | #Constraints: 29577
549.93/551.87 c #Conflicts: 78000 | #Constraints: 30577
549.93/551.87 c INPROCESSING
549.93/551.87 c GARBAGE COLLECT
549.93/551.87 c #Conflicts: 79000 | #Constraints: 26033
549.93/551.87 c #Conflicts: 80000 | #Constraints: 27033
549.93/551.87 c #Conflicts: 81000 | #Constraints: 28033
549.93/551.87 c #Conflicts: 82000 | #Constraints: 29033
549.93/551.87 c #Conflicts: 83000 | #Constraints: 30033
549.93/551.87 c #Conflicts: 84000 | #Constraints: 31033
549.93/551.87 c INPROCESSING
549.93/551.87 c GARBAGE COLLECT
549.93/551.87 c #Conflicts: 85000 | #Constraints: 26261
549.93/551.87 c #Conflicts: 86000 | #Constraints: 27261
549.93/551.87 c #Conflicts: 87000 | #Constraints: 28261
549.93/551.87 c #Conflicts: 88000 | #Constraints: 29261
549.93/551.87 c #Conflicts: 89000 | #Constraints: 30261
549.93/551.87 c #Conflicts: 90000 | #Constraints: 31261
549.93/551.87 c INPROCESSING
549.93/551.87 c GARBAGE COLLECT
549.93/551.87 c #Conflicts: 91000 | #Constraints: 26257
549.93/551.87 c #Conflicts: 92000 | #Constraints: 27257
549.93/551.87 c #Conflicts: 93000 | #Constraints: 28257
549.93/551.87 c #Conflicts: 94000 | #Constraints: 29257
549.93/551.87 c #Conflicts: 95000 | #Constraints: 30257
549.93/551.87 c #Conflicts: 96000 | #Constraints: 31257
549.93/551.87 c INPROCESSING
549.93/551.87 c GARBAGE COLLECT
549.93/551.87 c #Conflicts: 97000 | #Constraints: 26083
549.93/551.87 c #Conflicts: 98000 | #Constraints: 27083
549.93/551.87 c #Conflicts: 99000 | #Constraints: 28083
549.93/551.87 c #Conflicts: 100000 | #Constraints: 29083
549.93/551.87 c #Conflicts: 101000 | #Constraints: 30083
549.93/551.87 c #Conflicts: 102000 | #Constraints: 31083
549.93/551.87 c #Conflicts: 103000 | #Constraints: 32083
549.93/551.87 c INPROCESSING
549.93/551.87 c GARBAGE COLLECT
549.93/551.87 c #Conflicts: 104000 | #Constraints: 26709
549.93/551.87 c #Conflicts: 105000 | #Constraints: 27709
549.93/551.87 c #Conflicts: 106000 | #Constraints: 28709
549.93/551.87 c #Conflicts: 107000 | #Constraints: 29709
549.93/551.87 c #Conflicts: 108000 | #Constraints: 30709
549.93/551.87 c #Conflicts: 109000 | #Constraints: 31709
549.93/551.87 c #Conflicts: 110000 | #Constraints: 32709
549.93/551.87 c INPROCESSING
549.93/551.87 c GARBAGE COLLECT
549.93/551.87 c #Conflicts: 111000 | #Constraints: 27074
549.93/551.87 c #Conflicts: 112000 | #Constraints: 28074
549.93/551.87 c #Conflicts: 113000 | #Constraints: 29074
549.93/551.87 c #Conflicts: 114000 | #Constraints: 30074
549.93/551.87 c #Conflicts: 115000 | #Constraints: 31074
549.93/551.87 c #Conflicts: 116000 | #Constraints: 32074
549.93/551.87 c #Conflicts: 117000 | #Constraints: 33074
549.93/551.87 c INPROCESSING
549.93/551.87 c GARBAGE COLLECT
549.93/551.87 c #Conflicts: 118000 | #Constraints: 27299
549.93/551.87 c #Conflicts: 119000 | #Constraints: 28299
549.93/551.87 c #Conflicts: 120000 | #Constraints: 29299
549.93/551.87 c #Conflicts: 121000 | #Constraints: 30299
549.93/551.87 c #Conflicts: 122000 | #Constraints: 31299
549.93/551.87 c #Conflicts: 123000 | #Constraints: 32299
549.93/551.87 c #Conflicts: 124000 | #Constraints: 33299
549.93/551.87 c INPROCESSING
549.93/551.87 c GARBAGE COLLECT
549.93/551.87 c #Conflicts: 125000 | #Constraints: 27221
549.93/551.87 c #Conflicts: 126000 | #Constraints: 28221
549.93/551.87 c #Conflicts: 127000 | #Constraints: 29221
549.93/551.87 c #Conflicts: 128000 | #Constraints: 30221
549.93/551.87 c #Conflicts: 129000 | #Constraints: 31221
549.93/551.87 c #Conflicts: 130000 | #Constraints: 32221
549.93/551.87 c #Conflicts: 131000 | #Constraints: 33221
549.93/551.87 c INPROCESSING
549.93/551.87 c GARBAGE COLLECT
549.93/551.87 c #Conflicts: 132000 | #Constraints: 27001
549.93/551.87 c #Conflicts: 133000 | #Constraints: 28001
549.93/551.87 c #Conflicts: 134000 | #Constraints: 29001
549.93/551.87 c #Conflicts: 135000 | #Constraints: 30001
549.93/551.87 c #Conflicts: 136000 | #Constraints: 31001
549.93/551.87 c #Conflicts: 137000 | #Constraints: 32001
663.04/665.34 c #Conflicts: 138000 | #Constraints: 33001
663.04/665.34 c #Conflicts: 139000 | #Constraints: 34001
663.04/665.34 c INPROCESSING
663.04/665.34 c GARBAGE COLLECT
663.04/665.34 c #Conflicts: 140000 | #Constraints: 27622
663.04/665.34 c #Conflicts: 141000 | #Constraints: 28622
663.04/665.34 c #Conflicts: 142000 | #Constraints: 29622
663.04/665.34 c #Conflicts: 143000 | #Constraints: 30622
663.04/665.34 c #Conflicts: 144000 | #Constraints: 31622
663.04/665.34 c #Conflicts: 145000 | #Constraints: 32622
663.04/665.34 c #Conflicts: 146000 | #Constraints: 33622
663.04/665.34 c #Conflicts: 147000 | #Constraints: 34622
663.04/665.34 c INPROCESSING
663.04/665.34 c GARBAGE COLLECT
663.04/665.34 c #Conflicts: 148000 | #Constraints: 28013
663.04/665.34 c #Conflicts: 149000 | #Constraints: 29013
663.04/665.34 c #Conflicts: 150000 | #Constraints: 30013
663.04/665.34 c #Conflicts: 151000 | #Constraints: 31013
663.04/665.34 c #Conflicts: 152000 | #Constraints: 32013
663.04/665.34 c #Conflicts: 153000 | #Constraints: 33013
663.04/665.34 c #Conflicts: 154000 | #Constraints: 34013
663.04/665.34 c #Conflicts: 155000 | #Constraints: 35013
663.04/665.34 c INPROCESSING
663.04/665.34 c GARBAGE COLLECT
663.04/665.34 c #Conflicts: 156000 | #Constraints: 28218
663.04/665.34 c #Conflicts: 157000 | #Constraints: 29218
663.04/665.34 c #Conflicts: 158000 | #Constraints: 30218
663.04/665.34 c #Conflicts: 159000 | #Constraints: 31218
663.04/665.34 c #Conflicts: 160000 | #Constraints: 32218
663.04/665.34 c #Conflicts: 161000 | #Constraints: 33218
663.04/665.34 c #Conflicts: 162000 | #Constraints: 34218
663.04/665.34 c #Conflicts: 163000 | #Constraints: 35218
663.04/665.34 c INPROCESSING
663.04/665.34 c GARBAGE COLLECT
663.04/665.34 c #Conflicts: 164000 | #Constraints: 28240
663.04/665.34 c #Conflicts: 165000 | #Constraints: 29240
663.04/665.34 c #Conflicts: 166000 | #Constraints: 30240
663.04/665.34 c #Conflicts: 167000 | #Constraints: 31240
663.04/665.34 c #Conflicts: 168000 | #Constraints: 32240
663.04/665.34 c #Conflicts: 169000 | #Constraints: 33240
663.04/665.34 c #Conflicts: 170000 | #Constraints: 34240
663.04/665.34 c #Conflicts: 171000 | #Constraints: 35240
663.04/665.34 c INPROCESSING
663.04/665.34 c GARBAGE COLLECT
663.04/665.34 c #Conflicts: 172000 | #Constraints: 28052
663.04/665.34 c #Conflicts: 173000 | #Constraints: 29052
663.04/665.34 c #Conflicts: 174000 | #Constraints: 30052
663.04/665.34 c #Conflicts: 175000 | #Constraints: 31052
663.04/665.34 c #Conflicts: 176000 | #Constraints: 32052
663.04/665.34 c #Conflicts: 177000 | #Constraints: 33052
663.04/665.34 c #Conflicts: 178000 | #Constraints: 34052
663.04/665.34 c #Conflicts: 179000 | #Constraints: 35052
663.04/665.34 c #Conflicts: 180000 | #Constraints: 36052
663.04/665.34 c INPROCESSING
663.04/665.34 c GARBAGE COLLECT
663.04/665.34 c #Conflicts: 181000 | #Constraints: 28656
663.04/665.34 c #Conflicts: 182000 | #Constraints: 29656
663.04/665.34 c #Conflicts: 183000 | #Constraints: 30656
663.04/665.34 c #Conflicts: 184000 | #Constraints: 31656
663.04/665.34 c #Conflicts: 185000 | #Constraints: 32656
663.04/665.34 c #Conflicts: 186000 | #Constraints: 33656
663.04/665.34 c #Conflicts: 187000 | #Constraints: 34656
663.04/665.34 c #Conflicts: 188000 | #Constraints: 35656
663.04/665.34 c #Conflicts: 189000 | #Constraints: 36656
663.04/665.34 c INPROCESSING
663.04/665.34 c GARBAGE COLLECT
663.04/665.34 c #Conflicts: 190000 | #Constraints: 29075
663.04/665.34 c #Conflicts: 191000 | #Constraints: 30075
663.04/665.34 c #Conflicts: 192000 | #Constraints: 31075
663.04/665.34 c #Conflicts: 193000 | #Constraints: 32075
663.04/665.34 c #Conflicts: 194000 | #Constraints: 33075
663.04/665.34 c #Conflicts: 195000 | #Constraints: 34075
663.04/665.34 c #Conflicts: 196000 | #Constraints: 35075
663.04/665.34 c #Conflicts: 197000 | #Constraints: 36075
663.04/665.34 c #Conflicts: 198000 | #Constraints: 37075
663.04/665.34 c INPROCESSING
663.04/665.34 c GARBAGE COLLECT
663.04/665.34 c #Conflicts: 199000 | #Constraints: 29278
663.04/665.34 c #Conflicts: 200000 | #Constraints: 30278
663.04/665.34 c #Conflicts: 201000 | #Constraints: 31278
663.04/665.34 c #Conflicts: 202000 | #Constraints: 32278
663.04/665.34 c #Conflicts: 203000 | #Constraints: 33278
663.04/665.34 c #Conflicts: 204000 | #Constraints: 34278
663.04/665.34 c #Conflicts: 205000 | #Constraints: 35278
663.04/665.34 c #Conflicts: 206000 | #Constraints: 36278
663.04/665.34 c #Conflicts: 207000 | #Constraints: 37278
663.04/665.34 c INPROCESSING
663.04/665.34 c GARBAGE COLLECT
663.04/665.34 c #Conflicts: 208000 | #Constraints: 29252
663.04/665.34 c #Conflicts: 209000 | #Constraints: 30252
663.04/665.34 c #Conflicts: 210000 | #Constraints: 31252
797.09/799.87 c #Conflicts: 211000 | #Constraints: 32252
797.09/799.87 c #Conflicts: 212000 | #Constraints: 33252
797.09/799.87 c #Conflicts: 213000 | #Constraints: 34252
797.09/799.87 c #Conflicts: 214000 | #Constraints: 35252
797.09/799.87 c #Conflicts: 215000 | #Constraints: 36252
797.09/799.87 c #Conflicts: 216000 | #Constraints: 37252
797.09/799.87 c INPROCESSING
797.09/799.87 c GARBAGE COLLECT
797.09/799.87 c #Conflicts: 217000 | #Constraints: 29071
797.09/799.87 c #Conflicts: 218000 | #Constraints: 30071
797.09/799.87 c #Conflicts: 219000 | #Constraints: 31071
797.09/799.87 c #Conflicts: 220000 | #Constraints: 32071
797.09/799.87 c #Conflicts: 221000 | #Constraints: 33071
797.09/799.87 c #Conflicts: 222000 | #Constraints: 34071
797.09/799.87 c #Conflicts: 223000 | #Constraints: 35071
797.09/799.87 c #Conflicts: 224000 | #Constraints: 36071
797.09/799.87 c #Conflicts: 225000 | #Constraints: 37071
797.09/799.87 c #Conflicts: 226000 | #Constraints: 38071
797.09/799.87 c INPROCESSING
797.09/799.87 c GARBAGE COLLECT
797.09/799.87 c #Conflicts: 227000 | #Constraints: 29692
797.09/799.87 c #Conflicts: 228000 | #Constraints: 30692
797.09/799.87 c #Conflicts: 229000 | #Constraints: 31692
797.09/799.87 c #Conflicts: 230000 | #Constraints: 32692
797.09/799.87 c #Conflicts: 231000 | #Constraints: 33692
797.09/799.87 c #Conflicts: 232000 | #Constraints: 34692
797.09/799.87 c #Conflicts: 233000 | #Constraints: 35692
797.09/799.87 c #Conflicts: 234000 | #Constraints: 36692
797.09/799.87 c #Conflicts: 235000 | #Constraints: 37692
797.09/799.87 c #Conflicts: 236000 | #Constraints: 38692
797.09/799.87 c INPROCESSING
797.09/799.87 c GARBAGE COLLECT
797.09/799.87 c #Conflicts: 237000 | #Constraints: 30044
797.09/799.87 c #Conflicts: 238000 | #Constraints: 31044
797.09/799.87 c #Conflicts: 239000 | #Constraints: 32044
797.09/799.87 c #Conflicts: 240000 | #Constraints: 33044
797.09/799.87 c #Conflicts: 241000 | #Constraints: 34044
797.09/799.87 c #Conflicts: 242000 | #Constraints: 35044
797.09/799.87 c #Conflicts: 243000 | #Constraints: 36044
797.09/799.87 c #Conflicts: 244000 | #Constraints: 37044
797.09/799.87 c #Conflicts: 245000 | #Constraints: 38044
797.09/799.87 c #Conflicts: 246000 | #Constraints: 39044
797.09/799.87 c INPROCESSING
797.09/799.87 c GARBAGE COLLECT
797.09/799.87 c #Conflicts: 247000 | #Constraints: 30211
797.09/799.87 c #Conflicts: 248000 | #Constraints: 31211
797.09/799.87 c #Conflicts: 249000 | #Constraints: 32211
797.09/799.87 c #Conflicts: 250000 | #Constraints: 33211
797.09/799.87 c #Conflicts: 251000 | #Constraints: 34211
797.09/799.87 c #Conflicts: 252000 | #Constraints: 35211
797.09/799.87 c #Conflicts: 253000 | #Constraints: 36211
797.09/799.87 c #Conflicts: 254000 | #Constraints: 37211
797.09/799.87 c #Conflicts: 255000 | #Constraints: 38211
797.09/799.87 c #Conflicts: 256000 | #Constraints: 39211
797.09/799.87 c INPROCESSING
797.09/799.87 c GARBAGE COLLECT
797.09/799.87 c #Conflicts: 257000 | #Constraints: 30210
797.09/799.87 c #Conflicts: 258000 | #Constraints: 31210
797.09/799.87 c #Conflicts: 259000 | #Constraints: 32210
797.09/799.87 c #Conflicts: 260000 | #Constraints: 33210
797.09/799.87 c #Conflicts: 261000 | #Constraints: 34210
797.09/799.87 c #Conflicts: 262000 | #Constraints: 35210
797.09/799.87 c #Conflicts: 263000 | #Constraints: 36210
797.09/799.87 c #Conflicts: 264000 | #Constraints: 37210
797.09/799.87 c #Conflicts: 265000 | #Constraints: 38210
797.09/799.87 c #Conflicts: 266000 | #Constraints: 39210
797.09/799.87 c INPROCESSING
797.09/799.87 c GARBAGE COLLECT
797.09/799.87 c #Conflicts: 267000 | #Constraints: 30014
797.09/799.87 c #Conflicts: 268000 | #Constraints: 31014
797.09/799.87 c #Conflicts: 269000 | #Constraints: 32014
797.09/799.87 c #Conflicts: 270000 | #Constraints: 33014
797.09/799.87 c #Conflicts: 271000 | #Constraints: 34014
797.09/799.87 c #Conflicts: 272000 | #Constraints: 35014
797.09/799.87 c #Conflicts: 273000 | #Constraints: 36014
797.09/799.87 c #Conflicts: 274000 | #Constraints: 37014
797.09/799.87 c #Conflicts: 275000 | #Constraints: 38014
797.09/799.87 c #Conflicts: 276000 | #Constraints: 39014
797.09/799.87 c #Conflicts: 277000 | #Constraints: 40014
797.09/799.87 c INPROCESSING
797.09/799.87 c GARBAGE COLLECT
797.09/799.87 c #Conflicts: 278000 | #Constraints: 30612
797.09/799.87 c #Conflicts: 279000 | #Constraints: 31612
797.09/799.87 c #Conflicts: 280000 | #Constraints: 32612
797.09/799.87 c #Conflicts: 281000 | #Constraints: 33612
797.09/799.87 c #Conflicts: 282000 | #Constraints: 34612
797.09/799.87 c #Conflicts: 283000 | #Constraints: 35612
797.09/799.87 c #Conflicts: 284000 | #Constraints: 36612
797.09/799.87 c #Conflicts: 285000 | #Constraints: 37612
948.37/951.69 c #Conflicts: 286000 | #Constraints: 38612
948.37/951.69 c #Conflicts: 287000 | #Constraints: 39612
948.37/951.69 c #Conflicts: 288000 | #Constraints: 40612
948.37/951.69 c INPROCESSING
948.37/951.69 c GARBAGE COLLECT
948.37/951.69 c #Conflicts: 289000 | #Constraints: 31039
948.37/951.69 c #Conflicts: 290000 | #Constraints: 32039
948.37/951.69 c #Conflicts: 291000 | #Constraints: 33039
948.37/951.69 c #Conflicts: 292000 | #Constraints: 34039
948.37/951.69 c #Conflicts: 293000 | #Constraints: 35039
948.37/951.69 c #Conflicts: 294000 | #Constraints: 36039
948.37/951.69 c #Conflicts: 295000 | #Constraints: 37039
948.37/951.69 c #Conflicts: 296000 | #Constraints: 38039
948.37/951.69 c #Conflicts: 297000 | #Constraints: 39039
948.37/951.69 c #Conflicts: 298000 | #Constraints: 40039
948.37/951.69 c #Conflicts: 299000 | #Constraints: 41039
948.37/951.69 c INPROCESSING
948.37/951.69 c GARBAGE COLLECT
948.37/951.69 c #Conflicts: 300000 | #Constraints: 31232
948.37/951.69 c #Conflicts: 301000 | #Constraints: 32232
948.37/951.69 c #Conflicts: 302000 | #Constraints: 33232
948.37/951.69 c #Conflicts: 303000 | #Constraints: 34232
948.37/951.69 c #Conflicts: 304000 | #Constraints: 35232
948.37/951.69 c #Conflicts: 305000 | #Constraints: 36232
948.37/951.69 c #Conflicts: 306000 | #Constraints: 37232
948.37/951.69 c #Conflicts: 307000 | #Constraints: 38232
948.37/951.69 c #Conflicts: 308000 | #Constraints: 39232
948.37/951.69 c #Conflicts: 309000 | #Constraints: 40232
948.37/951.69 c #Conflicts: 310000 | #Constraints: 41232
948.37/951.69 c INPROCESSING
948.37/951.69 c GARBAGE COLLECT
948.37/951.69 c #Conflicts: 311000 | #Constraints: 31247
948.37/951.69 c #Conflicts: 312000 | #Constraints: 32247
948.37/951.69 c #Conflicts: 313000 | #Constraints: 33247
948.37/951.69 c #Conflicts: 314000 | #Constraints: 34247
948.37/951.69 c #Conflicts: 315000 | #Constraints: 35247
948.37/951.69 c #Conflicts: 316000 | #Constraints: 36247
948.37/951.69 c #Conflicts: 317000 | #Constraints: 37247
948.37/951.69 c #Conflicts: 318000 | #Constraints: 38247
948.37/951.69 c #Conflicts: 319000 | #Constraints: 39247
948.37/951.69 c #Conflicts: 320000 | #Constraints: 40247
948.37/951.69 c #Conflicts: 321000 | #Constraints: 41247
948.37/951.69 c INPROCESSING
948.37/951.69 c GARBAGE COLLECT
948.37/951.69 c #Conflicts: 322000 | #Constraints: 31004
948.37/951.69 c #Conflicts: 323000 | #Constraints: 32004
948.37/951.69 c #Conflicts: 324000 | #Constraints: 33004
948.37/951.69 c #Conflicts: 325000 | #Constraints: 34004
948.37/951.69 c #Conflicts: 326000 | #Constraints: 35004
948.37/951.69 c #Conflicts: 327000 | #Constraints: 36004
948.37/951.69 c #Conflicts: 328000 | #Constraints: 37004
948.37/951.69 c #Conflicts: 329000 | #Constraints: 38004
948.37/951.69 c #Conflicts: 330000 | #Constraints: 39004
948.37/951.69 c #Conflicts: 331000 | #Constraints: 40004
948.37/951.69 c #Conflicts: 332000 | #Constraints: 41004
948.37/951.69 c #Conflicts: 333000 | #Constraints: 42004
948.37/951.69 c INPROCESSING
948.37/951.69 c GARBAGE COLLECT
948.37/951.69 c #Conflicts: 334000 | #Constraints: 31657
948.37/951.69 c #Conflicts: 335000 | #Constraints: 32657
948.37/951.69 c #Conflicts: 336000 | #Constraints: 33657
948.37/951.69 c #Conflicts: 337000 | #Constraints: 34657
948.37/951.69 c #Conflicts: 338000 | #Constraints: 35657
948.37/951.69 c #Conflicts: 339000 | #Constraints: 36657
948.37/951.69 c #Conflicts: 340000 | #Constraints: 37657
948.37/951.69 c #Conflicts: 341000 | #Constraints: 38657
948.37/951.69 c #Conflicts: 342000 | #Constraints: 39657
948.37/951.69 c #Conflicts: 343000 | #Constraints: 40657
948.37/951.69 c #Conflicts: 344000 | #Constraints: 41657
948.37/951.69 c #Conflicts: 345000 | #Constraints: 42657
948.37/951.69 c INPROCESSING
948.37/951.69 c GARBAGE COLLECT
948.37/951.69 c #Conflicts: 346000 | #Constraints: 32059
948.37/951.69 c #Conflicts: 347000 | #Constraints: 33059
948.37/951.69 c #Conflicts: 348000 | #Constraints: 34059
948.37/951.69 c #Conflicts: 349000 | #Constraints: 35059
948.37/951.69 c #Conflicts: 350000 | #Constraints: 36059
948.37/951.69 c #Conflicts: 351000 | #Constraints: 37059
948.37/951.69 c #Conflicts: 352000 | #Constraints: 38059
948.37/951.69 c #Conflicts: 353000 | #Constraints: 39059
948.37/951.69 c #Conflicts: 354000 | #Constraints: 40059
948.37/951.69 c #Conflicts: 355000 | #Constraints: 41059
948.37/951.69 c #Conflicts: 356000 | #Constraints: 42059
948.37/951.69 c #Conflicts: 357000 | #Constraints: 43059
948.37/951.69 c INPROCESSING
948.37/951.69 c GARBAGE COLLECT
948.37/951.69 c #Conflicts: 358000 | #Constraints: 32278
948.37/951.69 c #Conflicts: 359000 | #Constraints: 33278
1113.41/1117.20 c #Conflicts: 360000 | #Constraints: 34278
1113.41/1117.20 c #Conflicts: 361000 | #Constraints: 35278
1113.41/1117.20 c #Conflicts: 362000 | #Constraints: 36278
1113.41/1117.20 c #Conflicts: 363000 | #Constraints: 37278
1113.41/1117.20 c #Conflicts: 364000 | #Constraints: 38278
1113.41/1117.20 c #Conflicts: 365000 | #Constraints: 39278
1113.41/1117.20 c #Conflicts: 366000 | #Constraints: 40278
1113.41/1117.20 c #Conflicts: 367000 | #Constraints: 41278
1113.41/1117.20 c #Conflicts: 368000 | #Constraints: 42278
1113.41/1117.20 c #Conflicts: 369000 | #Constraints: 43278
1113.41/1117.20 c INPROCESSING
1113.41/1117.20 c GARBAGE COLLECT
1113.41/1117.20 c #Conflicts: 370000 | #Constraints: 32289
1113.41/1117.20 c #Conflicts: 371000 | #Constraints: 33289
1113.41/1117.20 c #Conflicts: 372000 | #Constraints: 34289
1113.41/1117.20 c #Conflicts: 373000 | #Constraints: 35289
1113.41/1117.20 c #Conflicts: 374000 | #Constraints: 36289
1113.41/1117.20 c #Conflicts: 375000 | #Constraints: 37289
1113.41/1117.20 c #Conflicts: 376000 | #Constraints: 38289
1113.41/1117.20 c #Conflicts: 377000 | #Constraints: 39289
1113.41/1117.20 c #Conflicts: 378000 | #Constraints: 40289
1113.41/1117.20 c #Conflicts: 379000 | #Constraints: 41289
1113.41/1117.20 c #Conflicts: 380000 | #Constraints: 42289
1113.41/1117.20 c #Conflicts: 381000 | #Constraints: 43289
1113.41/1117.20 c INPROCESSING
1113.41/1117.20 c GARBAGE COLLECT
1113.41/1117.20 c #Conflicts: 382000 | #Constraints: 32077
1113.41/1117.20 c #Conflicts: 383000 | #Constraints: 33077
1113.41/1117.20 c #Conflicts: 384000 | #Constraints: 34077
1113.41/1117.20 c #Conflicts: 385000 | #Constraints: 35077
1113.41/1117.20 c #Conflicts: 386000 | #Constraints: 36077
1113.41/1117.20 c #Conflicts: 387000 | #Constraints: 37077
1113.41/1117.20 c #Conflicts: 388000 | #Constraints: 38077
1113.41/1117.20 c #Conflicts: 389000 | #Constraints: 39077
1113.41/1117.20 c #Conflicts: 390000 | #Constraints: 40077
1113.41/1117.20 c #Conflicts: 391000 | #Constraints: 41077
1113.41/1117.20 c #Conflicts: 392000 | #Constraints: 42077
1113.41/1117.20 c #Conflicts: 393000 | #Constraints: 43077
1113.41/1117.20 c #Conflicts: 394000 | #Constraints: 44077
1113.41/1117.20 c INPROCESSING
1113.41/1117.20 c GARBAGE COLLECT
1113.41/1117.20 c #Conflicts: 395000 | #Constraints: 32675
1113.41/1117.20 c #Conflicts: 396000 | #Constraints: 33675
1113.41/1117.20 c #Conflicts: 397000 | #Constraints: 34675
1113.41/1117.20 c #Conflicts: 398000 | #Constraints: 35675
1113.41/1117.20 c #Conflicts: 399000 | #Constraints: 36675
1113.41/1117.20 c #Conflicts: 400000 | #Constraints: 37675
1113.41/1117.20 c #Conflicts: 401000 | #Constraints: 38675
1113.41/1117.20 c #Conflicts: 402000 | #Constraints: 39675
1113.41/1117.20 c #Conflicts: 403000 | #Constraints: 40675
1113.41/1117.20 c #Conflicts: 404000 | #Constraints: 41675
1113.41/1117.20 c #Conflicts: 405000 | #Constraints: 42675
1113.41/1117.20 c #Conflicts: 406000 | #Constraints: 43675
1113.41/1117.20 c #Conflicts: 407000 | #Constraints: 44675
1113.41/1117.20 c INPROCESSING
1113.41/1117.20 c GARBAGE COLLECT
1113.41/1117.20 c #Conflicts: 408000 | #Constraints: 33080
1113.41/1117.20 c #Conflicts: 409000 | #Constraints: 34080
1113.41/1117.20 c #Conflicts: 410000 | #Constraints: 35080
1113.41/1117.20 c #Conflicts: 411000 | #Constraints: 36080
1113.41/1117.20 c #Conflicts: 412000 | #Constraints: 37080
1113.41/1117.20 c #Conflicts: 413000 | #Constraints: 38080
1113.41/1117.20 c #Conflicts: 414000 | #Constraints: 39080
1113.41/1117.20 c #Conflicts: 415000 | #Constraints: 40080
1113.41/1117.20 c #Conflicts: 416000 | #Constraints: 41080
1113.41/1117.20 c #Conflicts: 417000 | #Constraints: 42080
1113.41/1117.20 c #Conflicts: 418000 | #Constraints: 43080
1113.41/1117.20 c #Conflicts: 419000 | #Constraints: 44080
1113.41/1117.20 c #Conflicts: 420000 | #Constraints: 45080
1113.41/1117.20 c INPROCESSING
1113.41/1117.20 c GARBAGE COLLECT
1113.41/1117.20 c #Conflicts: 421000 | #Constraints: 33253
1113.41/1117.20 c #Conflicts: 422000 | #Constraints: 34253
1113.41/1117.20 c #Conflicts: 423000 | #Constraints: 35253
1113.41/1117.20 c #Conflicts: 424000 | #Constraints: 36253
1113.41/1117.20 c #Conflicts: 425000 | #Constraints: 37253
1113.41/1117.20 c #Conflicts: 426000 | #Constraints: 38253
1113.41/1117.20 c #Conflicts: 427000 | #Constraints: 39253
1113.41/1117.20 c #Conflicts: 428000 | #Constraints: 40253
1113.41/1117.20 c #Conflicts: 429000 | #Constraints: 41253
1113.41/1117.20 c #Conflicts: 430000 | #Constraints: 42253
1113.41/1117.20 c #Conflicts: 431000 | #Constraints: 43253
1113.41/1117.20 c #Conflicts: 432000 | #Constraints: 44253
1113.41/1117.20 c #Conflicts: 433000 | #Constraints: 45253
1113.41/1117.20 c INPROCESSING
1113.41/1117.20 c GARBAGE COLLECT
1113.41/1117.20 c #Conflicts: 434000 | #Constraints: 33282
1322.80/1327.31 c #Conflicts: 435000 | #Constraints: 34282
1322.80/1327.31 c #Conflicts: 436000 | #Constraints: 35282
1322.80/1327.31 c #Conflicts: 437000 | #Constraints: 36282
1322.80/1327.31 c #Conflicts: 438000 | #Constraints: 37282
1322.80/1327.31 c #Conflicts: 439000 | #Constraints: 38282
1322.80/1327.31 c #Conflicts: 440000 | #Constraints: 39282
1322.80/1327.31 c #Conflicts: 441000 | #Constraints: 40282
1322.80/1327.31 c #Conflicts: 442000 | #Constraints: 41282
1322.80/1327.31 c #Conflicts: 443000 | #Constraints: 42282
1322.80/1327.31 c #Conflicts: 444000 | #Constraints: 43282
1322.80/1327.31 c #Conflicts: 445000 | #Constraints: 44282
1322.80/1327.31 c #Conflicts: 446000 | #Constraints: 45282
1322.80/1327.31 c INPROCESSING
1322.80/1327.31 c GARBAGE COLLECT
1322.80/1327.31 c #Conflicts: 447000 | #Constraints: 33103
1322.80/1327.31 c #Conflicts: 448000 | #Constraints: 34103
1322.80/1327.31 c #Conflicts: 449000 | #Constraints: 35103
1322.80/1327.31 c #Conflicts: 450000 | #Constraints: 36103
1322.80/1327.31 c #Conflicts: 451000 | #Constraints: 37103
1322.80/1327.31 c #Conflicts: 452000 | #Constraints: 38103
1322.80/1327.31 c #Conflicts: 453000 | #Constraints: 39103
1322.80/1327.31 c #Conflicts: 454000 | #Constraints: 40103
1322.80/1327.31 c #Conflicts: 455000 | #Constraints: 41103
1322.80/1327.31 c #Conflicts: 456000 | #Constraints: 42103
1322.80/1327.31 c #Conflicts: 457000 | #Constraints: 43103
1322.80/1327.31 c #Conflicts: 458000 | #Constraints: 44103
1322.80/1327.31 c #Conflicts: 459000 | #Constraints: 45103
1322.80/1327.31 c #Conflicts: 460000 | #Constraints: 46103
1322.80/1327.31 c INPROCESSING
1322.80/1327.31 c GARBAGE COLLECT
1322.80/1327.31 c #Conflicts: 461000 | #Constraints: 33734
1322.80/1327.31 c #Conflicts: 462000 | #Constraints: 34734
1322.80/1327.31 c #Conflicts: 463000 | #Constraints: 35734
1322.80/1327.31 c #Conflicts: 464000 | #Constraints: 36734
1322.80/1327.31 c #Conflicts: 465000 | #Constraints: 37734
1322.80/1327.31 c #Conflicts: 466000 | #Constraints: 38734
1322.80/1327.31 c #Conflicts: 467000 | #Constraints: 39734
1322.80/1327.31 c #Conflicts: 468000 | #Constraints: 40734
1322.80/1327.31 c #Conflicts: 469000 | #Constraints: 41734
1322.80/1327.31 c #Conflicts: 470000 | #Constraints: 42734
1322.80/1327.31 c #Conflicts: 471000 | #Constraints: 43734
1322.80/1327.31 c #Conflicts: 472000 | #Constraints: 44734
1322.80/1327.31 c #Conflicts: 473000 | #Constraints: 45734
1322.80/1327.31 c #Conflicts: 474000 | #Constraints: 46734
1322.80/1327.31 c INPROCESSING
1322.80/1327.31 c GARBAGE COLLECT
1322.80/1327.31 c #Conflicts: 475000 | #Constraints: 34095
1322.80/1327.31 c #Conflicts: 476000 | #Constraints: 35095
1322.80/1327.31 c #Conflicts: 477000 | #Constraints: 36095
1322.80/1327.31 c #Conflicts: 478000 | #Constraints: 37095
1322.80/1327.31 c #Conflicts: 479000 | #Constraints: 38095
1322.80/1327.31 c #Conflicts: 480000 | #Constraints: 39095
1322.80/1327.31 c #Conflicts: 481000 | #Constraints: 40095
1322.80/1327.31 c #Conflicts: 482000 | #Constraints: 41095
1322.80/1327.31 c #Conflicts: 483000 | #Constraints: 42095
1322.80/1327.31 c #Conflicts: 484000 | #Constraints: 43095
1322.80/1327.31 c #Conflicts: 485000 | #Constraints: 44095
1322.80/1327.31 c #Conflicts: 486000 | #Constraints: 45095
1322.80/1327.31 c #Conflicts: 487000 | #Constraints: 46095
1322.80/1327.31 c #Conflicts: 488000 | #Constraints: 47095
1322.80/1327.31 c INPROCESSING
1322.80/1327.31 c GARBAGE COLLECT
1322.80/1327.31 c #Conflicts: 489000 | #Constraints: 34282
1322.80/1327.31 c #Conflicts: 490000 | #Constraints: 35282
1322.80/1327.31 c #Conflicts: 491000 | #Constraints: 36282
1322.80/1327.31 c #Conflicts: 492000 | #Constraints: 37282
1322.80/1327.31 c #Conflicts: 493000 | #Constraints: 38282
1322.80/1327.31 c #Conflicts: 494000 | #Constraints: 39282
1322.80/1327.31 c #Conflicts: 495000 | #Constraints: 40282
1322.80/1327.31 c #Conflicts: 496000 | #Constraints: 41282
1322.80/1327.31 c #Conflicts: 497000 | #Constraints: 42282
1322.80/1327.31 c #Conflicts: 498000 | #Constraints: 43282
1322.80/1327.31 c #Conflicts: 499000 | #Constraints: 44282
1322.80/1327.31 c #Conflicts: 500000 | #Constraints: 45282
1322.80/1327.31 c #Conflicts: 501000 | #Constraints: 46282
1322.80/1327.31 c #Conflicts: 502000 | #Constraints: 47282
1322.80/1327.31 c INPROCESSING
1322.80/1327.31 c GARBAGE COLLECT
1322.80/1327.31 c #Conflicts: 503000 | #Constraints: 34306
1322.80/1327.31 c #Conflicts: 504000 | #Constraints: 35306
1322.80/1327.31 c #Conflicts: 505000 | #Constraints: 36306
1322.80/1327.31 c #Conflicts: 506000 | #Constraints: 37306
1322.80/1327.31 c #Conflicts: 507000 | #Constraints: 38306
1322.80/1327.31 c #Conflicts: 508000 | #Constraints: 39306
1322.80/1327.31 c #Conflicts: 509000 | #Constraints: 40306
1322.80/1327.31 c #Conflicts: 510000 | #Constraints: 41306
1567.16/1572.59 c #Conflicts: 511000 | #Constraints: 42306
1567.16/1572.59 c #Conflicts: 512000 | #Constraints: 43306
1567.16/1572.59 c #Conflicts: 513000 | #Constraints: 44306
1567.16/1572.59 c #Conflicts: 514000 | #Constraints: 45306
1567.16/1572.59 c #Conflicts: 515000 | #Constraints: 46306
1567.16/1572.59 c #Conflicts: 516000 | #Constraints: 47306
1567.16/1572.59 c INPROCESSING
1567.16/1572.59 c GARBAGE COLLECT
1567.16/1572.59 c #Conflicts: 517000 | #Constraints: 34086
1567.16/1572.59 c #Conflicts: 518000 | #Constraints: 35086
1567.16/1572.59 c #Conflicts: 519000 | #Constraints: 36086
1567.16/1572.59 c #Conflicts: 520000 | #Constraints: 37086
1567.16/1572.59 c #Conflicts: 521000 | #Constraints: 38086
1567.16/1572.59 c #Conflicts: 522000 | #Constraints: 39086
1567.16/1572.59 c #Conflicts: 523000 | #Constraints: 40086
1567.16/1572.59 c #Conflicts: 524000 | #Constraints: 41086
1567.16/1572.59 c #Conflicts: 525000 | #Constraints: 42086
1567.16/1572.59 c #Conflicts: 526000 | #Constraints: 43086
1567.16/1572.59 c #Conflicts: 527000 | #Constraints: 44086
1567.16/1572.59 c #Conflicts: 528000 | #Constraints: 45086
1567.16/1572.59 c #Conflicts: 529000 | #Constraints: 46086
1567.16/1572.59 c #Conflicts: 530000 | #Constraints: 47086
1567.16/1572.59 c #Conflicts: 531000 | #Constraints: 48086
1567.16/1572.59 c INPROCESSING
1567.16/1572.59 c GARBAGE COLLECT
1567.16/1572.59 c #Conflicts: 532000 | #Constraints: 34707
1567.16/1572.59 c #Conflicts: 533000 | #Constraints: 35707
1567.16/1572.59 c #Conflicts: 534000 | #Constraints: 36707
1567.16/1572.59 c #Conflicts: 535000 | #Constraints: 37707
1567.16/1572.59 c #Conflicts: 536000 | #Constraints: 38707
1567.16/1572.59 c #Conflicts: 537000 | #Constraints: 39707
1567.16/1572.59 c #Conflicts: 538000 | #Constraints: 40707
1567.16/1572.59 c #Conflicts: 539000 | #Constraints: 41707
1567.16/1572.59 c #Conflicts: 540000 | #Constraints: 42707
1567.16/1572.59 c #Conflicts: 541000 | #Constraints: 43707
1567.16/1572.59 c #Conflicts: 542000 | #Constraints: 44707
1567.16/1572.59 c #Conflicts: 543000 | #Constraints: 45707
1567.16/1572.59 c #Conflicts: 544000 | #Constraints: 46707
1567.16/1572.59 c #Conflicts: 545000 | #Constraints: 47707
1567.16/1572.59 c #Conflicts: 546000 | #Constraints: 48707
1567.16/1572.59 c INPROCESSING
1567.16/1572.59 c GARBAGE COLLECT
1567.16/1572.59 c #Conflicts: 547000 | #Constraints: 35135
1567.16/1572.59 c #Conflicts: 548000 | #Constraints: 36135
1567.16/1572.59 c #Conflicts: 549000 | #Constraints: 37135
1567.16/1572.59 c #Conflicts: 550000 | #Constraints: 38135
1567.16/1572.59 c #Conflicts: 551000 | #Constraints: 39135
1567.16/1572.59 c #Conflicts: 552000 | #Constraints: 40135
1567.16/1572.59 c #Conflicts: 553000 | #Constraints: 41135
1567.16/1572.59 c #Conflicts: 554000 | #Constraints: 42135
1567.16/1572.59 c #Conflicts: 555000 | #Constraints: 43135
1567.16/1572.59 c #Conflicts: 556000 | #Constraints: 44135
1567.16/1572.59 c #Conflicts: 557000 | #Constraints: 45135
1567.16/1572.59 c #Conflicts: 558000 | #Constraints: 46135
1567.16/1572.59 c #Conflicts: 559000 | #Constraints: 47135
1567.16/1572.59 c #Conflicts: 560000 | #Constraints: 48135
1567.16/1572.59 c #Conflicts: 561000 | #Constraints: 49135
1567.16/1572.59 c INPROCESSING
1567.16/1572.59 c GARBAGE COLLECT
1567.16/1572.59 c #Conflicts: 562000 | #Constraints: 35343
1567.16/1572.59 c #Conflicts: 563000 | #Constraints: 36343
1567.16/1572.59 c #Conflicts: 564000 | #Constraints: 37343
1567.16/1572.59 c #Conflicts: 565000 | #Constraints: 38343
1567.16/1572.59 c #Conflicts: 566000 | #Constraints: 39343
1567.16/1572.59 c #Conflicts: 567000 | #Constraints: 40343
1567.16/1572.59 c #Conflicts: 568000 | #Constraints: 41343
1567.16/1572.59 c #Conflicts: 569000 | #Constraints: 42343
1567.16/1572.59 c #Conflicts: 570000 | #Constraints: 43343
1567.16/1572.59 c #Conflicts: 571000 | #Constraints: 44343
1567.16/1572.59 c #Conflicts: 572000 | #Constraints: 45343
1567.16/1572.59 c #Conflicts: 573000 | #Constraints: 46343
1567.16/1572.59 c #Conflicts: 574000 | #Constraints: 47343
1567.16/1572.59 c #Conflicts: 575000 | #Constraints: 48343
1567.16/1572.59 c #Conflicts: 576000 | #Constraints: 49343
1567.16/1572.59 c INPROCESSING
1567.16/1572.59 c GARBAGE COLLECT
1567.16/1572.59 c #Conflicts: 577000 | #Constraints: 35307
1567.16/1572.59 c #Conflicts: 578000 | #Constraints: 36307
1567.16/1572.59 c #Conflicts: 579000 | #Constraints: 37307
1567.16/1572.59 c #Conflicts: 580000 | #Constraints: 38307
1567.16/1572.59 c #Conflicts: 581000 | #Constraints: 39307
1567.16/1572.59 c #Conflicts: 582000 | #Constraints: 40307
1567.16/1572.59 c #Conflicts: 583000 | #Constraints: 41307
1567.16/1572.59 c #Conflicts: 584000 | #Constraints: 42307
1567.16/1572.59 c #Conflicts: 585000 | #Constraints: 43307
1798.87/1805.06 c #Conflicts: 586000 | #Constraints: 44307
1798.87/1805.06 c #Conflicts: 587000 | #Constraints: 45307
1798.87/1805.06 c #Conflicts: 588000 | #Constraints: 46307
1798.87/1805.06 c #Conflicts: 589000 | #Constraints: 47307
1798.87/1805.06 c #Conflicts: 590000 | #Constraints: 48307
1798.87/1805.06 c #Conflicts: 591000 | #Constraints: 49307
1798.87/1805.06 c INPROCESSING
1798.87/1805.06 c GARBAGE COLLECT
1798.87/1805.06 c #Conflicts: 592000 | #Constraints: 35030
1798.87/1805.06 c #Conflicts: 593000 | #Constraints: 36030
1798.87/1805.06 c #Conflicts: 594000 | #Constraints: 37030
1798.87/1805.06 c #Conflicts: 595000 | #Constraints: 38030
1798.87/1805.06 c #Conflicts: 596000 | #Constraints: 39030
1798.87/1805.06 c #Conflicts: 597000 | #Constraints: 40030
1798.87/1805.06 c #Conflicts: 598000 | #Constraints: 41030
1798.87/1805.06 c #Conflicts: 599000 | #Constraints: 42030
1798.87/1805.06 c #Conflicts: 600000 | #Constraints: 43030
1798.87/1805.06 c #Conflicts: 601000 | #Constraints: 44030
1798.87/1805.06 c #Conflicts: 602000 | #Constraints: 45030
1798.87/1805.06 c #Conflicts: 603000 | #Constraints: 46030
1798.87/1805.06 c #Conflicts: 604000 | #Constraints: 47030
1798.87/1805.06 c #Conflicts: 605000 | #Constraints: 48030
1798.87/1805.06 c #Conflicts: 606000 | #Constraints: 49030
1798.87/1805.06 c #Conflicts: 607000 | #Constraints: 50030
1798.87/1805.06 c INPROCESSING
1798.87/1805.06 c GARBAGE COLLECT
1798.87/1805.06 c #Conflicts: 608000 | #Constraints: 35665
1798.87/1805.06 c #Conflicts: 609000 | #Constraints: 36665
1798.87/1805.06 c #Conflicts: 610000 | #Constraints: 37665
1798.87/1805.06 c #Conflicts: 611000 | #Constraints: 38665
1798.87/1805.06 c #Conflicts: 612000 | #Constraints: 39665
1798.87/1805.06 c #Conflicts: 613000 | #Constraints: 40665
1798.87/1805.06 c #Conflicts: 614000 | #Constraints: 41665
1798.87/1805.06 c #Conflicts: 615000 | #Constraints: 42665
1798.87/1805.06 c #Conflicts: 616000 | #Constraints: 43665
1798.87/1805.06 c #Conflicts: 617000 | #Constraints: 44665
1798.87/1805.06 c #Conflicts: 618000 | #Constraints: 45665
1798.87/1805.06 c #Conflicts: 619000 | #Constraints: 46665
1798.87/1805.06 c #Conflicts: 620000 | #Constraints: 47665
1798.87/1805.06 c #Conflicts: 621000 | #Constraints: 48665
1798.87/1805.06 c #Conflicts: 622000 | #Constraints: 49665
1798.87/1805.06 c #Conflicts: 623000 | #Constraints: 50665
1798.87/1805.06 c INPROCESSING
1798.87/1805.06 c GARBAGE COLLECT
1798.87/1805.06 c #Conflicts: 624000 | #Constraints: 36062
1798.87/1805.06 c #Conflicts: 625000 | #Constraints: 37062
1798.87/1805.06 c #Conflicts: 626000 | #Constraints: 38062
1798.87/1805.06 c #Conflicts: 627000 | #Constraints: 39062
1798.87/1805.06 c #Conflicts: 628000 | #Constraints: 40062
1798.87/1805.06 c #Conflicts: 629000 | #Constraints: 41062
1798.87/1805.06 c #Conflicts: 630000 | #Constraints: 42062
1798.87/1805.06 c #Conflicts: 631000 | #Constraints: 43062
1798.87/1805.06 c #Conflicts: 632000 | #Constraints: 44062
1798.87/1805.06 c #Conflicts: 633000 | #Constraints: 45062
1798.87/1805.06 c #Conflicts: 634000 | #Constraints: 46062
1798.87/1805.06 c #Conflicts: 635000 | #Constraints: 47062
1798.87/1805.06 c #Conflicts: 636000 | #Constraints: 48062
1798.87/1805.06 c #Conflicts: 637000 | #Constraints: 49062
1798.87/1805.06 c #Conflicts: 638000 | #Constraints: 50062
1798.87/1805.06 c #Conflicts: 639000 | #Constraints: 51062
1798.87/1805.06 c INPROCESSING
1798.87/1805.06 c GARBAGE COLLECT
1798.87/1805.06 c #Conflicts: 640000 | #Constraints: 36287
1798.87/1805.06 c #Conflicts: 641000 | #Constraints: 37287
1798.87/1805.06 c #Conflicts: 642000 | #Constraints: 38287
1798.87/1805.06 c #Conflicts: 643000 | #Constraints: 39287
1798.87/1805.06 c #Conflicts: 644000 | #Constraints: 40287
1798.87/1805.06 c #Conflicts: 645000 | #Constraints: 41287
1798.87/1805.06 c #Conflicts: 646000 | #Constraints: 42287
1798.87/1805.06 c #Conflicts: 647000 | #Constraints: 43287
1798.87/1805.06 c #Conflicts: 648000 | #Constraints: 44287
1798.87/1805.06 c #Conflicts: 649000 | #Constraints: 45287
1798.87/1805.06 c #Conflicts: 650000 | #Constraints: 46287
1798.87/1805.06 c #Conflicts: 651000 | #Constraints: 47287
1798.87/1805.06 c #Conflicts: 652000 | #Constraints: 48287
1798.87/1805.06 c #Conflicts: 653000 | #Constraints: 49287
1798.87/1805.06 c #Conflicts: 654000 | #Constraints: 50287
1798.87/1805.06 c #Conflicts: 655000 | #Constraints: 51287
1798.87/1805.06 c INPROCESSING
1798.87/1805.06 c GARBAGE COLLECT
1798.87/1805.06 c #Conflicts: 656000 | #Constraints: 36280
1798.87/1805.06 c #Conflicts: 657000 | #Constraints: 37280
1798.87/1805.06 c #Conflicts: 658000 | #Constraints: 38280
1798.87/1805.06 c #Conflicts: 659000 | #Constraints: 39280
1798.87/1805.06 c #Conflicts: 660000 | #Constraints: 40280
1798.87/1805.06 c #Conflicts: 661000 | #Constraints: 41280
2050.41/2057.40 c #Conflicts: 662000 | #Constraints: 42280
2050.41/2057.40 c #Conflicts: 663000 | #Constraints: 43280
2050.41/2057.40 c #Conflicts: 664000 | #Constraints: 44280
2050.41/2057.40 c #Conflicts: 665000 | #Constraints: 45280
2050.41/2057.40 c #Conflicts: 666000 | #Constraints: 46280
2050.41/2057.40 c #Conflicts: 667000 | #Constraints: 47280
2050.41/2057.40 c #Conflicts: 668000 | #Constraints: 48280
2050.41/2057.40 c #Conflicts: 669000 | #Constraints: 49280
2050.41/2057.40 c #Conflicts: 670000 | #Constraints: 50280
2050.41/2057.40 c #Conflicts: 671000 | #Constraints: 51280
2050.41/2057.40 c INPROCESSING
2050.41/2057.40 c GARBAGE COLLECT
2050.41/2057.40 c #Conflicts: 672000 | #Constraints: 36113
2050.41/2057.40 c #Conflicts: 673000 | #Constraints: 37113
2050.41/2057.40 c #Conflicts: 674000 | #Constraints: 38113
2050.41/2057.40 c #Conflicts: 675000 | #Constraints: 39113
2050.41/2057.40 c #Conflicts: 676000 | #Constraints: 40113
2050.41/2057.40 c #Conflicts: 677000 | #Constraints: 41113
2050.41/2057.40 c #Conflicts: 678000 | #Constraints: 42113
2050.41/2057.40 c #Conflicts: 679000 | #Constraints: 43113
2050.41/2057.40 c #Conflicts: 680000 | #Constraints: 44113
2050.41/2057.40 c #Conflicts: 681000 | #Constraints: 45113
2050.41/2057.40 c #Conflicts: 682000 | #Constraints: 46113
2050.41/2057.40 c #Conflicts: 683000 | #Constraints: 47113
2050.41/2057.40 c #Conflicts: 684000 | #Constraints: 48113
2050.41/2057.40 c #Conflicts: 685000 | #Constraints: 49113
2050.41/2057.40 c #Conflicts: 686000 | #Constraints: 50113
2050.41/2057.40 c #Conflicts: 687000 | #Constraints: 51113
2050.41/2057.40 c #Conflicts: 688000 | #Constraints: 52113
2050.41/2057.40 c INPROCESSING
2050.41/2057.40 c GARBAGE COLLECT
2050.41/2057.40 c #Conflicts: 689000 | #Constraints: 36710
2050.41/2057.40 c #Conflicts: 690000 | #Constraints: 37710
2050.41/2057.40 c #Conflicts: 691000 | #Constraints: 38710
2050.41/2057.40 c #Conflicts: 692000 | #Constraints: 39710
2050.41/2057.40 c #Conflicts: 693000 | #Constraints: 40710
2050.41/2057.40 c #Conflicts: 694000 | #Constraints: 41710
2050.41/2057.40 c #Conflicts: 695000 | #Constraints: 42710
2050.41/2057.40 c #Conflicts: 696000 | #Constraints: 43710
2050.41/2057.40 c #Conflicts: 697000 | #Constraints: 44710
2050.41/2057.40 c #Conflicts: 698000 | #Constraints: 45710
2050.41/2057.40 c #Conflicts: 699000 | #Constraints: 46710
2050.41/2057.40 c #Conflicts: 700000 | #Constraints: 47710
2050.41/2057.40 c #Conflicts: 701000 | #Constraints: 48710
2050.41/2057.40 c #Conflicts: 702000 | #Constraints: 49710
2050.41/2057.40 c #Conflicts: 703000 | #Constraints: 50710
2050.41/2057.40 c #Conflicts: 704000 | #Constraints: 51710
2050.41/2057.40 c #Conflicts: 705000 | #Constraints: 52710
2050.41/2057.40 c INPROCESSING
2050.41/2057.40 c GARBAGE COLLECT
2050.41/2057.40 c #Conflicts: 706000 | #Constraints: 37138
2050.41/2057.40 c #Conflicts: 707000 | #Constraints: 38138
2050.41/2057.40 c #Conflicts: 708000 | #Constraints: 39138
2050.41/2057.40 c #Conflicts: 709000 | #Constraints: 40138
2050.41/2057.40 c #Conflicts: 710000 | #Constraints: 41138
2050.41/2057.40 c #Conflicts: 711000 | #Constraints: 42138
2050.41/2057.40 c #Conflicts: 712000 | #Constraints: 43138
2050.41/2057.40 c #Conflicts: 713000 | #Constraints: 44138
2050.41/2057.40 c #Conflicts: 714000 | #Constraints: 45138
2050.41/2057.40 c #Conflicts: 715000 | #Constraints: 46138
2050.41/2057.40 c #Conflicts: 716000 | #Constraints: 47138
2050.41/2057.40 c #Conflicts: 717000 | #Constraints: 48138
2050.41/2057.40 c #Conflicts: 718000 | #Constraints: 49138
2050.41/2057.40 c #Conflicts: 719000 | #Constraints: 50138
2050.41/2057.40 c #Conflicts: 720000 | #Constraints: 51138
2050.41/2057.40 c #Conflicts: 721000 | #Constraints: 52138
2050.41/2057.40 c #Conflicts: 722000 | #Constraints: 53138
2050.41/2057.40 c INPROCESSING
2050.41/2057.40 c GARBAGE COLLECT
2050.41/2057.40 c #Conflicts: 723000 | #Constraints: 37339
2050.41/2057.40 c #Conflicts: 724000 | #Constraints: 38339
2050.41/2057.40 c #Conflicts: 725000 | #Constraints: 39339
2050.41/2057.40 c #Conflicts: 726000 | #Constraints: 40339
2050.41/2057.40 c #Conflicts: 727000 | #Constraints: 41339
2050.41/2057.40 c #Conflicts: 728000 | #Constraints: 42339
2050.41/2057.40 c #Conflicts: 729000 | #Constraints: 43339
2050.41/2057.40 c #Conflicts: 730000 | #Constraints: 44339
2050.41/2057.40 c #Conflicts: 731000 | #Constraints: 45339
2050.41/2057.40 c #Conflicts: 732000 | #Constraints: 46339
2050.41/2057.40 c #Conflicts: 733000 | #Constraints: 47339
2050.41/2057.40 c #Conflicts: 734000 | #Constraints: 48339
2050.41/2057.40 c #Conflicts: 735000 | #Constraints: 49339
2050.41/2057.40 c #Conflicts: 736000 | #Constraints: 50339
2050.41/2057.40 c #Conflicts: 737000 | #Constraints: 51339
2325.57/2333.58 c #Conflicts: 738000 | #Constraints: 52339
2325.57/2333.58 c #Conflicts: 739000 | #Constraints: 53339
2325.57/2333.58 c INPROCESSING
2325.57/2333.58 c GARBAGE COLLECT
2325.57/2333.58 c #Conflicts: 740000 | #Constraints: 37317
2325.57/2333.58 c #Conflicts: 741000 | #Constraints: 38317
2325.57/2333.58 c #Conflicts: 742000 | #Constraints: 39317
2325.57/2333.58 c #Conflicts: 743000 | #Constraints: 40317
2325.57/2333.58 c #Conflicts: 744000 | #Constraints: 41317
2325.57/2333.58 c #Conflicts: 745000 | #Constraints: 42317
2325.57/2333.58 c #Conflicts: 746000 | #Constraints: 43317
2325.57/2333.58 c #Conflicts: 747000 | #Constraints: 44317
2325.57/2333.58 c #Conflicts: 748000 | #Constraints: 45317
2325.57/2333.58 c #Conflicts: 749000 | #Constraints: 46317
2325.57/2333.58 c #Conflicts: 750000 | #Constraints: 47317
2325.57/2333.58 c #Conflicts: 751000 | #Constraints: 48317
2325.57/2333.58 c #Conflicts: 752000 | #Constraints: 49317
2325.57/2333.58 c #Conflicts: 753000 | #Constraints: 50317
2325.57/2333.58 c #Conflicts: 754000 | #Constraints: 51317
2325.57/2333.58 c #Conflicts: 755000 | #Constraints: 52317
2325.57/2333.58 c #Conflicts: 756000 | #Constraints: 53317
2325.57/2333.58 c INPROCESSING
2325.57/2333.58 c GARBAGE COLLECT
2325.57/2333.58 c #Conflicts: 757000 | #Constraints: 37107
2325.57/2333.58 c #Conflicts: 758000 | #Constraints: 38107
2325.57/2333.58 c #Conflicts: 759000 | #Constraints: 39107
2325.57/2333.58 c #Conflicts: 760000 | #Constraints: 40107
2325.57/2333.58 c #Conflicts: 761000 | #Constraints: 41107
2325.57/2333.58 c #Conflicts: 762000 | #Constraints: 42107
2325.57/2333.58 c #Conflicts: 763000 | #Constraints: 43107
2325.57/2333.58 c #Conflicts: 764000 | #Constraints: 44107
2325.57/2333.58 c #Conflicts: 765000 | #Constraints: 45107
2325.57/2333.58 c #Conflicts: 766000 | #Constraints: 46107
2325.57/2333.58 c #Conflicts: 767000 | #Constraints: 47107
2325.57/2333.58 c #Conflicts: 768000 | #Constraints: 48107
2325.57/2333.58 c #Conflicts: 769000 | #Constraints: 49107
2325.57/2333.58 c #Conflicts: 770000 | #Constraints: 50107
2325.57/2333.58 c #Conflicts: 771000 | #Constraints: 51107
2325.57/2333.58 c #Conflicts: 772000 | #Constraints: 52107
2325.57/2333.58 c #Conflicts: 773000 | #Constraints: 53107
2325.57/2333.58 c #Conflicts: 774000 | #Constraints: 54107
2325.57/2333.58 c INPROCESSING
2325.57/2333.58 c GARBAGE COLLECT
2325.57/2333.58 c #Conflicts: 775000 | #Constraints: 37750
2325.57/2333.58 c #Conflicts: 776000 | #Constraints: 38750
2325.57/2333.58 c #Conflicts: 777000 | #Constraints: 39750
2325.57/2333.58 c #Conflicts: 778000 | #Constraints: 40750
2325.57/2333.58 c #Conflicts: 779000 | #Constraints: 41750
2325.57/2333.58 c #Conflicts: 780000 | #Constraints: 42750
2325.57/2333.58 c #Conflicts: 781000 | #Constraints: 43750
2325.57/2333.58 c #Conflicts: 782000 | #Constraints: 44750
2325.57/2333.58 c #Conflicts: 783000 | #Constraints: 45750
2325.57/2333.58 c #Conflicts: 784000 | #Constraints: 46750
2325.57/2333.58 c #Conflicts: 785000 | #Constraints: 47750
2325.57/2333.58 c #Conflicts: 786000 | #Constraints: 48750
2325.57/2333.58 c #Conflicts: 787000 | #Constraints: 49750
2325.57/2333.58 c #Conflicts: 788000 | #Constraints: 50750
2325.57/2333.58 c #Conflicts: 789000 | #Constraints: 51750
2325.57/2333.58 c #Conflicts: 790000 | #Constraints: 52750
2325.57/2333.58 c #Conflicts: 791000 | #Constraints: 53750
2325.57/2333.58 c #Conflicts: 792000 | #Constraints: 54750
2325.57/2333.58 c INPROCESSING
2325.57/2333.58 c GARBAGE COLLECT
2325.57/2333.58 c #Conflicts: 793000 | #Constraints: 38146
2325.57/2333.58 c #Conflicts: 794000 | #Constraints: 39146
2325.57/2333.58 c #Conflicts: 795000 | #Constraints: 40146
2325.57/2333.58 c #Conflicts: 796000 | #Constraints: 41146
2325.57/2333.58 c #Conflicts: 797000 | #Constraints: 42146
2325.57/2333.58 c #Conflicts: 798000 | #Constraints: 43146
2325.57/2333.58 c #Conflicts: 799000 | #Constraints: 44146
2325.57/2333.58 c #Conflicts: 800000 | #Constraints: 45146
2325.57/2333.58 c #Conflicts: 801000 | #Constraints: 46146
2325.57/2333.58 c #Conflicts: 802000 | #Constraints: 47146
2325.57/2333.58 c #Conflicts: 803000 | #Constraints: 48146
2325.57/2333.58 c #Conflicts: 804000 | #Constraints: 49146
2325.57/2333.58 c #Conflicts: 805000 | #Constraints: 50146
2325.57/2333.58 c #Conflicts: 806000 | #Constraints: 51146
2325.57/2333.58 c #Conflicts: 807000 | #Constraints: 52146
2325.57/2333.58 c #Conflicts: 808000 | #Constraints: 53146
2325.57/2333.58 c #Conflicts: 809000 | #Constraints: 54146
2325.57/2333.58 c #Conflicts: 810000 | #Constraints: 55146
2325.57/2333.58 c INPROCESSING
2325.57/2333.58 c GARBAGE COLLECT
2325.57/2333.58 c #Conflicts: 811000 | #Constraints: 38260
2325.57/2333.58 c #Conflicts: 812000 | #Constraints: 39260
2325.57/2333.58 c #Conflicts: 813000 | #Constraints: 40260
2621.67/2630.61 c #Conflicts: 814000 | #Constraints: 41260
2621.67/2630.61 c #Conflicts: 815000 | #Constraints: 42260
2621.67/2630.61 c #Conflicts: 816000 | #Constraints: 43260
2621.67/2630.61 c #Conflicts: 817000 | #Constraints: 44260
2621.67/2630.61 c #Conflicts: 818000 | #Constraints: 45260
2621.67/2630.61 c #Conflicts: 819000 | #Constraints: 46260
2621.67/2630.61 c #Conflicts: 820000 | #Constraints: 47260
2621.67/2630.61 c #Conflicts: 821000 | #Constraints: 48260
2621.67/2630.61 c #Conflicts: 822000 | #Constraints: 49260
2621.67/2630.61 c #Conflicts: 823000 | #Constraints: 50260
2621.67/2630.61 c #Conflicts: 824000 | #Constraints: 51260
2621.67/2630.61 c #Conflicts: 825000 | #Constraints: 52260
2621.67/2630.61 c #Conflicts: 826000 | #Constraints: 53260
2621.67/2630.61 c #Conflicts: 827000 | #Constraints: 54260
2621.67/2630.61 c #Conflicts: 828000 | #Constraints: 55260
2621.67/2630.61 c INPROCESSING
2621.67/2630.61 c GARBAGE COLLECT
2621.67/2630.61 c #Conflicts: 829000 | #Constraints: 38277
2621.67/2630.61 c #Conflicts: 830000 | #Constraints: 39277
2621.67/2630.61 c #Conflicts: 831000 | #Constraints: 40277
2621.67/2630.61 c #Conflicts: 832000 | #Constraints: 41277
2621.67/2630.61 c #Conflicts: 833000 | #Constraints: 42277
2621.67/2630.61 c #Conflicts: 834000 | #Constraints: 43277
2621.67/2630.61 c #Conflicts: 835000 | #Constraints: 44277
2621.67/2630.61 c #Conflicts: 836000 | #Constraints: 45277
2621.67/2630.61 c #Conflicts: 837000 | #Constraints: 46277
2621.67/2630.61 c #Conflicts: 838000 | #Constraints: 47277
2621.67/2630.61 c #Conflicts: 839000 | #Constraints: 48277
2621.67/2630.61 c #Conflicts: 840000 | #Constraints: 49277
2621.67/2630.61 c #Conflicts: 841000 | #Constraints: 50277
2621.67/2630.61 c #Conflicts: 842000 | #Constraints: 51277
2621.67/2630.61 c #Conflicts: 843000 | #Constraints: 52277
2621.67/2630.61 c #Conflicts: 844000 | #Constraints: 53277
2621.67/2630.61 c #Conflicts: 845000 | #Constraints: 54277
2621.67/2630.61 c #Conflicts: 846000 | #Constraints: 55277
2621.67/2630.61 c INPROCESSING
2621.67/2630.61 c GARBAGE COLLECT
2621.67/2630.61 c #Conflicts: 847000 | #Constraints: 38065
2621.67/2630.61 c #Conflicts: 848000 | #Constraints: 39065
2621.67/2630.61 c #Conflicts: 849000 | #Constraints: 40065
2621.67/2630.61 c #Conflicts: 850000 | #Constraints: 41065
2621.67/2630.61 c #Conflicts: 851000 | #Constraints: 42065
2621.67/2630.61 c #Conflicts: 852000 | #Constraints: 43065
2621.67/2630.61 c #Conflicts: 853000 | #Constraints: 44065
2621.67/2630.61 c #Conflicts: 854000 | #Constraints: 45065
2621.67/2630.61 c #Conflicts: 855000 | #Constraints: 46065
2621.67/2630.61 c #Conflicts: 856000 | #Constraints: 47065
2621.67/2630.61 c #Conflicts: 857000 | #Constraints: 48065
2621.67/2630.61 c #Conflicts: 858000 | #Constraints: 49065
2621.67/2630.61 c #Conflicts: 859000 | #Constraints: 50065
2621.67/2630.61 c #Conflicts: 860000 | #Constraints: 51065
2621.67/2630.61 c #Conflicts: 861000 | #Constraints: 52065
2621.67/2630.61 c #Conflicts: 862000 | #Constraints: 53065
2621.67/2630.61 c #Conflicts: 863000 | #Constraints: 54065
2621.67/2630.61 c #Conflicts: 864000 | #Constraints: 55065
2621.67/2630.61 c #Conflicts: 865000 | #Constraints: 56065
2621.67/2630.61 c INPROCESSING
2621.67/2630.61 c GARBAGE COLLECT
2621.67/2630.61 c #Conflicts: 866000 | #Constraints: 38724
2621.67/2630.61 c #Conflicts: 867000 | #Constraints: 39724
2621.67/2630.61 c #Conflicts: 868000 | #Constraints: 40724
2621.67/2630.61 c #Conflicts: 869000 | #Constraints: 41724
2621.67/2630.61 c #Conflicts: 870000 | #Constraints: 42724
2621.67/2630.61 c #Conflicts: 871000 | #Constraints: 43724
2621.67/2630.61 c #Conflicts: 872000 | #Constraints: 44724
2621.67/2630.61 c #Conflicts: 873000 | #Constraints: 45724
2621.67/2630.61 c #Conflicts: 874000 | #Constraints: 46724
2621.67/2630.61 c #Conflicts: 875000 | #Constraints: 47724
2621.67/2630.61 c #Conflicts: 876000 | #Constraints: 48724
2621.67/2630.61 c #Conflicts: 877000 | #Constraints: 49724
2621.67/2630.61 c #Conflicts: 878000 | #Constraints: 50724
2621.67/2630.61 c #Conflicts: 879000 | #Constraints: 51724
2621.67/2630.61 c #Conflicts: 880000 | #Constraints: 52724
2621.67/2630.61 c #Conflicts: 881000 | #Constraints: 53724
2621.67/2630.61 c #Conflicts: 882000 | #Constraints: 54724
2621.67/2630.61 c #Conflicts: 883000 | #Constraints: 55724
2621.67/2630.61 c #Conflicts: 884000 | #Constraints: 56724
2621.67/2630.61 c INPROCESSING
2621.67/2630.61 c GARBAGE COLLECT
2621.67/2630.61 c #Conflicts: 885000 | #Constraints: 39163
2621.67/2630.61 c #Conflicts: 886000 | #Constraints: 40163
2621.67/2630.61 c #Conflicts: 887000 | #Constraints: 41163
2621.67/2630.61 c #Conflicts: 888000 | #Constraints: 42163
2621.67/2630.61 c #Conflicts: 889000 | #Constraints: 43163
2938.75/2948.85 c #Conflicts: 890000 | #Constraints: 44163
2938.75/2948.85 c #Conflicts: 891000 | #Constraints: 45163
2938.75/2948.85 c #Conflicts: 892000 | #Constraints: 46163
2938.75/2948.85 c #Conflicts: 893000 | #Constraints: 47163
2938.75/2948.85 c #Conflicts: 894000 | #Constraints: 48163
2938.75/2948.85 c #Conflicts: 895000 | #Constraints: 49163
2938.75/2948.85 c #Conflicts: 896000 | #Constraints: 50163
2938.75/2948.85 c #Conflicts: 897000 | #Constraints: 51163
2938.75/2948.85 c #Conflicts: 898000 | #Constraints: 52163
2938.75/2948.85 c #Conflicts: 899000 | #Constraints: 53163
2938.75/2948.85 c #Conflicts: 900000 | #Constraints: 54163
2938.75/2948.85 c #Conflicts: 901000 | #Constraints: 55163
2938.75/2948.85 c #Conflicts: 902000 | #Constraints: 56163
2938.75/2948.85 c #Conflicts: 903000 | #Constraints: 57163
2938.75/2948.85 c INPROCESSING
2938.75/2948.85 c GARBAGE COLLECT
2938.75/2948.85 c #Conflicts: 904000 | #Constraints: 39285
2938.75/2948.85 c #Conflicts: 905000 | #Constraints: 40285
2938.75/2948.85 c #Conflicts: 906000 | #Constraints: 41285
2938.75/2948.85 c #Conflicts: 907000 | #Constraints: 42285
2938.75/2948.85 c #Conflicts: 908000 | #Constraints: 43285
2938.75/2948.85 c #Conflicts: 909000 | #Constraints: 44285
2938.75/2948.85 c #Conflicts: 910000 | #Constraints: 45285
2938.75/2948.85 c #Conflicts: 911000 | #Constraints: 46285
2938.75/2948.85 c #Conflicts: 912000 | #Constraints: 47285
2938.75/2948.85 c #Conflicts: 913000 | #Constraints: 48285
2938.75/2948.85 c #Conflicts: 914000 | #Constraints: 49285
2938.75/2948.85 c #Conflicts: 915000 | #Constraints: 50285
2938.75/2948.85 c #Conflicts: 916000 | #Constraints: 51285
2938.75/2948.85 c #Conflicts: 917000 | #Constraints: 52285
2938.75/2948.85 c #Conflicts: 918000 | #Constraints: 53285
2938.75/2948.85 c #Conflicts: 919000 | #Constraints: 54285
2938.75/2948.85 c #Conflicts: 920000 | #Constraints: 55285
2938.75/2948.85 c #Conflicts: 921000 | #Constraints: 56285
2938.75/2948.85 c #Conflicts: 922000 | #Constraints: 57285
2938.75/2948.85 c INPROCESSING
2938.75/2948.85 c GARBAGE COLLECT
2938.75/2948.85 c #Conflicts: 923000 | #Constraints: 39317
2938.75/2948.85 c #Conflicts: 924000 | #Constraints: 40317
2938.75/2948.85 c #Conflicts: 925000 | #Constraints: 41317
2938.75/2948.85 c #Conflicts: 926000 | #Constraints: 42317
2938.75/2948.85 c #Conflicts: 927000 | #Constraints: 43317
2938.75/2948.85 c #Conflicts: 928000 | #Constraints: 44317
2938.75/2948.85 c #Conflicts: 929000 | #Constraints: 45317
2938.75/2948.85 c #Conflicts: 930000 | #Constraints: 46317
2938.75/2948.85 c #Conflicts: 931000 | #Constraints: 47317
2938.75/2948.85 c #Conflicts: 932000 | #Constraints: 48317
2938.75/2948.85 c #Conflicts: 933000 | #Constraints: 49317
2938.75/2948.85 c #Conflicts: 934000 | #Constraints: 50317
2938.75/2948.85 c #Conflicts: 935000 | #Constraints: 51317
2938.75/2948.85 c #Conflicts: 936000 | #Constraints: 52317
2938.75/2948.85 c #Conflicts: 937000 | #Constraints: 53317
2938.75/2948.85 c #Conflicts: 938000 | #Constraints: 54317
2938.75/2948.85 c #Conflicts: 939000 | #Constraints: 55317
2938.75/2948.85 c #Conflicts: 940000 | #Constraints: 56317
2938.75/2948.85 c #Conflicts: 941000 | #Constraints: 57317
2938.75/2948.85 c INPROCESSING
2938.75/2948.85 c GARBAGE COLLECT
2938.75/2948.85 c #Conflicts: 942000 | #Constraints: 39147
2938.75/2948.85 c #Conflicts: 943000 | #Constraints: 40147
2938.75/2948.85 c #Conflicts: 944000 | #Constraints: 41147
2938.75/2948.85 c #Conflicts: 945000 | #Constraints: 42147
2938.75/2948.85 c #Conflicts: 946000 | #Constraints: 43147
2938.75/2948.85 c #Conflicts: 947000 | #Constraints: 44147
2938.75/2948.85 c #Conflicts: 948000 | #Constraints: 45147
2938.75/2948.85 c #Conflicts: 949000 | #Constraints: 46147
2938.75/2948.85 c #Conflicts: 950000 | #Constraints: 47147
2938.75/2948.85 c #Conflicts: 951000 | #Constraints: 48147
2938.75/2948.85 c #Conflicts: 952000 | #Constraints: 49147
2938.75/2948.85 c #Conflicts: 953000 | #Constraints: 50147
2938.75/2948.85 c #Conflicts: 954000 | #Constraints: 51147
2938.75/2948.85 c #Conflicts: 955000 | #Constraints: 52147
2938.75/2948.85 c #Conflicts: 956000 | #Constraints: 53147
2938.75/2948.85 c #Conflicts: 957000 | #Constraints: 54147
2938.75/2948.85 c #Conflicts: 958000 | #Constraints: 55147
2938.75/2948.85 c #Conflicts: 959000 | #Constraints: 56147
2938.75/2948.85 c #Conflicts: 960000 | #Constraints: 57147
2938.75/2948.85 c #Conflicts: 961000 | #Constraints: 58147
2938.75/2948.85 c INPROCESSING
2938.75/2948.85 c GARBAGE COLLECT
2938.75/2948.85 c #Conflicts: 962000 | #Constraints: 39749
2938.75/2948.85 c #Conflicts: 963000 | #Constraints: 40749
2938.75/2948.85 c #Conflicts: 964000 | #Constraints: 41749
2938.75/2948.85 c #Conflicts: 965000 | #Constraints: 42749
3258.13/3269.26 c #Conflicts: 966000 | #Constraints: 43749
3258.13/3269.26 c #Conflicts: 967000 | #Constraints: 44749
3258.13/3269.26 c #Conflicts: 968000 | #Constraints: 45749
3258.13/3269.26 c #Conflicts: 969000 | #Constraints: 46749
3258.13/3269.26 c #Conflicts: 970000 | #Constraints: 47749
3258.13/3269.26 c #Conflicts: 971000 | #Constraints: 48749
3258.13/3269.26 c #Conflicts: 972000 | #Constraints: 49749
3258.13/3269.26 c #Conflicts: 973000 | #Constraints: 50749
3258.13/3269.26 c #Conflicts: 974000 | #Constraints: 51749
3258.13/3269.26 c #Conflicts: 975000 | #Constraints: 52749
3258.13/3269.26 c #Conflicts: 976000 | #Constraints: 53749
3258.13/3269.26 c #Conflicts: 977000 | #Constraints: 54749
3258.13/3269.26 c #Conflicts: 978000 | #Constraints: 55749
3258.13/3269.26 c #Conflicts: 979000 | #Constraints: 56749
3258.13/3269.26 c #Conflicts: 980000 | #Constraints: 57749
3258.13/3269.26 c #Conflicts: 981000 | #Constraints: 58749
3258.13/3269.26 c INPROCESSING
3258.13/3269.26 c GARBAGE COLLECT
3258.13/3269.26 c #Conflicts: 982000 | #Constraints: 40187
3258.13/3269.26 c #Conflicts: 983000 | #Constraints: 41187
3258.13/3269.26 c #Conflicts: 984000 | #Constraints: 42187
3258.13/3269.26 c #Conflicts: 985000 | #Constraints: 43187
3258.13/3269.26 c #Conflicts: 986000 | #Constraints: 44187
3258.13/3269.26 c #Conflicts: 987000 | #Constraints: 45187
3258.13/3269.26 c #Conflicts: 988000 | #Constraints: 46187
3258.13/3269.26 c #Conflicts: 989000 | #Constraints: 47187
3258.13/3269.26 c #Conflicts: 990000 | #Constraints: 48187
3258.13/3269.26 c #Conflicts: 991000 | #Constraints: 49187
3258.13/3269.26 c #Conflicts: 992000 | #Constraints: 50187
3258.13/3269.26 c #Conflicts: 993000 | #Constraints: 51187
3258.13/3269.26 c #Conflicts: 994000 | #Constraints: 52187
3258.13/3269.26 c #Conflicts: 995000 | #Constraints: 53187
3258.13/3269.26 c #Conflicts: 996000 | #Constraints: 54187
3258.13/3269.26 c #Conflicts: 997000 | #Constraints: 55187
3258.13/3269.26 c #Conflicts: 998000 | #Constraints: 56187
3258.13/3269.26 c #Conflicts: 999000 | #Constraints: 57187
3258.13/3269.26 c #Conflicts: 1000000 | #Constraints: 58187
3258.13/3269.26 c #Conflicts: 1001000 | #Constraints: 59187
3258.13/3269.26 c INPROCESSING
3258.13/3269.26 c GARBAGE COLLECT
3258.13/3269.26 c #Conflicts: 1002000 | #Constraints: 40377
3258.13/3269.26 c #Conflicts: 1003000 | #Constraints: 41377
3258.13/3269.26 c #Conflicts: 1004000 | #Constraints: 42377
3258.13/3269.26 c #Conflicts: 1005000 | #Constraints: 43377
3258.13/3269.26 c #Conflicts: 1006000 | #Constraints: 44377
3258.13/3269.26 c #Conflicts: 1007000 | #Constraints: 45377
3258.13/3269.26 c #Conflicts: 1008000 | #Constraints: 46377
3258.13/3269.26 c #Conflicts: 1009000 | #Constraints: 47377
3258.13/3269.26 c #Conflicts: 1010000 | #Constraints: 48377
3258.13/3269.26 c #Conflicts: 1011000 | #Constraints: 49377
3258.13/3269.26 c #Conflicts: 1012000 | #Constraints: 50377
3258.13/3269.26 c #Conflicts: 1013000 | #Constraints: 51377
3258.13/3269.26 c #Conflicts: 1014000 | #Constraints: 52377
3258.13/3269.26 c #Conflicts: 1015000 | #Constraints: 53377
3258.13/3269.26 c #Conflicts: 1016000 | #Constraints: 54377
3258.13/3269.26 c #Conflicts: 1017000 | #Constraints: 55377
3258.13/3269.26 c #Conflicts: 1018000 | #Constraints: 56377
3258.13/3269.26 c #Conflicts: 1019000 | #Constraints: 57377
3258.13/3269.26 c #Conflicts: 1020000 | #Constraints: 58377
3258.13/3269.26 c #Conflicts: 1021000 | #Constraints: 59377
3258.13/3269.26 c INPROCESSING
3258.13/3269.26 c GARBAGE COLLECT
3258.13/3269.26 c #Conflicts: 1022000 | #Constraints: 40360
3258.13/3269.26 c #Conflicts: 1023000 | #Constraints: 41360
3258.13/3269.26 c #Conflicts: 1024000 | #Constraints: 42360
3258.13/3269.26 c #Conflicts: 1025000 | #Constraints: 43360
3258.13/3269.26 c #Conflicts: 1026000 | #Constraints: 44360
3258.13/3269.26 c #Conflicts: 1027000 | #Constraints: 45360
3258.13/3269.26 c #Conflicts: 1028000 | #Constraints: 46360
3258.13/3269.26 c #Conflicts: 1029000 | #Constraints: 47360
3258.13/3269.26 c #Conflicts: 1030000 | #Constraints: 48360
3258.13/3269.26 c #Conflicts: 1031000 | #Constraints: 49360
3258.13/3269.26 c #Conflicts: 1032000 | #Constraints: 50360
3258.13/3269.26 c #Conflicts: 1033000 | #Constraints: 51360
3258.13/3269.26 c #Conflicts: 1034000 | #Constraints: 52360
3258.13/3269.26 c #Conflicts: 1035000 | #Constraints: 53360
3258.13/3269.26 c #Conflicts: 1036000 | #Constraints: 54360
3258.13/3269.26 c #Conflicts: 1037000 | #Constraints: 55360
3258.13/3269.26 c #Conflicts: 1038000 | #Constraints: 56360
3258.13/3269.26 c #Conflicts: 1039000 | #Constraints: 57360
3258.13/3269.26 c #Conflicts: 1040000 | #Constraints: 58360
3258.13/3269.26 c #Conflicts: 1041000 | #Constraints: 59360
3258.13/3269.26 c INPROCESSING
3258.13/3269.26 c GARBAGE COLLECT
3580.19/3592.35 c #Conflicts: 1042000 | #Constraints: 40145
3580.19/3592.35 c #Conflicts: 1043000 | #Constraints: 41145
3580.19/3592.35 c #Conflicts: 1044000 | #Constraints: 42145
3580.19/3592.35 c #Conflicts: 1045000 | #Constraints: 43145
3580.19/3592.35 c #Conflicts: 1046000 | #Constraints: 44145
3580.19/3592.35 c #Conflicts: 1047000 | #Constraints: 45145
3580.19/3592.35 c #Conflicts: 1048000 | #Constraints: 46145
3580.19/3592.35 c #Conflicts: 1049000 | #Constraints: 47145
3580.19/3592.35 c #Conflicts: 1050000 | #Constraints: 48145
3580.19/3592.35 c #Conflicts: 1051000 | #Constraints: 49145
3580.19/3592.35 c #Conflicts: 1052000 | #Constraints: 50145
3580.19/3592.35 c #Conflicts: 1053000 | #Constraints: 51145
3580.19/3592.35 c #Conflicts: 1054000 | #Constraints: 52145
3580.19/3592.35 c #Conflicts: 1055000 | #Constraints: 53145
3580.19/3592.35 c #Conflicts: 1056000 | #Constraints: 54145
3580.19/3592.35 c #Conflicts: 1057000 | #Constraints: 55145
3580.19/3592.35 c #Conflicts: 1058000 | #Constraints: 56145
3580.19/3592.35 c #Conflicts: 1059000 | #Constraints: 57145
3580.19/3592.35 c #Conflicts: 1060000 | #Constraints: 58145
3580.19/3592.35 c #Conflicts: 1061000 | #Constraints: 59145
3580.19/3592.35 c #Conflicts: 1062000 | #Constraints: 60145
3580.19/3592.35 c INPROCESSING
3580.19/3592.35 c GARBAGE COLLECT
3580.19/3592.35 c #Conflicts: 1063000 | #Constraints: 40737
3580.19/3592.35 c #Conflicts: 1064000 | #Constraints: 41737
3580.19/3592.35 c #Conflicts: 1065000 | #Constraints: 42737
3580.19/3592.35 c #Conflicts: 1066000 | #Constraints: 43737
3580.19/3592.35 c #Conflicts: 1067000 | #Constraints: 44737
3580.19/3592.35 c #Conflicts: 1068000 | #Constraints: 45737
3580.19/3592.35 c #Conflicts: 1069000 | #Constraints: 46737
3580.19/3592.35 c #Conflicts: 1070000 | #Constraints: 47737
3580.19/3592.35 c #Conflicts: 1071000 | #Constraints: 48737
3580.19/3592.35 c #Conflicts: 1072000 | #Constraints: 49737
3580.19/3592.35 c #Conflicts: 1073000 | #Constraints: 50737
3580.19/3592.35 c #Conflicts: 1074000 | #Constraints: 51737
3580.19/3592.35 c #Conflicts: 1075000 | #Constraints: 52737
3580.19/3592.35 c #Conflicts: 1076000 | #Constraints: 53737
3580.19/3592.35 c #Conflicts: 1077000 | #Constraints: 54737
3580.19/3592.35 c #Conflicts: 1078000 | #Constraints: 55737
3580.19/3592.35 c #Conflicts: 1079000 | #Constraints: 56737
3580.19/3592.35 c #Conflicts: 1080000 | #Constraints: 57737
3580.19/3592.35 c #Conflicts: 1081000 | #Constraints: 58737
3580.19/3592.35 c #Conflicts: 1082000 | #Constraints: 59737
3580.19/3592.35 c #Conflicts: 1083000 | #Constraints: 60737
3580.19/3592.35 c INPROCESSING
3580.19/3592.35 c GARBAGE COLLECT
3580.19/3592.35 c #Conflicts: 1084000 | #Constraints: 41128
3580.19/3592.35 c #Conflicts: 1085000 | #Constraints: 42128
3580.19/3592.35 c #Conflicts: 1086000 | #Constraints: 43128
3580.19/3592.35 c #Conflicts: 1087000 | #Constraints: 44128
3580.19/3592.35 c #Conflicts: 1088000 | #Constraints: 45128
3580.19/3592.35 c #Conflicts: 1089000 | #Constraints: 46128
3580.19/3592.35 c #Conflicts: 1090000 | #Constraints: 47128
3580.19/3592.35 c #Conflicts: 1091000 | #Constraints: 48128
3580.19/3592.35 c #Conflicts: 1092000 | #Constraints: 49128
3580.19/3592.35 c #Conflicts: 1093000 | #Constraints: 50128
3580.19/3592.35 c #Conflicts: 1094000 | #Constraints: 51128
3580.19/3592.35 c #Conflicts: 1095000 | #Constraints: 52128
3580.19/3592.35 c #Conflicts: 1096000 | #Constraints: 53128
3580.19/3592.35 c #Conflicts: 1097000 | #Constraints: 54128
3580.19/3592.35 c #Conflicts: 1098000 | #Constraints: 55128
3580.19/3592.35 c #Conflicts: 1099000 | #Constraints: 56128
3580.19/3592.35 c #Conflicts: 1100000 | #Constraints: 57128
3580.19/3592.35 c #Conflicts: 1101000 | #Constraints: 58128
3580.19/3592.35 c #Conflicts: 1102000 | #Constraints: 59128
3580.19/3592.35 c #Conflicts: 1103000 | #Constraints: 60128
3580.19/3592.35 c #Conflicts: 1104000 | #Constraints: 61128
3580.19/3592.35 c INPROCESSING
3580.19/3592.35 c GARBAGE COLLECT
3580.19/3592.35 c #Conflicts: 1105000 | #Constraints: 41283
3580.19/3592.35 c #Conflicts: 1106000 | #Constraints: 42283
3580.19/3592.35 c #Conflicts: 1107000 | #Constraints: 43283
3580.19/3592.35 c #Conflicts: 1108000 | #Constraints: 44283
3580.19/3592.35 c #Conflicts: 1109000 | #Constraints: 45283
3580.19/3592.35 c #Conflicts: 1110000 | #Constraints: 46283
3580.19/3592.35 c #Conflicts: 1111000 | #Constraints: 47283
3580.19/3592.35 c #Conflicts: 1112000 | #Constraints: 48283
3580.19/3592.35 c #Conflicts: 1113000 | #Constraints: 49283
3580.19/3592.35 c #Conflicts: 1114000 | #Constraints: 50283
3580.19/3592.35 c #Conflicts: 1115000 | #Constraints: 51283
3580.19/3592.35 c #Conflicts: 1116000 | #Constraints: 52283
3580.19/3592.35 c #Conflicts: 1117000 | #Constraints: 53283
3580.19/3592.35 c #Conflicts: 1118000 | #Constraints: 54283
3600.03/3612.20 c #Conflicts: 1119000 | #Constraints: 55283
3600.03/3612.20 c #Conflicts: 1120000 | #Constraints: 56283
3600.03/3612.20 c #Conflicts: 1121000 | #Constraints: 57283
3600.03/3612.20 c #Conflicts: 1122000 | #Constraints: 58283
3600.03/3612.20 c Program interrupted by user.
3600.03/3612.20 c cpu time 3588.66 s
3600.03/3612.20 c deterministic time 1192633163034 1.19e+12
3600.03/3612.20 c optimization time 71.013 s
3600.03/3612.20 c total solve time 3218.69 s
3600.03/3612.20 c core-guided solve time 3218.69 s
3600.03/3612.20 c propagation time 2696 s
3600.03/3612.20 c conflict analysis time 550.832 s
3600.03/3612.20 c propagations 708731394
3600.03/3612.20 c resolve steps 19132458
3600.03/3612.20 c decisions 8437658
3600.03/3612.20 c conflicts 1122200
3600.03/3612.20 c restarts 2046
3600.03/3612.20 c inprocessing phases 96
3600.03/3612.20 c input clauses 19296
3600.03/3612.20 c input cardinalities 7
3600.03/3612.20 c input general constraints 0
3600.03/3612.20 c input average constraint length 2.76
3600.03/3612.20 c input average constraint degree 1.06
3600.03/3612.20 c learned clauses 717308
3600.03/3612.20 c learned cardinalities 1196
3600.03/3612.20 c learned general constraints 403699
3600.03/3612.20 c learned average constraint length 911.74
3600.03/3612.20 c learned average constraint degree 175896.76
3600.03/3612.20 c watched constraints 399462
3600.03/3612.20 c counting constraints 4237
3600.03/3612.20 c gcd simplifications 6825
3600.03/3612.20 c detected cardinalities 11
3600.03/3612.20 c weakened non-implied lits 179033381
3600.03/3612.20 c weakened non-implying lits 38361
3600.03/3612.20 c original variables 5499
3600.03/3612.20 c clausal propagations 564328323
3600.03/3612.20 c cardinality propagations 2045649
3600.03/3612.20 c watched propagations 133555007
3600.03/3612.20 c counting propagations 7544865
3600.03/3612.20 c watch lookups 5919130040
3600.03/3612.20 c watch backjump lookups 3003284872
3600.03/3612.20 c watch checks 930083989520
3600.03/3612.20 c propagation checks 245286001498
3600.03/3612.20 c constraint additions 6905300594
3600.03/3612.20 c trail pops 718287457
3600.03/3612.20 c formula constraints 19296
3600.03/3612.20 c learned constraints 1122203
3600.03/3612.20 c bound constraints 7
3600.03/3612.20 c core-guided constraints 0
3600.03/3612.20 c encountered formula constraints 9971383
3600.03/3612.20 c encountered learned constraints 10283266
3600.03/3612.20 c encountered bound constraints 9
3600.03/3612.20 c encountered core-guided constraints 0
3600.03/3612.20 c LP total time 0 s
3600.03/3612.20 c LP solve time 0 s
3600.03/3612.20 c LP constraints added 0
3600.03/3612.20 c LP constraints removed 0
3600.03/3612.20 c LP pivots internal 0
3600.03/3612.20 c LP pivots root 0
3600.03/3612.20 c LP calls 0
3600.03/3612.20 c LP optimalities 0
3600.03/3612.20 c LP no pivot count 0
3600.03/3612.20 c LP infeasibilities 0
3600.03/3612.20 c LP valid Farkas constraints 0
3600.03/3612.20 c LP learned Farkas constraints 0
3600.03/3612.20 c LP basis resets 0
3600.03/3612.20 c LP cycling count 0
3600.03/3612.20 c LP singular count 0
3600.03/3612.20 c LP no primal count 0
3600.03/3612.20 c LP no farkas count 0
3600.03/3612.20 c LP other issue count 0
3600.03/3612.20 c LP Gomory cuts 0
3600.03/3612.20 c LP learned cuts 0
3600.03/3612.20 c LP deleted cuts 0
3600.03/3612.20 c LP encountered Gomory constraints 0
3600.03/3612.20 c LP encountered Farkas constraints 0
3600.03/3612.20 c LP encountered learned Farkas constraints 0
3600.03/3612.20 c CG auxiliary variables introduced 0
3600.03/3612.20 c CG solutions found 0
3600.03/3612.20 c CG cores constructed 6
3600.03/3612.20 c CG core cardinality constraints returned 0
3600.03/3612.20 c CG unit cores 0
3600.03/3612.20 c CG single cores 6
3600.03/3612.20 c CG blocks removed during cardinality reduction 0
3600.03/3612.20 c CG first core best 0
3600.03/3612.20 c CG decision core best 0
3600.03/3612.20 c CG core reduction tie 0
3600.03/3612.20 c CG core degree average 1.00
3600.03/3612.20 c CG core slack average 48.17
3600.03/3612.20 c CG exhausted 0
3600.03/3612.20 c CG exhaust time 0 s
3600.03/3612.20 c CG trimmed 0
3600.03/3612.20 c CG trim time 0.000759 s
3600.03/3612.20 c CG minimized 0
3600.03/3612.20 c CG minimize time 0 s
3600.03/3612.20 c CG am1 prop time 0.001086 s
3600.03/3612.20 c CG # am1s reformulated 0
3600.03/3612.20 c CG lower bound derived from am1s 0
3600.03/3612.20 c CG # clausal cores 6
3600.03/3612.20 c CG # cardinality cores 0
3600.03/3612.20 c CG # pb cores 0
3600.03/3612.20 c CG # pb reforms 0
3600.03/3612.20 c CG # cores discarded because of pb reform 0
3600.03/3612.20 d LOWERBOUND 6
3600.03/3612.20 d NCORES 6
3600.03/3612.20 d NPBCORES 0
3600.03/3612.20 d NPBREFORM 0
3600.03/3612.20 d NTRIMMED 0
3600.03/3612.20 d NEXHAUSTED 0
3600.03/3612.20 d NAM1S 0
3600.03/3612.20 d AM1LB 0
3600.03/3612.20 c [Papilo Statistics]
3600.03/3612.20 c prepro time 0.0194099s
3600.03/3612.20 c # tsx applied 18
3600.03/3612.20 c # tsx conflicts 0
3600.03/3612.20 c # bound changes 5
3600.03/3612.20 c # side changes 12
3600.03/3612.20 c # coef changes 42
3600.03/3612.20 c # rounds 2
3600.03/3612.20 c # deted vars 11
3600.03/3612.20 c # deted constrs 23
3600.03/3612.20 c # consecutive rounds of only bound changes 0
3600.03/3612.20 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: 63931 MiB (61905 MiB free)
memory of node 1: 64510 MiB (61967 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454814-1721472036/watcher-4454814-1721472036 -o /tmp/evaluation-result-4454814-1721472036/solver-4454814-1721472036 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1721468435-1075789 --watchdog 3760 mixed-bag HOME/instance-4454814-1721472036.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=1077878, runsolver pid=1077875
Current StackSize limit: 8192 KiB
[startup+0.10009 s]*
/proc/loadavg: 4.15 4.12 4.09 5/257 1077879
/proc/meminfo: memFree=126784600/131524600 swapFree=131071996/131071996
[pid=1077878] ppid=1077875 vsize=125872 memory=59272 CPUtime=0.09 cores=0,2
/proc/1077878/stat : 1077878 (mixed-bag) R 1077875 1077878 1075779 0 -1 4194304 12691 0 0 0 8 1 0 0 20 0 1 0 199373322 128892928 14818 134679101440 4194304 16488053 140732480696560 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 27480064 140732480705557 140732480705634 140732480705634 140732480712651 0
/proc/1077878/statm: 31468 14818 3763 3002 0 15217 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 125872 KiB
Current children cumulated memory: 59272 KiB
[startup+0.206061 s]*
/proc/loadavg: 4.15 4.12 4.09 5/257 1077879
/proc/meminfo: memFree=126619692/131524600 swapFree=131071996/131071996
[pid=1077878] ppid=1077875 vsize=143584 memory=75836 CPUtime=0.2 cores=0,2
/proc/1077878/stat : 1077878 (mixed-bag) R 1077875 1077878 1075779 0 -1 4194304 17914 0 0 0 18 2 0 0 20 0 1 0 199373322 147030016 18959 134679101440 4194304 16488053 140732480696560 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 27480064 140732480705557 140732480705634 140732480705634 140732480712651 0
/proc/1077878/statm: 35896 18959 3843 3002 0 19645 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 143584 KiB
Current children cumulated memory: 75836 KiB
[startup+0.305778 s]*
/proc/loadavg: 4.15 4.12 4.09 5/257 1077879
/proc/meminfo: memFree=126609404/131524600 swapFree=131071996/131071996
[pid=1077878] ppid=1077875 vsize=148612 memory=81032 CPUtime=0.3 cores=0,2
/proc/1077878/stat : 1077878 (mixed-bag) R 1077875 1077878 1075779 0 -1 4194304 19134 0 0 0 28 2 0 0 20 0 1 0 199373322 152178688 20258 134679101440 4194304 16488053 140732480696560 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 27480064 140732480705557 140732480705634 140732480705634 140732480712651 0
/proc/1077878/statm: 37153 20258 3891 3002 0 20902 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 148612 KiB
Current children cumulated memory: 81032 KiB
[startup+0.700247 s]
/proc/loadavg: 4.22 4.13 4.10 5/257 1077879
/proc/meminfo: memFree=126586216/131524600 swapFree=131071996/131071996
[pid=1077878] ppid=1077875 vsize=216852 memory=140556 CPUtime=0.69 cores=0,2
/proc/1077878/stat : 1077878 (mixed-bag) R 1077875 1077878 1075779 0 -1 4194304 33898 0 0 0 65 4 0 0 20 0 1 0 199373322 222056448 35139 134679101440 4194304 16488053 140732480696560 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 27480064 140732480705557 140732480705634 140732480705634 140732480712651 0
/proc/1077878/statm: 54213 35139 4091 3002 0 37962 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 216852 KiB
Current children cumulated memory: 140556 KiB
[startup+1.50022 s]
/proc/loadavg: 4.22 4.13 4.10 5/257 1077879
/proc/meminfo: memFree=126616868/131524600 swapFree=131071996/131071996
[pid=1077878] ppid=1077875 vsize=236364 memory=159264 CPUtime=1.48 cores=0,2
/proc/1077878/stat : 1077878 (mixed-bag) R 1077875 1077878 1075779 0 -1 4194304 38567 0 0 0 144 4 0 0 20 0 1 0 199373322 242036736 39816 134679101440 4194304 16488053 140732480696560 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 27480064 140732480705557 140732480705634 140732480705634 140732480712651 0
/proc/1077878/statm: 59091 39816 4122 3002 0 42840 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 236364 KiB
Current children cumulated memory: 159264 KiB
[startup+3.10558 s]
/proc/loadavg: 4.22 4.13 4.10 5/257 1077879
/proc/meminfo: memFree=126408012/131524600 swapFree=131071996/131071996
[pid=1077878] ppid=1077875 vsize=244392 memory=167152 CPUtime=3.08 cores=0,2
/proc/1077878/stat : 1077878 (mixed-bag) R 1077875 1077878 1075779 0 -1 4194304 40575 0 0 0 303 5 0 0 20 0 1 0 199373322 250257408 41788 134679101440 4194304 16488053 140732480696560 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 27480064 140732480705557 140732480705634 140732480705634 140732480712651 0
/proc/1077878/statm: 61098 41788 4122 3002 0 44847 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 244392 KiB
Current children cumulated memory: 167152 KiB
[startup+6.3002 s]
/proc/loadavg: 4.20 4.13 4.10 6/257 1077880
/proc/meminfo: memFree=126318740/131524600 swapFree=131071996/131071996
[pid=1077878] ppid=1077875 vsize=274532 memory=184804 CPUtime=6.27 cores=0,2
/proc/1077878/stat : 1077878 (mixed-bag) R 1077875 1077878 1075779 0 -1 4194304 44939 0 0 0 621 6 0 0 20 0 1 0 199373322 281120768 46201 134679101440 4194304 16488053 140732480696560 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 27480064 140732480705557 140732480705634 140732480705634 140732480712651 0
/proc/1077878/statm: 68633 46201 4122 3002 0 52382 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 274532 KiB
Current children cumulated memory: 184804 KiB
[startup+12.7002 s]
/proc/loadavg: 4.18 4.13 4.10 5/257 1077882
/proc/meminfo: memFree=125977560/131524600 swapFree=131071996/131071996
[pid=1077878] ppid=1077875 vsize=312340 memory=222816 CPUtime=12.65 cores=0,2
/proc/1077878/stat : 1077878 (mixed-bag) R 1077875 1077878 1075779 0 -1 4194304 54459 0 0 0 1257 8 0 0 20 0 1 0 199373322 319836160 55704 134679101440 4194304 16488053 140732480696560 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 27480064 140732480705557 140732480705634 140732480705634 140732480712651 0
/proc/1077878/statm: 78085 55704 4122 3002 0 61834 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 312340 KiB
Current children cumulated memory: 222816 KiB
[startup+25.5002 s]
/proc/loadavg: 4.16 4.12 4.09 5/257 1077883
/proc/meminfo: memFree=125918000/131524600 swapFree=131071996/131071996
[pid=1077878] ppid=1077875 vsize=312340 memory=222816 CPUtime=25.4 cores=0,2
/proc/1077878/stat : 1077878 (mixed-bag) R 1077875 1077878 1075779 0 -1 4194304 54461 0 0 0 2531 9 0 0 20 0 1 0 199373322 319836160 55704 134679101440 4194304 16488053 140732480696560 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 27480064 140732480705557 140732480705634 140732480705634 140732480712651 0
/proc/1077878/statm: 78085 55704 4122 3002 0 61834 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 312340 KiB
Current children cumulated memory: 222816 KiB
[startup+51.1057 s]
/proc/loadavg: 4.16 4.13 4.09 5/257 1077888
/proc/meminfo: memFree=125178700/131524600 swapFree=131071996/131071996
[pid=1077878] ppid=1077875 vsize=312340 memory=223012 CPUtime=50.91 cores=0,2
/proc/1077878/stat : 1077878 (mixed-bag) R 1077875 1077878 1075779 0 -1 4194304 55516 0 0 0 5080 11 0 0 20 0 1 0 199373322 319836160 55753 134679101440 4194304 16488053 140732480696560 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 27480064 140732480705557 140732480705634 140732480705634 140732480712651 0
/proc/1077878/statm: 78085 55753 4122 3002 0 61834 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 312340 KiB
Current children cumulated memory: 223012 KiB
[startup+102.3 s]
/proc/loadavg: 4.17 4.14 4.10 5/257 1077897
/proc/meminfo: memFree=125161724/131524600 swapFree=131071996/131071996
[pid=1077878] ppid=1077875 vsize=312340 memory=223720 CPUtime=101.93 cores=0,2
/proc/1077878/stat : 1077878 (mixed-bag) R 1077875 1077878 1075779 0 -1 4194304 55700 0 0 0 10180 13 0 0 20 0 1 0 199373322 319836160 55930 134679101440 4194304 16488053 140732480696560 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 27480064 140732480705557 140732480705634 140732480705634 140732480712651 0
/proc/1077878/statm: 78085 55930 4122 3002 0 61834 0
Current children cumulated CPU time: 101.93 s
Current children cumulated vsize: 312340 KiB
Current children cumulated memory: 223720 KiB
[startup+162.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/257 1077907
/proc/meminfo: memFree=125107032/131524600 swapFree=131071996/131071996
[pid=1077878] ppid=1077875 vsize=360052 memory=254368 CPUtime=161.73 cores=0,2
/proc/1077878/stat : 1077878 (mixed-bag) R 1077875 1077878 1075779 0 -1 4194304 64864 0 0 0 16157 16 0 0 20 0 1 0 199373322 368693248 63592 134679101440 4194304 16488053 140732480696560 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 27480064 140732480705557 140732480705634 140732480705634 140732480712651 0
/proc/1077878/statm: 90013 63592 4122 3002 0 73762 0
Current children cumulated CPU time: 161.73 s
Current children cumulated vsize: 360052 KiB
Current children cumulated memory: 254368 KiB
[startup+222.3 s]
/proc/loadavg: 4.14 4.13 4.09 5/257 1077918
/proc/meminfo: memFree=125034388/131524600 swapFree=131071996/131071996
[pid=1077878] ppid=1077875 vsize=371284 memory=265808 CPUtime=221.53 cores=0,2
/proc/1077878/stat : 1077878 (mixed-bag) R 1077875 1077878 1075779 0 -1 4194304 68497 0 0 0 22134 19 0 0 20 0 1 0 199373322 380194816 66452 134679101440 4194304 16488053 140732480696560 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 27480064 140732480705557 140732480705634 140732480705634 140732480712651 0
/proc/1077878/statm: 92821 66452 4138 3002 0 76570 0
Current children cumulated CPU time: 221.53 s
Current children cumulated vsize: 371284 KiB
Current children cumulated memory: 265808 KiB
[startup+282.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/257 1077928
/proc/meminfo: memFree=124967080/131524600 swapFree=131071996/131071996
[pid=1077878] ppid=1077875 vsize=371284 memory=265808 CPUtime=281.33 cores=0,2
/proc/1077878/stat : 1077878 (mixed-bag) R 1077875 1077878 1075779 0 -1 4194304 68555 0 0 0 28113 20 0 0 20 0 1 0 199373322 380194816 66452 134679101440 4194304 16488053 140732480696560 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 27480064 140732480705557 140732480705634 140732480705634 140732480712651 0
/proc/1077878/statm: 92821 66452 4138 3002 0 76570 0
Current children cumulated CPU time: 281.33 s
Current children cumulated vsize: 371284 KiB
Current children cumulated memory: 265808 KiB
[startup+342.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/255 1077938
/proc/meminfo: memFree=124840848/131524600 swapFree=131071996/131071996
[pid=1077878] ppid=1077875 vsize=405804 memory=301164 CPUtime=341.13 cores=0,2
/proc/1077878/stat : 1077878 (mixed-bag) R 1077875 1077878 1075779 0 -1 4194304 71937 0 0 0 34058 55 0 0 20 0 1 0 199373322 415543296 75291 134679101440 4194304 16488053 140732480696560 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 27480064 140732480705557 140732480705634 140732480705634 140732480712651 0
/proc/1077878/statm: 101451 75291 4250 3002 0 85200 0
Current children cumulated CPU time: 341.13 s
Current children cumulated vsize: 405804 KiB
Current children cumulated memory: 301164 KiB
[startup+402.3 s]
/proc/loadavg: 4.18 4.13 4.10 5/255 1077948
/proc/meminfo: memFree=124697624/131524600 swapFree=131071996/131071996
[pid=1077878] ppid=1077875 vsize=436624 memory=315492 CPUtime=400.93 cores=0,2
/proc/1077878/stat : 1077878 (mixed-bag) R 1077875 1077878 1075779 0 -1 4194304 72477 0 0 0 40009 84 0 0 20 0 1 0 199373322 447102976 78873 134679101440 4194304 16488053 140732480696560 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 27480064 140732480705557 140732480705634 140732480705634 140732480712651 0
/proc/1077878/statm: 109156 78873 4250 3002 0 92905 0
Current children cumulated CPU time: 400.93 s
Current children cumulated vsize: 436624 KiB
Current children cumulated memory: 315492 KiB
[startup+462.3 s]
/proc/loadavg: 4.49 4.23 4.13 5/255 1077960
/proc/meminfo: memFree=124641316/131524600 swapFree=131071996/131071996
[pid=1077878] ppid=1077875 vsize=436624 memory=315728 CPUtime=460.73 cores=0,2
/proc/1077878/stat : 1077878 (mixed-bag) R 1077875 1077878 1075779 0 -1 4194304 72515 0 0 0 45959 114 0 0 20 0 1 0 199373322 447102976 78932 134679101440 4194304 16488053 140732480696560 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 27480064 140732480705557 140732480705634 140732480705634 140732480712651 0
/proc/1077878/statm: 109156 78932 4250 3002 0 92905 0
################
# More data... #
################
Current children cumulated memory: 408372 KiB
[startup+2862.3 s]
/proc/loadavg: 4.29 4.20 4.12 5/257 1079345
/proc/meminfo: memFree=123417104/131524600 swapFree=131071996/131071996
[pid=1077878] ppid=1077875 vsize=486712 memory=425516 CPUtime=2852.56 cores=0,2
/proc/1077878/stat : 1077878 (mixed-bag) R 1077875 1077878 1075779 0 -1 4194304 74347 0 0 0 284276 980 0 0 20 0 1 0 199373322 498393088 106379 134679101440 4194304 16488053 140732480696560 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 27480064 140732480705557 140732480705634 140732480705634 140732480712651 0
/proc/1077878/statm: 121678 106379 4250 3002 0 105427 0
Current children cumulated CPU time: 2852.56 s
Current children cumulated vsize: 486712 KiB
Current children cumulated memory: 425516 KiB
[startup+2922.3 s]
/proc/loadavg: 4.22 4.19 4.12 5/258 1079524
/proc/meminfo: memFree=123416708/131524600 swapFree=131071996/131071996
[pid=1077878] ppid=1077875 vsize=486712 memory=425564 CPUtime=2912.33 cores=0,2
/proc/1077878/stat : 1077878 (mixed-bag) R 1077875 1077878 1075779 0 -1 4194304 74479 0 0 0 290242 991 0 0 20 0 1 0 199373322 498393088 106391 134679101440 4194304 16488053 140732480696560 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 27480064 140732480705557 140732480705634 140732480705634 140732480712651 0
/proc/1077878/statm: 121678 106391 4250 3002 0 105427 0
Current children cumulated CPU time: 2912.33 s
Current children cumulated vsize: 486712 KiB
Current children cumulated memory: 425564 KiB
[startup+2982.3 s]
/proc/loadavg: 4.14 4.17 4.12 5/258 1079534
/proc/meminfo: memFree=123410328/131524600 swapFree=131071996/131071996
[pid=1077878] ppid=1077875 vsize=568100 memory=431708 CPUtime=2972.15 cores=0,2
/proc/1077878/stat : 1077878 (mixed-bag) R 1077875 1077878 1075779 0 -1 4194304 75105 0 0 0 296209 1006 0 0 20 0 1 0 199373322 581734400 107927 134679101440 4194304 16488053 140732480696560 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 27480064 140732480705557 140732480705634 140732480705634 140732480712651 0
/proc/1077878/statm: 142025 107927 4250 3002 0 125774 0
Current children cumulated CPU time: 2972.15 s
Current children cumulated vsize: 568100 KiB
Current children cumulated memory: 431708 KiB
[startup+3042.3 s]
/proc/loadavg: 4.09 4.15 4.11 5/258 1079603
/proc/meminfo: memFree=123397396/131524600 swapFree=131071996/131071996
[pid=1077878] ppid=1077875 vsize=568100 memory=435780 CPUtime=3031.96 cores=0,2
/proc/1077878/stat : 1077878 (mixed-bag) R 1077875 1077878 1075779 0 -1 4194304 75238 0 0 0 302176 1020 0 0 20 0 1 0 199373322 581734400 108945 134679101440 4194304 16488053 140732480696560 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 27480064 140732480705557 140732480705634 140732480705634 140732480712651 0
/proc/1077878/statm: 142025 108945 4250 3002 0 125774 0
Current children cumulated CPU time: 3031.96 s
Current children cumulated vsize: 568100 KiB
Current children cumulated memory: 435780 KiB
[startup+3102.3 s]
/proc/loadavg: 4.14 4.15 4.11 5/257 1079614
/proc/meminfo: memFree=123397120/131524600 swapFree=131071996/131071996
[pid=1077878] ppid=1077875 vsize=568100 memory=435780 CPUtime=3091.76 cores=0,2
/proc/1077878/stat : 1077878 (mixed-bag) R 1077875 1077878 1075779 0 -1 4194304 75370 0 0 0 308143 1033 0 0 20 0 1 0 199373322 581734400 108945 134679101440 4194304 16488053 140732480696560 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 27480064 140732480705557 140732480705634 140732480705634 140732480712651 0
/proc/1077878/statm: 142025 108945 4250 3002 0 125774 0
Current children cumulated CPU time: 3091.76 s
Current children cumulated vsize: 568100 KiB
Current children cumulated memory: 435780 KiB
[startup+3162.3 s]
/proc/loadavg: 4.10 4.14 4.10 5/257 1079624
/proc/meminfo: memFree=123376092/131524600 swapFree=131071996/131071996
[pid=1077878] ppid=1077875 vsize=568100 memory=435780 CPUtime=3151.57 cores=0,2
/proc/1077878/stat : 1077878 (mixed-bag) R 1077875 1077878 1075779 0 -1 4194304 75488 0 0 0 314113 1044 0 0 20 0 1 0 199373322 581734400 108945 134679101440 4194304 16488053 140732480696560 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 27480064 140732480705557 140732480705634 140732480705634 140732480712651 0
/proc/1077878/statm: 142025 108945 4250 3002 0 125774 0
Current children cumulated CPU time: 3151.57 s
Current children cumulated vsize: 568100 KiB
Current children cumulated memory: 435780 KiB
[startup+3222.3 s]
/proc/loadavg: 4.15 4.14 4.10 5/257 1079636
/proc/meminfo: memFree=123342888/131524600 swapFree=131071996/131071996
[pid=1077878] ppid=1077875 vsize=568100 memory=435780 CPUtime=3211.38 cores=0,2
/proc/1077878/stat : 1077878 (mixed-bag) R 1077875 1077878 1075779 0 -1 4194304 75628 0 0 0 320081 1057 0 0 20 0 1 0 199373322 581734400 108945 134679101440 4194304 16488053 140732480696560 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 27480064 140732480705557 140732480705634 140732480705634 140732480712651 0
/proc/1077878/statm: 142025 108945 4250 3002 0 125774 0
Current children cumulated CPU time: 3211.38 s
Current children cumulated vsize: 568100 KiB
Current children cumulated memory: 435780 KiB
[startup+3282.3 s]
/proc/loadavg: 4.12 4.13 4.10 6/257 1079646
/proc/meminfo: memFree=123342328/131524600 swapFree=131071996/131071996
[pid=1077878] ppid=1077875 vsize=568100 memory=435780 CPUtime=3271.18 cores=0,2
/proc/1077878/stat : 1077878 (mixed-bag) R 1077875 1077878 1075779 0 -1 4194304 75764 0 0 0 326051 1067 0 0 20 0 1 0 199373322 581734400 108945 134679101440 4194304 16488053 140732480696560 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 27480064 140732480705557 140732480705634 140732480705634 140732480712651 0
/proc/1077878/statm: 142025 108945 4250 3002 0 125774 0
Current children cumulated CPU time: 3271.18 s
Current children cumulated vsize: 568100 KiB
Current children cumulated memory: 435780 KiB
[startup+3342.3 s]
/proc/loadavg: 4.46 4.24 4.14 5/255 1079656
/proc/meminfo: memFree=123315312/131524600 swapFree=131071996/131071996
[pid=1077878] ppid=1077875 vsize=568100 memory=462404 CPUtime=3330.99 cores=0,2
/proc/1077878/stat : 1077878 (mixed-bag) R 1077875 1077878 1075779 0 -1 4194304 75910 0 0 0 332016 1083 0 0 20 0 1 0 199373322 581734400 115601 134679101440 4194304 16488053 140732480696560 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 27480064 140732480705557 140732480705634 140732480705634 140732480712651 0
/proc/1077878/statm: 142025 115601 4250 3002 0 125774 0
Current children cumulated CPU time: 3330.99 s
Current children cumulated vsize: 568100 KiB
Current children cumulated memory: 462404 KiB
[startup+3402.3 s]
/proc/loadavg: 4.27 4.22 4.14 5/255 1079666
/proc/meminfo: memFree=123265616/131524600 swapFree=131071996/131071996
[pid=1077878] ppid=1077875 vsize=568100 memory=484932 CPUtime=3390.8 cores=0,2
/proc/1077878/stat : 1077878 (mixed-bag) R 1077875 1077878 1075779 0 -1 4194304 76075 0 0 0 337981 1099 0 0 20 0 1 0 199373322 581734400 121233 134679101440 4194304 16488053 140732480696560 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 27480064 140732480705557 140732480705634 140732480705634 140732480712651 0
/proc/1077878/statm: 142025 121233 4250 3002 0 125774 0
Current children cumulated CPU time: 3390.8 s
Current children cumulated vsize: 568100 KiB
Current children cumulated memory: 484932 KiB
[startup+3462.3 s]
/proc/loadavg: 4.15 4.20 4.13 5/255 1079678
/proc/meminfo: memFree=123265212/131524600 swapFree=131071996/131071996
[pid=1077878] ppid=1077875 vsize=568100 memory=484932 CPUtime=3450.6 cores=0,2
/proc/1077878/stat : 1077878 (mixed-bag) R 1077875 1077878 1075779 0 -1 4194304 76208 0 0 0 343950 1110 0 0 20 0 1 0 199373322 581734400 121233 134679101440 4194304 16488053 140732480696560 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 27480064 140732480705557 140732480705634 140732480705634 140732480712651 0
/proc/1077878/statm: 142025 121233 4250 3002 0 125774 0
Current children cumulated CPU time: 3450.6 s
Current children cumulated vsize: 568100 KiB
Current children cumulated memory: 484932 KiB
[startup+3522.3 s]
/proc/loadavg: 4.09 4.17 4.13 5/254 1079688
/proc/meminfo: memFree=123264800/131524600 swapFree=131071996/131071996
[pid=1077878] ppid=1077875 vsize=568100 memory=484932 CPUtime=3510.41 cores=0,2
/proc/1077878/stat : 1077878 (mixed-bag) R 1077875 1077878 1075779 0 -1 4194304 76335 0 0 0 349919 1122 0 0 20 0 1 0 199373322 581734400 121233 134679101440 4194304 16488053 140732480696560 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 27480064 140732480705557 140732480705634 140732480705634 140732480712651 0
/proc/1077878/statm: 142025 121233 4250 3002 0 125774 0
Current children cumulated CPU time: 3510.41 s
Current children cumulated vsize: 568100 KiB
Current children cumulated memory: 484932 KiB
[startup+3582.3 s]
/proc/loadavg: 4.17 4.18 4.13 5/254 1079698
/proc/meminfo: memFree=123260208/131524600 swapFree=131071996/131071996
[pid=1077878] ppid=1077875 vsize=568100 memory=484932 CPUtime=3570.23 cores=0,2
/proc/1077878/stat : 1077878 (mixed-bag) R 1077875 1077878 1075779 0 -1 4194304 76478 0 0 0 355890 1133 0 0 20 0 1 0 199373322 581734400 121233 134679101440 4194304 16488053 140732480696560 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 27480064 140732480705557 140732480705634 140732480705634 140732480712651 0
/proc/1077878/statm: 142025 121233 4250 3002 0 125774 0
Current children cumulated CPU time: 3570.23 s
Current children cumulated vsize: 568100 KiB
Current children cumulated memory: 484932 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3612.2 s]
/proc/loadavg: 4.18 4.18 4.13 5/256 1079847
/proc/meminfo: memFree=125761516/131524600 swapFree=131071996/131071996
[pid=1077878] ppid=1077875 vsize=568100 memory=484932 CPUtime=3600.03 cores=0,2
/proc/1077878/stat : 1077878 (mixed-bag) R 1077875 1077878 1075779 0 -1 4194304 76529 0 0 0 358865 1138 0 0 20 0 1 0 199373322 581734400 121233 134679101440 4194304 16488053 140732480696560 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 27480064 140732480705557 140732480705634 140732480705634 140732480712651 0
/proc/1077878/statm: 142025 121233 4250 3002 0 125774 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 568100 KiB
Current children cumulated memory: 484932 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3612.2 s]
# the end of solver process 1077878 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3588.66 s, system=11.3855 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3612.2
CPU time (s): 3600.04
CPU user time (s): 3588.66
CPU system time (s): 11.3855
CPU usage (%): 99.6633
Max. virtual memory (cumulated for all children) (KiB): 568100
Max. memory (cumulated for all children) (KiB): 484932
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3588.66
system time used= 11.3855
maximum resident set size= 485824
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 76556
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= 87
involuntary context switches= 25428
# summary of solver processes directly reported to runsolver:
# pid: 1077878
# total CPU time (s): 3600.04
# total CPU user time (s): 3588.66
# total CPU system time (s): 11.3855
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.27164 second user time and 16.7874 second system time
The end
Begin job on nodeC033 at 2024-07-20 12:40:48
IDJOB=4454814
IDBENCH=148192
IDSOLVER=3083
FILE ID=nodeC033/4454814-1721472036
RUNJOBID= nodeC033-1721468435-1075789
SLURM_JOB_ID= 7545724
Free space on /tmp= 890020 MiB
SOLVER NAME= mixed-bag 2024-07-19
BENCH NAME= PB24/normalized-PB07/OPT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_5.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454814-1721472036/watcher-4454814-1721472036 -o /tmp/evaluation-result-4454814-1721472036/solver-4454814-1721472036 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1721468435-1075789 --watchdog 3760 mixed-bag HOME/instance-4454814-1721472036.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 2f5de9b63d0a2988dce846045b262c40
RANDOM SEED=1357964930
nodeC033.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3665.445
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.50
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3681.838
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.25
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3666.764
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.50
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.140
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.25
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3667.928
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.50
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3681.901
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.25
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3612.418
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.50
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.777
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.25
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 126850144 kB
MemAvailable: 128104252 kB
Buffers: 611768 kB
Cached: 1478240 kB
SwapCached: 0 kB
Active: 1133368 kB
Inactive: 2904972 kB
Active(anon): 1580 kB
Inactive(anon): 1992332 kB
Active(file): 1131788 kB
Inactive(file): 912640 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 80308 kB
Writeback: 0 kB
AnonPages: 1946036 kB
Mapped: 140364 kB
Shmem: 45908 kB
KReclaimable: 98652 kB
Slab: 212704 kB
SReclaimable: 98652 kB
SUnreclaim: 114052 kB
KernelStack: 4224 kB
PageTables: 12684 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 2286968 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 72992 kB
HardwareCorrupted: 0 kB
AnonHugePages: 579584 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 273108 kB
DirectMap2M: 28860416 kB
DirectMap1G: 106954752 kB
Free space on /tmp at the end= 889488 MiB
End job on nodeC033 at 2024-07-20 13:41:01