0.00/0.03 c RoundingSat 2
0.00/0.03 c branch pb25
0.00/0.03 c commit 63f22ad
0.28/0.36 c #variables 20944 #constraints 21298
95.61/95.95 c #Conflicts: 1000 | #Constraints: 22297
95.61/95.95 c #Conflicts: 2000 | #Constraints: 23297
95.61/95.95 c INPROCESSING
95.61/95.95 c GARBAGE COLLECT
95.61/95.95 c #Conflicts: 3000 | #Constraints: 22543
95.61/95.95 c #Conflicts: 4000 | #Constraints: 23543
95.61/95.95 c INPROCESSING
95.61/95.95 c GARBAGE COLLECT
95.61/95.95 c #Conflicts: 5000 | #Constraints: 23048
95.61/95.95 c #Conflicts: 6000 | #Constraints: 24048
95.61/95.95 c INPROCESSING
95.61/95.95 c GARBAGE COLLECT
95.61/95.95 c #Conflicts: 7000 | #Constraints: 23149
95.61/95.95 c #Conflicts: 8000 | #Constraints: 24149
95.61/95.95 c #Conflicts: 9000 | #Constraints: 25149
95.61/95.95 c #Conflicts: 10000 | #Constraints: 26149
95.61/95.95 c #Conflicts: 11000 | #Constraints: 27149
95.61/95.95 c #Conflicts: 12000 | #Constraints: 28149
95.61/95.95 c INPROCESSING
95.61/95.95 c GARBAGE COLLECT
95.61/95.95 c #Conflicts: 13000 | #Constraints: 25201
95.61/95.95 c #Conflicts: 14000 | #Constraints: 26201
95.61/95.95 c #Conflicts: 15000 | #Constraints: 27201
95.61/95.95 c #Conflicts: 16000 | #Constraints: 28201
95.61/95.95 c INPROCESSING
95.61/95.95 c GARBAGE COLLECT
95.61/95.95 c #Conflicts: 17000 | #Constraints: 25464
95.61/95.95 c #Conflicts: 18000 | #Constraints: 26464
95.61/95.95 c #Conflicts: 19000 | #Constraints: 27464
95.61/95.95 c #Conflicts: 20000 | #Constraints: 28464
95.61/95.95 c #Conflicts: 21000 | #Constraints: 29464
95.61/95.95 c #Conflicts: 22000 | #Constraints: 30464
95.61/95.95 c #Conflicts: 23000 | #Constraints: 31464
95.61/95.95 c #Conflicts: 24000 | #Constraints: 32464
95.61/95.95 c #Conflicts: 25000 | #Constraints: 33464
95.61/95.95 c INPROCESSING
95.61/95.95 c GARBAGE COLLECT
95.61/95.95 c #Conflicts: 26000 | #Constraints: 27952
95.61/95.95 c #Conflicts: 27000 | #Constraints: 28952
95.61/95.95 c #Conflicts: 28000 | #Constraints: 29952
95.61/95.95 c #Conflicts: 29000 | #Constraints: 30952
95.61/95.95 c #Conflicts: 30000 | #Constraints: 31952
95.61/95.95 c INPROCESSING
95.61/95.95 c GARBAGE COLLECT
95.61/95.95 c #Conflicts: 31000 | #Constraints: 28058
95.61/95.95 c #Conflicts: 32000 | #Constraints: 29058
95.61/95.95 c #Conflicts: 33000 | #Constraints: 30058
95.61/95.95 c #Conflicts: 34000 | #Constraints: 31058
95.61/95.95 c #Conflicts: 35000 | #Constraints: 32058
95.61/95.95 c #Conflicts: 36000 | #Constraints: 33058
95.61/95.95 c #Conflicts: 37000 | #Constraints: 34058
95.61/95.95 c #Conflicts: 38000 | #Constraints: 35058
95.61/95.95 c #Conflicts: 39000 | #Constraints: 36058
95.61/95.95 c #Conflicts: 40000 | #Constraints: 37058
95.61/95.95 c #Conflicts: 41000 | #Constraints: 38058
95.61/95.95 c #Conflicts: 42000 | #Constraints: 39058
95.61/95.95 c #Conflicts: 43000 | #Constraints: 40058
95.61/95.95 c INPROCESSING
95.61/95.95 c GARBAGE COLLECT
95.61/95.95 c #Conflicts: 44000 | #Constraints: 31718
95.61/95.95 c #Conflicts: 45000 | #Constraints: 32718
95.61/95.95 c #Conflicts: 46000 | #Constraints: 33718
95.61/95.95 c #Conflicts: 47000 | #Constraints: 34718
95.61/95.95 c #Conflicts: 48000 | #Constraints: 35718
95.61/95.95 c #Conflicts: 49000 | #Constraints: 36718
95.61/95.95 c INPROCESSING
95.61/95.95 c GARBAGE COLLECT
95.61/95.95 c #Conflicts: 50000 | #Constraints: 31150
95.61/95.95 c #Conflicts: 51000 | #Constraints: 32150
95.61/95.95 c #Conflicts: 52000 | #Constraints: 33150
95.61/95.95 c #Conflicts: 53000 | #Constraints: 34150
95.61/95.95 c #Conflicts: 54000 | #Constraints: 35150
95.61/95.95 c #Conflicts: 55000 | #Constraints: 36150
95.61/95.95 c #Conflicts: 56000 | #Constraints: 37150
95.61/95.95 c #Conflicts: 57000 | #Constraints: 38150
95.61/95.95 c #Conflicts: 58000 | #Constraints: 39150
95.61/95.95 c #Conflicts: 59000 | #Constraints: 40150
95.61/95.95 c #Conflicts: 60000 | #Constraints: 41150
95.61/95.95 c #Conflicts: 61000 | #Constraints: 42150
95.61/95.95 c #Conflicts: 62000 | #Constraints: 43150
95.61/95.95 c #Conflicts: 63000 | #Constraints: 44150
95.61/95.95 c #Conflicts: 64000 | #Constraints: 45150
95.61/95.95 c #Conflicts: 65000 | #Constraints: 46150
95.61/95.95 c INPROCESSING
95.61/95.95 c GARBAGE COLLECT
95.61/95.95 c #Conflicts: 66000 | #Constraints: 34992
95.61/95.95 c #Conflicts: 67000 | #Constraints: 35992
95.61/95.95 c #Conflicts: 68000 | #Constraints: 36992
95.61/95.95 c #Conflicts: 69000 | #Constraints: 37992
95.61/95.95 c #Conflicts: 70000 | #Constraints: 38992
95.61/95.95 c #Conflicts: 71000 | #Constraints: 39992
95.61/95.95 c #Conflicts: 72000 | #Constraints: 40992
95.61/95.95 c INPROCESSING
95.61/95.95 c GARBAGE COLLECT
209.92/210.59 c #Conflicts: 73000 | #Constraints: 33847
209.92/210.59 c #Conflicts: 74000 | #Constraints: 34847
209.92/210.59 c #Conflicts: 75000 | #Constraints: 35847
209.92/210.59 c #Conflicts: 76000 | #Constraints: 36847
209.92/210.59 c #Conflicts: 77000 | #Constraints: 37847
209.92/210.59 c #Conflicts: 78000 | #Constraints: 38847
209.92/210.59 c #Conflicts: 79000 | #Constraints: 39847
209.92/210.59 c #Conflicts: 80000 | #Constraints: 40847
209.92/210.59 c #Conflicts: 81000 | #Constraints: 41847
209.92/210.59 c #Conflicts: 82000 | #Constraints: 42847
209.92/210.59 c #Conflicts: 83000 | #Constraints: 43847
209.92/210.59 c #Conflicts: 84000 | #Constraints: 44847
209.92/210.59 c #Conflicts: 85000 | #Constraints: 45847
209.92/210.59 c #Conflicts: 86000 | #Constraints: 46847
209.92/210.59 c #Conflicts: 87000 | #Constraints: 47847
209.92/210.59 c #Conflicts: 88000 | #Constraints: 48847
209.92/210.59 c #Conflicts: 89000 | #Constraints: 49847
209.92/210.59 c #Conflicts: 90000 | #Constraints: 50847
209.92/210.59 c #Conflicts: 91000 | #Constraints: 51847
209.92/210.59 c INPROCESSING
209.92/210.59 c GARBAGE COLLECT
209.92/210.59 c #Conflicts: 92000 | #Constraints: 37766
209.92/210.59 c #Conflicts: 93000 | #Constraints: 38766
209.92/210.59 c #Conflicts: 94000 | #Constraints: 39766
209.92/210.59 c #Conflicts: 95000 | #Constraints: 40766
209.92/210.59 c #Conflicts: 96000 | #Constraints: 41766
209.92/210.59 c #Conflicts: 97000 | #Constraints: 42766
209.92/210.59 c #Conflicts: 98000 | #Constraints: 43766
209.92/210.59 c #Conflicts: 99000 | #Constraints: 44766
209.92/210.59 c #Conflicts: 100000 | #Constraints: 45766
209.92/210.59 c INPROCESSING
209.92/210.59 c GARBAGE COLLECT
209.92/210.59 c #Conflicts: 101000 | #Constraints: 36791
209.92/210.59 c #Conflicts: 102000 | #Constraints: 37791
209.92/210.59 c #Conflicts: 103000 | #Constraints: 38791
209.92/210.59 c #Conflicts: 104000 | #Constraints: 39791
209.92/210.59 c #Conflicts: 105000 | #Constraints: 40791
209.92/210.59 c #Conflicts: 106000 | #Constraints: 41791
209.92/210.59 c #Conflicts: 107000 | #Constraints: 42791
209.92/210.59 c #Conflicts: 108000 | #Constraints: 43791
209.92/210.59 c #Conflicts: 109000 | #Constraints: 44791
209.92/210.59 c #Conflicts: 110000 | #Constraints: 45791
209.92/210.59 c #Conflicts: 111000 | #Constraints: 46791
209.92/210.59 c #Conflicts: 112000 | #Constraints: 47791
209.92/210.59 c #Conflicts: 113000 | #Constraints: 48791
209.92/210.59 c #Conflicts: 114000 | #Constraints: 49791
209.92/210.59 c #Conflicts: 115000 | #Constraints: 50791
209.92/210.59 c #Conflicts: 116000 | #Constraints: 51791
209.92/210.59 c #Conflicts: 117000 | #Constraints: 52791
209.92/210.59 c #Conflicts: 118000 | #Constraints: 53791
209.92/210.59 c #Conflicts: 119000 | #Constraints: 54791
209.92/210.59 c #Conflicts: 120000 | #Constraints: 55791
209.92/210.59 c #Conflicts: 121000 | #Constraints: 56791
209.92/210.59 c INPROCESSING
209.92/210.59 c GARBAGE COLLECT
209.92/210.59 c #Conflicts: 122000 | #Constraints: 40268
209.92/210.59 c #Conflicts: 123000 | #Constraints: 41268
209.92/210.59 c #Conflicts: 124000 | #Constraints: 42268
209.92/210.59 c #Conflicts: 125000 | #Constraints: 43268
209.92/210.59 c #Conflicts: 126000 | #Constraints: 44268
209.92/210.59 c #Conflicts: 127000 | #Constraints: 45268
209.92/210.59 c #Conflicts: 128000 | #Constraints: 46268
209.92/210.59 c #Conflicts: 129000 | #Constraints: 47268
209.92/210.59 c #Conflicts: 130000 | #Constraints: 48268
209.92/210.59 c #Conflicts: 131000 | #Constraints: 49268
209.92/210.59 c #Conflicts: 132000 | #Constraints: 50268
209.92/210.59 c INPROCESSING
209.92/210.59 c GARBAGE COLLECT
209.92/210.59 c #Conflicts: 133000 | #Constraints: 40035
209.92/210.59 c #Conflicts: 134000 | #Constraints: 41035
209.92/210.59 c #Conflicts: 135000 | #Constraints: 42035
209.92/210.59 c #Conflicts: 136000 | #Constraints: 43035
209.92/210.59 c #Conflicts: 137000 | #Constraints: 44035
209.92/210.59 c #Conflicts: 138000 | #Constraints: 45035
209.92/210.59 c #Conflicts: 139000 | #Constraints: 46035
209.92/210.59 c #Conflicts: 140000 | #Constraints: 47035
209.92/210.59 c #Conflicts: 141000 | #Constraints: 48035
209.92/210.59 c #Conflicts: 142000 | #Constraints: 49035
209.92/210.59 c #Conflicts: 143000 | #Constraints: 50035
209.92/210.59 c #Conflicts: 144000 | #Constraints: 51035
209.92/210.59 c #Conflicts: 145000 | #Constraints: 52035
209.92/210.59 c #Conflicts: 146000 | #Constraints: 53035
209.92/210.59 c #Conflicts: 147000 | #Constraints: 54035
209.92/210.59 c #Conflicts: 148000 | #Constraints: 55035
209.92/210.59 c #Conflicts: 149000 | #Constraints: 56035
326.94/327.86 c #Conflicts: 150000 | #Constraints: 57035
326.94/327.86 c #Conflicts: 151000 | #Constraints: 58035
326.94/327.86 c #Conflicts: 152000 | #Constraints: 59035
326.94/327.86 c #Conflicts: 153000 | #Constraints: 60035
326.94/327.86 c #Conflicts: 154000 | #Constraints: 61035
326.94/327.86 c #Conflicts: 155000 | #Constraints: 62035
326.94/327.86 c #Conflicts: 156000 | #Constraints: 63035
326.94/327.86 c INPROCESSING
326.94/327.86 c GARBAGE COLLECT
326.94/327.86 c #Conflicts: 157000 | #Constraints: 43427
326.94/327.86 c #Conflicts: 158000 | #Constraints: 44427
326.94/327.86 c #Conflicts: 159000 | #Constraints: 45427
326.94/327.86 c #Conflicts: 160000 | #Constraints: 46427
326.94/327.86 c #Conflicts: 161000 | #Constraints: 47427
326.94/327.86 c #Conflicts: 162000 | #Constraints: 48427
326.94/327.86 c #Conflicts: 163000 | #Constraints: 49427
326.94/327.86 c #Conflicts: 164000 | #Constraints: 50427
326.94/327.86 c #Conflicts: 165000 | #Constraints: 51427
326.94/327.86 c #Conflicts: 166000 | #Constraints: 52427
326.94/327.86 c #Conflicts: 167000 | #Constraints: 53427
326.94/327.86 c #Conflicts: 168000 | #Constraints: 54427
326.94/327.86 c INPROCESSING
326.94/327.86 c GARBAGE COLLECT
326.94/327.86 c #Conflicts: 169000 | #Constraints: 42911
326.94/327.86 c #Conflicts: 170000 | #Constraints: 43911
326.94/327.86 c #Conflicts: 171000 | #Constraints: 44911
326.94/327.86 c #Conflicts: 172000 | #Constraints: 45911
326.94/327.86 c #Conflicts: 173000 | #Constraints: 46911
326.94/327.86 c #Conflicts: 174000 | #Constraints: 47911
326.94/327.86 c #Conflicts: 175000 | #Constraints: 48911
326.94/327.86 c #Conflicts: 176000 | #Constraints: 49911
326.94/327.86 c #Conflicts: 177000 | #Constraints: 50911
326.94/327.86 c #Conflicts: 178000 | #Constraints: 51911
326.94/327.86 c #Conflicts: 179000 | #Constraints: 52911
326.94/327.86 c #Conflicts: 180000 | #Constraints: 53911
326.94/327.86 c #Conflicts: 181000 | #Constraints: 54911
326.94/327.86 c #Conflicts: 182000 | #Constraints: 55911
326.94/327.86 c #Conflicts: 183000 | #Constraints: 56911
326.94/327.86 c #Conflicts: 184000 | #Constraints: 57911
326.94/327.86 c #Conflicts: 185000 | #Constraints: 58911
326.94/327.86 c #Conflicts: 186000 | #Constraints: 59911
326.94/327.86 c #Conflicts: 187000 | #Constraints: 60911
326.94/327.86 c #Conflicts: 188000 | #Constraints: 61911
326.94/327.86 c #Conflicts: 189000 | #Constraints: 62911
326.94/327.86 c #Conflicts: 190000 | #Constraints: 63911
326.94/327.86 c #Conflicts: 191000 | #Constraints: 64911
326.94/327.86 c #Conflicts: 192000 | #Constraints: 65911
326.94/327.86 c #Conflicts: 193000 | #Constraints: 66911
326.94/327.86 c #Conflicts: 194000 | #Constraints: 67911
326.94/327.86 c #Conflicts: 195000 | #Constraints: 68911
326.94/327.86 c #Conflicts: 196000 | #Constraints: 69911
326.94/327.86 c INPROCESSING
326.94/327.86 c GARBAGE COLLECT
326.94/327.86 c #Conflicts: 197000 | #Constraints: 47308
326.94/327.86 c #Conflicts: 198000 | #Constraints: 48308
326.94/327.86 c #Conflicts: 199000 | #Constraints: 49308
326.94/327.86 c #Conflicts: 200000 | #Constraints: 50308
326.94/327.86 c #Conflicts: 201000 | #Constraints: 51308
326.94/327.86 c #Conflicts: 202000 | #Constraints: 52308
326.94/327.86 c #Conflicts: 203000 | #Constraints: 53308
326.94/327.86 c #Conflicts: 204000 | #Constraints: 54308
326.94/327.86 c #Conflicts: 205000 | #Constraints: 55308
326.94/327.86 c #Conflicts: 206000 | #Constraints: 56308
326.94/327.86 c #Conflicts: 207000 | #Constraints: 57308
326.94/327.86 c #Conflicts: 208000 | #Constraints: 58308
326.94/327.86 c #Conflicts: 209000 | #Constraints: 59308
326.94/327.86 c INPROCESSING
326.94/327.86 c GARBAGE COLLECT
326.94/327.86 c #Conflicts: 210000 | #Constraints: 45956
326.94/327.86 c #Conflicts: 211000 | #Constraints: 46956
326.94/327.86 c #Conflicts: 212000 | #Constraints: 47956
326.94/327.86 c #Conflicts: 213000 | #Constraints: 48956
326.94/327.86 c #Conflicts: 214000 | #Constraints: 49956
326.94/327.86 c #Conflicts: 215000 | #Constraints: 50956
326.94/327.86 c #Conflicts: 216000 | #Constraints: 51956
326.94/327.86 c #Conflicts: 217000 | #Constraints: 52956
326.94/327.86 c #Conflicts: 218000 | #Constraints: 53956
326.94/327.86 c #Conflicts: 219000 | #Constraints: 54956
326.94/327.86 c #Conflicts: 220000 | #Constraints: 55956
326.94/327.86 c #Conflicts: 221000 | #Constraints: 56956
326.94/327.86 c #Conflicts: 222000 | #Constraints: 57956
326.94/327.86 c #Conflicts: 223000 | #Constraints: 58956
326.94/327.86 c #Conflicts: 224000 | #Constraints: 59956
326.94/327.86 c #Conflicts: 225000 | #Constraints: 60956
529.93/531.36 c #Conflicts: 226000 | #Constraints: 61956
529.93/531.36 c #Conflicts: 227000 | #Constraints: 62956
529.93/531.36 c #Conflicts: 228000 | #Constraints: 63956
529.93/531.36 c #Conflicts: 229000 | #Constraints: 64956
529.93/531.36 c #Conflicts: 230000 | #Constraints: 65956
529.93/531.36 c #Conflicts: 231000 | #Constraints: 66956
529.93/531.36 c #Conflicts: 232000 | #Constraints: 67956
529.93/531.36 c #Conflicts: 233000 | #Constraints: 68956
529.93/531.36 c #Conflicts: 234000 | #Constraints: 69956
529.93/531.36 c #Conflicts: 235000 | #Constraints: 70956
529.93/531.36 c #Conflicts: 236000 | #Constraints: 71956
529.93/531.36 c #Conflicts: 237000 | #Constraints: 72956
529.93/531.36 c #Conflicts: 238000 | #Constraints: 73956
529.93/531.36 c #Conflicts: 239000 | #Constraints: 74956
529.93/531.36 c #Conflicts: 240000 | #Constraints: 75956
529.93/531.36 c INPROCESSING
529.93/531.36 c GARBAGE COLLECT
529.93/531.36 c #Conflicts: 241000 | #Constraints: 50272
529.93/531.36 c #Conflicts: 242000 | #Constraints: 51272
529.93/531.36 c #Conflicts: 243000 | #Constraints: 52272
529.93/531.36 c #Conflicts: 244000 | #Constraints: 53272
529.93/531.36 c #Conflicts: 245000 | #Constraints: 54272
529.93/531.36 c #Conflicts: 246000 | #Constraints: 55272
529.93/531.36 c #Conflicts: 247000 | #Constraints: 56272
529.93/531.36 c #Conflicts: 248000 | #Constraints: 57272
529.93/531.36 c #Conflicts: 249000 | #Constraints: 58272
529.93/531.36 c #Conflicts: 250000 | #Constraints: 59272
529.93/531.36 c #Conflicts: 251000 | #Constraints: 60272
529.93/531.36 c #Conflicts: 252000 | #Constraints: 61272
529.93/531.36 c #Conflicts: 253000 | #Constraints: 62272
529.93/531.36 c #Conflicts: 254000 | #Constraints: 63273
529.93/531.36 c INPROCESSING
529.93/531.36 c GARBAGE COLLECT
529.93/531.36 c #Conflicts: 255000 | #Constraints: 48524
529.93/531.36 c #Conflicts: 256000 | #Constraints: 49524
529.93/531.36 c #Conflicts: 257000 | #Constraints: 50524
529.93/531.36 c #Conflicts: 258000 | #Constraints: 51524
529.93/531.36 c #Conflicts: 259000 | #Constraints: 52524
529.93/531.36 c #Conflicts: 260000 | #Constraints: 53524
529.93/531.36 c #Conflicts: 261000 | #Constraints: 54524
529.93/531.36 c #Conflicts: 262000 | #Constraints: 55524
529.93/531.36 c #Conflicts: 263000 | #Constraints: 56524
529.93/531.36 c #Conflicts: 264000 | #Constraints: 57524
529.93/531.36 c #Conflicts: 265000 | #Constraints: 58524
529.93/531.36 c #Conflicts: 266000 | #Constraints: 59524
529.93/531.36 c #Conflicts: 267000 | #Constraints: 60524
529.93/531.36 c #Conflicts: 268000 | #Constraints: 61524
529.93/531.36 c #Conflicts: 269000 | #Constraints: 62524
529.93/531.36 c #Conflicts: 270000 | #Constraints: 63524
529.93/531.36 c #Conflicts: 271000 | #Constraints: 64524
529.93/531.36 c #Conflicts: 272000 | #Constraints: 65524
529.93/531.36 c #Conflicts: 273000 | #Constraints: 66524
529.93/531.36 c #Conflicts: 274000 | #Constraints: 67524
529.93/531.36 c #Conflicts: 275000 | #Constraints: 68524
529.93/531.36 c #Conflicts: 276000 | #Constraints: 69524
529.93/531.36 c #Conflicts: 277000 | #Constraints: 70524
529.93/531.36 c #Conflicts: 278000 | #Constraints: 71524
529.93/531.36 c #Conflicts: 279000 | #Constraints: 72524
529.93/531.36 c #Conflicts: 280000 | #Constraints: 73524
529.93/531.36 c #Conflicts: 281000 | #Constraints: 74524
529.93/531.36 c #Conflicts: 282000 | #Constraints: 75524
529.93/531.36 c #Conflicts: 283000 | #Constraints: 76524
529.93/531.36 c #Conflicts: 284000 | #Constraints: 77524
529.93/531.36 c #Conflicts: 285000 | #Constraints: 78524
529.93/531.36 c #Conflicts: 286000 | #Constraints: 79524
529.93/531.36 c #Conflicts: 287000 | #Constraints: 80524
529.93/531.36 c #Conflicts: 288000 | #Constraints: 81524
529.93/531.36 c INPROCESSING
529.93/531.36 c GARBAGE COLLECT
529.93/531.36 c #Conflicts: 289000 | #Constraints: 53166
529.93/531.36 c #Conflicts: 290000 | #Constraints: 54166
529.93/531.36 c #Conflicts: 291000 | #Constraints: 55166
529.93/531.36 c #Conflicts: 292000 | #Constraints: 56166
529.93/531.36 c #Conflicts: 293000 | #Constraints: 57166
529.93/531.36 c #Conflicts: 294000 | #Constraints: 58166
529.93/531.36 c #Conflicts: 295000 | #Constraints: 59166
529.93/531.36 c #Conflicts: 296000 | #Constraints: 60166
529.93/531.36 c #Conflicts: 297000 | #Constraints: 61166
529.93/531.36 c #Conflicts: 298000 | #Constraints: 62166
529.93/531.36 c #Conflicts: 299000 | #Constraints: 63166
529.93/531.36 c #Conflicts: 300000 | #Constraints: 64166
529.93/531.36 c #Conflicts: 301000 | #Constraints: 65166
529.93/531.36 c #Conflicts: 302000 | #Constraints: 66166
662.35/664.15 c #Conflicts: 303000 | #Constraints: 67166
662.35/664.15 c INPROCESSING
662.35/664.15 c GARBAGE COLLECT
662.35/664.15 c #Conflicts: 304000 | #Constraints: 51284
662.35/664.15 c #Conflicts: 305000 | #Constraints: 52284
662.35/664.15 c #Conflicts: 306000 | #Constraints: 53284
662.35/664.15 c #Conflicts: 307000 | #Constraints: 54284
662.35/664.15 c #Conflicts: 308000 | #Constraints: 55284
662.35/664.15 c #Conflicts: 309000 | #Constraints: 56284
662.35/664.15 c #Conflicts: 310000 | #Constraints: 57284
662.35/664.15 c #Conflicts: 311000 | #Constraints: 58284
662.35/664.15 c #Conflicts: 312000 | #Constraints: 59284
662.35/664.15 c #Conflicts: 313000 | #Constraints: 60284
662.35/664.15 c #Conflicts: 314000 | #Constraints: 61284
662.35/664.15 c #Conflicts: 315000 | #Constraints: 62284
662.35/664.15 c #Conflicts: 316000 | #Constraints: 63284
662.35/664.15 c #Conflicts: 317000 | #Constraints: 64284
662.35/664.15 c #Conflicts: 318000 | #Constraints: 65284
662.35/664.15 c #Conflicts: 319000 | #Constraints: 66284
662.35/664.15 c #Conflicts: 320000 | #Constraints: 67284
662.35/664.15 c #Conflicts: 321000 | #Constraints: 68284
662.35/664.15 c #Conflicts: 322000 | #Constraints: 69284
662.35/664.15 c #Conflicts: 323000 | #Constraints: 70284
662.35/664.15 c #Conflicts: 324000 | #Constraints: 71284
662.35/664.15 c #Conflicts: 325000 | #Constraints: 72284
662.35/664.15 c #Conflicts: 326000 | #Constraints: 73284
662.35/664.15 c #Conflicts: 327000 | #Constraints: 74284
662.35/664.15 c #Conflicts: 328000 | #Constraints: 75284
662.35/664.15 c #Conflicts: 329000 | #Constraints: 76284
662.35/664.15 c #Conflicts: 330000 | #Constraints: 77284
662.35/664.15 c #Conflicts: 331000 | #Constraints: 78284
662.35/664.15 c #Conflicts: 332000 | #Constraints: 79284
662.35/664.15 c #Conflicts: 333000 | #Constraints: 80284
662.35/664.15 c #Conflicts: 334000 | #Constraints: 81284
662.35/664.15 c #Conflicts: 335000 | #Constraints: 82284
662.35/664.15 c #Conflicts: 336000 | #Constraints: 83284
662.35/664.15 c #Conflicts: 337000 | #Constraints: 84284
662.35/664.15 c #Conflicts: 338000 | #Constraints: 85284
662.35/664.15 c #Conflicts: 339000 | #Constraints: 86284
662.35/664.15 c #Conflicts: 340000 | #Constraints: 87284
662.35/664.15 c INPROCESSING
662.35/664.15 c GARBAGE COLLECT
662.35/664.15 c #Conflicts: 341000 | #Constraints: 55874
662.35/664.15 c #Conflicts: 342000 | #Constraints: 56874
662.35/664.15 c #Conflicts: 343000 | #Constraints: 57874
662.35/664.15 c #Conflicts: 344000 | #Constraints: 58874
662.35/664.15 c #Conflicts: 345000 | #Constraints: 59874
662.35/664.15 c #Conflicts: 346000 | #Constraints: 60874
662.35/664.15 c #Conflicts: 347000 | #Constraints: 61874
662.35/664.15 c #Conflicts: 348000 | #Constraints: 62874
662.35/664.15 c #Conflicts: 349000 | #Constraints: 63874
662.35/664.15 c #Conflicts: 350000 | #Constraints: 64874
662.35/664.15 c #Conflicts: 351000 | #Constraints: 65874
662.35/664.15 c #Conflicts: 352000 | #Constraints: 66874
662.35/664.15 c #Conflicts: 353000 | #Constraints: 67874
662.35/664.15 c #Conflicts: 354000 | #Constraints: 68874
662.35/664.15 c #Conflicts: 355000 | #Constraints: 69874
662.35/664.15 c #Conflicts: 356000 | #Constraints: 70874
662.35/664.15 c #Conflicts: 357000 | #Constraints: 71874
662.35/664.15 c INPROCESSING
662.35/664.15 c GARBAGE COLLECT
662.35/664.15 c #Conflicts: 358000 | #Constraints: 54258
662.35/664.15 c #Conflicts: 359000 | #Constraints: 55258
662.35/664.15 c #Conflicts: 360000 | #Constraints: 56258
662.35/664.15 c #Conflicts: 361000 | #Constraints: 57258
662.35/664.15 c #Conflicts: 362000 | #Constraints: 58258
662.35/664.15 c #Conflicts: 363000 | #Constraints: 59258
662.35/664.15 c #Conflicts: 364000 | #Constraints: 60258
662.35/664.15 c #Conflicts: 365000 | #Constraints: 61258
662.35/664.15 c #Conflicts: 366000 | #Constraints: 62258
662.35/664.15 c #Conflicts: 367000 | #Constraints: 63258
662.35/664.15 c #Conflicts: 368000 | #Constraints: 64258
662.35/664.15 c #Conflicts: 369000 | #Constraints: 65258
662.35/664.15 c #Conflicts: 370000 | #Constraints: 66258
662.35/664.15 c #Conflicts: 371000 | #Constraints: 67258
662.35/664.15 c #Conflicts: 372000 | #Constraints: 68258
662.35/664.15 c #Conflicts: 373000 | #Constraints: 69258
662.35/664.15 c #Conflicts: 374000 | #Constraints: 70258
662.35/664.15 c #Conflicts: 375000 | #Constraints: 71258
662.35/664.15 c #Conflicts: 376000 | #Constraints: 72258
662.35/664.15 c #Conflicts: 377000 | #Constraints: 73258
662.35/664.15 c #Conflicts: 378000 | #Constraints: 74258
816.50/818.76 c #Conflicts: 379000 | #Constraints: 75258
816.50/818.76 c #Conflicts: 380000 | #Constraints: 76258
816.50/818.76 c #Conflicts: 381000 | #Constraints: 77258
816.50/818.76 c #Conflicts: 382000 | #Constraints: 78258
816.50/818.76 c #Conflicts: 383000 | #Constraints: 79258
816.50/818.76 c #Conflicts: 384000 | #Constraints: 80258
816.50/818.76 c #Conflicts: 385000 | #Constraints: 81258
816.50/818.76 c #Conflicts: 386000 | #Constraints: 82258
816.50/818.76 c #Conflicts: 387000 | #Constraints: 83258
816.50/818.76 c #Conflicts: 388000 | #Constraints: 84258
816.50/818.76 c #Conflicts: 389000 | #Constraints: 85258
816.50/818.76 c #Conflicts: 390000 | #Constraints: 86258
816.50/818.76 c #Conflicts: 391000 | #Constraints: 87258
816.50/818.76 c #Conflicts: 392000 | #Constraints: 88258
816.50/818.76 c #Conflicts: 393000 | #Constraints: 89258
816.50/818.76 c #Conflicts: 394000 | #Constraints: 90258
816.50/818.76 c #Conflicts: 395000 | #Constraints: 91258
816.50/818.76 c #Conflicts: 396000 | #Constraints: 92258
816.50/818.76 c #Conflicts: 397000 | #Constraints: 93258
816.50/818.76 c INPROCESSING
816.50/818.76 c GARBAGE COLLECT
816.50/818.76 c #Conflicts: 398000 | #Constraints: 58983
816.50/818.76 c #Conflicts: 399000 | #Constraints: 59983
816.50/818.76 c #Conflicts: 400000 | #Constraints: 60983
816.50/818.76 c #Conflicts: 401000 | #Constraints: 61983
816.50/818.76 c #Conflicts: 402000 | #Constraints: 62983
816.50/818.76 c #Conflicts: 403000 | #Constraints: 63983
816.50/818.76 c #Conflicts: 404000 | #Constraints: 64983
816.50/818.76 c #Conflicts: 405000 | #Constraints: 65983
816.50/818.76 c #Conflicts: 406000 | #Constraints: 66983
816.50/818.76 c #Conflicts: 407000 | #Constraints: 67983
816.50/818.76 c #Conflicts: 408000 | #Constraints: 68983
816.50/818.76 c #Conflicts: 409000 | #Constraints: 69983
816.50/818.76 c #Conflicts: 410000 | #Constraints: 70983
816.50/818.76 c #Conflicts: 411000 | #Constraints: 71983
816.50/818.76 c #Conflicts: 412000 | #Constraints: 72983
816.50/818.76 c #Conflicts: 413000 | #Constraints: 73983
816.50/818.76 c #Conflicts: 414000 | #Constraints: 74983
816.50/818.76 c #Conflicts: 415000 | #Constraints: 75983
816.50/818.76 c INPROCESSING
816.50/818.76 c GARBAGE COLLECT
816.50/818.76 c #Conflicts: 416000 | #Constraints: 57071
816.50/818.76 c #Conflicts: 417000 | #Constraints: 58071
816.50/818.76 c #Conflicts: 418000 | #Constraints: 59071
816.50/818.76 c #Conflicts: 419000 | #Constraints: 60071
816.50/818.76 c #Conflicts: 420000 | #Constraints: 61071
816.50/818.76 c #Conflicts: 421000 | #Constraints: 62071
816.50/818.76 c #Conflicts: 422000 | #Constraints: 63071
816.50/818.76 c #Conflicts: 423000 | #Constraints: 64071
816.50/818.76 c #Conflicts: 424000 | #Constraints: 65071
816.50/818.76 c #Conflicts: 425000 | #Constraints: 66071
816.50/818.76 c #Conflicts: 426000 | #Constraints: 67071
816.50/818.76 c #Conflicts: 427000 | #Constraints: 68071
816.50/818.76 c #Conflicts: 428000 | #Constraints: 69071
816.50/818.76 c #Conflicts: 429000 | #Constraints: 70071
816.50/818.76 c #Conflicts: 430000 | #Constraints: 71071
816.50/818.76 c #Conflicts: 431000 | #Constraints: 72071
816.50/818.76 c #Conflicts: 432000 | #Constraints: 73071
816.50/818.76 c #Conflicts: 433000 | #Constraints: 74071
816.50/818.76 c #Conflicts: 434000 | #Constraints: 75071
816.50/818.76 c #Conflicts: 435000 | #Constraints: 76071
816.50/818.76 c #Conflicts: 436000 | #Constraints: 77071
816.50/818.76 c #Conflicts: 437000 | #Constraints: 78071
816.50/818.76 c #Conflicts: 438000 | #Constraints: 79071
816.50/818.76 c #Conflicts: 439000 | #Constraints: 80071
816.50/818.76 c #Conflicts: 440000 | #Constraints: 81071
816.50/818.76 c #Conflicts: 441000 | #Constraints: 82071
816.50/818.76 c #Conflicts: 442000 | #Constraints: 83071
816.50/818.76 c #Conflicts: 443000 | #Constraints: 84071
816.50/818.76 c #Conflicts: 444000 | #Constraints: 85071
816.50/818.76 c #Conflicts: 445000 | #Constraints: 86071
816.50/818.76 c #Conflicts: 446000 | #Constraints: 87071
816.50/818.76 c #Conflicts: 447000 | #Constraints: 88071
816.50/818.76 c #Conflicts: 448000 | #Constraints: 89071
816.50/818.76 c #Conflicts: 449000 | #Constraints: 90071
816.50/818.76 c #Conflicts: 450000 | #Constraints: 91071
816.50/818.76 c #Conflicts: 451000 | #Constraints: 92071
816.50/818.76 c #Conflicts: 452000 | #Constraints: 93071
816.50/818.76 c #Conflicts: 453000 | #Constraints: 94072
816.50/818.76 c #Conflicts: 454000 | #Constraints: 95072
816.50/818.76 c #Conflicts: 455000 | #Constraints: 96072
816.50/818.76 c #Conflicts: 456000 | #Constraints: 97072
984.30/986.94 c #Conflicts: 457000 | #Constraints: 98072
984.30/986.94 c #Conflicts: 458000 | #Constraints: 99072
984.30/986.94 c #Conflicts: 459000 | #Constraints: 100072
984.30/986.94 c INPROCESSING
984.30/986.94 c GARBAGE COLLECT
984.30/986.94 c #Conflicts: 460000 | #Constraints: 62565
984.30/986.94 c #Conflicts: 461000 | #Constraints: 63565
984.30/986.94 c #Conflicts: 462000 | #Constraints: 64565
984.30/986.94 c #Conflicts: 463000 | #Constraints: 65565
984.30/986.94 c #Conflicts: 464000 | #Constraints: 66565
984.30/986.94 c #Conflicts: 465000 | #Constraints: 67565
984.30/986.94 c #Conflicts: 466000 | #Constraints: 68565
984.30/986.94 c #Conflicts: 467000 | #Constraints: 69565
984.30/986.94 c #Conflicts: 468000 | #Constraints: 70565
984.30/986.94 c #Conflicts: 469000 | #Constraints: 71565
984.30/986.94 c #Conflicts: 470000 | #Constraints: 72565
984.30/986.94 c #Conflicts: 471000 | #Constraints: 73565
984.30/986.94 c #Conflicts: 472000 | #Constraints: 74565
984.30/986.94 c #Conflicts: 473000 | #Constraints: 75565
984.30/986.94 c #Conflicts: 474000 | #Constraints: 76565
984.30/986.94 c #Conflicts: 475000 | #Constraints: 77565
984.30/986.94 c #Conflicts: 476000 | #Constraints: 78565
984.30/986.94 c #Conflicts: 477000 | #Constraints: 79565
984.30/986.94 c #Conflicts: 478000 | #Constraints: 80565
984.30/986.94 c INPROCESSING
984.30/986.94 c GARBAGE COLLECT
984.30/986.94 c #Conflicts: 479000 | #Constraints: 59928
984.30/986.94 c #Conflicts: 480000 | #Constraints: 60928
984.30/986.94 c #Conflicts: 481000 | #Constraints: 61928
984.30/986.94 c #Conflicts: 482000 | #Constraints: 62928
984.30/986.94 c #Conflicts: 483000 | #Constraints: 63928
984.30/986.94 c #Conflicts: 484000 | #Constraints: 64928
984.30/986.94 c #Conflicts: 485000 | #Constraints: 65928
984.30/986.94 c #Conflicts: 486000 | #Constraints: 66928
984.30/986.94 c #Conflicts: 487000 | #Constraints: 67928
984.30/986.94 c #Conflicts: 488000 | #Constraints: 68928
984.30/986.94 c #Conflicts: 489000 | #Constraints: 69928
984.30/986.94 c #Conflicts: 490000 | #Constraints: 70928
984.30/986.94 c #Conflicts: 491000 | #Constraints: 71928
984.30/986.94 c #Conflicts: 492000 | #Constraints: 72928
984.30/986.94 c #Conflicts: 493000 | #Constraints: 73928
984.30/986.94 c #Conflicts: 494000 | #Constraints: 74928
984.30/986.94 c #Conflicts: 495000 | #Constraints: 75928
984.30/986.94 c #Conflicts: 496000 | #Constraints: 76928
984.30/986.94 c #Conflicts: 497000 | #Constraints: 77928
984.30/986.94 c #Conflicts: 498000 | #Constraints: 78928
984.30/986.94 c #Conflicts: 499000 | #Constraints: 79928
984.30/986.94 c #Conflicts: 500000 | #Constraints: 80928
984.30/986.94 c #Conflicts: 501000 | #Constraints: 81928
984.30/986.94 c #Conflicts: 502000 | #Constraints: 82928
984.30/986.94 c #Conflicts: 503000 | #Constraints: 83928
984.30/986.94 c #Conflicts: 504000 | #Constraints: 84928
984.30/986.94 c #Conflicts: 505000 | #Constraints: 85928
984.30/986.94 c #Conflicts: 506000 | #Constraints: 86928
984.30/986.94 c #Conflicts: 507000 | #Constraints: 87928
984.30/986.94 c #Conflicts: 508000 | #Constraints: 88928
984.30/986.94 c #Conflicts: 509000 | #Constraints: 89928
984.30/986.94 c #Conflicts: 510000 | #Constraints: 90928
984.30/986.94 c #Conflicts: 511000 | #Constraints: 91928
984.30/986.94 c #Conflicts: 512000 | #Constraints: 92928
984.30/986.94 c #Conflicts: 513000 | #Constraints: 93928
984.30/986.94 c #Conflicts: 514000 | #Constraints: 94928
984.30/986.94 c #Conflicts: 515000 | #Constraints: 95928
984.30/986.94 c #Conflicts: 516000 | #Constraints: 96928
984.30/986.94 c #Conflicts: 517000 | #Constraints: 97928
984.30/986.94 c #Conflicts: 518000 | #Constraints: 98928
984.30/986.94 c #Conflicts: 519000 | #Constraints: 99928
984.30/986.94 c #Conflicts: 520000 | #Constraints: 100928
984.30/986.94 c #Conflicts: 521000 | #Constraints: 101928
984.30/986.94 c #Conflicts: 522000 | #Constraints: 102928
984.30/986.94 c #Conflicts: 523000 | #Constraints: 103928
984.30/986.94 c #Conflicts: 524000 | #Constraints: 104928
984.30/986.94 c #Conflicts: 525000 | #Constraints: 105928
984.30/986.94 c INPROCESSING
984.30/986.94 c GARBAGE COLLECT
984.30/986.94 c #Conflicts: 526000 | #Constraints: 65693
984.30/986.94 c #Conflicts: 527000 | #Constraints: 66693
984.30/986.94 c #Conflicts: 528000 | #Constraints: 67693
984.30/986.94 c #Conflicts: 529000 | #Constraints: 68693
984.30/986.94 c #Conflicts: 530000 | #Constraints: 69693
984.30/986.94 c #Conflicts: 531000 | #Constraints: 70693
984.30/986.94 c #Conflicts: 532000 | #Constraints: 71693
984.30/986.94 c #Conflicts: 533000 | #Constraints: 72693
1057.64/1060.47 c #Conflicts: 534000 | #Constraints: 73693
1057.64/1060.47 c #Conflicts: 535000 | #Constraints: 74693
1057.64/1060.47 c #Conflicts: 536000 | #Constraints: 75693
1057.64/1060.47 c #Conflicts: 537000 | #Constraints: 76693
1057.64/1060.47 c #Conflicts: 538000 | #Constraints: 77693
1057.64/1060.47 c #Conflicts: 539000 | #Constraints: 78693
1057.64/1060.47 c #Conflicts: 540000 | #Constraints: 79693
1057.64/1060.47 c #Conflicts: 541000 | #Constraints: 80693
1057.64/1060.47 c #Conflicts: 542000 | #Constraints: 81693
1057.64/1060.47 c #Conflicts: 543000 | #Constraints: 82693
1057.64/1060.47 c #Conflicts: 544000 | #Constraints: 83693
1057.64/1060.47 c #Conflicts: 545000 | #Constraints: 84693
1057.64/1060.47 c INPROCESSING
1057.64/1060.47 c GARBAGE COLLECT
1057.64/1060.47 c rational objective 176
1203.48/1206.64 c #Conflicts: 546000 | #Constraints: 62484
1203.48/1206.64 c #Conflicts: 547000 | #Constraints: 63484
1203.48/1206.64 c #Conflicts: 548000 | #Constraints: 64484
1203.48/1206.64 c #Conflicts: 549000 | #Constraints: 65484
1203.48/1206.64 c #Conflicts: 550000 | #Constraints: 66484
1203.48/1206.64 c #Conflicts: 551000 | #Constraints: 67484
1203.48/1206.64 c #Conflicts: 552000 | #Constraints: 68484
1203.48/1206.64 c #Conflicts: 553000 | #Constraints: 69484
1203.48/1206.64 c #Conflicts: 554000 | #Constraints: 70484
1203.48/1206.64 c #Conflicts: 555000 | #Constraints: 71484
1203.48/1206.64 c #Conflicts: 556000 | #Constraints: 72484
1203.48/1206.64 c #Conflicts: 557000 | #Constraints: 73484
1203.48/1206.64 c #Conflicts: 558000 | #Constraints: 74484
1203.48/1206.64 c #Conflicts: 559000 | #Constraints: 75484
1203.48/1206.64 c #Conflicts: 560000 | #Constraints: 76484
1203.48/1206.64 c #Conflicts: 561000 | #Constraints: 77484
1203.48/1206.64 c #Conflicts: 562000 | #Constraints: 78484
1203.48/1206.64 c #Conflicts: 563000 | #Constraints: 79484
1203.48/1206.64 c #Conflicts: 564000 | #Constraints: 80484
1203.48/1206.64 c #Conflicts: 565000 | #Constraints: 81484
1203.48/1206.64 c #Conflicts: 566000 | #Constraints: 82484
1203.48/1206.64 c #Conflicts: 567000 | #Constraints: 83484
1203.48/1206.64 c #Conflicts: 568000 | #Constraints: 84484
1203.48/1206.64 c #Conflicts: 569000 | #Constraints: 85484
1203.48/1206.64 c #Conflicts: 570000 | #Constraints: 86484
1203.48/1206.64 c #Conflicts: 571000 | #Constraints: 87484
1203.48/1206.64 c #Conflicts: 572000 | #Constraints: 88484
1203.48/1206.64 c #Conflicts: 573000 | #Constraints: 89484
1203.48/1206.64 c #Conflicts: 574000 | #Constraints: 90484
1203.48/1206.64 c #Conflicts: 575000 | #Constraints: 91484
1203.48/1206.64 c #Conflicts: 576000 | #Constraints: 92484
1203.48/1206.64 c #Conflicts: 577000 | #Constraints: 93484
1203.48/1206.64 c #Conflicts: 578000 | #Constraints: 94484
1203.48/1206.64 c #Conflicts: 579000 | #Constraints: 95484
1203.48/1206.64 c #Conflicts: 580000 | #Constraints: 96484
1203.48/1206.64 c #Conflicts: 581000 | #Constraints: 97484
1203.48/1206.64 c #Conflicts: 582000 | #Constraints: 98484
1203.48/1206.64 c #Conflicts: 583000 | #Constraints: 99484
1203.48/1206.64 c #Conflicts: 584000 | #Constraints: 100484
1203.48/1206.64 c #Conflicts: 585000 | #Constraints: 101484
1203.48/1206.64 c #Conflicts: 586000 | #Constraints: 102484
1203.48/1206.64 c #Conflicts: 587000 | #Constraints: 103484
1203.48/1206.64 c #Conflicts: 588000 | #Constraints: 104484
1203.48/1206.64 c #Conflicts: 589000 | #Constraints: 105484
1203.48/1206.64 c #Conflicts: 590000 | #Constraints: 106484
1203.48/1206.64 c #Conflicts: 591000 | #Constraints: 107484
1203.48/1206.64 c #Conflicts: 592000 | #Constraints: 108484
1203.48/1206.64 c #Conflicts: 593000 | #Constraints: 109484
1203.48/1206.64 c #Conflicts: 594000 | #Constraints: 110484
1203.48/1206.64 c #Conflicts: 595000 | #Constraints: 111484
1203.48/1206.64 c INPROCESSING
1203.48/1206.64 c GARBAGE COLLECT
1203.48/1206.64 c #Conflicts: 596000 | #Constraints: 68390
1203.48/1206.64 c #Conflicts: 597000 | #Constraints: 69390
1203.48/1206.64 c #Conflicts: 598000 | #Constraints: 70390
1203.48/1206.64 c #Conflicts: 599000 | #Constraints: 71390
1203.48/1206.64 c #Conflicts: 600000 | #Constraints: 72390
1203.48/1206.64 c #Conflicts: 601000 | #Constraints: 73390
1203.48/1206.64 c #Conflicts: 602000 | #Constraints: 74390
1203.48/1206.64 c #Conflicts: 603000 | #Constraints: 75390
1203.48/1206.64 c #Conflicts: 604000 | #Constraints: 76390
1203.48/1206.64 c #Conflicts: 605000 | #Constraints: 77390
1203.48/1206.64 c #Conflicts: 606000 | #Constraints: 78390
1203.48/1206.64 c #Conflicts: 607000 | #Constraints: 79390
1203.48/1206.64 c #Conflicts: 608000 | #Constraints: 80390
1203.48/1206.64 c #Conflicts: 609000 | #Constraints: 81390
1203.48/1206.64 c #Conflicts: 610000 | #Constraints: 82390
1203.48/1206.64 c #Conflicts: 611000 | #Constraints: 83390
1203.48/1206.64 c #Conflicts: 612000 | #Constraints: 84390
1203.48/1206.64 c #Conflicts: 613000 | #Constraints: 85390
1203.48/1206.64 c #Conflicts: 614000 | #Constraints: 86390
1203.48/1206.64 c #Conflicts: 615000 | #Constraints: 87390
1203.48/1206.64 c #Conflicts: 616000 | #Constraints: 88390
1203.48/1206.64 c #Conflicts: 617000 | #Constraints: 89390
1203.48/1206.64 c INPROCESSING
1203.48/1206.64 c GARBAGE COLLECT
1203.48/1206.64 c #Conflicts: 618000 | #Constraints: 65813
1203.48/1206.64 c #Conflicts: 619000 | #Constraints: 66813
1203.48/1206.64 c #Conflicts: 620000 | #Constraints: 67813
1203.48/1206.64 c #Conflicts: 621000 | #Constraints: 68813
1203.48/1206.64 c #Conflicts: 622000 | #Constraints: 69813
1203.48/1206.64 c #Conflicts: 623000 | #Constraints: 70813
1382.06/1385.61 c #Conflicts: 624000 | #Constraints: 71813
1382.06/1385.61 c #Conflicts: 625000 | #Constraints: 72813
1382.06/1385.61 c #Conflicts: 626000 | #Constraints: 73813
1382.06/1385.61 c #Conflicts: 627000 | #Constraints: 74813
1382.06/1385.61 c #Conflicts: 628000 | #Constraints: 75813
1382.06/1385.61 c #Conflicts: 629000 | #Constraints: 76813
1382.06/1385.61 c #Conflicts: 630000 | #Constraints: 77813
1382.06/1385.61 c #Conflicts: 631000 | #Constraints: 78813
1382.06/1385.61 c #Conflicts: 632000 | #Constraints: 79813
1382.06/1385.61 c #Conflicts: 633000 | #Constraints: 80813
1382.06/1385.61 c #Conflicts: 634000 | #Constraints: 81813
1382.06/1385.61 c #Conflicts: 635000 | #Constraints: 82813
1382.06/1385.61 c #Conflicts: 636000 | #Constraints: 83813
1382.06/1385.61 c #Conflicts: 637000 | #Constraints: 84813
1382.06/1385.61 c #Conflicts: 638000 | #Constraints: 85813
1382.06/1385.61 c #Conflicts: 639000 | #Constraints: 86813
1382.06/1385.61 c #Conflicts: 640000 | #Constraints: 87813
1382.06/1385.61 c #Conflicts: 641000 | #Constraints: 88813
1382.06/1385.61 c #Conflicts: 642000 | #Constraints: 89813
1382.06/1385.61 c #Conflicts: 643000 | #Constraints: 90813
1382.06/1385.61 c #Conflicts: 644000 | #Constraints: 91813
1382.06/1385.61 c #Conflicts: 645000 | #Constraints: 92813
1382.06/1385.61 c #Conflicts: 646000 | #Constraints: 93813
1382.06/1385.61 c #Conflicts: 647000 | #Constraints: 94813
1382.06/1385.61 c #Conflicts: 648000 | #Constraints: 95813
1382.06/1385.61 c #Conflicts: 649000 | #Constraints: 96813
1382.06/1385.61 c #Conflicts: 650000 | #Constraints: 97813
1382.06/1385.61 c #Conflicts: 651000 | #Constraints: 98813
1382.06/1385.61 c #Conflicts: 652000 | #Constraints: 99813
1382.06/1385.61 c #Conflicts: 653000 | #Constraints: 100813
1382.06/1385.61 c #Conflicts: 654000 | #Constraints: 101813
1382.06/1385.61 c #Conflicts: 655000 | #Constraints: 102813
1382.06/1385.61 c #Conflicts: 656000 | #Constraints: 103813
1382.06/1385.61 c #Conflicts: 657000 | #Constraints: 104813
1382.06/1385.61 c #Conflicts: 658000 | #Constraints: 105813
1382.06/1385.61 c #Conflicts: 659000 | #Constraints: 106813
1382.06/1385.61 c #Conflicts: 660000 | #Constraints: 107813
1382.06/1385.61 c #Conflicts: 661000 | #Constraints: 108813
1382.06/1385.61 c #Conflicts: 662000 | #Constraints: 109813
1382.06/1385.61 c #Conflicts: 663000 | #Constraints: 110813
1382.06/1385.61 c #Conflicts: 664000 | #Constraints: 111813
1382.06/1385.61 c #Conflicts: 665000 | #Constraints: 112813
1382.06/1385.61 c #Conflicts: 666000 | #Constraints: 113813
1382.06/1385.61 c #Conflicts: 667000 | #Constraints: 114813
1382.06/1385.61 c #Conflicts: 668000 | #Constraints: 115813
1382.06/1385.61 c #Conflicts: 669000 | #Constraints: 116813
1382.06/1385.61 c INPROCESSING
1382.06/1385.61 c GARBAGE COLLECT
1382.06/1385.61 c #Conflicts: 670000 | #Constraints: 71031
1382.06/1385.61 c #Conflicts: 671000 | #Constraints: 72031
1382.06/1385.61 c #Conflicts: 672000 | #Constraints: 73031
1382.06/1385.61 c #Conflicts: 673000 | #Constraints: 74031
1382.06/1385.61 c #Conflicts: 674000 | #Constraints: 75031
1382.06/1385.61 c #Conflicts: 675000 | #Constraints: 76031
1382.06/1385.61 c #Conflicts: 676000 | #Constraints: 77031
1382.06/1385.61 c #Conflicts: 677000 | #Constraints: 78031
1382.06/1385.61 c #Conflicts: 678000 | #Constraints: 79031
1382.06/1385.61 c #Conflicts: 679000 | #Constraints: 80031
1382.06/1385.61 c #Conflicts: 680000 | #Constraints: 81031
1382.06/1385.61 c #Conflicts: 681000 | #Constraints: 82031
1382.06/1385.61 c #Conflicts: 682000 | #Constraints: 83031
1382.06/1385.61 c #Conflicts: 683000 | #Constraints: 84031
1382.06/1385.61 c #Conflicts: 684000 | #Constraints: 85031
1382.06/1385.61 c #Conflicts: 685000 | #Constraints: 86031
1382.06/1385.61 c #Conflicts: 686000 | #Constraints: 87031
1382.06/1385.61 c #Conflicts: 687000 | #Constraints: 88031
1382.06/1385.61 c #Conflicts: 688000 | #Constraints: 89031
1382.06/1385.61 c #Conflicts: 689000 | #Constraints: 90031
1382.06/1385.61 c #Conflicts: 690000 | #Constraints: 91031
1382.06/1385.61 c #Conflicts: 691000 | #Constraints: 92031
1382.06/1385.61 c #Conflicts: 692000 | #Constraints: 93031
1382.06/1385.61 c #Conflicts: 693000 | #Constraints: 94031
1382.06/1385.61 c INPROCESSING
1382.06/1385.61 c GARBAGE COLLECT
1382.06/1385.61 c #Conflicts: 694000 | #Constraints: 69092
1382.06/1385.61 c #Conflicts: 695000 | #Constraints: 70092
1382.06/1385.61 c #Conflicts: 696000 | #Constraints: 71092
1382.06/1385.61 c #Conflicts: 697000 | #Constraints: 72092
1382.06/1385.61 c #Conflicts: 698000 | #Constraints: 73092
1382.06/1385.61 c #Conflicts: 699000 | #Constraints: 74092
1382.06/1385.61 c #Conflicts: 700000 | #Constraints: 75092
1555.85/1559.81 c #Conflicts: 701000 | #Constraints: 76092
1555.85/1559.81 c #Conflicts: 702000 | #Constraints: 77092
1555.85/1559.81 c #Conflicts: 703000 | #Constraints: 78092
1555.85/1559.81 c #Conflicts: 704000 | #Constraints: 79092
1555.85/1559.81 c #Conflicts: 705000 | #Constraints: 80092
1555.85/1559.81 c #Conflicts: 706000 | #Constraints: 81092
1555.85/1559.81 c #Conflicts: 707000 | #Constraints: 82092
1555.85/1559.81 c #Conflicts: 708000 | #Constraints: 83092
1555.85/1559.81 c #Conflicts: 709000 | #Constraints: 84092
1555.85/1559.81 c #Conflicts: 710000 | #Constraints: 85092
1555.85/1559.81 c #Conflicts: 711000 | #Constraints: 86092
1555.85/1559.81 c #Conflicts: 712000 | #Constraints: 87092
1555.85/1559.81 c #Conflicts: 713000 | #Constraints: 88092
1555.85/1559.81 c #Conflicts: 714000 | #Constraints: 89092
1555.85/1559.81 c #Conflicts: 715000 | #Constraints: 90092
1555.85/1559.81 c #Conflicts: 716000 | #Constraints: 91092
1555.85/1559.81 c #Conflicts: 717000 | #Constraints: 92092
1555.85/1559.81 c #Conflicts: 718000 | #Constraints: 93092
1555.85/1559.81 c #Conflicts: 719000 | #Constraints: 94092
1555.85/1559.81 c #Conflicts: 720000 | #Constraints: 95092
1555.85/1559.81 c #Conflicts: 721000 | #Constraints: 96092
1555.85/1559.81 c #Conflicts: 722000 | #Constraints: 97092
1555.85/1559.81 c #Conflicts: 723000 | #Constraints: 98092
1555.85/1559.81 c #Conflicts: 724000 | #Constraints: 99092
1555.85/1559.81 c #Conflicts: 725000 | #Constraints: 100092
1555.85/1559.81 c #Conflicts: 726000 | #Constraints: 101092
1555.85/1559.81 c #Conflicts: 727000 | #Constraints: 102092
1555.85/1559.81 c #Conflicts: 728000 | #Constraints: 103092
1555.85/1559.81 c #Conflicts: 729000 | #Constraints: 104092
1555.85/1559.81 c #Conflicts: 730000 | #Constraints: 105092
1555.85/1559.81 c #Conflicts: 731000 | #Constraints: 106092
1555.85/1559.81 c #Conflicts: 732000 | #Constraints: 107092
1555.85/1559.81 c #Conflicts: 733000 | #Constraints: 108092
1555.85/1559.81 c #Conflicts: 734000 | #Constraints: 109092
1555.85/1559.81 c #Conflicts: 735000 | #Constraints: 110092
1555.85/1559.81 c #Conflicts: 736000 | #Constraints: 111092
1555.85/1559.81 c #Conflicts: 737000 | #Constraints: 112092
1555.85/1559.81 c #Conflicts: 738000 | #Constraints: 113092
1555.85/1559.81 c #Conflicts: 739000 | #Constraints: 114092
1555.85/1559.81 c #Conflicts: 740000 | #Constraints: 115092
1555.85/1559.81 c #Conflicts: 741000 | #Constraints: 116092
1555.85/1559.81 c #Conflicts: 742000 | #Constraints: 117092
1555.85/1559.81 c #Conflicts: 743000 | #Constraints: 118092
1555.85/1559.81 c #Conflicts: 744000 | #Constraints: 119092
1555.85/1559.81 c #Conflicts: 745000 | #Constraints: 120092
1555.85/1559.81 c #Conflicts: 746000 | #Constraints: 121092
1555.85/1559.81 c #Conflicts: 747000 | #Constraints: 122092
1555.85/1559.81 c #Conflicts: 748000 | #Constraints: 123092
1555.85/1559.81 c INPROCESSING
1555.85/1559.81 c GARBAGE COLLECT
1555.85/1559.81 c #Conflicts: 749000 | #Constraints: 74185
1555.85/1559.81 c #Conflicts: 750000 | #Constraints: 75185
1555.85/1559.81 c #Conflicts: 751000 | #Constraints: 76185
1555.85/1559.81 c #Conflicts: 752000 | #Constraints: 77185
1555.85/1559.81 c #Conflicts: 753000 | #Constraints: 78185
1555.85/1559.81 c #Conflicts: 754000 | #Constraints: 79185
1555.85/1559.81 c #Conflicts: 755000 | #Constraints: 80185
1555.85/1559.81 c #Conflicts: 756000 | #Constraints: 81185
1555.85/1559.81 c #Conflicts: 757000 | #Constraints: 82185
1555.85/1559.81 c #Conflicts: 758000 | #Constraints: 83185
1555.85/1559.81 c #Conflicts: 759000 | #Constraints: 84185
1555.85/1559.81 c #Conflicts: 760000 | #Constraints: 85185
1555.85/1559.81 c #Conflicts: 761000 | #Constraints: 86185
1555.85/1559.81 c #Conflicts: 762000 | #Constraints: 87185
1555.85/1559.81 c #Conflicts: 763000 | #Constraints: 88185
1555.85/1559.81 c #Conflicts: 764000 | #Constraints: 89185
1555.85/1559.81 c #Conflicts: 765000 | #Constraints: 90185
1555.85/1559.81 c #Conflicts: 766000 | #Constraints: 91185
1555.85/1559.81 c #Conflicts: 767000 | #Constraints: 92185
1555.85/1559.81 c #Conflicts: 768000 | #Constraints: 93185
1555.85/1559.81 c #Conflicts: 769000 | #Constraints: 94185
1555.85/1559.81 c #Conflicts: 770000 | #Constraints: 95185
1555.85/1559.81 c #Conflicts: 771000 | #Constraints: 96185
1555.85/1559.81 c #Conflicts: 772000 | #Constraints: 97185
1555.85/1559.81 c #Conflicts: 773000 | #Constraints: 98185
1555.85/1559.81 c INPROCESSING
1555.85/1559.81 c GARBAGE COLLECT
1555.85/1559.81 c #Conflicts: 774000 | #Constraints: 71497
1555.85/1559.81 c #Conflicts: 775000 | #Constraints: 72497
1555.85/1559.81 c #Conflicts: 776000 | #Constraints: 73497
1555.85/1559.81 c #Conflicts: 777000 | #Constraints: 74497
1555.85/1559.81 c #Conflicts: 778000 | #Constraints: 75497
1685.84/1690.18 c #Conflicts: 779000 | #Constraints: 76497
1685.84/1690.18 c #Conflicts: 780000 | #Constraints: 77497
1685.84/1690.18 c #Conflicts: 781000 | #Constraints: 78497
1685.84/1690.18 c #Conflicts: 782000 | #Constraints: 79497
1685.84/1690.18 c #Conflicts: 783000 | #Constraints: 80497
1685.84/1690.18 c #Conflicts: 784000 | #Constraints: 81497
1685.84/1690.18 c #Conflicts: 785000 | #Constraints: 82497
1685.84/1690.18 c #Conflicts: 786000 | #Constraints: 83497
1685.84/1690.18 c #Conflicts: 787000 | #Constraints: 84497
1685.84/1690.18 c #Conflicts: 788000 | #Constraints: 85497
1685.84/1690.18 c #Conflicts: 789000 | #Constraints: 86497
1685.84/1690.18 c #Conflicts: 790000 | #Constraints: 87497
1685.84/1690.18 c #Conflicts: 791000 | #Constraints: 88497
1685.84/1690.18 c #Conflicts: 792000 | #Constraints: 89497
1685.84/1690.18 c #Conflicts: 793000 | #Constraints: 90497
1685.84/1690.18 c #Conflicts: 794000 | #Constraints: 91497
1685.84/1690.18 c #Conflicts: 795000 | #Constraints: 92497
1685.84/1690.18 c #Conflicts: 796000 | #Constraints: 93497
1685.84/1690.18 c #Conflicts: 797000 | #Constraints: 94497
1685.84/1690.18 c #Conflicts: 798000 | #Constraints: 95497
1685.84/1690.18 c #Conflicts: 799000 | #Constraints: 96497
1685.84/1690.18 c #Conflicts: 800000 | #Constraints: 97497
1685.84/1690.18 c #Conflicts: 801000 | #Constraints: 98497
1685.84/1690.18 c #Conflicts: 802000 | #Constraints: 99497
1685.84/1690.18 c #Conflicts: 803000 | #Constraints: 100497
1685.84/1690.18 c #Conflicts: 804000 | #Constraints: 101497
1685.84/1690.18 c #Conflicts: 805000 | #Constraints: 102497
1685.84/1690.18 c #Conflicts: 806000 | #Constraints: 103497
1685.84/1690.18 c #Conflicts: 807000 | #Constraints: 104497
1685.84/1690.18 c #Conflicts: 808000 | #Constraints: 105497
1685.84/1690.18 c #Conflicts: 809000 | #Constraints: 106497
1685.84/1690.18 c #Conflicts: 810000 | #Constraints: 107497
1685.84/1690.18 c #Conflicts: 811000 | #Constraints: 108497
1685.84/1690.18 c #Conflicts: 812000 | #Constraints: 109497
1685.84/1690.18 c #Conflicts: 813000 | #Constraints: 110497
1685.84/1690.18 c #Conflicts: 814000 | #Constraints: 111497
1685.84/1690.18 c #Conflicts: 815000 | #Constraints: 112497
1685.84/1690.18 c #Conflicts: 816000 | #Constraints: 113497
1685.84/1690.18 c #Conflicts: 817000 | #Constraints: 114497
1685.84/1690.18 c #Conflicts: 818000 | #Constraints: 115497
1685.84/1690.18 c #Conflicts: 819000 | #Constraints: 116497
1685.84/1690.18 c #Conflicts: 820000 | #Constraints: 117497
1685.84/1690.18 c #Conflicts: 821000 | #Constraints: 118497
1685.84/1690.18 c #Conflicts: 822000 | #Constraints: 119497
1685.84/1690.18 c #Conflicts: 823000 | #Constraints: 120497
1685.84/1690.18 c #Conflicts: 824000 | #Constraints: 121497
1685.84/1690.18 c #Conflicts: 825000 | #Constraints: 122497
1685.84/1690.18 c #Conflicts: 826000 | #Constraints: 123497
1685.84/1690.18 c #Conflicts: 827000 | #Constraints: 124497
1685.84/1690.18 c #Conflicts: 828000 | #Constraints: 125497
1685.84/1690.18 c #Conflicts: 829000 | #Constraints: 126497
1685.84/1690.18 c #Conflicts: 830000 | #Constraints: 127497
1685.84/1690.18 c #Conflicts: 831000 | #Constraints: 128497
1685.84/1690.18 c #Conflicts: 832000 | #Constraints: 129497
1685.84/1690.18 c INPROCESSING
1685.84/1690.18 c GARBAGE COLLECT
1685.84/1690.18 c rational objective 176
1772.11/1776.67 c #Conflicts: 833000 | #Constraints: 77776
1772.11/1776.67 c #Conflicts: 834000 | #Constraints: 78776
1772.11/1776.67 c #Conflicts: 835000 | #Constraints: 79776
1772.11/1776.67 c #Conflicts: 836000 | #Constraints: 80776
1772.11/1776.67 c #Conflicts: 837000 | #Constraints: 81776
1772.11/1776.67 c #Conflicts: 838000 | #Constraints: 82776
1772.11/1776.67 c #Conflicts: 839000 | #Constraints: 83776
1772.11/1776.67 c #Conflicts: 840000 | #Constraints: 84776
1772.11/1776.67 c #Conflicts: 841000 | #Constraints: 85776
1772.11/1776.67 c #Conflicts: 842000 | #Constraints: 86776
1772.11/1776.67 c #Conflicts: 843000 | #Constraints: 87776
1772.11/1776.67 c #Conflicts: 844000 | #Constraints: 88776
1772.11/1776.67 c #Conflicts: 845000 | #Constraints: 89776
1772.11/1776.67 c #Conflicts: 846000 | #Constraints: 90776
1772.11/1776.67 c #Conflicts: 847000 | #Constraints: 91776
1772.11/1776.67 c #Conflicts: 848000 | #Constraints: 92776
1772.11/1776.67 c #Conflicts: 849000 | #Constraints: 93776
1772.11/1776.67 c #Conflicts: 850000 | #Constraints: 94776
1772.11/1776.67 c #Conflicts: 851000 | #Constraints: 95776
1772.11/1776.67 c #Conflicts: 852000 | #Constraints: 96776
1772.11/1776.67 c #Conflicts: 853000 | #Constraints: 97776
1772.11/1776.67 c #Conflicts: 854000 | #Constraints: 98776
1772.11/1776.67 c #Conflicts: 855000 | #Constraints: 99776
1772.11/1776.67 c #Conflicts: 856000 | #Constraints: 100776
1772.11/1776.67 c #Conflicts: 857000 | #Constraints: 101776
1772.11/1776.67 c #Conflicts: 858000 | #Constraints: 102776
1772.11/1776.67 c INPROCESSING
1772.11/1776.67 c GARBAGE COLLECT
1772.11/1776.67 c rational objective 176
1991.08/1996.14 c #Conflicts: 859000 | #Constraints: 74670
1991.08/1996.14 c #Conflicts: 860000 | #Constraints: 75670
1991.08/1996.14 c #Conflicts: 861000 | #Constraints: 76670
1991.08/1996.14 c #Conflicts: 862000 | #Constraints: 77670
1991.08/1996.14 c #Conflicts: 863000 | #Constraints: 78670
1991.08/1996.14 c #Conflicts: 864000 | #Constraints: 79670
1991.08/1996.14 c #Conflicts: 865000 | #Constraints: 80670
1991.08/1996.14 c #Conflicts: 866000 | #Constraints: 81670
1991.08/1996.14 c #Conflicts: 867000 | #Constraints: 82670
1991.08/1996.14 c #Conflicts: 868000 | #Constraints: 83670
1991.08/1996.14 c #Conflicts: 869000 | #Constraints: 84670
1991.08/1996.14 c #Conflicts: 870000 | #Constraints: 85670
1991.08/1996.14 c #Conflicts: 871000 | #Constraints: 86670
1991.08/1996.14 c #Conflicts: 872000 | #Constraints: 87670
1991.08/1996.14 c #Conflicts: 873000 | #Constraints: 88670
1991.08/1996.14 c #Conflicts: 874000 | #Constraints: 89670
1991.08/1996.14 c #Conflicts: 875000 | #Constraints: 90670
1991.08/1996.14 c #Conflicts: 876000 | #Constraints: 91670
1991.08/1996.14 c #Conflicts: 877000 | #Constraints: 92670
1991.08/1996.14 c #Conflicts: 878000 | #Constraints: 93670
1991.08/1996.14 c #Conflicts: 879000 | #Constraints: 94670
1991.08/1996.14 c #Conflicts: 880000 | #Constraints: 95670
1991.08/1996.14 c #Conflicts: 881000 | #Constraints: 96670
1991.08/1996.14 c #Conflicts: 882000 | #Constraints: 97670
1991.08/1996.14 c #Conflicts: 883000 | #Constraints: 98670
1991.08/1996.14 c #Conflicts: 884000 | #Constraints: 99670
1991.08/1996.14 c #Conflicts: 885000 | #Constraints: 100670
1991.08/1996.14 c #Conflicts: 886000 | #Constraints: 101670
1991.08/1996.14 c #Conflicts: 887000 | #Constraints: 102670
1991.08/1996.14 c #Conflicts: 888000 | #Constraints: 103670
1991.08/1996.14 c #Conflicts: 889000 | #Constraints: 104670
1991.08/1996.14 c #Conflicts: 890000 | #Constraints: 105670
1991.08/1996.14 c #Conflicts: 891000 | #Constraints: 106670
1991.08/1996.14 c #Conflicts: 892000 | #Constraints: 107670
1991.08/1996.14 c #Conflicts: 893000 | #Constraints: 108670
1991.08/1996.14 c #Conflicts: 894000 | #Constraints: 109670
1991.08/1996.14 c #Conflicts: 895000 | #Constraints: 110670
1991.08/1996.14 c #Conflicts: 896000 | #Constraints: 111670
1991.08/1996.14 c #Conflicts: 897000 | #Constraints: 112670
1991.08/1996.14 c #Conflicts: 898000 | #Constraints: 113670
1991.08/1996.14 c #Conflicts: 899000 | #Constraints: 114670
1991.08/1996.14 c #Conflicts: 900000 | #Constraints: 115670
1991.08/1996.14 c #Conflicts: 901000 | #Constraints: 116670
1991.08/1996.14 c #Conflicts: 902000 | #Constraints: 117670
1991.08/1996.14 c #Conflicts: 903000 | #Constraints: 118670
1991.08/1996.14 c #Conflicts: 904000 | #Constraints: 119670
1991.08/1996.14 c #Conflicts: 905000 | #Constraints: 120670
1991.08/1996.14 c #Conflicts: 906000 | #Constraints: 121670
1991.08/1996.14 c #Conflicts: 907000 | #Constraints: 122670
1991.08/1996.14 c #Conflicts: 908000 | #Constraints: 123670
1991.08/1996.14 c #Conflicts: 909000 | #Constraints: 124670
1991.08/1996.14 c #Conflicts: 910000 | #Constraints: 125670
1991.08/1996.14 c #Conflicts: 911000 | #Constraints: 126670
1991.08/1996.14 c #Conflicts: 912000 | #Constraints: 127670
1991.08/1996.14 c #Conflicts: 913000 | #Constraints: 128670
1991.08/1996.14 c #Conflicts: 914000 | #Constraints: 129670
1991.08/1996.14 c #Conflicts: 915000 | #Constraints: 130670
1991.08/1996.14 c #Conflicts: 916000 | #Constraints: 131670
1991.08/1996.14 c #Conflicts: 917000 | #Constraints: 132670
1991.08/1996.14 c #Conflicts: 918000 | #Constraints: 133670
1991.08/1996.14 c #Conflicts: 919000 | #Constraints: 134670
1991.08/1996.14 c #Conflicts: 920000 | #Constraints: 135670
1991.08/1996.14 c INPROCESSING
1991.08/1996.14 c GARBAGE COLLECT
1991.08/1996.14 c #Conflicts: 921000 | #Constraints: 80745
1991.08/1996.14 c #Conflicts: 922000 | #Constraints: 81745
1991.08/1996.14 c #Conflicts: 923000 | #Constraints: 82745
1991.08/1996.14 c #Conflicts: 924000 | #Constraints: 83745
1991.08/1996.14 c #Conflicts: 925000 | #Constraints: 84745
1991.08/1996.14 c #Conflicts: 926000 | #Constraints: 85745
1991.08/1996.14 c #Conflicts: 927000 | #Constraints: 86745
1991.08/1996.14 c #Conflicts: 928000 | #Constraints: 87745
1991.08/1996.14 c #Conflicts: 929000 | #Constraints: 88745
1991.08/1996.14 c #Conflicts: 930000 | #Constraints: 89745
1991.08/1996.14 c #Conflicts: 931000 | #Constraints: 90745
1991.08/1996.14 c #Conflicts: 932000 | #Constraints: 91745
1991.08/1996.14 c #Conflicts: 933000 | #Constraints: 92745
1991.08/1996.14 c #Conflicts: 934000 | #Constraints: 93745
1991.08/1996.14 c #Conflicts: 935000 | #Constraints: 94745
1991.08/1996.14 c #Conflicts: 936000 | #Constraints: 95745
1991.08/1996.14 c #Conflicts: 937000 | #Constraints: 96745
2321.09/2326.90 c #Conflicts: 938000 | #Constraints: 97745
2321.09/2326.90 c #Conflicts: 939000 | #Constraints: 98745
2321.09/2326.90 c #Conflicts: 940000 | #Constraints: 99745
2321.09/2326.90 c #Conflicts: 941000 | #Constraints: 100745
2321.09/2326.90 c #Conflicts: 942000 | #Constraints: 101745
2321.09/2326.90 c #Conflicts: 943000 | #Constraints: 102745
2321.09/2326.90 c #Conflicts: 944000 | #Constraints: 103745
2321.09/2326.90 c #Conflicts: 945000 | #Constraints: 104745
2321.09/2326.90 c #Conflicts: 946000 | #Constraints: 105745
2321.09/2326.90 c #Conflicts: 947000 | #Constraints: 106745
2321.09/2326.90 c INPROCESSING
2321.09/2326.90 c GARBAGE COLLECT
2321.09/2326.90 c #Conflicts: 948000 | #Constraints: 77723
2321.09/2326.90 c #Conflicts: 949000 | #Constraints: 78723
2321.09/2326.90 c #Conflicts: 950000 | #Constraints: 79723
2321.09/2326.90 c #Conflicts: 951000 | #Constraints: 80723
2321.09/2326.90 c #Conflicts: 952000 | #Constraints: 81723
2321.09/2326.90 c #Conflicts: 953000 | #Constraints: 82723
2321.09/2326.90 c #Conflicts: 954000 | #Constraints: 83723
2321.09/2326.90 c #Conflicts: 955000 | #Constraints: 84723
2321.09/2326.90 c #Conflicts: 956000 | #Constraints: 85723
2321.09/2326.90 c #Conflicts: 957000 | #Constraints: 86723
2321.09/2326.90 c #Conflicts: 958000 | #Constraints: 87723
2321.09/2326.90 c #Conflicts: 959000 | #Constraints: 88723
2321.09/2326.90 c #Conflicts: 960000 | #Constraints: 89723
2321.09/2326.90 c #Conflicts: 961000 | #Constraints: 90723
2321.09/2326.90 c #Conflicts: 962000 | #Constraints: 91723
2321.09/2326.90 c #Conflicts: 963000 | #Constraints: 92723
2321.09/2326.90 c #Conflicts: 964000 | #Constraints: 93723
2321.09/2326.90 c #Conflicts: 965000 | #Constraints: 94723
2321.09/2326.90 c #Conflicts: 966000 | #Constraints: 95723
2321.09/2326.90 c #Conflicts: 967000 | #Constraints: 96723
2321.09/2326.90 c #Conflicts: 968000 | #Constraints: 97723
2321.09/2326.90 c #Conflicts: 969000 | #Constraints: 98723
2321.09/2326.90 c #Conflicts: 970000 | #Constraints: 99723
2321.09/2326.90 c #Conflicts: 971000 | #Constraints: 100723
2321.09/2326.90 c #Conflicts: 972000 | #Constraints: 101723
2321.09/2326.90 c #Conflicts: 973000 | #Constraints: 102723
2321.09/2326.90 c #Conflicts: 974000 | #Constraints: 103723
2321.09/2326.90 c #Conflicts: 975000 | #Constraints: 104723
2321.09/2326.90 c #Conflicts: 976000 | #Constraints: 105723
2321.09/2326.90 c #Conflicts: 977000 | #Constraints: 106723
2321.09/2326.90 c #Conflicts: 978000 | #Constraints: 107723
2321.09/2326.90 c #Conflicts: 979000 | #Constraints: 108723
2321.09/2326.90 c #Conflicts: 980000 | #Constraints: 109723
2321.09/2326.90 c #Conflicts: 981000 | #Constraints: 110723
2321.09/2326.90 c #Conflicts: 982000 | #Constraints: 111723
2321.09/2326.90 c #Conflicts: 983000 | #Constraints: 112723
2321.09/2326.90 c #Conflicts: 984000 | #Constraints: 113723
2321.09/2326.90 c #Conflicts: 985000 | #Constraints: 114723
2321.09/2326.90 c #Conflicts: 986000 | #Constraints: 115723
2321.09/2326.90 c #Conflicts: 987000 | #Constraints: 116723
2321.09/2326.90 c #Conflicts: 988000 | #Constraints: 117723
2321.09/2326.90 c #Conflicts: 989000 | #Constraints: 118723
2321.09/2326.90 c #Conflicts: 990000 | #Constraints: 119723
2321.09/2326.90 c #Conflicts: 991000 | #Constraints: 120723
2321.09/2326.90 c #Conflicts: 992000 | #Constraints: 121723
2321.09/2326.90 c #Conflicts: 993000 | #Constraints: 122723
2321.09/2326.90 c #Conflicts: 994000 | #Constraints: 123723
2321.09/2326.90 c #Conflicts: 995000 | #Constraints: 124723
2321.09/2326.90 c #Conflicts: 996000 | #Constraints: 125723
2321.09/2326.90 c #Conflicts: 997000 | #Constraints: 126723
2321.09/2326.90 c #Conflicts: 998000 | #Constraints: 127723
2321.09/2326.90 c #Conflicts: 999000 | #Constraints: 128723
2321.09/2326.90 c #Conflicts: 1000000 | #Constraints: 129723
2321.09/2326.90 c #Conflicts: 1001000 | #Constraints: 130723
2321.09/2326.90 c #Conflicts: 1002000 | #Constraints: 131723
2321.09/2326.90 c #Conflicts: 1003000 | #Constraints: 132723
2321.09/2326.90 c #Conflicts: 1004000 | #Constraints: 133723
2321.09/2326.90 c #Conflicts: 1005000 | #Constraints: 134723
2321.09/2326.90 c #Conflicts: 1006000 | #Constraints: 135723
2321.09/2326.90 c #Conflicts: 1007000 | #Constraints: 136723
2321.09/2326.90 c #Conflicts: 1008000 | #Constraints: 137723
2321.09/2326.90 c #Conflicts: 1009000 | #Constraints: 138723
2321.09/2326.90 c #Conflicts: 1010000 | #Constraints: 139723
2321.09/2326.90 c #Conflicts: 1011000 | #Constraints: 140723
2321.09/2326.90 c #Conflicts: 1012000 | #Constraints: 141723
2321.09/2326.90 c INPROCESSING
2321.09/2326.90 c GARBAGE COLLECT
2321.09/2326.90 c #Conflicts: 1013000 | #Constraints: 83650
2321.09/2326.90 c #Conflicts: 1014000 | #Constraints: 84650
2555.00/2561.41 c #Conflicts: 1015000 | #Constraints: 85650
2555.00/2561.41 c #Conflicts: 1016000 | #Constraints: 86650
2555.00/2561.41 c #Conflicts: 1017000 | #Constraints: 87650
2555.00/2561.41 c #Conflicts: 1018000 | #Constraints: 88650
2555.00/2561.41 c #Conflicts: 1019000 | #Constraints: 89650
2555.00/2561.41 c #Conflicts: 1020000 | #Constraints: 90650
2555.00/2561.41 c #Conflicts: 1021000 | #Constraints: 91650
2555.00/2561.41 c #Conflicts: 1022000 | #Constraints: 92650
2555.00/2561.41 c #Conflicts: 1023000 | #Constraints: 93650
2555.00/2561.41 c #Conflicts: 1024000 | #Constraints: 94650
2555.00/2561.41 c #Conflicts: 1025000 | #Constraints: 95650
2555.00/2561.41 c #Conflicts: 1026000 | #Constraints: 96650
2555.00/2561.41 c #Conflicts: 1027000 | #Constraints: 97650
2555.00/2561.41 c #Conflicts: 1028000 | #Constraints: 98650
2555.00/2561.41 c #Conflicts: 1029000 | #Constraints: 99650
2555.00/2561.41 c #Conflicts: 1030000 | #Constraints: 100650
2555.00/2561.41 c #Conflicts: 1031000 | #Constraints: 101650
2555.00/2561.41 c #Conflicts: 1032000 | #Constraints: 102650
2555.00/2561.41 c #Conflicts: 1033000 | #Constraints: 103650
2555.00/2561.41 c #Conflicts: 1034000 | #Constraints: 104650
2555.00/2561.41 c #Conflicts: 1035000 | #Constraints: 105650
2555.00/2561.41 c #Conflicts: 1036000 | #Constraints: 106650
2555.00/2561.41 c #Conflicts: 1037000 | #Constraints: 107650
2555.00/2561.41 c #Conflicts: 1038000 | #Constraints: 108650
2555.00/2561.41 c #Conflicts: 1039000 | #Constraints: 109650
2555.00/2561.41 c #Conflicts: 1040000 | #Constraints: 110650
2555.00/2561.41 c INPROCESSING
2555.00/2561.41 c GARBAGE COLLECT
2555.00/2561.41 c #Conflicts: 1041000 | #Constraints: 78547
2555.00/2561.41 c #Conflicts: 1042000 | #Constraints: 79547
2555.00/2561.41 c #Conflicts: 1043000 | #Constraints: 80547
2555.00/2561.41 c #Conflicts: 1044000 | #Constraints: 81547
2555.00/2561.41 c #Conflicts: 1045000 | #Constraints: 82547
2555.00/2561.41 c #Conflicts: 1046000 | #Constraints: 83547
2555.00/2561.41 c #Conflicts: 1047000 | #Constraints: 84547
2555.00/2561.41 c #Conflicts: 1048000 | #Constraints: 85547
2555.00/2561.41 c #Conflicts: 1049000 | #Constraints: 86547
2555.00/2561.41 c #Conflicts: 1050000 | #Constraints: 87547
2555.00/2561.41 c #Conflicts: 1051000 | #Constraints: 88547
2555.00/2561.41 c #Conflicts: 1052000 | #Constraints: 89547
2555.00/2561.41 c #Conflicts: 1053000 | #Constraints: 90547
2555.00/2561.41 c #Conflicts: 1054000 | #Constraints: 91547
2555.00/2561.41 c #Conflicts: 1055000 | #Constraints: 92547
2555.00/2561.41 c #Conflicts: 1056000 | #Constraints: 93547
2555.00/2561.41 c #Conflicts: 1057000 | #Constraints: 94547
2555.00/2561.41 c #Conflicts: 1058000 | #Constraints: 95547
2555.00/2561.41 c #Conflicts: 1059000 | #Constraints: 96547
2555.00/2561.41 c #Conflicts: 1060000 | #Constraints: 97547
2555.00/2561.41 c #Conflicts: 1061000 | #Constraints: 98547
2555.00/2561.41 c #Conflicts: 1062000 | #Constraints: 99547
2555.00/2561.41 c #Conflicts: 1063000 | #Constraints: 100547
2555.00/2561.41 c #Conflicts: 1064000 | #Constraints: 101547
2555.00/2561.41 c #Conflicts: 1065000 | #Constraints: 102547
2555.00/2561.41 c #Conflicts: 1066000 | #Constraints: 103547
2555.00/2561.41 c #Conflicts: 1067000 | #Constraints: 104547
2555.00/2561.41 c #Conflicts: 1068000 | #Constraints: 105547
2555.00/2561.41 c #Conflicts: 1069000 | #Constraints: 106548
2555.00/2561.41 c #Conflicts: 1070000 | #Constraints: 107548
2555.00/2561.41 c #Conflicts: 1071000 | #Constraints: 108548
2555.00/2561.41 c #Conflicts: 1072000 | #Constraints: 109548
2555.00/2561.41 c #Conflicts: 1073000 | #Constraints: 110548
2555.00/2561.41 c #Conflicts: 1074000 | #Constraints: 111548
2555.00/2561.41 c #Conflicts: 1075000 | #Constraints: 112548
2555.00/2561.41 c #Conflicts: 1076000 | #Constraints: 113548
2555.00/2561.41 c #Conflicts: 1077000 | #Constraints: 114548
2555.00/2561.41 c #Conflicts: 1078000 | #Constraints: 115548
2555.00/2561.41 c #Conflicts: 1079000 | #Constraints: 116548
2555.00/2561.41 c #Conflicts: 1080000 | #Constraints: 117548
2555.00/2561.41 c #Conflicts: 1081000 | #Constraints: 118548
2555.00/2561.41 c #Conflicts: 1082000 | #Constraints: 119548
2555.00/2561.41 c #Conflicts: 1083000 | #Constraints: 120548
2555.00/2561.41 c #Conflicts: 1084000 | #Constraints: 121548
2555.00/2561.41 c #Conflicts: 1085000 | #Constraints: 122548
2555.00/2561.41 c #Conflicts: 1086000 | #Constraints: 123548
2555.00/2561.41 c #Conflicts: 1087000 | #Constraints: 124548
2555.00/2561.41 c #Conflicts: 1088000 | #Constraints: 125548
2555.00/2561.41 c #Conflicts: 1089000 | #Constraints: 126548
2555.00/2561.41 c #Conflicts: 1090000 | #Constraints: 127548
2555.00/2561.41 c #Conflicts: 1091000 | #Constraints: 128548
2555.00/2561.41 c #Conflicts: 1092000 | #Constraints: 129548
2705.23/2712.02 c #Conflicts: 1093000 | #Constraints: 130548
2705.23/2712.02 c #Conflicts: 1094000 | #Constraints: 131548
2705.23/2712.02 c #Conflicts: 1095000 | #Constraints: 132548
2705.23/2712.02 c #Conflicts: 1096000 | #Constraints: 133548
2705.23/2712.02 c #Conflicts: 1097000 | #Constraints: 134548
2705.23/2712.02 c #Conflicts: 1098000 | #Constraints: 135548
2705.23/2712.02 c #Conflicts: 1099000 | #Constraints: 136548
2705.23/2712.02 c #Conflicts: 1100000 | #Constraints: 137548
2705.23/2712.02 c #Conflicts: 1101000 | #Constraints: 138548
2705.23/2712.02 c #Conflicts: 1102000 | #Constraints: 139548
2705.23/2712.02 c #Conflicts: 1103000 | #Constraints: 140548
2705.23/2712.02 c #Conflicts: 1104000 | #Constraints: 141548
2705.23/2712.02 c #Conflicts: 1105000 | #Constraints: 142548
2705.23/2712.02 c #Conflicts: 1106000 | #Constraints: 143548
2705.23/2712.02 c #Conflicts: 1107000 | #Constraints: 144548
2705.23/2712.02 c #Conflicts: 1108000 | #Constraints: 145548
2705.23/2712.02 c INPROCESSING
2705.23/2712.02 c GARBAGE COLLECT
2705.23/2712.02 c rational objective 176
2869.23/2876.46 c #Conflicts: 1109000 | #Constraints: 85264
2869.23/2876.46 c #Conflicts: 1110000 | #Constraints: 86264
2869.23/2876.46 c #Conflicts: 1111000 | #Constraints: 87264
2869.23/2876.46 c #Conflicts: 1112000 | #Constraints: 88264
2869.23/2876.46 c #Conflicts: 1113000 | #Constraints: 89264
2869.23/2876.46 c #Conflicts: 1114000 | #Constraints: 90264
2869.23/2876.46 c #Conflicts: 1115000 | #Constraints: 91264
2869.23/2876.46 c #Conflicts: 1116000 | #Constraints: 92264
2869.23/2876.46 c #Conflicts: 1117000 | #Constraints: 93264
2869.23/2876.46 c #Conflicts: 1118000 | #Constraints: 94264
2869.23/2876.46 c #Conflicts: 1119000 | #Constraints: 95264
2869.23/2876.46 c #Conflicts: 1120000 | #Constraints: 96264
2869.23/2876.46 c #Conflicts: 1121000 | #Constraints: 97264
2869.23/2876.46 c #Conflicts: 1122000 | #Constraints: 98264
2869.23/2876.46 c #Conflicts: 1123000 | #Constraints: 99264
2869.23/2876.46 c #Conflicts: 1124000 | #Constraints: 100264
2869.23/2876.46 c #Conflicts: 1125000 | #Constraints: 101264
2869.23/2876.46 c #Conflicts: 1126000 | #Constraints: 102264
2869.23/2876.46 c #Conflicts: 1127000 | #Constraints: 103264
2869.23/2876.46 c #Conflicts: 1128000 | #Constraints: 104264
2869.23/2876.46 c #Conflicts: 1129000 | #Constraints: 105264
2869.23/2876.46 c #Conflicts: 1130000 | #Constraints: 106264
2869.23/2876.46 c #Conflicts: 1131000 | #Constraints: 107264
2869.23/2876.46 c #Conflicts: 1132000 | #Constraints: 108264
2869.23/2876.46 c #Conflicts: 1133000 | #Constraints: 109264
2869.23/2876.46 c #Conflicts: 1134000 | #Constraints: 110264
2869.23/2876.46 c #Conflicts: 1135000 | #Constraints: 111264
2869.23/2876.46 c #Conflicts: 1136000 | #Constraints: 112264
2869.23/2876.46 c #Conflicts: 1137000 | #Constraints: 113264
2869.23/2876.46 c #Conflicts: 1138000 | #Constraints: 114264
2869.23/2876.46 c INPROCESSING
2869.23/2876.46 c GARBAGE COLLECT
2869.23/2876.46 c #Conflicts: 1139000 | #Constraints: 80670
2869.23/2876.46 c #Conflicts: 1140000 | #Constraints: 81670
2869.23/2876.46 c #Conflicts: 1141000 | #Constraints: 82670
2869.23/2876.46 c #Conflicts: 1142000 | #Constraints: 83670
2869.23/2876.46 c #Conflicts: 1143000 | #Constraints: 84670
2869.23/2876.46 c #Conflicts: 1144000 | #Constraints: 85670
2869.23/2876.46 c #Conflicts: 1145000 | #Constraints: 86670
2869.23/2876.46 c #Conflicts: 1146000 | #Constraints: 87670
2869.23/2876.46 c #Conflicts: 1147000 | #Constraints: 88670
2869.23/2876.46 c #Conflicts: 1148000 | #Constraints: 89670
2869.23/2876.46 c #Conflicts: 1149000 | #Constraints: 90670
2869.23/2876.46 c #Conflicts: 1150000 | #Constraints: 91670
2869.23/2876.46 c #Conflicts: 1151000 | #Constraints: 92670
2869.23/2876.46 c #Conflicts: 1152000 | #Constraints: 93670
2869.23/2876.46 c #Conflicts: 1153000 | #Constraints: 94670
2869.23/2876.46 c #Conflicts: 1154000 | #Constraints: 95670
2869.23/2876.46 c #Conflicts: 1155000 | #Constraints: 96670
2869.23/2876.46 c #Conflicts: 1156000 | #Constraints: 97670
2869.23/2876.46 c #Conflicts: 1157000 | #Constraints: 98670
2869.23/2876.46 c #Conflicts: 1158000 | #Constraints: 99670
2869.23/2876.46 c #Conflicts: 1159000 | #Constraints: 100670
2869.23/2876.46 c #Conflicts: 1160000 | #Constraints: 101670
2869.23/2876.46 c #Conflicts: 1161000 | #Constraints: 102670
2869.23/2876.46 c #Conflicts: 1162000 | #Constraints: 103670
2869.23/2876.46 c #Conflicts: 1163000 | #Constraints: 104670
2869.23/2876.46 c #Conflicts: 1164000 | #Constraints: 105670
2869.23/2876.46 c #Conflicts: 1165000 | #Constraints: 106670
2869.23/2876.46 c #Conflicts: 1166000 | #Constraints: 107670
2869.23/2876.46 c #Conflicts: 1167000 | #Constraints: 108670
2869.23/2876.46 c #Conflicts: 1168000 | #Constraints: 109670
2869.23/2876.46 c #Conflicts: 1169000 | #Constraints: 110670
2869.23/2876.46 c #Conflicts: 1170000 | #Constraints: 111670
2869.23/2876.46 c #Conflicts: 1171000 | #Constraints: 112670
2869.23/2876.46 c #Conflicts: 1172000 | #Constraints: 113670
2869.23/2876.46 c #Conflicts: 1173000 | #Constraints: 114670
2869.23/2876.46 c #Conflicts: 1174000 | #Constraints: 115670
2869.23/2876.46 c #Conflicts: 1175000 | #Constraints: 116670
2869.23/2876.46 c #Conflicts: 1176000 | #Constraints: 117670
2869.23/2876.46 c #Conflicts: 1177000 | #Constraints: 118670
2869.23/2876.46 c #Conflicts: 1178000 | #Constraints: 119670
2869.23/2876.46 c #Conflicts: 1179000 | #Constraints: 120670
2869.23/2876.46 c #Conflicts: 1180000 | #Constraints: 121670
2869.23/2876.46 c #Conflicts: 1181000 | #Constraints: 122670
2869.23/2876.46 c #Conflicts: 1182000 | #Constraints: 123670
2869.23/2876.46 c #Conflicts: 1183000 | #Constraints: 124670
2869.23/2876.46 c #Conflicts: 1184000 | #Constraints: 125670
2869.23/2876.46 c #Conflicts: 1185000 | #Constraints: 126670
2869.23/2876.46 c #Conflicts: 1186000 | #Constraints: 127670
2869.23/2876.46 c #Conflicts: 1187000 | #Constraints: 128670
3063.57/3071.26 c #Conflicts: 1188000 | #Constraints: 129670
3063.57/3071.26 c #Conflicts: 1189000 | #Constraints: 130670
3063.57/3071.26 c #Conflicts: 1190000 | #Constraints: 131670
3063.57/3071.26 c #Conflicts: 1191000 | #Constraints: 132670
3063.57/3071.26 c #Conflicts: 1192000 | #Constraints: 133670
3063.57/3071.26 c #Conflicts: 1193000 | #Constraints: 134670
3063.57/3071.26 c #Conflicts: 1194000 | #Constraints: 135670
3063.57/3071.26 c #Conflicts: 1195000 | #Constraints: 136670
3063.57/3071.26 c #Conflicts: 1196000 | #Constraints: 137670
3063.57/3071.26 c #Conflicts: 1197000 | #Constraints: 138670
3063.57/3071.26 c #Conflicts: 1198000 | #Constraints: 139670
3063.57/3071.26 c #Conflicts: 1199000 | #Constraints: 140670
3063.57/3071.26 c #Conflicts: 1200000 | #Constraints: 141670
3063.57/3071.26 c #Conflicts: 1201000 | #Constraints: 142670
3063.57/3071.26 c #Conflicts: 1202000 | #Constraints: 143670
3063.57/3071.26 c #Conflicts: 1203000 | #Constraints: 144670
3063.57/3071.26 c #Conflicts: 1204000 | #Constraints: 145670
3063.57/3071.26 c #Conflicts: 1205000 | #Constraints: 146670
3063.57/3071.26 c #Conflicts: 1206000 | #Constraints: 147670
3063.57/3071.26 c #Conflicts: 1207000 | #Constraints: 148670
3063.57/3071.26 c #Conflicts: 1208000 | #Constraints: 149670
3063.57/3071.26 c #Conflicts: 1209000 | #Constraints: 150670
3063.57/3071.26 c INPROCESSING
3063.57/3071.26 c GARBAGE COLLECT
3063.57/3071.26 c #Conflicts: 1210000 | #Constraints: 88075
3063.57/3071.26 c #Conflicts: 1211000 | #Constraints: 89075
3063.57/3071.26 c #Conflicts: 1212000 | #Constraints: 90075
3063.57/3071.26 c #Conflicts: 1213000 | #Constraints: 91075
3063.57/3071.26 c #Conflicts: 1214000 | #Constraints: 92075
3063.57/3071.26 c #Conflicts: 1215000 | #Constraints: 93075
3063.57/3071.26 c #Conflicts: 1216000 | #Constraints: 94075
3063.57/3071.26 c #Conflicts: 1217000 | #Constraints: 95075
3063.57/3071.26 c #Conflicts: 1218000 | #Constraints: 96076
3063.57/3071.26 c #Conflicts: 1219000 | #Constraints: 97076
3063.57/3071.26 c #Conflicts: 1220000 | #Constraints: 98076
3063.57/3071.26 c #Conflicts: 1221000 | #Constraints: 99076
3063.57/3071.26 c #Conflicts: 1222000 | #Constraints: 100076
3063.57/3071.26 c #Conflicts: 1223000 | #Constraints: 101076
3063.57/3071.26 c #Conflicts: 1224000 | #Constraints: 102076
3063.57/3071.26 c #Conflicts: 1225000 | #Constraints: 103076
3063.57/3071.26 c #Conflicts: 1226000 | #Constraints: 104076
3063.57/3071.26 c #Conflicts: 1227000 | #Constraints: 105076
3063.57/3071.26 c #Conflicts: 1228000 | #Constraints: 106076
3063.57/3071.26 c #Conflicts: 1229000 | #Constraints: 107076
3063.57/3071.26 c #Conflicts: 1230000 | #Constraints: 108076
3063.57/3071.26 c #Conflicts: 1231000 | #Constraints: 109076
3063.57/3071.26 c #Conflicts: 1232000 | #Constraints: 110076
3063.57/3071.26 c #Conflicts: 1233000 | #Constraints: 111076
3063.57/3071.26 c #Conflicts: 1234000 | #Constraints: 112076
3063.57/3071.26 c #Conflicts: 1235000 | #Constraints: 113076
3063.57/3071.26 c #Conflicts: 1236000 | #Constraints: 114076
3063.57/3071.26 c #Conflicts: 1237000 | #Constraints: 115076
3063.57/3071.26 c #Conflicts: 1238000 | #Constraints: 116076
3063.57/3071.26 c #Conflicts: 1239000 | #Constraints: 117076
3063.57/3071.26 c #Conflicts: 1240000 | #Constraints: 118076
3063.57/3071.26 c INPROCESSING
3063.57/3071.26 c GARBAGE COLLECT
3063.57/3071.26 c #Conflicts: 1241000 | #Constraints: 83335
3063.57/3071.26 c #Conflicts: 1242000 | #Constraints: 84335
3063.57/3071.26 c #Conflicts: 1243000 | #Constraints: 85335
3063.57/3071.26 c #Conflicts: 1244000 | #Constraints: 86335
3063.57/3071.26 c #Conflicts: 1245000 | #Constraints: 87335
3063.57/3071.26 c #Conflicts: 1246000 | #Constraints: 88335
3063.57/3071.26 c #Conflicts: 1247000 | #Constraints: 89335
3063.57/3071.26 c #Conflicts: 1248000 | #Constraints: 90335
3063.57/3071.26 c #Conflicts: 1249000 | #Constraints: 91335
3063.57/3071.26 c #Conflicts: 1250000 | #Constraints: 92335
3063.57/3071.26 c #Conflicts: 1251000 | #Constraints: 93335
3063.57/3071.26 c #Conflicts: 1252000 | #Constraints: 94335
3063.57/3071.26 c #Conflicts: 1253000 | #Constraints: 95335
3063.57/3071.26 c #Conflicts: 1254000 | #Constraints: 96335
3063.57/3071.26 c #Conflicts: 1255000 | #Constraints: 97335
3063.57/3071.26 c #Conflicts: 1256000 | #Constraints: 98335
3063.57/3071.26 c #Conflicts: 1257000 | #Constraints: 99335
3063.57/3071.26 c #Conflicts: 1258000 | #Constraints: 100335
3063.57/3071.26 c #Conflicts: 1259000 | #Constraints: 101335
3063.57/3071.26 c #Conflicts: 1260000 | #Constraints: 102335
3063.57/3071.26 c #Conflicts: 1261000 | #Constraints: 103335
3063.57/3071.26 c #Conflicts: 1262000 | #Constraints: 104335
3063.57/3071.26 c #Conflicts: 1263000 | #Constraints: 105335
3063.57/3071.26 c #Conflicts: 1264000 | #Constraints: 106335
3315.46/3323.77 c #Conflicts: 1265000 | #Constraints: 107335
3315.46/3323.77 c #Conflicts: 1266000 | #Constraints: 108335
3315.46/3323.77 c #Conflicts: 1267000 | #Constraints: 109335
3315.46/3323.77 c #Conflicts: 1268000 | #Constraints: 110335
3315.46/3323.77 c #Conflicts: 1269000 | #Constraints: 111335
3315.46/3323.77 c #Conflicts: 1270000 | #Constraints: 112335
3315.46/3323.77 c #Conflicts: 1271000 | #Constraints: 113335
3315.46/3323.77 c #Conflicts: 1272000 | #Constraints: 114335
3315.46/3323.77 c #Conflicts: 1273000 | #Constraints: 115335
3315.46/3323.77 c #Conflicts: 1274000 | #Constraints: 116335
3315.46/3323.77 c #Conflicts: 1275000 | #Constraints: 117335
3315.46/3323.77 c #Conflicts: 1276000 | #Constraints: 118335
3315.46/3323.77 c #Conflicts: 1277000 | #Constraints: 119335
3315.46/3323.77 c #Conflicts: 1278000 | #Constraints: 120335
3315.46/3323.77 c #Conflicts: 1279000 | #Constraints: 121335
3315.46/3323.77 c #Conflicts: 1280000 | #Constraints: 122335
3315.46/3323.77 c #Conflicts: 1281000 | #Constraints: 123335
3315.46/3323.77 c #Conflicts: 1282000 | #Constraints: 124335
3315.46/3323.77 c #Conflicts: 1283000 | #Constraints: 125335
3315.46/3323.77 c #Conflicts: 1284000 | #Constraints: 126335
3315.46/3323.77 c #Conflicts: 1285000 | #Constraints: 127335
3315.46/3323.77 c #Conflicts: 1286000 | #Constraints: 128335
3315.46/3323.77 c #Conflicts: 1287000 | #Constraints: 129335
3315.46/3323.77 c #Conflicts: 1288000 | #Constraints: 130335
3315.46/3323.77 c #Conflicts: 1289000 | #Constraints: 131335
3315.46/3323.77 c #Conflicts: 1290000 | #Constraints: 132335
3315.46/3323.77 c #Conflicts: 1291000 | #Constraints: 133335
3315.46/3323.77 c #Conflicts: 1292000 | #Constraints: 134335
3315.46/3323.77 c #Conflicts: 1293000 | #Constraints: 135335
3315.46/3323.77 c #Conflicts: 1294000 | #Constraints: 136335
3315.46/3323.77 c #Conflicts: 1295000 | #Constraints: 137335
3315.46/3323.77 c #Conflicts: 1296000 | #Constraints: 138335
3315.46/3323.77 c #Conflicts: 1297000 | #Constraints: 139335
3315.46/3323.77 c #Conflicts: 1298000 | #Constraints: 140335
3315.46/3323.77 c #Conflicts: 1299000 | #Constraints: 141335
3315.46/3323.77 c #Conflicts: 1300000 | #Constraints: 142335
3315.46/3323.77 c #Conflicts: 1301000 | #Constraints: 143335
3315.46/3323.77 c #Conflicts: 1302000 | #Constraints: 144335
3315.46/3323.77 c #Conflicts: 1303000 | #Constraints: 145335
3315.46/3323.77 c #Conflicts: 1304000 | #Constraints: 146335
3315.46/3323.77 c #Conflicts: 1305000 | #Constraints: 147335
3315.46/3323.77 c #Conflicts: 1306000 | #Constraints: 148335
3315.46/3323.77 c #Conflicts: 1307000 | #Constraints: 149335
3315.46/3323.77 c #Conflicts: 1308000 | #Constraints: 150335
3315.46/3323.77 c #Conflicts: 1309000 | #Constraints: 151335
3315.46/3323.77 c #Conflicts: 1310000 | #Constraints: 152335
3315.46/3323.77 c #Conflicts: 1311000 | #Constraints: 153335
3315.46/3323.77 c #Conflicts: 1312000 | #Constraints: 154335
3315.46/3323.77 c #Conflicts: 1313000 | #Constraints: 155335
3315.46/3323.77 c #Conflicts: 1314000 | #Constraints: 156335
3315.46/3323.77 c #Conflicts: 1315000 | #Constraints: 157335
3315.46/3323.77 c INPROCESSING
3315.46/3323.77 c GARBAGE COLLECT
3315.46/3323.77 c #Conflicts: 1316000 | #Constraints: 91648
3315.46/3323.77 c #Conflicts: 1317000 | #Constraints: 92648
3315.46/3323.77 c #Conflicts: 1318000 | #Constraints: 93648
3315.46/3323.77 c #Conflicts: 1319000 | #Constraints: 94648
3315.46/3323.77 c #Conflicts: 1320000 | #Constraints: 95648
3315.46/3323.77 c #Conflicts: 1321000 | #Constraints: 96648
3315.46/3323.77 c #Conflicts: 1322000 | #Constraints: 97648
3315.46/3323.77 c #Conflicts: 1323000 | #Constraints: 98648
3315.46/3323.77 c #Conflicts: 1324000 | #Constraints: 99648
3315.46/3323.77 c #Conflicts: 1325000 | #Constraints: 100648
3315.46/3323.77 c #Conflicts: 1326000 | #Constraints: 101648
3315.46/3323.77 c #Conflicts: 1327000 | #Constraints: 102648
3315.46/3323.77 c #Conflicts: 1328000 | #Constraints: 103648
3315.46/3323.77 c #Conflicts: 1329000 | #Constraints: 104648
3315.46/3323.77 c #Conflicts: 1330000 | #Constraints: 105648
3315.46/3323.77 c #Conflicts: 1331000 | #Constraints: 106648
3315.46/3323.77 c #Conflicts: 1332000 | #Constraints: 107648
3315.46/3323.77 c #Conflicts: 1333000 | #Constraints: 108648
3315.46/3323.77 c #Conflicts: 1334000 | #Constraints: 109648
3315.46/3323.77 c #Conflicts: 1335000 | #Constraints: 110648
3315.46/3323.77 c #Conflicts: 1336000 | #Constraints: 111648
3315.46/3323.77 c #Conflicts: 1337000 | #Constraints: 112648
3315.46/3323.77 c #Conflicts: 1338000 | #Constraints: 113648
3315.46/3323.77 c #Conflicts: 1339000 | #Constraints: 114648
3315.46/3323.77 c #Conflicts: 1340000 | #Constraints: 115648
3315.46/3323.77 c #Conflicts: 1341000 | #Constraints: 116648
3315.46/3323.77 c #Conflicts: 1342000 | #Constraints: 117648
3532.63/3541.47 c #Conflicts: 1343000 | #Constraints: 118648
3532.63/3541.47 c #Conflicts: 1344000 | #Constraints: 119648
3532.63/3541.47 c #Conflicts: 1345000 | #Constraints: 120648
3532.63/3541.47 c #Conflicts: 1346000 | #Constraints: 121648
3532.63/3541.47 c #Conflicts: 1347000 | #Constraints: 122648
3532.63/3541.47 c INPROCESSING
3532.63/3541.47 c GARBAGE COLLECT
3532.63/3541.47 c #Conflicts: 1348000 | #Constraints: 86451
3532.63/3541.47 c #Conflicts: 1349000 | #Constraints: 87451
3532.63/3541.47 c #Conflicts: 1350000 | #Constraints: 88451
3532.63/3541.47 c #Conflicts: 1351000 | #Constraints: 89451
3532.63/3541.47 c #Conflicts: 1352000 | #Constraints: 90451
3532.63/3541.47 c #Conflicts: 1353000 | #Constraints: 91451
3532.63/3541.47 c #Conflicts: 1354000 | #Constraints: 92451
3532.63/3541.47 c #Conflicts: 1355000 | #Constraints: 93451
3532.63/3541.47 c #Conflicts: 1356000 | #Constraints: 94451
3532.63/3541.47 c #Conflicts: 1357000 | #Constraints: 95451
3532.63/3541.47 c #Conflicts: 1358000 | #Constraints: 96451
3532.63/3541.47 c #Conflicts: 1359000 | #Constraints: 97451
3532.63/3541.47 c #Conflicts: 1360000 | #Constraints: 98451
3532.63/3541.47 c #Conflicts: 1361000 | #Constraints: 99451
3532.63/3541.47 c #Conflicts: 1362000 | #Constraints: 100451
3532.63/3541.47 c #Conflicts: 1363000 | #Constraints: 101451
3532.63/3541.47 c #Conflicts: 1364000 | #Constraints: 102451
3532.63/3541.47 c #Conflicts: 1365000 | #Constraints: 103451
3532.63/3541.47 c #Conflicts: 1366000 | #Constraints: 104451
3532.63/3541.47 c #Conflicts: 1367000 | #Constraints: 105451
3532.63/3541.47 c #Conflicts: 1368000 | #Constraints: 106451
3532.63/3541.47 c #Conflicts: 1369000 | #Constraints: 107451
3532.63/3541.47 c #Conflicts: 1370000 | #Constraints: 108451
3532.63/3541.47 c #Conflicts: 1371000 | #Constraints: 109451
3532.63/3541.47 c #Conflicts: 1372000 | #Constraints: 110451
3532.63/3541.47 c #Conflicts: 1373000 | #Constraints: 111451
3532.63/3541.47 c #Conflicts: 1374000 | #Constraints: 112451
3532.63/3541.47 c #Conflicts: 1375000 | #Constraints: 113451
3532.63/3541.47 c #Conflicts: 1376000 | #Constraints: 114451
3532.63/3541.47 c #Conflicts: 1377000 | #Constraints: 115451
3532.63/3541.47 c #Conflicts: 1378000 | #Constraints: 116451
3532.63/3541.47 c #Conflicts: 1379000 | #Constraints: 117451
3532.63/3541.47 c #Conflicts: 1380000 | #Constraints: 118451
3532.63/3541.47 c #Conflicts: 1381000 | #Constraints: 119451
3532.63/3541.47 c #Conflicts: 1382000 | #Constraints: 120451
3532.63/3541.47 c #Conflicts: 1383000 | #Constraints: 121451
3532.63/3541.47 c #Conflicts: 1384000 | #Constraints: 122451
3532.63/3541.47 c #Conflicts: 1385000 | #Constraints: 123451
3532.63/3541.47 c #Conflicts: 1386000 | #Constraints: 124451
3532.63/3541.47 c #Conflicts: 1387000 | #Constraints: 125451
3532.63/3541.47 c #Conflicts: 1388000 | #Constraints: 126451
3532.63/3541.47 c #Conflicts: 1389000 | #Constraints: 127451
3532.63/3541.47 c #Conflicts: 1390000 | #Constraints: 128451
3532.63/3541.47 c #Conflicts: 1391000 | #Constraints: 129451
3532.63/3541.47 c #Conflicts: 1392000 | #Constraints: 130451
3532.63/3541.47 c #Conflicts: 1393000 | #Constraints: 131451
3532.63/3541.47 c #Conflicts: 1394000 | #Constraints: 132451
3532.63/3541.47 c #Conflicts: 1395000 | #Constraints: 133451
3532.63/3541.47 c #Conflicts: 1396000 | #Constraints: 134451
3532.63/3541.47 c #Conflicts: 1397000 | #Constraints: 135451
3532.63/3541.47 c #Conflicts: 1398000 | #Constraints: 136451
3532.63/3541.47 c #Conflicts: 1399000 | #Constraints: 137451
3532.63/3541.47 c #Conflicts: 1400000 | #Constraints: 138451
3532.63/3541.47 c #Conflicts: 1401000 | #Constraints: 139451
3532.63/3541.47 c #Conflicts: 1402000 | #Constraints: 140451
3532.63/3541.47 c #Conflicts: 1403000 | #Constraints: 141451
3532.63/3541.47 c #Conflicts: 1404000 | #Constraints: 142451
3532.63/3541.47 c #Conflicts: 1405000 | #Constraints: 143451
3532.63/3541.47 c #Conflicts: 1406000 | #Constraints: 144451
3532.63/3541.47 c #Conflicts: 1407000 | #Constraints: 145451
3532.63/3541.47 c #Conflicts: 1408000 | #Constraints: 146451
3532.63/3541.47 c #Conflicts: 1409000 | #Constraints: 147451
3532.63/3541.47 c #Conflicts: 1410000 | #Constraints: 148451
3532.63/3541.47 c #Conflicts: 1411000 | #Constraints: 149451
3532.63/3541.47 c #Conflicts: 1412000 | #Constraints: 150451
3532.63/3541.47 c #Conflicts: 1413000 | #Constraints: 151451
3532.63/3541.47 c #Conflicts: 1414000 | #Constraints: 152451
3532.63/3541.47 c #Conflicts: 1415000 | #Constraints: 153451
3532.63/3541.47 c #Conflicts: 1416000 | #Constraints: 154451
3532.63/3541.47 c #Conflicts: 1417000 | #Constraints: 155451
3532.63/3541.47 c #Conflicts: 1418000 | #Constraints: 156451
3532.63/3541.47 c #Conflicts: 1419000 | #Constraints: 157451
3532.63/3541.47 c #Conflicts: 1420000 | #Constraints: 158451
3555.08/3563.94 c #Conflicts: 1421000 | #Constraints: 159451
3555.08/3563.94 c #Conflicts: 1422000 | #Constraints: 160451
3555.08/3563.94 c #Conflicts: 1423000 | #Constraints: 161451
3555.08/3563.94 c #Conflicts: 1424000 | #Constraints: 162451
3555.08/3563.94 c #Conflicts: 1425000 | #Constraints: 163451
3555.08/3563.94 c INPROCESSING
3555.08/3563.94 c GARBAGE COLLECT
3555.08/3563.94 c rational objective 176
3600.09/3609.01 c #Conflicts: 1426000 | #Constraints: 95055
3600.09/3609.01 c #Conflicts: 1427000 | #Constraints: 96055
3600.09/3609.01 c #Conflicts: 1428000 | #Constraints: 97055
3600.09/3609.01 c #Conflicts: 1429000 | #Constraints: 98055
3600.09/3609.01 c #Conflicts: 1430000 | #Constraints: 99055
3600.09/3609.01 c #Conflicts: 1431000 | #Constraints: 100055
3600.09/3609.01 c #Conflicts: 1432000 | #Constraints: 101055
3600.09/3609.01 c #Conflicts: 1433000 | #Constraints: 102055
3600.09/3609.01 c #Conflicts: 1434000 | #Constraints: 103055
3600.09/3609.01 c #Conflicts: 1435000 | #Constraints: 104055
3600.09/3609.01 c #Conflicts: 1436000 | #Constraints: 105055
3600.09/3609.01 c #Conflicts: 1437000 | #Constraints: 106055
3600.09/3609.01 c #Conflicts: 1438000 | #Constraints: 107055
3600.09/3609.01 c #Conflicts: 1439000 | #Constraints: 108055
3600.09/3609.01 c #Conflicts: 1440000 | #Constraints: 109055
3600.09/3609.01 c #Conflicts: 1441000 | #Constraints: 110055
3600.09/3609.01 c cpu time 3568.2 s
3600.09/3609.01 c deterministic time 260760869987 2.61e+11
3600.09/3609.01 c optimization time 42.3337 s
3600.09/3609.01 c total solve time 3525.62 s
3600.09/3609.01 c core-guided solve time 0 s
3600.09/3609.01 c propagation time 1934.61 s
3600.09/3609.01 c conflict analysis time 1290.31 s
3600.09/3609.01 c propagations 1467148165
3600.09/3609.01 c resolve steps 87488489
3600.09/3609.01 c decisions 35619782
3600.09/3609.01 c conflicts 1441257
3600.09/3609.01 c restarts 2810
3600.09/3609.01 c inprocessing phases 50
3600.09/3609.01 c garbage collections 50 ,( 100.00 )
3600.09/3609.01 c input clauses 21122 ,( 99.17 )
3600.09/3609.01 c input cardinalities 176 ,( 0.83 )
3600.09/3609.01 c input general constraints 0 ,( 0.00 )
3600.09/3609.01 c input average constraint length 6.43
3600.09/3609.01 c input average constraint degree 1.97
3600.09/3609.01 c learned clauses 1055649 ,( 73.24 )
3600.09/3609.01 c learned cardinalities 48083 ,( 3.34 )
3600.09/3609.01 c learned general constraints 337536 ,( 23.42 )
3600.09/3609.01 c learned average constraint length 754.76
3600.09/3609.01 c learned average constraint degree 17222012.71
3600.09/3609.01 c watched CF 32, 64, 128, Arb: 86132 , 0 , 0 , 0
3600.09/3609.01 c counting CF 32, 64, 128, Arb: 251404 , 0 , 0 , 0
3600.09/3609.01 c watched constraints 86132 ,( 25.52 )
3600.09/3609.01 c counting constraints 251404 ,( 74.48 )
3600.09/3609.01 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 1365494299 , 796651387 , 2081811395 ,( 97939455 , 1983871940 )
3600.09/3609.01 c gcd simplifications 741
3600.09/3609.01 c detected cardinalities 7406
3600.09/3609.01 c weakened non-implied lits 397986419
3600.09/3609.01 c weakened non-implying lits 217185
3600.09/3609.01 c original variables 20944
3600.09/3609.01 c clausal propagations 673555685
3600.09/3609.01 c cardinality propagations 546391063
3600.09/3609.01 c watched propagations 4748264
3600.09/3609.01 c counting propagations 228813931
3600.09/3609.01 c watch lookups 81771461301
3600.09/3609.01 c watch backjump lookups 0
3600.09/3609.01 c watch checks 37992676236
3600.09/3609.01 c propagation checks 132848699415
3600.09/3609.01 c constraint additions 5140778143
3600.09/3609.01 c trail pops 1504190384
3600.09/3609.01 c formula constraints 21298
3600.09/3609.01 c learned constraints 1441251
3600.09/3609.01 c bound constraints 0
3600.09/3609.01 c core-guided constraints 0
3600.09/3609.01 c encountered formula constraints 54453287
3600.09/3609.01 c encountered learned constraints 34475848
3600.09/3609.01 c encountered bound constraints 0
3600.09/3609.01 c encountered core-guided constraints 0
3600.09/3609.01 c LP total time 431.811 s
3600.09/3609.01 c LP solve time 417.02 s
3600.09/3609.01 c LP constraints added 22145
3600.09/3609.01 c LP constraints removed 725
3600.09/3609.01 c LP pivots internal 156504
3600.09/3609.01 c LP pivots root 140056
3600.09/3609.01 c LP calls 21
3600.09/3609.01 c LP optimalities 10
3600.09/3609.01 c LP no pivot count 1
3600.09/3609.01 c LP infeasibilities 5
3600.09/3609.01 c LP valid Farkas constraints 5
3600.09/3609.01 c LP learned Farkas constraints 5
3600.09/3609.01 c LP basis resets 0
3600.09/3609.01 c LP cycling count 0
3600.09/3609.01 c LP singular count 0
3600.09/3609.01 c LP no primal count 0
3600.09/3609.01 c LP no farkas count 0
3600.09/3609.01 c LP other issue count 0
3600.09/3609.01 c LP Gomory cuts 7
3600.09/3609.01 c LP learned cuts 840
3600.09/3609.01 c LP deleted cuts 725
3600.09/3609.01 c LP encountered Gomory constraints 3
3600.09/3609.01 c LP encountered Farkas constraints 601
3600.09/3609.01 c LP encountered learned Farkas constraints 2
3600.09/3609.01 c CG auxiliary variables introduced 0
3600.09/3609.01 c CG solutions found 0
3600.09/3609.01 c CG cores constructed 0
3600.09/3609.01 c CG core cardinality constraints returned 0
3600.09/3609.01 c CG unit cores 0
3600.09/3609.01 c CG single cores 0
3600.09/3609.01 c CG blocks removed during cardinality reduction 0
3600.09/3609.01 c CG first core best 0
3600.09/3609.01 c CG decision core best 0
3600.09/3609.01 c CG core reduction tie 0
3600.09/3609.01 c CG core degree average 0.00
3600.09/3609.01 c CG core slack average 0.00
3600.09/3609.01 c CG core upper bound improvements 0
3600.09/3609.01 c STR number of successful calls 0
3600.09/3609.01 c STR number of unsuccessful calls 0
3600.09/3609.01 c STR number of inconclusive calls 0
3600.09/3609.01 c STR number of successful attempts 0
3600.09/3609.01 c STR number of unsuccessful attempts 0
3600.09/3609.01 c STR number of inconclusive attempts 0
3600.09/3609.01 c STR average degree increase per successful call inf
3600.09/3609.01 c STR average degree increase per successful attempt inf
3600.09/3609.01 c STR total number of conflicts for successful attempts 0
3600.09/3609.01 c STR total number of conflicts for unsuccessful attempts 0
3600.09/3609.01 c STR total number of conflicts for inconclusive attempts 0
3600.09/3609.01 c STR average number of conflicts per successful attempt inf
3600.09/3609.01 c STR average number of conflicts per unsuccessful attempt inf
3600.09/3609.01 c STR average number of conflicts per inconclusive attempt inf
3600.09/3609.01 c AVG.sumWPerc 65.89
3600.09/3609.01 c bigint constraints 0
3600.09/3609.01 s UNKNOWN
3600.09/3609.01 c Program interrupted by user.
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: 63794 MiB (63258 MiB free)
memory of node 1: 64507 MiB (63962 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4506868-1751180326/watcher-4506868-1751180326 -o /tmp/evaluation-result-4506868-1751180326/solver-4506868-1751180326 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1751180326-22850 --watchdog 3760 run-dec.sh HOME/instance-4506868-1751180326.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=22907, runsolver pid=22892
Current StackSize limit: 8192 KiB
[startup+0.100071 s]*
/proc/loadavg: 0.47 1.32 2.34 5/257 22912
/proc/meminfo: memFree=130257784/131382116 swapFree=33010684/33010684
[pid=22907] ppid=22892 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/22907/stat : 22907 (run-dec.sh) S 22892 22907 22838 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 33712334 4292608 736 18446744073709551615 94432003129344 94432004023877 140734246400592 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94432004262928 94432004310672 94432016154624 140734246402413 140734246402536 140734246402536 140734246408138 0
/proc/22907/statm: 1048 736 672 219 0 110 0
[pid=22911] ppid=22907 vsize=59820 memory=14644 CPUtime=0.08 cores=1,3
/proc/22911/stat : 22911 (roundingsat) R 22907 22907 22838 0 -1 4194304 1499 0 0 0 5 3 0 0 20 0 1 0 33712336 61255680 3661 18446744073709551615 4227072 8923433 140723461874944 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 33083392 140723461880247 140723461880360 140723461880360 140723461885930 0
/proc/22911/statm: 14955 3661 1888 1147 0 2382 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 64012 KiB
Current children cumulated memory: 17588 KiB
[startup+0.214454 s]*
/proc/loadavg: 0.47 1.32 2.34 6/257 22912
/proc/meminfo: memFree=130245028/131382116 swapFree=33010684/33010684
[pid=22907] ppid=22892 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/22907/stat : 22907 (run-dec.sh) S 22892 22907 22838 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 33712334 4292608 736 18446744073709551615 94432003129344 94432004023877 140734246400592 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94432004262928 94432004310672 94432016154624 140734246402413 140734246402536 140734246402536 140734246408138 0
/proc/22907/statm: 1048 736 672 219 0 110 0
[pid=22911] ppid=22907 vsize=61104 memory=15924 CPUtime=0.19 cores=1,3
/proc/22911/stat : 22911 (roundingsat) R 22907 22907 22838 0 -1 4194304 1825 0 0 0 13 6 0 0 20 0 1 0 33712336 62570496 3981 18446744073709551615 4227072 8923433 140723461874944 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 33083392 140723461880247 140723461880360 140723461880360 140723461885930 0
/proc/22911/statm: 15276 3981 1888 1147 0 2703 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 65296 KiB
Current children cumulated memory: 18868 KiB
[startup+0.313589 s]*
/proc/loadavg: 0.47 1.32 2.34 5/257 22912
/proc/meminfo: memFree=130182276/131382116 swapFree=33010684/33010684
[pid=22907] ppid=22892 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/22907/stat : 22907 (run-dec.sh) S 22892 22907 22838 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 33712334 4292608 736 18446744073709551615 94432003129344 94432004023877 140734246400592 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94432004262928 94432004310672 94432016154624 140734246402413 140734246402536 140734246402536 140734246408138 0
/proc/22907/statm: 1048 736 672 219 0 110 0
[pid=22911] ppid=22907 vsize=77828 memory=33068 CPUtime=0.28 cores=1,3
/proc/22911/stat : 22911 (roundingsat) R 22907 22907 22838 0 -1 4194304 5433 0 0 0 21 7 0 0 20 0 1 0 33712336 79695872 8267 18446744073709551615 4227072 8923433 140723461874944 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 33083392 140723461880247 140723461880360 140723461880360 140723461885930 0
/proc/22911/statm: 19457 8267 2208 1147 0 6884 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 82020 KiB
Current children cumulated memory: 36012 KiB
[startup+0.700382 s]
/proc/loadavg: 0.47 1.32 2.34 5/257 22912
/proc/meminfo: memFree=130118944/131382116 swapFree=33010684/33010684
[pid=22907] ppid=22892 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/22907/stat : 22907 (run-dec.sh) S 22892 22907 22838 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 33712334 4292608 736 18446744073709551615 94432003129344 94432004023877 140734246400592 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94432004262928 94432004310672 94432016154624 140734246402413 140734246402536 140734246402536 140734246408138 0
/proc/22907/statm: 1048 736 672 219 0 110 0
[pid=22911] ppid=22907 vsize=109040 memory=55460 CPUtime=0.66 cores=1,3
/proc/22911/stat : 22911 (roundingsat) R 22907 22907 22838 0 -1 4194304 10787 0 0 0 56 10 0 0 20 0 1 0 33712336 111656960 13865 18446744073709551615 4227072 8923433 140723461874944 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 33083392 140723461880247 140723461880360 140723461880360 140723461885930 0
/proc/22911/statm: 27260 13865 2240 1147 0 14687 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 113232 KiB
Current children cumulated memory: 58404 KiB
[startup+1.50045 s]
/proc/loadavg: 0.47 1.32 2.34 5/257 22912
/proc/meminfo: memFree=130110880/131382116 swapFree=33010684/33010684
[pid=22907] ppid=22892 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/22907/stat : 22907 (run-dec.sh) S 22892 22907 22838 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 33712334 4292608 736 18446744073709551615 94432003129344 94432004023877 140734246400592 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94432004262928 94432004310672 94432016154624 140734246402413 140734246402536 140734246402536 140734246408138 0
/proc/22907/statm: 1048 736 672 219 0 110 0
[pid=22911] ppid=22907 vsize=110536 memory=57764 CPUtime=1.46 cores=1,3
/proc/22911/stat : 22911 (roundingsat) R 22907 22907 22838 0 -1 4194304 11392 0 0 0 135 11 0 0 20 0 1 0 33712336 113188864 14441 18446744073709551615 4227072 8923433 140723461874944 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 33083392 140723461880247 140723461880360 140723461880360 140723461885930 0
/proc/22911/statm: 27634 14441 2240 1147 0 15061 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 114728 KiB
Current children cumulated memory: 60708 KiB
[startup+3.11351 s]
/proc/loadavg: 0.47 1.32 2.34 5/257 22912
/proc/meminfo: memFree=130083832/131382116 swapFree=33010684/33010684
[pid=22907] ppid=22892 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/22907/stat : 22907 (run-dec.sh) S 22892 22907 22838 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 33712334 4292608 736 18446744073709551615 94432003129344 94432004023877 140734246400592 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94432004262928 94432004310672 94432016154624 140734246402413 140734246402536 140734246402536 140734246408138 0
/proc/22907/statm: 1048 736 672 219 0 110 0
[pid=22911] ppid=22907 vsize=112864 memory=62504 CPUtime=3.06 cores=1,3
/proc/22911/stat : 22911 (roundingsat) R 22907 22907 22838 0 -1 4194304 11978 0 0 0 290 16 0 0 20 0 1 0 33712336 115572736 15626 18446744073709551615 4227072 8923433 140723461874944 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 33083392 140723461880247 140723461880360 140723461880360 140723461885930 0
/proc/22911/statm: 28216 15626 2304 1147 0 15643 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 117056 KiB
Current children cumulated memory: 65448 KiB
[startup+6.30045 s]
/proc/loadavg: 0.75 1.37 2.35 5/257 22912
/proc/meminfo: memFree=130059204/131382116 swapFree=33010684/33010684
[pid=22907] ppid=22892 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/22907/stat : 22907 (run-dec.sh) S 22892 22907 22838 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 33712334 4292608 736 18446744073709551615 94432003129344 94432004023877 140734246400592 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94432004262928 94432004310672 94432016154624 140734246402413 140734246402536 140734246402536 140734246408138 0
/proc/22907/statm: 1048 736 672 219 0 110 0
[pid=22911] ppid=22907 vsize=122628 memory=72488 CPUtime=6.24 cores=1,3
/proc/22911/stat : 22911 (roundingsat) R 22907 22907 22838 0 -1 4194304 14497 0 0 0 587 37 0 0 20 0 1 0 33712336 125571072 18122 18446744073709551615 4227072 8923433 140723461874944 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 33083392 140723461880247 140723461880360 140723461880360 140723461885930 0
/proc/22911/statm: 30657 18122 2304 1147 0 18084 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 126820 KiB
Current children cumulated memory: 75432 KiB
[startup+12.7004 s]
/proc/loadavg: 1.01 1.41 2.36 5/257 22912
/proc/meminfo: memFree=129994944/131382116 swapFree=33010684/33010684
[pid=22907] ppid=22892 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/22907/stat : 22907 (run-dec.sh) S 22892 22907 22838 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 33712334 4292608 736 18446744073709551615 94432003129344 94432004023877 140734246400592 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94432004262928 94432004310672 94432016154624 140734246402413 140734246402536 140734246402536 140734246408138 0
/proc/22907/statm: 1048 736 672 219 0 110 0
[pid=22911] ppid=22907 vsize=142108 memory=91540 CPUtime=12.62 cores=1,3
/proc/22911/stat : 22911 (roundingsat) R 22907 22907 22838 0 -1 4194304 18763 0 0 0 1205 57 0 0 20 0 1 0 33712336 145518592 22885 18446744073709551615 4227072 8923433 140723461874944 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 33083392 140723461880247 140723461880360 140723461880360 140723461885930 0
/proc/22911/statm: 35527 22885 2304 1147 0 22954 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 146300 KiB
Current children cumulated memory: 94484 KiB
[startup+25.5004 s]
/proc/loadavg: 1.74 1.55 2.39 5/257 22912
/proc/meminfo: memFree=129958676/131382116 swapFree=33010684/33010684
[pid=22907] ppid=22892 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/22907/stat : 22907 (run-dec.sh) S 22892 22907 22838 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 33712334 4292608 736 18446744073709551615 94432003129344 94432004023877 140734246400592 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94432004262928 94432004310672 94432016154624 140734246402413 140734246402536 140734246402536 140734246408138 0
/proc/22907/statm: 1048 736 672 219 0 110 0
[pid=22911] ppid=22907 vsize=146324 memory=95124 CPUtime=25.39 cores=1,3
/proc/22911/stat : 22911 (roundingsat) R 22907 22907 22838 0 -1 4194304 19637 0 0 0 2455 84 0 0 20 0 1 0 33712336 149835776 23781 18446744073709551615 4227072 8923433 140723461874944 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 33083392 140723461880247 140723461880360 140723461880360 140723461885930 0
/proc/22911/statm: 36581 23781 2304 1147 0 24008 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 150516 KiB
Current children cumulated memory: 98068 KiB
[startup+51.1135 s]
/proc/loadavg: 2.51 1.75 2.44 5/257 22913
/proc/meminfo: memFree=129786440/131382116 swapFree=33010684/33010684
[pid=22907] ppid=22892 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/22907/stat : 22907 (run-dec.sh) S 22892 22907 22838 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 33712334 4292608 736 18446744073709551615 94432003129344 94432004023877 140734246400592 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94432004262928 94432004310672 94432016154624 140734246402413 140734246402536 140734246402536 140734246408138 0
/proc/22907/statm: 1048 736 672 219 0 110 0
[pid=22911] ppid=22907 vsize=191156 memory=140056 CPUtime=50.94 cores=1,3
/proc/22911/stat : 22911 (roundingsat) R 22907 22907 22838 0 -1 4194304 27371 0 0 0 4918 176 0 0 20 0 1 0 33712336 195743744 35014 18446744073709551615 4227072 8923433 140723461874944 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 33083392 140723461880247 140723461880360 140723461880360 140723461885930 0
/proc/22911/statm: 47789 35014 2304 1147 0 35216 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 195348 KiB
Current children cumulated memory: 143000 KiB
[startup+102.3 s]
/proc/loadavg: 3.45 2.13 2.53 5/255 22915
/proc/meminfo: memFree=129638064/131382116 swapFree=33010684/33010684
[pid=22907] ppid=22892 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/22907/stat : 22907 (run-dec.sh) S 22892 22907 22838 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 33712334 4292608 736 18446744073709551615 94432003129344 94432004023877 140734246400592 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94432004262928 94432004310672 94432016154624 140734246402413 140734246402536 140734246402536 140734246408138 0
/proc/22907/statm: 1048 736 672 219 0 110 0
[pid=22911] ppid=22907 vsize=234420 memory=175500 CPUtime=102 cores=1,3
/proc/22911/stat : 22911 (roundingsat) R 22907 22907 22838 0 -1 4194304 33674 0 0 0 9933 267 0 0 20 0 1 0 33712336 240046080 43875 18446744073709551615 4227072 8923433 140723461874944 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 33083392 140723461880247 140723461880360 140723461880360 140723461885930 0
/proc/22911/statm: 58605 43875 2304 1147 0 46032 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 238612 KiB
Current children cumulated memory: 178444 KiB
[startup+162.3 s]
/proc/loadavg: 3.89 2.50 2.64 5/256 22929
/proc/meminfo: memFree=129496904/131382116 swapFree=33010684/33010684
[pid=22907] ppid=22892 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/22907/stat : 22907 (run-dec.sh) S 22892 22907 22838 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 33712334 4292608 736 18446744073709551615 94432003129344 94432004023877 140734246400592 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94432004262928 94432004310672 94432016154624 140734246402413 140734246402536 140734246402536 140734246408138 0
/proc/22907/statm: 1048 736 672 219 0 110 0
[pid=22911] ppid=22907 vsize=289004 memory=215976 CPUtime=161.85 cores=1,3
/proc/22911/stat : 22911 (roundingsat) R 22907 22907 22838 0 -1 4194304 40697 0 0 0 15847 338 0 0 20 0 1 0 33712336 295940096 53994 18446744073709551615 4227072 8923433 140723461874944 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 33083392 140723461880247 140723461880360 140723461880360 140723461885930 0
/proc/22911/statm: 72251 53994 2336 1147 0 59678 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 293196 KiB
Current children cumulated memory: 218920 KiB
[startup+222.3 s]
/proc/loadavg: 4.00 2.79 2.73 5/256 22931
/proc/meminfo: memFree=129375920/131382116 swapFree=33010684/33010684
[pid=22907] ppid=22892 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/22907/stat : 22907 (run-dec.sh) S 22892 22907 22838 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 33712334 4292608 736 18446744073709551615 94432003129344 94432004023877 140734246400592 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94432004262928 94432004310672 94432016154624 140734246402413 140734246402536 140734246402536 140734246408138 0
/proc/22907/statm: 1048 736 672 219 0 110 0
[pid=22911] ppid=22907 vsize=313560 memory=250840 CPUtime=221.69 cores=1,3
/proc/22911/stat : 22911 (roundingsat) R 22907 22907 22838 0 -1 4194304 46871 0 0 0 21707 462 0 0 20 0 1 0 33712336 321085440 62710 18446744073709551615 4227072 8923433 140723461874944 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 33083392 140723461880247 140723461880360 140723461880360 140723461885930 0
/proc/22911/statm: 78390 62710 2336 1147 0 65817 0
################
# More data... #
################
/proc/22911/statm: 373079 303124 2336 1147 0 360506 0
Current children cumulated CPU time: 3034.74 s
Current children cumulated vsize: 1496508 KiB
Current children cumulated memory: 1215440 KiB
[startup+3102.3 s]
/proc/loadavg: 4.09 4.09 4.02 5/254 23067
/proc/meminfo: memFree=126358124/131382116 swapFree=33010684/33010684
[pid=22907] ppid=22892 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/22907/stat : 22907 (run-dec.sh) S 22892 22907 22838 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 33712334 4292608 736 18446744073709551615 94432003129344 94432004023877 140734246400592 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94432004262928 94432004310672 94432016154624 140734246402413 140734246402536 140734246402536 140734246408138 0
/proc/22907/statm: 1048 736 672 219 0 110 0
[pid=22911] ppid=22907 vsize=1492316 memory=1212496 CPUtime=3094.59 cores=1,3
/proc/22911/stat : 22911 (roundingsat) R 22907 22907 22838 0 -1 4194304 130300 0 0 0 306645 2814 0 0 20 0 1 0 33712336 1528131584 303124 18446744073709551615 4227072 8923433 140723461874944 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 33083392 140723461880247 140723461880360 140723461880360 140723461885930 0
/proc/22911/statm: 373079 303124 2336 1147 0 360506 0
Current children cumulated CPU time: 3094.59 s
Current children cumulated vsize: 1496508 KiB
Current children cumulated memory: 1215440 KiB
[startup+3162.3 s]
/proc/loadavg: 4.15 4.10 4.03 5/254 23069
/proc/meminfo: memFree=126341868/131382116 swapFree=33010684/33010684
[pid=22907] ppid=22892 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/22907/stat : 22907 (run-dec.sh) S 22892 22907 22838 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 33712334 4292608 736 18446744073709551615 94432003129344 94432004023877 140734246400592 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94432004262928 94432004310672 94432016154624 140734246402413 140734246402536 140734246402536 140734246408138 0
/proc/22907/statm: 1048 736 672 219 0 110 0
[pid=22911] ppid=22907 vsize=1492460 memory=1212624 CPUtime=3154.45 cores=1,3
/proc/22911/stat : 22911 (roundingsat) R 22907 22907 22838 0 -1 4194304 130375 0 0 0 312592 2853 0 0 20 0 1 0 33712336 1528279040 303156 18446744073709551615 4227072 8923433 140723461874944 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 33083392 140723461880247 140723461880360 140723461880360 140723461885930 0
/proc/22911/statm: 373115 303156 2336 1147 0 360542 0
Current children cumulated CPU time: 3154.45 s
Current children cumulated vsize: 1496652 KiB
Current children cumulated memory: 1215568 KiB
[startup+3222.3 s]
/proc/loadavg: 4.18 4.11 4.03 5/254 23071
/proc/meminfo: memFree=126317960/131382116 swapFree=33010684/33010684
[pid=22907] ppid=22892 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/22907/stat : 22907 (run-dec.sh) S 22892 22907 22838 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 33712334 4292608 736 18446744073709551615 94432003129344 94432004023877 140734246400592 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94432004262928 94432004310672 94432016154624 140734246402413 140734246402536 140734246402536 140734246408138 0
/proc/22907/statm: 1048 736 672 219 0 110 0
[pid=22911] ppid=22907 vsize=1496724 memory=1216336 CPUtime=3214.3 cores=1,3
/proc/22911/stat : 22911 (roundingsat) R 22907 22907 22838 0 -1 4194304 131305 0 0 0 318541 2889 0 0 20 0 1 0 33712336 1532645376 304084 18446744073709551615 4227072 8923433 140723461874944 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 33083392 140723461880247 140723461880360 140723461880360 140723461885930 0
/proc/22911/statm: 374181 304084 2336 1147 0 361608 0
Current children cumulated CPU time: 3214.3 s
Current children cumulated vsize: 1500916 KiB
Current children cumulated memory: 1219280 KiB
[startup+3282.3 s]
/proc/loadavg: 4.11 4.10 4.03 5/255 23076
/proc/meminfo: memFree=126308736/131382116 swapFree=33010684/33010684
[pid=22907] ppid=22892 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/22907/stat : 22907 (run-dec.sh) S 22892 22907 22838 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 33712334 4292608 736 18446744073709551615 94432003129344 94432004023877 140734246400592 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94432004262928 94432004310672 94432016154624 140734246402413 140734246402536 140734246402536 140734246408138 0
/proc/22907/statm: 1048 736 672 219 0 110 0
[pid=22911] ppid=22907 vsize=1509236 memory=1226448 CPUtime=3274.16 cores=1,3
/proc/22911/stat : 22911 (roundingsat) R 22907 22907 22838 0 -1 4194304 133871 0 0 0 324482 2934 0 0 20 0 1 0 33712336 1545457664 306612 18446744073709551615 4227072 8923433 140723461874944 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 33083392 140723461880247 140723461880360 140723461880360 140723461885930 0
/proc/22911/statm: 377309 306612 2336 1147 0 364736 0
Current children cumulated CPU time: 3274.16 s
Current children cumulated vsize: 1513428 KiB
Current children cumulated memory: 1229392 KiB
[startup+3342.3 s]
/proc/loadavg: 4.19 4.13 4.05 5/255 23078
/proc/meminfo: memFree=126309056/131382116 swapFree=33010684/33010684
[pid=22907] ppid=22892 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/22907/stat : 22907 (run-dec.sh) S 22892 22907 22838 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 33712334 4292608 736 18446744073709551615 94432003129344 94432004023877 140734246400592 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94432004262928 94432004310672 94432016154624 140734246402413 140734246402536 140734246402536 140734246408138 0
/proc/22907/statm: 1048 736 672 219 0 110 0
[pid=22911] ppid=22907 vsize=1510684 memory=1227984 CPUtime=3334.02 cores=1,3
/proc/22911/stat : 22911 (roundingsat) R 22907 22907 22838 0 -1 4194304 134245 0 0 0 330418 2984 0 0 20 0 1 0 33712336 1546940416 306996 18446744073709551615 4227072 8923433 140723461874944 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 33083392 140723461880247 140723461880360 140723461880360 140723461885930 0
/proc/22911/statm: 377671 306996 2336 1147 0 365098 0
Current children cumulated CPU time: 3334.02 s
Current children cumulated vsize: 1514876 KiB
Current children cumulated memory: 1230928 KiB
[startup+3402.3 s]
/proc/loadavg: 4.12 4.12 4.05 5/255 23084
/proc/meminfo: memFree=126309104/131382116 swapFree=33010684/33010684
[pid=22907] ppid=22892 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/22907/stat : 22907 (run-dec.sh) S 22892 22907 22838 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 33712334 4292608 736 18446744073709551615 94432003129344 94432004023877 140734246400592 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94432004262928 94432004310672 94432016154624 140734246402413 140734246402536 140734246402536 140734246408138 0
/proc/22907/statm: 1048 736 672 219 0 110 0
[pid=22911] ppid=22907 vsize=1510684 memory=1227984 CPUtime=3393.87 cores=1,3
/proc/22911/stat : 22911 (roundingsat) R 22907 22907 22838 0 -1 4194304 134511 0 0 0 336337 3050 0 0 20 0 1 0 33712336 1546940416 306996 18446744073709551615 4227072 8923433 140723461874944 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 33083392 140723461880247 140723461880360 140723461880360 140723461885930 0
/proc/22911/statm: 377671 306996 2336 1147 0 365098 0
Current children cumulated CPU time: 3393.87 s
Current children cumulated vsize: 1514876 KiB
Current children cumulated memory: 1230928 KiB
[startup+3462.3 s]
/proc/loadavg: 4.15 4.12 4.05 5/255 23086
/proc/meminfo: memFree=126310588/131382116 swapFree=33010684/33010684
[pid=22907] ppid=22892 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/22907/stat : 22907 (run-dec.sh) S 22892 22907 22838 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 33712334 4292608 736 18446744073709551615 94432003129344 94432004023877 140734246400592 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94432004262928 94432004310672 94432016154624 140734246402413 140734246402536 140734246402536 140734246408138 0
/proc/22907/statm: 1048 736 672 219 0 110 0
[pid=22911] ppid=22907 vsize=1510684 memory=1227984 CPUtime=3453.73 cores=1,3
/proc/22911/stat : 22911 (roundingsat) R 22907 22907 22838 0 -1 4194304 134540 0 0 0 342279 3094 0 0 20 0 1 0 33712336 1546940416 306996 18446744073709551615 4227072 8923433 140723461874944 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 33083392 140723461880247 140723461880360 140723461880360 140723461885930 0
/proc/22911/statm: 377671 306996 2336 1147 0 365098 0
Current children cumulated CPU time: 3453.73 s
Current children cumulated vsize: 1514876 KiB
Current children cumulated memory: 1230928 KiB
[startup+3522.3 s]
/proc/loadavg: 4.11 4.12 4.05 5/254 23088
/proc/meminfo: memFree=126266324/131382116 swapFree=33010684/33010684
[pid=22907] ppid=22892 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/22907/stat : 22907 (run-dec.sh) S 22892 22907 22838 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 33712334 4292608 736 18446744073709551615 94432003129344 94432004023877 140734246400592 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94432004262928 94432004310672 94432016154624 140734246402413 140734246402536 140734246402536 140734246408138 0
/proc/22907/statm: 1048 736 672 219 0 110 0
[pid=22911] ppid=22907 vsize=1514456 memory=1230800 CPUtime=3513.58 cores=1,3
/proc/22911/stat : 22911 (roundingsat) R 22907 22907 22838 0 -1 4194304 135276 0 0 0 348228 3130 0 0 20 0 1 0 33712336 1550802944 307700 18446744073709551615 4227072 8923433 140723461874944 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 33083392 140723461880247 140723461880360 140723461880360 140723461885930 0
/proc/22911/statm: 378614 307700 2336 1147 0 366041 0
Current children cumulated CPU time: 3513.58 s
Current children cumulated vsize: 1518648 KiB
Current children cumulated memory: 1233744 KiB
[startup+3582.3 s]
/proc/loadavg: 4.08 4.11 4.05 5/254 23090
/proc/meminfo: memFree=126257060/131382116 swapFree=33010684/33010684
[pid=22907] ppid=22892 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/22907/stat : 22907 (run-dec.sh) S 22892 22907 22838 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 33712334 4292608 736 18446744073709551615 94432003129344 94432004023877 140734246400592 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94432004262928 94432004310672 94432016154624 140734246402413 140734246402536 140734246402536 140734246408138 0
/proc/22907/statm: 1048 736 672 219 0 110 0
[pid=22911] ppid=22907 vsize=1525292 memory=1239888 CPUtime=3573.44 cores=1,3
/proc/22911/stat : 22911 (roundingsat) R 22907 22907 22838 0 -1 4194304 137572 0 0 0 354172 3172 0 0 20 0 1 0 33712336 1561899008 309972 18446744073709551615 4227072 8923433 140723461874944 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 33083392 140723461880247 140723461880360 140723461880360 140723461885930 0
/proc/22911/statm: 381323 309972 2336 1147 0 368750 0
Current children cumulated CPU time: 3573.44 s
Current children cumulated vsize: 1529484 KiB
Current children cumulated memory: 1242832 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609 s]*
/proc/loadavg: 4.12 4.11 4.06 5/254 23092
/proc/meminfo: memFree=126251540/131382116 swapFree=33010684/33010684
[pid=22907] ppid=22892 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/22907/stat : 22907 (run-dec.sh) S 22892 22907 22838 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 33712334 4292608 736 18446744073709551615 94432003129344 94432004023877 140734246400592 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94432004262928 94432004310672 94432016154624 140734246402413 140734246402536 140734246402536 140734246408138 0
/proc/22907/statm: 1048 736 672 219 0 110 0
[pid=22911] ppid=22907 vsize=1525812 memory=1240016 CPUtime=3600.09 cores=1,3
/proc/22911/stat : 22911 (roundingsat) R 22907 22907 22838 0 -1 4194304 137591 0 0 0 356820 3189 0 0 20 0 1 0 33712336 1562431488 310004 18446744073709551615 4227072 8923433 140723461874944 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 33083392 140723461880247 140723461880360 140723461880360 140723461885930 0
/proc/22911/statm: 381453 310004 2336 1147 0 368880 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 1530004 KiB
Current children cumulated memory: 1242960 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.02 s]
# the end of solver process 22907 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.00158 s, system=0.003985 s
[startup+3609.03 s]
# the end of solver process 22911 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3568.21 s, system=31.9036 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 2
Real time (s): 3609.03
CPU time (s): 3600.11
CPU user time (s): 3568.21
CPU system time (s): 31.9036
CPU usage (%): 99.7531
Max. virtual memory (cumulated for all children) (KiB): 1530004
Max. memory (cumulated for all children) (KiB): 1242960
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3568.21
system time used= 31.9036
maximum resident set size= 1240400
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 137819
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= 412
involuntary context switches= 3006
# summary of solver processes directly reported to runsolver:
# pid: 22907,22911
# total CPU time (s): 3600.11
# total CPU user time (s): 3568.21
# total CPU system time (s): 31.9036
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.6881 second user time and 38.4928 second system time
The end
Begin job on nodeC011 at 2025-06-29 08:58:46
IDJOB=4506868
IDBENCH=158302
IDSOLVER=3349
FILE ID=nodeC011/4506868-1751180326
RUNJOBID= nodeC011-1751180326-22850
SLURM_JOB_ID= 9587547
Free space on /tmp= 433048 MiB
SOLVER NAME= roundingsat 63f22ad
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathNG/normalized-NG_K176.opb
COMMAND LINE= run-dec.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4506868-1751180326/watcher-4506868-1751180326 -o /tmp/evaluation-result-4506868-1751180326/solver-4506868-1751180326 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1751180326-22850 --watchdog 3760 run-dec.sh HOME/instance-4506868-1751180326.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 98be46c5d9a37fa78efcf3182d546400
RANDOM SEED=1304843974
nodeC011 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.860
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6984.20
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.202
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6984.20
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.430
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6984.20
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.320
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6984.20
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.431
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6984.20
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.326
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6984.20
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.603
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6984.20
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.296
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6984.20
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382116 kB
MemFree: 130276348 kB
MemAvailable: 129939604 kB
Buffers: 3280 kB
Cached: 474572 kB
SwapCached: 0 kB
Active: 319040 kB
Inactive: 226780 kB
Active(anon): 85928 kB
Inactive(anon): 0 kB
Active(file): 233112 kB
Inactive(file): 226780 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 34884 kB
Writeback: 8 kB
AnonPages: 71048 kB
Mapped: 101892 kB
Shmem: 17960 kB
KReclaimable: 85596 kB
Slab: 164884 kB
SReclaimable: 85596 kB
SUnreclaim: 79288 kB
KernelStack: 3888 kB
PageTables: 2808 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 334892 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149272 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 10240 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 191304 kB
DirectMap2M: 8099840 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 433020 MiB
End job on nodeC011 at 2025-06-29 09:58:55