0.00/0.02 c RoundingSat 2
0.00/0.02 c branch pb25
0.00/0.02 c commit 63f22ad
0.30/0.33 c #variables 20944 #constraints 21298
129.70/130.19 c #Conflicts: 1000 | #Constraints: 22297
129.70/130.19 c #Conflicts: 2000 | #Constraints: 23297
129.70/130.19 c INPROCESSING
129.70/130.19 c GARBAGE COLLECT
129.70/130.19 c #Conflicts: 3000 | #Constraints: 22543
129.70/130.19 c #Conflicts: 4000 | #Constraints: 23543
129.70/130.19 c INPROCESSING
129.70/130.19 c GARBAGE COLLECT
129.70/130.19 c #Conflicts: 5000 | #Constraints: 23048
129.70/130.19 c #Conflicts: 6000 | #Constraints: 24048
129.70/130.19 c INPROCESSING
129.70/130.19 c GARBAGE COLLECT
129.70/130.19 c #Conflicts: 7000 | #Constraints: 23149
129.70/130.19 c #Conflicts: 8000 | #Constraints: 24149
129.70/130.19 c #Conflicts: 9000 | #Constraints: 25149
129.70/130.19 c #Conflicts: 10000 | #Constraints: 26149
129.70/130.19 c #Conflicts: 11000 | #Constraints: 27149
129.70/130.19 c #Conflicts: 12000 | #Constraints: 28149
129.70/130.19 c INPROCESSING
129.70/130.19 c GARBAGE COLLECT
129.70/130.19 c #Conflicts: 13000 | #Constraints: 25201
129.70/130.19 c #Conflicts: 14000 | #Constraints: 26201
129.70/130.19 c #Conflicts: 15000 | #Constraints: 27201
129.70/130.19 c #Conflicts: 16000 | #Constraints: 28201
129.70/130.19 c INPROCESSING
129.70/130.19 c GARBAGE COLLECT
129.70/130.19 c #Conflicts: 17000 | #Constraints: 25464
129.70/130.19 c #Conflicts: 18000 | #Constraints: 26464
129.70/130.19 c #Conflicts: 19000 | #Constraints: 27464
129.70/130.19 c #Conflicts: 20000 | #Constraints: 28464
129.70/130.19 c #Conflicts: 21000 | #Constraints: 29464
129.70/130.19 c #Conflicts: 22000 | #Constraints: 30464
129.70/130.19 c #Conflicts: 23000 | #Constraints: 31464
129.70/130.19 c #Conflicts: 24000 | #Constraints: 32464
129.70/130.19 c #Conflicts: 25000 | #Constraints: 33464
129.70/130.19 c INPROCESSING
129.70/130.19 c GARBAGE COLLECT
129.70/130.19 c #Conflicts: 26000 | #Constraints: 27952
129.70/130.19 c #Conflicts: 27000 | #Constraints: 28952
129.70/130.19 c #Conflicts: 28000 | #Constraints: 29952
129.70/130.19 c #Conflicts: 29000 | #Constraints: 30952
129.70/130.19 c #Conflicts: 30000 | #Constraints: 31952
129.70/130.19 c INPROCESSING
129.70/130.19 c GARBAGE COLLECT
129.70/130.19 c #Conflicts: 31000 | #Constraints: 28058
129.70/130.19 c #Conflicts: 32000 | #Constraints: 29058
129.70/130.19 c #Conflicts: 33000 | #Constraints: 30058
129.70/130.19 c #Conflicts: 34000 | #Constraints: 31058
129.70/130.19 c #Conflicts: 35000 | #Constraints: 32058
129.70/130.19 c #Conflicts: 36000 | #Constraints: 33058
129.70/130.19 c #Conflicts: 37000 | #Constraints: 34058
129.70/130.19 c #Conflicts: 38000 | #Constraints: 35058
129.70/130.19 c #Conflicts: 39000 | #Constraints: 36058
129.70/130.19 c #Conflicts: 40000 | #Constraints: 37058
129.70/130.19 c #Conflicts: 41000 | #Constraints: 38058
129.70/130.19 c #Conflicts: 42000 | #Constraints: 39058
129.70/130.19 c #Conflicts: 43000 | #Constraints: 40058
129.70/130.19 c INPROCESSING
129.70/130.19 c GARBAGE COLLECT
129.70/130.19 c #Conflicts: 44000 | #Constraints: 31718
129.70/130.19 c #Conflicts: 45000 | #Constraints: 32718
129.70/130.19 c #Conflicts: 46000 | #Constraints: 33718
129.70/130.19 c #Conflicts: 47000 | #Constraints: 34718
129.70/130.19 c #Conflicts: 48000 | #Constraints: 35718
129.70/130.19 c #Conflicts: 49000 | #Constraints: 36718
129.70/130.19 c INPROCESSING
129.70/130.19 c GARBAGE COLLECT
129.70/130.19 c #Conflicts: 50000 | #Constraints: 31150
129.70/130.19 c #Conflicts: 51000 | #Constraints: 32150
129.70/130.19 c #Conflicts: 52000 | #Constraints: 33150
129.70/130.19 c #Conflicts: 53000 | #Constraints: 34150
129.70/130.19 c #Conflicts: 54000 | #Constraints: 35150
129.70/130.19 c #Conflicts: 55000 | #Constraints: 36150
129.70/130.19 c #Conflicts: 56000 | #Constraints: 37150
129.70/130.19 c #Conflicts: 57000 | #Constraints: 38150
129.70/130.19 c #Conflicts: 58000 | #Constraints: 39150
129.70/130.19 c #Conflicts: 59000 | #Constraints: 40150
129.70/130.19 c #Conflicts: 60000 | #Constraints: 41150
129.70/130.19 c #Conflicts: 61000 | #Constraints: 42150
129.70/130.19 c #Conflicts: 62000 | #Constraints: 43150
129.70/130.19 c #Conflicts: 63000 | #Constraints: 44150
129.70/130.19 c #Conflicts: 64000 | #Constraints: 45150
129.70/130.19 c #Conflicts: 65000 | #Constraints: 46150
129.70/130.19 c INPROCESSING
129.70/130.19 c GARBAGE COLLECT
129.70/130.19 c #Conflicts: 66000 | #Constraints: 34992
129.70/130.19 c #Conflicts: 67000 | #Constraints: 35992
129.70/130.19 c #Conflicts: 68000 | #Constraints: 36992
129.70/130.19 c #Conflicts: 69000 | #Constraints: 37992
129.70/130.19 c #Conflicts: 70000 | #Constraints: 38992
129.70/130.19 c #Conflicts: 71000 | #Constraints: 39992
129.70/130.19 c #Conflicts: 72000 | #Constraints: 40992
129.70/130.19 c INPROCESSING
129.70/130.19 c GARBAGE COLLECT
260.61/261.44 c #Conflicts: 73000 | #Constraints: 33847
260.61/261.44 c #Conflicts: 74000 | #Constraints: 34847
260.61/261.44 c #Conflicts: 75000 | #Constraints: 35847
260.61/261.44 c #Conflicts: 76000 | #Constraints: 36847
260.61/261.44 c #Conflicts: 77000 | #Constraints: 37847
260.61/261.44 c #Conflicts: 78000 | #Constraints: 38847
260.61/261.44 c #Conflicts: 79000 | #Constraints: 39847
260.61/261.44 c #Conflicts: 80000 | #Constraints: 40847
260.61/261.44 c #Conflicts: 81000 | #Constraints: 41847
260.61/261.44 c #Conflicts: 82000 | #Constraints: 42847
260.61/261.44 c #Conflicts: 83000 | #Constraints: 43847
260.61/261.44 c #Conflicts: 84000 | #Constraints: 44847
260.61/261.44 c #Conflicts: 85000 | #Constraints: 45847
260.61/261.44 c #Conflicts: 86000 | #Constraints: 46847
260.61/261.44 c #Conflicts: 87000 | #Constraints: 47847
260.61/261.44 c #Conflicts: 88000 | #Constraints: 48847
260.61/261.44 c #Conflicts: 89000 | #Constraints: 49847
260.61/261.44 c #Conflicts: 90000 | #Constraints: 50847
260.61/261.44 c #Conflicts: 91000 | #Constraints: 51847
260.61/261.44 c INPROCESSING
260.61/261.44 c GARBAGE COLLECT
260.61/261.44 c #Conflicts: 92000 | #Constraints: 37766
260.61/261.44 c #Conflicts: 93000 | #Constraints: 38766
260.61/261.44 c #Conflicts: 94000 | #Constraints: 39766
260.61/261.44 c #Conflicts: 95000 | #Constraints: 40766
260.61/261.44 c #Conflicts: 96000 | #Constraints: 41766
260.61/261.44 c #Conflicts: 97000 | #Constraints: 42766
260.61/261.44 c #Conflicts: 98000 | #Constraints: 43766
260.61/261.44 c #Conflicts: 99000 | #Constraints: 44766
260.61/261.44 c #Conflicts: 100000 | #Constraints: 45766
260.61/261.44 c INPROCESSING
260.61/261.44 c GARBAGE COLLECT
260.61/261.44 c #Conflicts: 101000 | #Constraints: 36791
260.61/261.44 c #Conflicts: 102000 | #Constraints: 37791
260.61/261.44 c #Conflicts: 103000 | #Constraints: 38791
260.61/261.44 c #Conflicts: 104000 | #Constraints: 39791
260.61/261.44 c #Conflicts: 105000 | #Constraints: 40791
260.61/261.44 c #Conflicts: 106000 | #Constraints: 41791
260.61/261.44 c #Conflicts: 107000 | #Constraints: 42791
260.61/261.44 c #Conflicts: 108000 | #Constraints: 43791
260.61/261.44 c #Conflicts: 109000 | #Constraints: 44791
260.61/261.44 c #Conflicts: 110000 | #Constraints: 45791
260.61/261.44 c #Conflicts: 111000 | #Constraints: 46791
260.61/261.44 c #Conflicts: 112000 | #Constraints: 47791
260.61/261.44 c #Conflicts: 113000 | #Constraints: 48791
260.61/261.44 c #Conflicts: 114000 | #Constraints: 49791
260.61/261.44 c #Conflicts: 115000 | #Constraints: 50791
260.61/261.44 c #Conflicts: 116000 | #Constraints: 51791
260.61/261.44 c #Conflicts: 117000 | #Constraints: 52791
260.61/261.44 c #Conflicts: 118000 | #Constraints: 53791
260.61/261.44 c #Conflicts: 119000 | #Constraints: 54791
260.61/261.44 c #Conflicts: 120000 | #Constraints: 55791
260.61/261.44 c #Conflicts: 121000 | #Constraints: 56791
260.61/261.44 c INPROCESSING
260.61/261.44 c GARBAGE COLLECT
260.61/261.44 c #Conflicts: 122000 | #Constraints: 40268
260.61/261.44 c #Conflicts: 123000 | #Constraints: 41268
260.61/261.44 c #Conflicts: 124000 | #Constraints: 42268
260.61/261.44 c #Conflicts: 125000 | #Constraints: 43268
260.61/261.44 c #Conflicts: 126000 | #Constraints: 44268
260.61/261.44 c #Conflicts: 127000 | #Constraints: 45268
260.61/261.44 c #Conflicts: 128000 | #Constraints: 46268
260.61/261.44 c #Conflicts: 129000 | #Constraints: 47268
260.61/261.44 c #Conflicts: 130000 | #Constraints: 48268
260.61/261.44 c #Conflicts: 131000 | #Constraints: 49268
260.61/261.44 c #Conflicts: 132000 | #Constraints: 50268
260.61/261.44 c INPROCESSING
260.61/261.44 c GARBAGE COLLECT
260.61/261.44 c #Conflicts: 133000 | #Constraints: 40035
260.61/261.44 c #Conflicts: 134000 | #Constraints: 41035
260.61/261.44 c #Conflicts: 135000 | #Constraints: 42035
260.61/261.44 c #Conflicts: 136000 | #Constraints: 43035
260.61/261.44 c #Conflicts: 137000 | #Constraints: 44035
260.61/261.44 c #Conflicts: 138000 | #Constraints: 45035
260.61/261.44 c #Conflicts: 139000 | #Constraints: 46035
260.61/261.44 c #Conflicts: 140000 | #Constraints: 47035
260.61/261.44 c #Conflicts: 141000 | #Constraints: 48035
260.61/261.44 c #Conflicts: 142000 | #Constraints: 49035
260.61/261.44 c #Conflicts: 143000 | #Constraints: 50035
260.61/261.44 c #Conflicts: 144000 | #Constraints: 51035
260.61/261.44 c #Conflicts: 145000 | #Constraints: 52035
260.61/261.44 c #Conflicts: 146000 | #Constraints: 53035
260.61/261.44 c #Conflicts: 147000 | #Constraints: 54035
260.61/261.44 c #Conflicts: 148000 | #Constraints: 55035
260.61/261.44 c #Conflicts: 149000 | #Constraints: 56035
396.23/397.44 c #Conflicts: 150000 | #Constraints: 57035
396.23/397.44 c #Conflicts: 151000 | #Constraints: 58035
396.23/397.44 c #Conflicts: 152000 | #Constraints: 59035
396.23/397.44 c #Conflicts: 153000 | #Constraints: 60035
396.23/397.44 c #Conflicts: 154000 | #Constraints: 61035
396.23/397.44 c #Conflicts: 155000 | #Constraints: 62035
396.23/397.44 c #Conflicts: 156000 | #Constraints: 63035
396.23/397.44 c INPROCESSING
396.23/397.44 c GARBAGE COLLECT
396.23/397.44 c #Conflicts: 157000 | #Constraints: 43427
396.23/397.44 c #Conflicts: 158000 | #Constraints: 44427
396.23/397.44 c #Conflicts: 159000 | #Constraints: 45427
396.23/397.44 c #Conflicts: 160000 | #Constraints: 46427
396.23/397.44 c #Conflicts: 161000 | #Constraints: 47427
396.23/397.44 c #Conflicts: 162000 | #Constraints: 48427
396.23/397.44 c #Conflicts: 163000 | #Constraints: 49427
396.23/397.44 c #Conflicts: 164000 | #Constraints: 50427
396.23/397.44 c #Conflicts: 165000 | #Constraints: 51427
396.23/397.44 c #Conflicts: 166000 | #Constraints: 52427
396.23/397.44 c #Conflicts: 167000 | #Constraints: 53427
396.23/397.44 c #Conflicts: 168000 | #Constraints: 54427
396.23/397.44 c INPROCESSING
396.23/397.44 c GARBAGE COLLECT
396.23/397.44 c #Conflicts: 169000 | #Constraints: 42911
396.23/397.44 c #Conflicts: 170000 | #Constraints: 43911
396.23/397.44 c #Conflicts: 171000 | #Constraints: 44911
396.23/397.44 c #Conflicts: 172000 | #Constraints: 45911
396.23/397.44 c #Conflicts: 173000 | #Constraints: 46911
396.23/397.44 c #Conflicts: 174000 | #Constraints: 47911
396.23/397.44 c #Conflicts: 175000 | #Constraints: 48911
396.23/397.44 c #Conflicts: 176000 | #Constraints: 49911
396.23/397.44 c #Conflicts: 177000 | #Constraints: 50911
396.23/397.44 c #Conflicts: 178000 | #Constraints: 51911
396.23/397.44 c #Conflicts: 179000 | #Constraints: 52911
396.23/397.44 c #Conflicts: 180000 | #Constraints: 53911
396.23/397.44 c #Conflicts: 181000 | #Constraints: 54911
396.23/397.44 c #Conflicts: 182000 | #Constraints: 55911
396.23/397.44 c #Conflicts: 183000 | #Constraints: 56911
396.23/397.44 c #Conflicts: 184000 | #Constraints: 57911
396.23/397.44 c #Conflicts: 185000 | #Constraints: 58911
396.23/397.44 c #Conflicts: 186000 | #Constraints: 59911
396.23/397.44 c #Conflicts: 187000 | #Constraints: 60911
396.23/397.44 c #Conflicts: 188000 | #Constraints: 61911
396.23/397.44 c #Conflicts: 189000 | #Constraints: 62911
396.23/397.44 c #Conflicts: 190000 | #Constraints: 63911
396.23/397.44 c #Conflicts: 191000 | #Constraints: 64911
396.23/397.44 c #Conflicts: 192000 | #Constraints: 65911
396.23/397.44 c #Conflicts: 193000 | #Constraints: 66911
396.23/397.44 c #Conflicts: 194000 | #Constraints: 67911
396.23/397.44 c #Conflicts: 195000 | #Constraints: 68911
396.23/397.44 c #Conflicts: 196000 | #Constraints: 69911
396.23/397.44 c INPROCESSING
396.23/397.44 c GARBAGE COLLECT
396.23/397.44 c #Conflicts: 197000 | #Constraints: 47308
396.23/397.44 c #Conflicts: 198000 | #Constraints: 48308
396.23/397.44 c #Conflicts: 199000 | #Constraints: 49308
396.23/397.44 c #Conflicts: 200000 | #Constraints: 50308
396.23/397.44 c #Conflicts: 201000 | #Constraints: 51308
396.23/397.44 c #Conflicts: 202000 | #Constraints: 52308
396.23/397.44 c #Conflicts: 203000 | #Constraints: 53308
396.23/397.44 c #Conflicts: 204000 | #Constraints: 54308
396.23/397.44 c #Conflicts: 205000 | #Constraints: 55308
396.23/397.44 c #Conflicts: 206000 | #Constraints: 56308
396.23/397.44 c #Conflicts: 207000 | #Constraints: 57308
396.23/397.44 c #Conflicts: 208000 | #Constraints: 58308
396.23/397.44 c #Conflicts: 209000 | #Constraints: 59308
396.23/397.44 c INPROCESSING
396.23/397.44 c GARBAGE COLLECT
396.23/397.44 c #Conflicts: 210000 | #Constraints: 45956
396.23/397.44 c #Conflicts: 211000 | #Constraints: 46956
396.23/397.44 c #Conflicts: 212000 | #Constraints: 47956
396.23/397.44 c #Conflicts: 213000 | #Constraints: 48956
396.23/397.44 c #Conflicts: 214000 | #Constraints: 49956
396.23/397.44 c #Conflicts: 215000 | #Constraints: 50956
396.23/397.44 c #Conflicts: 216000 | #Constraints: 51956
396.23/397.44 c #Conflicts: 217000 | #Constraints: 52956
396.23/397.44 c #Conflicts: 218000 | #Constraints: 53956
396.23/397.44 c #Conflicts: 219000 | #Constraints: 54956
396.23/397.44 c #Conflicts: 220000 | #Constraints: 55956
396.23/397.44 c #Conflicts: 221000 | #Constraints: 56956
396.23/397.44 c #Conflicts: 222000 | #Constraints: 57956
396.23/397.44 c #Conflicts: 223000 | #Constraints: 58956
396.23/397.44 c #Conflicts: 224000 | #Constraints: 59956
396.23/397.44 c #Conflicts: 225000 | #Constraints: 60956
608.27/610.07 c #Conflicts: 226000 | #Constraints: 61956
608.27/610.07 c #Conflicts: 227000 | #Constraints: 62956
608.27/610.07 c #Conflicts: 228000 | #Constraints: 63956
608.27/610.07 c #Conflicts: 229000 | #Constraints: 64956
608.27/610.07 c #Conflicts: 230000 | #Constraints: 65956
608.27/610.07 c #Conflicts: 231000 | #Constraints: 66956
608.27/610.07 c #Conflicts: 232000 | #Constraints: 67956
608.27/610.07 c #Conflicts: 233000 | #Constraints: 68956
608.27/610.07 c #Conflicts: 234000 | #Constraints: 69956
608.27/610.07 c #Conflicts: 235000 | #Constraints: 70956
608.27/610.07 c #Conflicts: 236000 | #Constraints: 71956
608.27/610.07 c #Conflicts: 237000 | #Constraints: 72956
608.27/610.07 c #Conflicts: 238000 | #Constraints: 73956
608.27/610.07 c #Conflicts: 239000 | #Constraints: 74956
608.27/610.07 c #Conflicts: 240000 | #Constraints: 75956
608.27/610.07 c INPROCESSING
608.27/610.07 c GARBAGE COLLECT
608.27/610.07 c #Conflicts: 241000 | #Constraints: 50272
608.27/610.07 c #Conflicts: 242000 | #Constraints: 51272
608.27/610.07 c #Conflicts: 243000 | #Constraints: 52272
608.27/610.07 c #Conflicts: 244000 | #Constraints: 53272
608.27/610.07 c #Conflicts: 245000 | #Constraints: 54272
608.27/610.07 c #Conflicts: 246000 | #Constraints: 55272
608.27/610.07 c #Conflicts: 247000 | #Constraints: 56272
608.27/610.07 c #Conflicts: 248000 | #Constraints: 57272
608.27/610.07 c #Conflicts: 249000 | #Constraints: 58272
608.27/610.07 c #Conflicts: 250000 | #Constraints: 59272
608.27/610.07 c #Conflicts: 251000 | #Constraints: 60272
608.27/610.07 c #Conflicts: 252000 | #Constraints: 61272
608.27/610.07 c #Conflicts: 253000 | #Constraints: 62272
608.27/610.07 c #Conflicts: 254000 | #Constraints: 63273
608.27/610.07 c INPROCESSING
608.27/610.07 c GARBAGE COLLECT
608.27/610.07 c #Conflicts: 255000 | #Constraints: 48524
608.27/610.07 c #Conflicts: 256000 | #Constraints: 49524
608.27/610.07 c #Conflicts: 257000 | #Constraints: 50524
608.27/610.07 c #Conflicts: 258000 | #Constraints: 51524
608.27/610.07 c #Conflicts: 259000 | #Constraints: 52524
608.27/610.07 c #Conflicts: 260000 | #Constraints: 53524
608.27/610.07 c #Conflicts: 261000 | #Constraints: 54524
608.27/610.07 c #Conflicts: 262000 | #Constraints: 55524
608.27/610.07 c #Conflicts: 263000 | #Constraints: 56524
608.27/610.07 c #Conflicts: 264000 | #Constraints: 57524
608.27/610.07 c #Conflicts: 265000 | #Constraints: 58524
608.27/610.07 c #Conflicts: 266000 | #Constraints: 59524
608.27/610.07 c #Conflicts: 267000 | #Constraints: 60524
608.27/610.07 c #Conflicts: 268000 | #Constraints: 61524
608.27/610.07 c #Conflicts: 269000 | #Constraints: 62524
608.27/610.07 c #Conflicts: 270000 | #Constraints: 63524
608.27/610.07 c #Conflicts: 271000 | #Constraints: 64524
608.27/610.07 c #Conflicts: 272000 | #Constraints: 65524
608.27/610.07 c #Conflicts: 273000 | #Constraints: 66524
608.27/610.07 c #Conflicts: 274000 | #Constraints: 67524
608.27/610.07 c #Conflicts: 275000 | #Constraints: 68524
608.27/610.07 c #Conflicts: 276000 | #Constraints: 69524
608.27/610.07 c #Conflicts: 277000 | #Constraints: 70524
608.27/610.07 c #Conflicts: 278000 | #Constraints: 71524
608.27/610.07 c #Conflicts: 279000 | #Constraints: 72524
608.27/610.07 c #Conflicts: 280000 | #Constraints: 73524
608.27/610.07 c #Conflicts: 281000 | #Constraints: 74524
608.27/610.07 c #Conflicts: 282000 | #Constraints: 75524
608.27/610.07 c #Conflicts: 283000 | #Constraints: 76524
608.27/610.07 c #Conflicts: 284000 | #Constraints: 77524
608.27/610.07 c #Conflicts: 285000 | #Constraints: 78524
608.27/610.07 c #Conflicts: 286000 | #Constraints: 79524
608.27/610.07 c #Conflicts: 287000 | #Constraints: 80524
608.27/610.07 c #Conflicts: 288000 | #Constraints: 81524
608.27/610.07 c INPROCESSING
608.27/610.07 c GARBAGE COLLECT
608.27/610.07 c #Conflicts: 289000 | #Constraints: 53166
608.27/610.07 c #Conflicts: 290000 | #Constraints: 54166
608.27/610.07 c #Conflicts: 291000 | #Constraints: 55166
608.27/610.07 c #Conflicts: 292000 | #Constraints: 56166
608.27/610.07 c #Conflicts: 293000 | #Constraints: 57166
608.27/610.07 c #Conflicts: 294000 | #Constraints: 58166
608.27/610.07 c #Conflicts: 295000 | #Constraints: 59166
608.27/610.07 c #Conflicts: 296000 | #Constraints: 60166
608.27/610.07 c #Conflicts: 297000 | #Constraints: 61166
608.27/610.07 c #Conflicts: 298000 | #Constraints: 62166
608.27/610.07 c #Conflicts: 299000 | #Constraints: 63166
608.27/610.07 c #Conflicts: 300000 | #Constraints: 64166
608.27/610.07 c #Conflicts: 301000 | #Constraints: 65166
608.27/610.07 c #Conflicts: 302000 | #Constraints: 66166
752.18/754.35 c #Conflicts: 303000 | #Constraints: 67166
752.18/754.35 c INPROCESSING
752.18/754.35 c GARBAGE COLLECT
752.18/754.35 c #Conflicts: 304000 | #Constraints: 51284
752.18/754.35 c #Conflicts: 305000 | #Constraints: 52284
752.18/754.35 c #Conflicts: 306000 | #Constraints: 53284
752.18/754.35 c #Conflicts: 307000 | #Constraints: 54284
752.18/754.35 c #Conflicts: 308000 | #Constraints: 55284
752.18/754.35 c #Conflicts: 309000 | #Constraints: 56284
752.18/754.35 c #Conflicts: 310000 | #Constraints: 57284
752.18/754.35 c #Conflicts: 311000 | #Constraints: 58284
752.18/754.35 c #Conflicts: 312000 | #Constraints: 59284
752.18/754.35 c #Conflicts: 313000 | #Constraints: 60284
752.18/754.35 c #Conflicts: 314000 | #Constraints: 61284
752.18/754.35 c #Conflicts: 315000 | #Constraints: 62284
752.18/754.35 c #Conflicts: 316000 | #Constraints: 63284
752.18/754.35 c #Conflicts: 317000 | #Constraints: 64284
752.18/754.35 c #Conflicts: 318000 | #Constraints: 65284
752.18/754.35 c #Conflicts: 319000 | #Constraints: 66284
752.18/754.35 c #Conflicts: 320000 | #Constraints: 67284
752.18/754.35 c #Conflicts: 321000 | #Constraints: 68284
752.18/754.35 c #Conflicts: 322000 | #Constraints: 69284
752.18/754.35 c #Conflicts: 323000 | #Constraints: 70284
752.18/754.35 c #Conflicts: 324000 | #Constraints: 71284
752.18/754.35 c #Conflicts: 325000 | #Constraints: 72284
752.18/754.35 c #Conflicts: 326000 | #Constraints: 73284
752.18/754.35 c #Conflicts: 327000 | #Constraints: 74284
752.18/754.35 c #Conflicts: 328000 | #Constraints: 75284
752.18/754.35 c #Conflicts: 329000 | #Constraints: 76284
752.18/754.35 c #Conflicts: 330000 | #Constraints: 77284
752.18/754.35 c #Conflicts: 331000 | #Constraints: 78284
752.18/754.35 c #Conflicts: 332000 | #Constraints: 79284
752.18/754.35 c #Conflicts: 333000 | #Constraints: 80284
752.18/754.35 c #Conflicts: 334000 | #Constraints: 81284
752.18/754.35 c #Conflicts: 335000 | #Constraints: 82284
752.18/754.35 c #Conflicts: 336000 | #Constraints: 83284
752.18/754.35 c #Conflicts: 337000 | #Constraints: 84284
752.18/754.35 c #Conflicts: 338000 | #Constraints: 85284
752.18/754.35 c #Conflicts: 339000 | #Constraints: 86284
752.18/754.35 c #Conflicts: 340000 | #Constraints: 87284
752.18/754.35 c INPROCESSING
752.18/754.35 c GARBAGE COLLECT
752.18/754.35 c #Conflicts: 341000 | #Constraints: 55874
752.18/754.35 c #Conflicts: 342000 | #Constraints: 56874
752.18/754.35 c #Conflicts: 343000 | #Constraints: 57874
752.18/754.35 c #Conflicts: 344000 | #Constraints: 58874
752.18/754.35 c #Conflicts: 345000 | #Constraints: 59874
752.18/754.35 c #Conflicts: 346000 | #Constraints: 60874
752.18/754.35 c #Conflicts: 347000 | #Constraints: 61874
752.18/754.35 c #Conflicts: 348000 | #Constraints: 62874
752.18/754.35 c #Conflicts: 349000 | #Constraints: 63874
752.18/754.35 c #Conflicts: 350000 | #Constraints: 64874
752.18/754.35 c #Conflicts: 351000 | #Constraints: 65874
752.18/754.35 c #Conflicts: 352000 | #Constraints: 66874
752.18/754.35 c #Conflicts: 353000 | #Constraints: 67874
752.18/754.35 c #Conflicts: 354000 | #Constraints: 68874
752.18/754.35 c #Conflicts: 355000 | #Constraints: 69874
752.18/754.35 c #Conflicts: 356000 | #Constraints: 70874
752.18/754.35 c #Conflicts: 357000 | #Constraints: 71874
752.18/754.35 c INPROCESSING
752.18/754.35 c GARBAGE COLLECT
752.18/754.35 c #Conflicts: 358000 | #Constraints: 54258
752.18/754.35 c #Conflicts: 359000 | #Constraints: 55258
752.18/754.35 c #Conflicts: 360000 | #Constraints: 56258
752.18/754.35 c #Conflicts: 361000 | #Constraints: 57258
752.18/754.35 c #Conflicts: 362000 | #Constraints: 58258
752.18/754.35 c #Conflicts: 363000 | #Constraints: 59258
752.18/754.35 c #Conflicts: 364000 | #Constraints: 60258
752.18/754.35 c #Conflicts: 365000 | #Constraints: 61258
752.18/754.35 c #Conflicts: 366000 | #Constraints: 62258
752.18/754.35 c #Conflicts: 367000 | #Constraints: 63258
752.18/754.35 c #Conflicts: 368000 | #Constraints: 64258
752.18/754.35 c #Conflicts: 369000 | #Constraints: 65258
752.18/754.35 c #Conflicts: 370000 | #Constraints: 66258
752.18/754.35 c #Conflicts: 371000 | #Constraints: 67258
752.18/754.35 c #Conflicts: 372000 | #Constraints: 68258
752.18/754.35 c #Conflicts: 373000 | #Constraints: 69258
752.18/754.35 c #Conflicts: 374000 | #Constraints: 70258
752.18/754.35 c #Conflicts: 375000 | #Constraints: 71258
752.18/754.35 c #Conflicts: 376000 | #Constraints: 72258
752.18/754.35 c #Conflicts: 377000 | #Constraints: 73258
752.18/754.35 c #Conflicts: 378000 | #Constraints: 74258
921.81/924.42 c #Conflicts: 379000 | #Constraints: 75258
921.81/924.42 c #Conflicts: 380000 | #Constraints: 76258
921.81/924.42 c #Conflicts: 381000 | #Constraints: 77258
921.81/924.42 c #Conflicts: 382000 | #Constraints: 78258
921.81/924.42 c #Conflicts: 383000 | #Constraints: 79258
921.81/924.42 c #Conflicts: 384000 | #Constraints: 80258
921.81/924.42 c #Conflicts: 385000 | #Constraints: 81258
921.81/924.42 c #Conflicts: 386000 | #Constraints: 82258
921.81/924.42 c #Conflicts: 387000 | #Constraints: 83258
921.81/924.42 c #Conflicts: 388000 | #Constraints: 84258
921.81/924.42 c #Conflicts: 389000 | #Constraints: 85258
921.81/924.42 c #Conflicts: 390000 | #Constraints: 86258
921.81/924.42 c #Conflicts: 391000 | #Constraints: 87258
921.81/924.42 c #Conflicts: 392000 | #Constraints: 88258
921.81/924.42 c #Conflicts: 393000 | #Constraints: 89258
921.81/924.42 c #Conflicts: 394000 | #Constraints: 90258
921.81/924.42 c #Conflicts: 395000 | #Constraints: 91258
921.81/924.42 c #Conflicts: 396000 | #Constraints: 92258
921.81/924.42 c #Conflicts: 397000 | #Constraints: 93258
921.81/924.42 c INPROCESSING
921.81/924.42 c GARBAGE COLLECT
921.81/924.42 c #Conflicts: 398000 | #Constraints: 58983
921.81/924.42 c #Conflicts: 399000 | #Constraints: 59983
921.81/924.42 c #Conflicts: 400000 | #Constraints: 60983
921.81/924.42 c #Conflicts: 401000 | #Constraints: 61983
921.81/924.42 c #Conflicts: 402000 | #Constraints: 62983
921.81/924.42 c #Conflicts: 403000 | #Constraints: 63983
921.81/924.42 c #Conflicts: 404000 | #Constraints: 64983
921.81/924.42 c #Conflicts: 405000 | #Constraints: 65983
921.81/924.42 c #Conflicts: 406000 | #Constraints: 66983
921.81/924.42 c #Conflicts: 407000 | #Constraints: 67983
921.81/924.42 c #Conflicts: 408000 | #Constraints: 68983
921.81/924.42 c #Conflicts: 409000 | #Constraints: 69983
921.81/924.42 c #Conflicts: 410000 | #Constraints: 70983
921.81/924.42 c #Conflicts: 411000 | #Constraints: 71983
921.81/924.42 c #Conflicts: 412000 | #Constraints: 72983
921.81/924.42 c #Conflicts: 413000 | #Constraints: 73983
921.81/924.42 c #Conflicts: 414000 | #Constraints: 74983
921.81/924.42 c #Conflicts: 415000 | #Constraints: 75983
921.81/924.42 c INPROCESSING
921.81/924.42 c GARBAGE COLLECT
921.81/924.42 c #Conflicts: 416000 | #Constraints: 57071
921.81/924.42 c #Conflicts: 417000 | #Constraints: 58071
921.81/924.42 c #Conflicts: 418000 | #Constraints: 59071
921.81/924.42 c #Conflicts: 419000 | #Constraints: 60071
921.81/924.42 c #Conflicts: 420000 | #Constraints: 61071
921.81/924.42 c #Conflicts: 421000 | #Constraints: 62071
921.81/924.42 c #Conflicts: 422000 | #Constraints: 63071
921.81/924.42 c #Conflicts: 423000 | #Constraints: 64071
921.81/924.42 c #Conflicts: 424000 | #Constraints: 65071
921.81/924.42 c #Conflicts: 425000 | #Constraints: 66071
921.81/924.42 c #Conflicts: 426000 | #Constraints: 67071
921.81/924.42 c #Conflicts: 427000 | #Constraints: 68071
921.81/924.42 c #Conflicts: 428000 | #Constraints: 69071
921.81/924.42 c #Conflicts: 429000 | #Constraints: 70071
921.81/924.42 c #Conflicts: 430000 | #Constraints: 71071
921.81/924.42 c #Conflicts: 431000 | #Constraints: 72071
921.81/924.42 c #Conflicts: 432000 | #Constraints: 73071
921.81/924.42 c #Conflicts: 433000 | #Constraints: 74071
921.81/924.42 c #Conflicts: 434000 | #Constraints: 75071
921.81/924.42 c #Conflicts: 435000 | #Constraints: 76071
921.81/924.42 c #Conflicts: 436000 | #Constraints: 77071
921.81/924.42 c #Conflicts: 437000 | #Constraints: 78071
921.81/924.42 c #Conflicts: 438000 | #Constraints: 79071
921.81/924.42 c #Conflicts: 439000 | #Constraints: 80071
921.81/924.42 c #Conflicts: 440000 | #Constraints: 81071
921.81/924.42 c #Conflicts: 441000 | #Constraints: 82071
921.81/924.42 c #Conflicts: 442000 | #Constraints: 83071
921.81/924.42 c #Conflicts: 443000 | #Constraints: 84071
921.81/924.42 c #Conflicts: 444000 | #Constraints: 85071
921.81/924.42 c #Conflicts: 445000 | #Constraints: 86071
921.81/924.42 c #Conflicts: 446000 | #Constraints: 87071
921.81/924.42 c #Conflicts: 447000 | #Constraints: 88071
921.81/924.42 c #Conflicts: 448000 | #Constraints: 89071
921.81/924.42 c #Conflicts: 449000 | #Constraints: 90071
921.81/924.42 c #Conflicts: 450000 | #Constraints: 91071
921.81/924.42 c #Conflicts: 451000 | #Constraints: 92071
921.81/924.42 c #Conflicts: 452000 | #Constraints: 93071
921.81/924.42 c #Conflicts: 453000 | #Constraints: 94072
921.81/924.42 c #Conflicts: 454000 | #Constraints: 95072
921.81/924.42 c #Conflicts: 455000 | #Constraints: 96072
921.81/924.42 c #Conflicts: 456000 | #Constraints: 97072
1110.67/1113.81 c #Conflicts: 457000 | #Constraints: 98072
1110.67/1113.81 c #Conflicts: 458000 | #Constraints: 99072
1110.67/1113.81 c #Conflicts: 459000 | #Constraints: 100072
1110.67/1113.81 c INPROCESSING
1110.67/1113.81 c GARBAGE COLLECT
1110.67/1113.81 c #Conflicts: 460000 | #Constraints: 62565
1110.67/1113.81 c #Conflicts: 461000 | #Constraints: 63565
1110.67/1113.81 c #Conflicts: 462000 | #Constraints: 64565
1110.67/1113.81 c #Conflicts: 463000 | #Constraints: 65565
1110.67/1113.81 c #Conflicts: 464000 | #Constraints: 66565
1110.67/1113.81 c #Conflicts: 465000 | #Constraints: 67565
1110.67/1113.81 c #Conflicts: 466000 | #Constraints: 68565
1110.67/1113.81 c #Conflicts: 467000 | #Constraints: 69565
1110.67/1113.81 c #Conflicts: 468000 | #Constraints: 70565
1110.67/1113.81 c #Conflicts: 469000 | #Constraints: 71565
1110.67/1113.81 c #Conflicts: 470000 | #Constraints: 72565
1110.67/1113.81 c #Conflicts: 471000 | #Constraints: 73565
1110.67/1113.81 c #Conflicts: 472000 | #Constraints: 74565
1110.67/1113.81 c #Conflicts: 473000 | #Constraints: 75565
1110.67/1113.81 c #Conflicts: 474000 | #Constraints: 76565
1110.67/1113.81 c #Conflicts: 475000 | #Constraints: 77565
1110.67/1113.81 c #Conflicts: 476000 | #Constraints: 78565
1110.67/1113.81 c #Conflicts: 477000 | #Constraints: 79565
1110.67/1113.81 c #Conflicts: 478000 | #Constraints: 80565
1110.67/1113.81 c INPROCESSING
1110.67/1113.81 c GARBAGE COLLECT
1110.67/1113.81 c #Conflicts: 479000 | #Constraints: 59928
1110.67/1113.81 c #Conflicts: 480000 | #Constraints: 60928
1110.67/1113.81 c #Conflicts: 481000 | #Constraints: 61928
1110.67/1113.81 c #Conflicts: 482000 | #Constraints: 62928
1110.67/1113.81 c #Conflicts: 483000 | #Constraints: 63928
1110.67/1113.81 c #Conflicts: 484000 | #Constraints: 64928
1110.67/1113.81 c #Conflicts: 485000 | #Constraints: 65928
1110.67/1113.81 c #Conflicts: 486000 | #Constraints: 66928
1110.67/1113.81 c #Conflicts: 487000 | #Constraints: 67928
1110.67/1113.81 c #Conflicts: 488000 | #Constraints: 68928
1110.67/1113.81 c #Conflicts: 489000 | #Constraints: 69928
1110.67/1113.81 c #Conflicts: 490000 | #Constraints: 70928
1110.67/1113.81 c #Conflicts: 491000 | #Constraints: 71928
1110.67/1113.81 c #Conflicts: 492000 | #Constraints: 72928
1110.67/1113.81 c #Conflicts: 493000 | #Constraints: 73928
1110.67/1113.81 c #Conflicts: 494000 | #Constraints: 74928
1110.67/1113.82 c #Conflicts: 495000 | #Constraints: 75928
1110.67/1113.82 c #Conflicts: 496000 | #Constraints: 76928
1110.67/1113.82 c #Conflicts: 497000 | #Constraints: 77928
1110.67/1113.82 c #Conflicts: 498000 | #Constraints: 78928
1110.67/1113.82 c #Conflicts: 499000 | #Constraints: 79928
1110.67/1113.82 c #Conflicts: 500000 | #Constraints: 80928
1110.67/1113.82 c #Conflicts: 501000 | #Constraints: 81928
1110.67/1113.82 c #Conflicts: 502000 | #Constraints: 82928
1110.67/1113.82 c #Conflicts: 503000 | #Constraints: 83928
1110.67/1113.82 c #Conflicts: 504000 | #Constraints: 84928
1110.67/1113.82 c #Conflicts: 505000 | #Constraints: 85928
1110.67/1113.82 c #Conflicts: 506000 | #Constraints: 86928
1110.67/1113.82 c #Conflicts: 507000 | #Constraints: 87928
1110.67/1113.82 c #Conflicts: 508000 | #Constraints: 88928
1110.67/1113.82 c #Conflicts: 509000 | #Constraints: 89928
1110.67/1113.82 c #Conflicts: 510000 | #Constraints: 90928
1110.67/1113.82 c #Conflicts: 511000 | #Constraints: 91928
1110.67/1113.82 c #Conflicts: 512000 | #Constraints: 92928
1110.67/1113.82 c #Conflicts: 513000 | #Constraints: 93928
1110.67/1113.82 c #Conflicts: 514000 | #Constraints: 94928
1110.67/1113.82 c #Conflicts: 515000 | #Constraints: 95928
1110.67/1113.82 c #Conflicts: 516000 | #Constraints: 96928
1110.67/1113.82 c #Conflicts: 517000 | #Constraints: 97928
1110.67/1113.82 c #Conflicts: 518000 | #Constraints: 98928
1110.67/1113.82 c #Conflicts: 519000 | #Constraints: 99928
1110.67/1113.82 c #Conflicts: 520000 | #Constraints: 100928
1110.67/1113.82 c #Conflicts: 521000 | #Constraints: 101928
1110.67/1113.82 c #Conflicts: 522000 | #Constraints: 102928
1110.67/1113.82 c #Conflicts: 523000 | #Constraints: 103928
1110.67/1113.82 c #Conflicts: 524000 | #Constraints: 104928
1110.67/1113.82 c #Conflicts: 525000 | #Constraints: 105928
1110.67/1113.82 c INPROCESSING
1110.67/1113.82 c GARBAGE COLLECT
1110.67/1113.82 c #Conflicts: 526000 | #Constraints: 65693
1110.67/1113.82 c #Conflicts: 527000 | #Constraints: 66693
1110.67/1113.82 c #Conflicts: 528000 | #Constraints: 67693
1110.67/1113.82 c #Conflicts: 529000 | #Constraints: 68693
1110.67/1113.82 c #Conflicts: 530000 | #Constraints: 69693
1110.67/1113.82 c #Conflicts: 531000 | #Constraints: 70693
1110.67/1113.82 c #Conflicts: 532000 | #Constraints: 71693
1110.67/1113.82 c #Conflicts: 533000 | #Constraints: 72693
1187.44/1190.87 c #Conflicts: 534000 | #Constraints: 73693
1187.44/1190.87 c #Conflicts: 535000 | #Constraints: 74693
1187.44/1190.87 c #Conflicts: 536000 | #Constraints: 75693
1187.44/1190.87 c #Conflicts: 537000 | #Constraints: 76693
1187.44/1190.87 c #Conflicts: 538000 | #Constraints: 77693
1187.44/1190.87 c #Conflicts: 539000 | #Constraints: 78693
1187.44/1190.87 c #Conflicts: 540000 | #Constraints: 79693
1187.44/1190.87 c #Conflicts: 541000 | #Constraints: 80693
1187.44/1190.87 c #Conflicts: 542000 | #Constraints: 81693
1187.44/1190.87 c #Conflicts: 543000 | #Constraints: 82693
1187.44/1190.87 c #Conflicts: 544000 | #Constraints: 83693
1187.44/1190.87 c #Conflicts: 545000 | #Constraints: 84693
1187.44/1190.87 c INPROCESSING
1187.44/1190.87 c GARBAGE COLLECT
1187.44/1190.87 c rational objective 176
1342.08/1345.91 c #Conflicts: 546000 | #Constraints: 62484
1342.08/1345.91 c #Conflicts: 547000 | #Constraints: 63484
1342.08/1345.91 c #Conflicts: 548000 | #Constraints: 64484
1342.08/1345.91 c #Conflicts: 549000 | #Constraints: 65484
1342.08/1345.91 c #Conflicts: 550000 | #Constraints: 66484
1342.08/1345.91 c #Conflicts: 551000 | #Constraints: 67484
1342.08/1345.91 c #Conflicts: 552000 | #Constraints: 68484
1342.08/1345.91 c #Conflicts: 553000 | #Constraints: 69484
1342.08/1345.91 c #Conflicts: 554000 | #Constraints: 70484
1342.08/1345.91 c #Conflicts: 555000 | #Constraints: 71484
1342.08/1345.91 c #Conflicts: 556000 | #Constraints: 72484
1342.08/1345.91 c #Conflicts: 557000 | #Constraints: 73484
1342.08/1345.91 c #Conflicts: 558000 | #Constraints: 74484
1342.08/1345.91 c #Conflicts: 559000 | #Constraints: 75484
1342.08/1345.91 c #Conflicts: 560000 | #Constraints: 76484
1342.08/1345.91 c #Conflicts: 561000 | #Constraints: 77484
1342.08/1345.91 c #Conflicts: 562000 | #Constraints: 78484
1342.08/1345.91 c #Conflicts: 563000 | #Constraints: 79484
1342.08/1345.91 c #Conflicts: 564000 | #Constraints: 80484
1342.08/1345.91 c #Conflicts: 565000 | #Constraints: 81484
1342.08/1345.91 c #Conflicts: 566000 | #Constraints: 82484
1342.08/1345.91 c #Conflicts: 567000 | #Constraints: 83484
1342.08/1345.91 c #Conflicts: 568000 | #Constraints: 84484
1342.08/1345.91 c #Conflicts: 569000 | #Constraints: 85484
1342.08/1345.91 c #Conflicts: 570000 | #Constraints: 86484
1342.08/1345.91 c #Conflicts: 571000 | #Constraints: 87484
1342.08/1345.91 c #Conflicts: 572000 | #Constraints: 88484
1342.08/1345.91 c #Conflicts: 573000 | #Constraints: 89484
1342.08/1345.91 c #Conflicts: 574000 | #Constraints: 90484
1342.08/1345.91 c #Conflicts: 575000 | #Constraints: 91484
1342.08/1345.91 c #Conflicts: 576000 | #Constraints: 92484
1342.08/1345.91 c #Conflicts: 577000 | #Constraints: 93484
1342.08/1345.91 c #Conflicts: 578000 | #Constraints: 94484
1342.08/1345.91 c #Conflicts: 579000 | #Constraints: 95484
1342.08/1345.91 c #Conflicts: 580000 | #Constraints: 96484
1342.08/1345.91 c #Conflicts: 581000 | #Constraints: 97484
1342.08/1345.91 c #Conflicts: 582000 | #Constraints: 98484
1342.08/1345.91 c #Conflicts: 583000 | #Constraints: 99484
1342.08/1345.91 c #Conflicts: 584000 | #Constraints: 100484
1342.08/1345.91 c #Conflicts: 585000 | #Constraints: 101484
1342.08/1345.91 c #Conflicts: 586000 | #Constraints: 102484
1342.08/1345.91 c #Conflicts: 587000 | #Constraints: 103484
1342.08/1345.91 c #Conflicts: 588000 | #Constraints: 104484
1342.08/1345.91 c #Conflicts: 589000 | #Constraints: 105484
1342.08/1345.91 c #Conflicts: 590000 | #Constraints: 106484
1342.08/1345.91 c #Conflicts: 591000 | #Constraints: 107484
1342.08/1345.91 c #Conflicts: 592000 | #Constraints: 108484
1342.08/1345.91 c #Conflicts: 593000 | #Constraints: 109484
1342.08/1345.91 c #Conflicts: 594000 | #Constraints: 110484
1342.08/1345.91 c #Conflicts: 595000 | #Constraints: 111484
1342.08/1345.91 c INPROCESSING
1342.08/1345.91 c GARBAGE COLLECT
1342.08/1345.91 c #Conflicts: 596000 | #Constraints: 68390
1342.08/1345.91 c #Conflicts: 597000 | #Constraints: 69390
1342.08/1345.91 c #Conflicts: 598000 | #Constraints: 70390
1342.08/1345.91 c #Conflicts: 599000 | #Constraints: 71390
1342.08/1345.91 c #Conflicts: 600000 | #Constraints: 72390
1342.08/1345.91 c #Conflicts: 601000 | #Constraints: 73390
1342.08/1345.91 c #Conflicts: 602000 | #Constraints: 74390
1342.08/1345.91 c #Conflicts: 603000 | #Constraints: 75390
1342.08/1345.91 c #Conflicts: 604000 | #Constraints: 76390
1342.08/1345.91 c #Conflicts: 605000 | #Constraints: 77390
1342.08/1345.91 c #Conflicts: 606000 | #Constraints: 78390
1342.08/1345.91 c #Conflicts: 607000 | #Constraints: 79390
1342.08/1345.91 c #Conflicts: 608000 | #Constraints: 80390
1342.08/1345.91 c #Conflicts: 609000 | #Constraints: 81390
1342.08/1345.91 c #Conflicts: 610000 | #Constraints: 82390
1342.08/1345.91 c #Conflicts: 611000 | #Constraints: 83390
1342.08/1345.91 c #Conflicts: 612000 | #Constraints: 84390
1342.08/1345.91 c #Conflicts: 613000 | #Constraints: 85390
1342.08/1345.91 c #Conflicts: 614000 | #Constraints: 86390
1342.08/1345.91 c #Conflicts: 615000 | #Constraints: 87390
1342.08/1345.91 c #Conflicts: 616000 | #Constraints: 88390
1342.08/1345.91 c #Conflicts: 617000 | #Constraints: 89390
1342.08/1345.91 c INPROCESSING
1342.08/1345.91 c GARBAGE COLLECT
1342.08/1345.91 c #Conflicts: 618000 | #Constraints: 65813
1342.08/1345.91 c #Conflicts: 619000 | #Constraints: 66813
1342.08/1345.91 c #Conflicts: 620000 | #Constraints: 67813
1342.08/1345.91 c #Conflicts: 621000 | #Constraints: 68813
1342.08/1345.91 c #Conflicts: 622000 | #Constraints: 69813
1342.08/1345.91 c #Conflicts: 623000 | #Constraints: 70813
1527.21/1531.54 c #Conflicts: 624000 | #Constraints: 71813
1527.21/1531.54 c #Conflicts: 625000 | #Constraints: 72813
1527.21/1531.54 c #Conflicts: 626000 | #Constraints: 73813
1527.21/1531.54 c #Conflicts: 627000 | #Constraints: 74813
1527.21/1531.54 c #Conflicts: 628000 | #Constraints: 75813
1527.21/1531.54 c #Conflicts: 629000 | #Constraints: 76813
1527.21/1531.54 c #Conflicts: 630000 | #Constraints: 77813
1527.21/1531.54 c #Conflicts: 631000 | #Constraints: 78813
1527.21/1531.54 c #Conflicts: 632000 | #Constraints: 79813
1527.21/1531.54 c #Conflicts: 633000 | #Constraints: 80813
1527.21/1531.54 c #Conflicts: 634000 | #Constraints: 81813
1527.21/1531.54 c #Conflicts: 635000 | #Constraints: 82813
1527.21/1531.54 c #Conflicts: 636000 | #Constraints: 83813
1527.21/1531.54 c #Conflicts: 637000 | #Constraints: 84813
1527.21/1531.54 c #Conflicts: 638000 | #Constraints: 85813
1527.21/1531.54 c #Conflicts: 639000 | #Constraints: 86813
1527.21/1531.54 c #Conflicts: 640000 | #Constraints: 87813
1527.21/1531.54 c #Conflicts: 641000 | #Constraints: 88813
1527.21/1531.54 c #Conflicts: 642000 | #Constraints: 89813
1527.21/1531.54 c #Conflicts: 643000 | #Constraints: 90813
1527.21/1531.54 c #Conflicts: 644000 | #Constraints: 91813
1527.21/1531.54 c #Conflicts: 645000 | #Constraints: 92813
1527.21/1531.54 c #Conflicts: 646000 | #Constraints: 93813
1527.21/1531.54 c #Conflicts: 647000 | #Constraints: 94813
1527.21/1531.54 c #Conflicts: 648000 | #Constraints: 95813
1527.21/1531.54 c #Conflicts: 649000 | #Constraints: 96813
1527.21/1531.54 c #Conflicts: 650000 | #Constraints: 97813
1527.21/1531.54 c #Conflicts: 651000 | #Constraints: 98813
1527.21/1531.54 c #Conflicts: 652000 | #Constraints: 99813
1527.21/1531.54 c #Conflicts: 653000 | #Constraints: 100813
1527.21/1531.54 c #Conflicts: 654000 | #Constraints: 101813
1527.21/1531.54 c #Conflicts: 655000 | #Constraints: 102813
1527.21/1531.54 c #Conflicts: 656000 | #Constraints: 103813
1527.21/1531.54 c #Conflicts: 657000 | #Constraints: 104813
1527.21/1531.54 c #Conflicts: 658000 | #Constraints: 105813
1527.21/1531.54 c #Conflicts: 659000 | #Constraints: 106813
1527.21/1531.54 c #Conflicts: 660000 | #Constraints: 107813
1527.21/1531.54 c #Conflicts: 661000 | #Constraints: 108813
1527.21/1531.54 c #Conflicts: 662000 | #Constraints: 109813
1527.21/1531.54 c #Conflicts: 663000 | #Constraints: 110813
1527.21/1531.54 c #Conflicts: 664000 | #Constraints: 111813
1527.21/1531.54 c #Conflicts: 665000 | #Constraints: 112813
1527.21/1531.54 c #Conflicts: 666000 | #Constraints: 113813
1527.21/1531.54 c #Conflicts: 667000 | #Constraints: 114813
1527.21/1531.54 c #Conflicts: 668000 | #Constraints: 115813
1527.21/1531.54 c #Conflicts: 669000 | #Constraints: 116813
1527.21/1531.54 c INPROCESSING
1527.21/1531.54 c GARBAGE COLLECT
1527.21/1531.54 c #Conflicts: 670000 | #Constraints: 71031
1527.21/1531.54 c #Conflicts: 671000 | #Constraints: 72031
1527.21/1531.54 c #Conflicts: 672000 | #Constraints: 73031
1527.21/1531.54 c #Conflicts: 673000 | #Constraints: 74031
1527.21/1531.54 c #Conflicts: 674000 | #Constraints: 75031
1527.21/1531.54 c #Conflicts: 675000 | #Constraints: 76031
1527.21/1531.54 c #Conflicts: 676000 | #Constraints: 77031
1527.21/1531.54 c #Conflicts: 677000 | #Constraints: 78031
1527.21/1531.54 c #Conflicts: 678000 | #Constraints: 79031
1527.21/1531.54 c #Conflicts: 679000 | #Constraints: 80031
1527.21/1531.54 c #Conflicts: 680000 | #Constraints: 81031
1527.21/1531.54 c #Conflicts: 681000 | #Constraints: 82031
1527.21/1531.54 c #Conflicts: 682000 | #Constraints: 83031
1527.21/1531.54 c #Conflicts: 683000 | #Constraints: 84031
1527.21/1531.54 c #Conflicts: 684000 | #Constraints: 85031
1527.21/1531.54 c #Conflicts: 685000 | #Constraints: 86031
1527.21/1531.54 c #Conflicts: 686000 | #Constraints: 87031
1527.21/1531.54 c #Conflicts: 687000 | #Constraints: 88031
1527.21/1531.54 c #Conflicts: 688000 | #Constraints: 89031
1527.21/1531.54 c #Conflicts: 689000 | #Constraints: 90031
1527.21/1531.54 c #Conflicts: 690000 | #Constraints: 91031
1527.21/1531.54 c #Conflicts: 691000 | #Constraints: 92031
1527.21/1531.54 c #Conflicts: 692000 | #Constraints: 93031
1527.21/1531.54 c #Conflicts: 693000 | #Constraints: 94031
1527.21/1531.54 c INPROCESSING
1527.21/1531.54 c GARBAGE COLLECT
1527.21/1531.54 c #Conflicts: 694000 | #Constraints: 69092
1527.21/1531.54 c #Conflicts: 695000 | #Constraints: 70092
1527.21/1531.54 c #Conflicts: 696000 | #Constraints: 71092
1527.21/1531.54 c #Conflicts: 697000 | #Constraints: 72092
1527.21/1531.54 c #Conflicts: 698000 | #Constraints: 73092
1527.21/1531.54 c #Conflicts: 699000 | #Constraints: 74092
1527.21/1531.54 c #Conflicts: 700000 | #Constraints: 75092
1708.55/1713.39 c #Conflicts: 701000 | #Constraints: 76092
1708.55/1713.39 c #Conflicts: 702000 | #Constraints: 77092
1708.55/1713.39 c #Conflicts: 703000 | #Constraints: 78092
1708.55/1713.39 c #Conflicts: 704000 | #Constraints: 79092
1708.55/1713.39 c #Conflicts: 705000 | #Constraints: 80092
1708.55/1713.39 c #Conflicts: 706000 | #Constraints: 81092
1708.55/1713.39 c #Conflicts: 707000 | #Constraints: 82092
1708.55/1713.39 c #Conflicts: 708000 | #Constraints: 83092
1708.55/1713.39 c #Conflicts: 709000 | #Constraints: 84092
1708.55/1713.39 c #Conflicts: 710000 | #Constraints: 85092
1708.55/1713.39 c #Conflicts: 711000 | #Constraints: 86092
1708.55/1713.39 c #Conflicts: 712000 | #Constraints: 87092
1708.55/1713.39 c #Conflicts: 713000 | #Constraints: 88092
1708.55/1713.39 c #Conflicts: 714000 | #Constraints: 89092
1708.55/1713.39 c #Conflicts: 715000 | #Constraints: 90092
1708.55/1713.39 c #Conflicts: 716000 | #Constraints: 91092
1708.55/1713.39 c #Conflicts: 717000 | #Constraints: 92092
1708.55/1713.39 c #Conflicts: 718000 | #Constraints: 93092
1708.55/1713.39 c #Conflicts: 719000 | #Constraints: 94092
1708.55/1713.39 c #Conflicts: 720000 | #Constraints: 95092
1708.55/1713.39 c #Conflicts: 721000 | #Constraints: 96092
1708.55/1713.39 c #Conflicts: 722000 | #Constraints: 97092
1708.55/1713.39 c #Conflicts: 723000 | #Constraints: 98092
1708.55/1713.39 c #Conflicts: 724000 | #Constraints: 99092
1708.55/1713.39 c #Conflicts: 725000 | #Constraints: 100092
1708.55/1713.39 c #Conflicts: 726000 | #Constraints: 101092
1708.55/1713.39 c #Conflicts: 727000 | #Constraints: 102092
1708.55/1713.39 c #Conflicts: 728000 | #Constraints: 103092
1708.55/1713.39 c #Conflicts: 729000 | #Constraints: 104092
1708.55/1713.39 c #Conflicts: 730000 | #Constraints: 105092
1708.55/1713.39 c #Conflicts: 731000 | #Constraints: 106092
1708.55/1713.39 c #Conflicts: 732000 | #Constraints: 107092
1708.55/1713.39 c #Conflicts: 733000 | #Constraints: 108092
1708.55/1713.39 c #Conflicts: 734000 | #Constraints: 109092
1708.55/1713.39 c #Conflicts: 735000 | #Constraints: 110092
1708.55/1713.39 c #Conflicts: 736000 | #Constraints: 111092
1708.55/1713.39 c #Conflicts: 737000 | #Constraints: 112092
1708.55/1713.39 c #Conflicts: 738000 | #Constraints: 113092
1708.55/1713.39 c #Conflicts: 739000 | #Constraints: 114092
1708.55/1713.39 c #Conflicts: 740000 | #Constraints: 115092
1708.55/1713.39 c #Conflicts: 741000 | #Constraints: 116092
1708.55/1713.39 c #Conflicts: 742000 | #Constraints: 117092
1708.55/1713.39 c #Conflicts: 743000 | #Constraints: 118092
1708.55/1713.39 c #Conflicts: 744000 | #Constraints: 119092
1708.55/1713.39 c #Conflicts: 745000 | #Constraints: 120092
1708.55/1713.39 c #Conflicts: 746000 | #Constraints: 121092
1708.55/1713.39 c #Conflicts: 747000 | #Constraints: 122092
1708.55/1713.39 c #Conflicts: 748000 | #Constraints: 123092
1708.55/1713.39 c INPROCESSING
1708.55/1713.39 c GARBAGE COLLECT
1708.55/1713.39 c #Conflicts: 749000 | #Constraints: 74185
1708.55/1713.39 c #Conflicts: 750000 | #Constraints: 75185
1708.55/1713.39 c #Conflicts: 751000 | #Constraints: 76185
1708.55/1713.39 c #Conflicts: 752000 | #Constraints: 77185
1708.55/1713.39 c #Conflicts: 753000 | #Constraints: 78185
1708.55/1713.39 c #Conflicts: 754000 | #Constraints: 79185
1708.55/1713.39 c #Conflicts: 755000 | #Constraints: 80185
1708.55/1713.39 c #Conflicts: 756000 | #Constraints: 81185
1708.55/1713.39 c #Conflicts: 757000 | #Constraints: 82185
1708.55/1713.39 c #Conflicts: 758000 | #Constraints: 83185
1708.55/1713.39 c #Conflicts: 759000 | #Constraints: 84185
1708.55/1713.39 c #Conflicts: 760000 | #Constraints: 85185
1708.55/1713.39 c #Conflicts: 761000 | #Constraints: 86185
1708.55/1713.39 c #Conflicts: 762000 | #Constraints: 87185
1708.55/1713.39 c #Conflicts: 763000 | #Constraints: 88185
1708.55/1713.39 c #Conflicts: 764000 | #Constraints: 89185
1708.55/1713.39 c #Conflicts: 765000 | #Constraints: 90185
1708.55/1713.39 c #Conflicts: 766000 | #Constraints: 91185
1708.55/1713.39 c #Conflicts: 767000 | #Constraints: 92185
1708.55/1713.39 c #Conflicts: 768000 | #Constraints: 93185
1708.55/1713.39 c #Conflicts: 769000 | #Constraints: 94185
1708.55/1713.39 c #Conflicts: 770000 | #Constraints: 95185
1708.55/1713.39 c #Conflicts: 771000 | #Constraints: 96185
1708.55/1713.39 c #Conflicts: 772000 | #Constraints: 97185
1708.55/1713.39 c #Conflicts: 773000 | #Constraints: 98185
1708.55/1713.39 c INPROCESSING
1708.55/1713.39 c GARBAGE COLLECT
1708.55/1713.39 c #Conflicts: 774000 | #Constraints: 71497
1708.55/1713.39 c #Conflicts: 775000 | #Constraints: 72497
1708.55/1713.39 c #Conflicts: 776000 | #Constraints: 73497
1708.55/1713.39 c #Conflicts: 777000 | #Constraints: 74497
1708.55/1713.39 c #Conflicts: 778000 | #Constraints: 75497
1839.51/1844.66 c #Conflicts: 779000 | #Constraints: 76497
1839.51/1844.66 c #Conflicts: 780000 | #Constraints: 77497
1839.51/1844.66 c #Conflicts: 781000 | #Constraints: 78497
1839.51/1844.66 c #Conflicts: 782000 | #Constraints: 79497
1839.51/1844.66 c #Conflicts: 783000 | #Constraints: 80497
1839.51/1844.66 c #Conflicts: 784000 | #Constraints: 81497
1839.51/1844.66 c #Conflicts: 785000 | #Constraints: 82497
1839.51/1844.66 c #Conflicts: 786000 | #Constraints: 83497
1839.51/1844.66 c #Conflicts: 787000 | #Constraints: 84497
1839.51/1844.66 c #Conflicts: 788000 | #Constraints: 85497
1839.51/1844.66 c #Conflicts: 789000 | #Constraints: 86497
1839.51/1844.66 c #Conflicts: 790000 | #Constraints: 87497
1839.51/1844.66 c #Conflicts: 791000 | #Constraints: 88497
1839.51/1844.66 c #Conflicts: 792000 | #Constraints: 89497
1839.51/1844.66 c #Conflicts: 793000 | #Constraints: 90497
1839.51/1844.66 c #Conflicts: 794000 | #Constraints: 91497
1839.51/1844.66 c #Conflicts: 795000 | #Constraints: 92497
1839.51/1844.66 c #Conflicts: 796000 | #Constraints: 93497
1839.51/1844.66 c #Conflicts: 797000 | #Constraints: 94497
1839.51/1844.66 c #Conflicts: 798000 | #Constraints: 95497
1839.51/1844.66 c #Conflicts: 799000 | #Constraints: 96497
1839.51/1844.66 c #Conflicts: 800000 | #Constraints: 97497
1839.51/1844.66 c #Conflicts: 801000 | #Constraints: 98497
1839.51/1844.66 c #Conflicts: 802000 | #Constraints: 99497
1839.51/1844.66 c #Conflicts: 803000 | #Constraints: 100497
1839.51/1844.66 c #Conflicts: 804000 | #Constraints: 101497
1839.51/1844.66 c #Conflicts: 805000 | #Constraints: 102497
1839.51/1844.66 c #Conflicts: 806000 | #Constraints: 103497
1839.51/1844.66 c #Conflicts: 807000 | #Constraints: 104497
1839.51/1844.66 c #Conflicts: 808000 | #Constraints: 105497
1839.51/1844.66 c #Conflicts: 809000 | #Constraints: 106497
1839.51/1844.66 c #Conflicts: 810000 | #Constraints: 107497
1839.51/1844.66 c #Conflicts: 811000 | #Constraints: 108497
1839.51/1844.66 c #Conflicts: 812000 | #Constraints: 109497
1839.51/1844.66 c #Conflicts: 813000 | #Constraints: 110497
1839.51/1844.66 c #Conflicts: 814000 | #Constraints: 111497
1839.51/1844.66 c #Conflicts: 815000 | #Constraints: 112497
1839.51/1844.66 c #Conflicts: 816000 | #Constraints: 113497
1839.51/1844.66 c #Conflicts: 817000 | #Constraints: 114497
1839.51/1844.66 c #Conflicts: 818000 | #Constraints: 115497
1839.51/1844.66 c #Conflicts: 819000 | #Constraints: 116497
1839.51/1844.66 c #Conflicts: 820000 | #Constraints: 117497
1839.51/1844.66 c #Conflicts: 821000 | #Constraints: 118497
1839.51/1844.66 c #Conflicts: 822000 | #Constraints: 119497
1839.51/1844.66 c #Conflicts: 823000 | #Constraints: 120497
1839.51/1844.66 c #Conflicts: 824000 | #Constraints: 121497
1839.51/1844.66 c #Conflicts: 825000 | #Constraints: 122497
1839.51/1844.66 c #Conflicts: 826000 | #Constraints: 123497
1839.51/1844.66 c #Conflicts: 827000 | #Constraints: 124497
1839.51/1844.66 c #Conflicts: 828000 | #Constraints: 125497
1839.51/1844.66 c #Conflicts: 829000 | #Constraints: 126497
1839.51/1844.66 c #Conflicts: 830000 | #Constraints: 127497
1839.51/1844.66 c #Conflicts: 831000 | #Constraints: 128497
1839.51/1844.66 c #Conflicts: 832000 | #Constraints: 129497
1839.51/1844.66 c INPROCESSING
1839.51/1844.66 c GARBAGE COLLECT
1839.51/1844.66 c rational objective 176
1929.18/1934.57 c #Conflicts: 833000 | #Constraints: 77776
1929.18/1934.57 c #Conflicts: 834000 | #Constraints: 78776
1929.18/1934.57 c #Conflicts: 835000 | #Constraints: 79776
1929.18/1934.57 c #Conflicts: 836000 | #Constraints: 80776
1929.18/1934.57 c #Conflicts: 837000 | #Constraints: 81776
1929.18/1934.57 c #Conflicts: 838000 | #Constraints: 82776
1929.18/1934.57 c #Conflicts: 839000 | #Constraints: 83776
1929.18/1934.57 c #Conflicts: 840000 | #Constraints: 84776
1929.18/1934.57 c #Conflicts: 841000 | #Constraints: 85776
1929.18/1934.57 c #Conflicts: 842000 | #Constraints: 86776
1929.18/1934.57 c #Conflicts: 843000 | #Constraints: 87776
1929.18/1934.57 c #Conflicts: 844000 | #Constraints: 88776
1929.18/1934.57 c #Conflicts: 845000 | #Constraints: 89776
1929.18/1934.57 c #Conflicts: 846000 | #Constraints: 90776
1929.18/1934.57 c #Conflicts: 847000 | #Constraints: 91776
1929.18/1934.57 c #Conflicts: 848000 | #Constraints: 92776
1929.18/1934.57 c #Conflicts: 849000 | #Constraints: 93776
1929.18/1934.57 c #Conflicts: 850000 | #Constraints: 94776
1929.18/1934.57 c #Conflicts: 851000 | #Constraints: 95776
1929.18/1934.57 c #Conflicts: 852000 | #Constraints: 96776
1929.18/1934.57 c #Conflicts: 853000 | #Constraints: 97776
1929.18/1934.57 c #Conflicts: 854000 | #Constraints: 98776
1929.18/1934.57 c #Conflicts: 855000 | #Constraints: 99776
1929.18/1934.57 c #Conflicts: 856000 | #Constraints: 100776
1929.18/1934.57 c #Conflicts: 857000 | #Constraints: 101776
1929.18/1934.57 c #Conflicts: 858000 | #Constraints: 102776
1929.18/1934.57 c INPROCESSING
1929.18/1934.57 c GARBAGE COLLECT
1929.18/1934.57 c rational objective 176
2156.10/2162.08 c #Conflicts: 859000 | #Constraints: 74670
2156.10/2162.08 c #Conflicts: 860000 | #Constraints: 75670
2156.10/2162.08 c #Conflicts: 861000 | #Constraints: 76670
2156.10/2162.08 c #Conflicts: 862000 | #Constraints: 77670
2156.10/2162.08 c #Conflicts: 863000 | #Constraints: 78670
2156.10/2162.08 c #Conflicts: 864000 | #Constraints: 79670
2156.10/2162.08 c #Conflicts: 865000 | #Constraints: 80670
2156.10/2162.08 c #Conflicts: 866000 | #Constraints: 81670
2156.10/2162.08 c #Conflicts: 867000 | #Constraints: 82670
2156.10/2162.08 c #Conflicts: 868000 | #Constraints: 83670
2156.10/2162.08 c #Conflicts: 869000 | #Constraints: 84670
2156.10/2162.08 c #Conflicts: 870000 | #Constraints: 85670
2156.10/2162.08 c #Conflicts: 871000 | #Constraints: 86670
2156.10/2162.08 c #Conflicts: 872000 | #Constraints: 87670
2156.10/2162.08 c #Conflicts: 873000 | #Constraints: 88670
2156.10/2162.08 c #Conflicts: 874000 | #Constraints: 89670
2156.10/2162.08 c #Conflicts: 875000 | #Constraints: 90670
2156.10/2162.08 c #Conflicts: 876000 | #Constraints: 91670
2156.10/2162.08 c #Conflicts: 877000 | #Constraints: 92670
2156.10/2162.08 c #Conflicts: 878000 | #Constraints: 93670
2156.10/2162.08 c #Conflicts: 879000 | #Constraints: 94670
2156.10/2162.08 c #Conflicts: 880000 | #Constraints: 95670
2156.10/2162.08 c #Conflicts: 881000 | #Constraints: 96670
2156.10/2162.08 c #Conflicts: 882000 | #Constraints: 97670
2156.10/2162.08 c #Conflicts: 883000 | #Constraints: 98670
2156.10/2162.08 c #Conflicts: 884000 | #Constraints: 99670
2156.10/2162.08 c #Conflicts: 885000 | #Constraints: 100670
2156.10/2162.08 c #Conflicts: 886000 | #Constraints: 101670
2156.10/2162.08 c #Conflicts: 887000 | #Constraints: 102670
2156.10/2162.08 c #Conflicts: 888000 | #Constraints: 103670
2156.10/2162.08 c #Conflicts: 889000 | #Constraints: 104670
2156.10/2162.08 c #Conflicts: 890000 | #Constraints: 105670
2156.10/2162.08 c #Conflicts: 891000 | #Constraints: 106670
2156.10/2162.08 c #Conflicts: 892000 | #Constraints: 107670
2156.10/2162.08 c #Conflicts: 893000 | #Constraints: 108670
2156.10/2162.08 c #Conflicts: 894000 | #Constraints: 109670
2156.10/2162.08 c #Conflicts: 895000 | #Constraints: 110670
2156.10/2162.08 c #Conflicts: 896000 | #Constraints: 111670
2156.10/2162.08 c #Conflicts: 897000 | #Constraints: 112670
2156.10/2162.08 c #Conflicts: 898000 | #Constraints: 113670
2156.10/2162.08 c #Conflicts: 899000 | #Constraints: 114670
2156.10/2162.08 c #Conflicts: 900000 | #Constraints: 115670
2156.10/2162.08 c #Conflicts: 901000 | #Constraints: 116670
2156.10/2162.08 c #Conflicts: 902000 | #Constraints: 117670
2156.10/2162.08 c #Conflicts: 903000 | #Constraints: 118670
2156.10/2162.08 c #Conflicts: 904000 | #Constraints: 119670
2156.10/2162.08 c #Conflicts: 905000 | #Constraints: 120670
2156.10/2162.08 c #Conflicts: 906000 | #Constraints: 121670
2156.10/2162.08 c #Conflicts: 907000 | #Constraints: 122670
2156.10/2162.08 c #Conflicts: 908000 | #Constraints: 123670
2156.10/2162.08 c #Conflicts: 909000 | #Constraints: 124670
2156.10/2162.08 c #Conflicts: 910000 | #Constraints: 125670
2156.10/2162.08 c #Conflicts: 911000 | #Constraints: 126670
2156.10/2162.08 c #Conflicts: 912000 | #Constraints: 127670
2156.10/2162.08 c #Conflicts: 913000 | #Constraints: 128670
2156.10/2162.08 c #Conflicts: 914000 | #Constraints: 129670
2156.10/2162.08 c #Conflicts: 915000 | #Constraints: 130670
2156.10/2162.08 c #Conflicts: 916000 | #Constraints: 131670
2156.10/2162.08 c #Conflicts: 917000 | #Constraints: 132670
2156.10/2162.08 c #Conflicts: 918000 | #Constraints: 133670
2156.10/2162.08 c #Conflicts: 919000 | #Constraints: 134670
2156.10/2162.08 c #Conflicts: 920000 | #Constraints: 135670
2156.10/2162.08 c INPROCESSING
2156.10/2162.08 c GARBAGE COLLECT
2156.10/2162.08 c #Conflicts: 921000 | #Constraints: 80745
2156.10/2162.08 c #Conflicts: 922000 | #Constraints: 81745
2156.10/2162.08 c #Conflicts: 923000 | #Constraints: 82745
2156.10/2162.08 c #Conflicts: 924000 | #Constraints: 83745
2156.10/2162.08 c #Conflicts: 925000 | #Constraints: 84745
2156.10/2162.08 c #Conflicts: 926000 | #Constraints: 85745
2156.10/2162.08 c #Conflicts: 927000 | #Constraints: 86745
2156.10/2162.08 c #Conflicts: 928000 | #Constraints: 87745
2156.10/2162.08 c #Conflicts: 929000 | #Constraints: 88745
2156.10/2162.08 c #Conflicts: 930000 | #Constraints: 89745
2156.10/2162.08 c #Conflicts: 931000 | #Constraints: 90745
2156.10/2162.08 c #Conflicts: 932000 | #Constraints: 91745
2156.10/2162.08 c #Conflicts: 933000 | #Constraints: 92745
2156.10/2162.08 c #Conflicts: 934000 | #Constraints: 93745
2156.10/2162.08 c #Conflicts: 935000 | #Constraints: 94745
2156.10/2162.08 c #Conflicts: 936000 | #Constraints: 95745
2156.10/2162.08 c #Conflicts: 937000 | #Constraints: 96745
2499.12/2505.96 c #Conflicts: 938000 | #Constraints: 97745
2499.12/2505.96 c #Conflicts: 939000 | #Constraints: 98745
2499.12/2505.96 c #Conflicts: 940000 | #Constraints: 99745
2499.12/2505.96 c #Conflicts: 941000 | #Constraints: 100745
2499.12/2505.96 c #Conflicts: 942000 | #Constraints: 101745
2499.12/2505.96 c #Conflicts: 943000 | #Constraints: 102745
2499.12/2505.96 c #Conflicts: 944000 | #Constraints: 103745
2499.12/2505.96 c #Conflicts: 945000 | #Constraints: 104745
2499.12/2505.96 c #Conflicts: 946000 | #Constraints: 105745
2499.12/2505.96 c #Conflicts: 947000 | #Constraints: 106745
2499.12/2505.96 c INPROCESSING
2499.12/2505.96 c GARBAGE COLLECT
2499.12/2505.96 c #Conflicts: 948000 | #Constraints: 77723
2499.12/2505.96 c #Conflicts: 949000 | #Constraints: 78723
2499.12/2505.96 c #Conflicts: 950000 | #Constraints: 79723
2499.12/2505.96 c #Conflicts: 951000 | #Constraints: 80723
2499.12/2505.96 c #Conflicts: 952000 | #Constraints: 81723
2499.12/2505.96 c #Conflicts: 953000 | #Constraints: 82723
2499.12/2505.96 c #Conflicts: 954000 | #Constraints: 83723
2499.12/2505.96 c #Conflicts: 955000 | #Constraints: 84723
2499.12/2505.96 c #Conflicts: 956000 | #Constraints: 85723
2499.12/2505.96 c #Conflicts: 957000 | #Constraints: 86723
2499.12/2505.96 c #Conflicts: 958000 | #Constraints: 87723
2499.12/2505.96 c #Conflicts: 959000 | #Constraints: 88723
2499.12/2505.96 c #Conflicts: 960000 | #Constraints: 89723
2499.12/2505.96 c #Conflicts: 961000 | #Constraints: 90723
2499.12/2505.96 c #Conflicts: 962000 | #Constraints: 91723
2499.12/2505.96 c #Conflicts: 963000 | #Constraints: 92723
2499.12/2505.96 c #Conflicts: 964000 | #Constraints: 93723
2499.12/2505.96 c #Conflicts: 965000 | #Constraints: 94723
2499.12/2505.96 c #Conflicts: 966000 | #Constraints: 95723
2499.12/2505.96 c #Conflicts: 967000 | #Constraints: 96723
2499.12/2505.96 c #Conflicts: 968000 | #Constraints: 97723
2499.12/2505.96 c #Conflicts: 969000 | #Constraints: 98723
2499.12/2505.96 c #Conflicts: 970000 | #Constraints: 99723
2499.12/2505.96 c #Conflicts: 971000 | #Constraints: 100723
2499.12/2505.96 c #Conflicts: 972000 | #Constraints: 101723
2499.12/2505.96 c #Conflicts: 973000 | #Constraints: 102723
2499.12/2505.96 c #Conflicts: 974000 | #Constraints: 103723
2499.12/2505.96 c #Conflicts: 975000 | #Constraints: 104723
2499.12/2505.96 c #Conflicts: 976000 | #Constraints: 105723
2499.12/2505.96 c #Conflicts: 977000 | #Constraints: 106723
2499.12/2505.96 c #Conflicts: 978000 | #Constraints: 107723
2499.12/2505.96 c #Conflicts: 979000 | #Constraints: 108723
2499.12/2505.96 c #Conflicts: 980000 | #Constraints: 109723
2499.12/2505.96 c #Conflicts: 981000 | #Constraints: 110723
2499.12/2505.96 c #Conflicts: 982000 | #Constraints: 111723
2499.12/2505.96 c #Conflicts: 983000 | #Constraints: 112723
2499.12/2505.96 c #Conflicts: 984000 | #Constraints: 113723
2499.12/2505.96 c #Conflicts: 985000 | #Constraints: 114723
2499.12/2505.96 c #Conflicts: 986000 | #Constraints: 115723
2499.12/2505.96 c #Conflicts: 987000 | #Constraints: 116723
2499.12/2505.96 c #Conflicts: 988000 | #Constraints: 117723
2499.12/2505.96 c #Conflicts: 989000 | #Constraints: 118723
2499.12/2505.96 c #Conflicts: 990000 | #Constraints: 119723
2499.12/2505.96 c #Conflicts: 991000 | #Constraints: 120723
2499.12/2505.96 c #Conflicts: 992000 | #Constraints: 121723
2499.12/2505.96 c #Conflicts: 993000 | #Constraints: 122723
2499.12/2505.96 c #Conflicts: 994000 | #Constraints: 123723
2499.12/2505.96 c #Conflicts: 995000 | #Constraints: 124723
2499.12/2505.96 c #Conflicts: 996000 | #Constraints: 125723
2499.12/2505.96 c #Conflicts: 997000 | #Constraints: 126723
2499.12/2505.96 c #Conflicts: 998000 | #Constraints: 127723
2499.12/2505.96 c #Conflicts: 999000 | #Constraints: 128723
2499.12/2505.96 c #Conflicts: 1000000 | #Constraints: 129723
2499.12/2505.96 c #Conflicts: 1001000 | #Constraints: 130723
2499.12/2505.96 c #Conflicts: 1002000 | #Constraints: 131723
2499.12/2505.96 c #Conflicts: 1003000 | #Constraints: 132723
2499.12/2505.96 c #Conflicts: 1004000 | #Constraints: 133723
2499.12/2505.96 c #Conflicts: 1005000 | #Constraints: 134723
2499.12/2505.96 c #Conflicts: 1006000 | #Constraints: 135723
2499.12/2505.96 c #Conflicts: 1007000 | #Constraints: 136723
2499.12/2505.96 c #Conflicts: 1008000 | #Constraints: 137723
2499.12/2505.96 c #Conflicts: 1009000 | #Constraints: 138723
2499.12/2505.96 c #Conflicts: 1010000 | #Constraints: 139723
2499.12/2505.96 c #Conflicts: 1011000 | #Constraints: 140723
2499.12/2505.96 c #Conflicts: 1012000 | #Constraints: 141723
2499.12/2505.96 c INPROCESSING
2499.12/2505.96 c GARBAGE COLLECT
2499.12/2505.96 c #Conflicts: 1013000 | #Constraints: 83650
2499.12/2505.96 c #Conflicts: 1014000 | #Constraints: 84650
2741.39/2748.89 c #Conflicts: 1015000 | #Constraints: 85650
2741.39/2748.89 c #Conflicts: 1016000 | #Constraints: 86650
2741.39/2748.89 c #Conflicts: 1017000 | #Constraints: 87650
2741.39/2748.89 c #Conflicts: 1018000 | #Constraints: 88650
2741.39/2748.89 c #Conflicts: 1019000 | #Constraints: 89650
2741.39/2748.89 c #Conflicts: 1020000 | #Constraints: 90650
2741.39/2748.89 c #Conflicts: 1021000 | #Constraints: 91650
2741.39/2748.89 c #Conflicts: 1022000 | #Constraints: 92650
2741.39/2748.89 c #Conflicts: 1023000 | #Constraints: 93650
2741.39/2748.89 c #Conflicts: 1024000 | #Constraints: 94650
2741.39/2748.89 c #Conflicts: 1025000 | #Constraints: 95650
2741.39/2748.89 c #Conflicts: 1026000 | #Constraints: 96650
2741.39/2748.89 c #Conflicts: 1027000 | #Constraints: 97650
2741.39/2748.89 c #Conflicts: 1028000 | #Constraints: 98650
2741.39/2748.89 c #Conflicts: 1029000 | #Constraints: 99650
2741.39/2748.89 c #Conflicts: 1030000 | #Constraints: 100650
2741.39/2748.89 c #Conflicts: 1031000 | #Constraints: 101650
2741.39/2748.89 c #Conflicts: 1032000 | #Constraints: 102650
2741.39/2748.89 c #Conflicts: 1033000 | #Constraints: 103650
2741.39/2748.89 c #Conflicts: 1034000 | #Constraints: 104650
2741.39/2748.89 c #Conflicts: 1035000 | #Constraints: 105650
2741.39/2748.89 c #Conflicts: 1036000 | #Constraints: 106650
2741.39/2748.89 c #Conflicts: 1037000 | #Constraints: 107650
2741.39/2748.89 c #Conflicts: 1038000 | #Constraints: 108650
2741.39/2748.89 c #Conflicts: 1039000 | #Constraints: 109650
2741.39/2748.89 c #Conflicts: 1040000 | #Constraints: 110650
2741.39/2748.89 c INPROCESSING
2741.39/2748.89 c GARBAGE COLLECT
2741.39/2748.89 c #Conflicts: 1041000 | #Constraints: 78547
2741.39/2748.89 c #Conflicts: 1042000 | #Constraints: 79547
2741.39/2748.89 c #Conflicts: 1043000 | #Constraints: 80547
2741.39/2748.89 c #Conflicts: 1044000 | #Constraints: 81547
2741.39/2748.89 c #Conflicts: 1045000 | #Constraints: 82547
2741.39/2748.89 c #Conflicts: 1046000 | #Constraints: 83547
2741.39/2748.89 c #Conflicts: 1047000 | #Constraints: 84547
2741.39/2748.89 c #Conflicts: 1048000 | #Constraints: 85547
2741.39/2748.89 c #Conflicts: 1049000 | #Constraints: 86547
2741.39/2748.89 c #Conflicts: 1050000 | #Constraints: 87547
2741.39/2748.89 c #Conflicts: 1051000 | #Constraints: 88547
2741.39/2748.89 c #Conflicts: 1052000 | #Constraints: 89547
2741.39/2748.89 c #Conflicts: 1053000 | #Constraints: 90547
2741.39/2748.89 c #Conflicts: 1054000 | #Constraints: 91547
2741.39/2748.89 c #Conflicts: 1055000 | #Constraints: 92547
2741.39/2748.89 c #Conflicts: 1056000 | #Constraints: 93547
2741.39/2748.89 c #Conflicts: 1057000 | #Constraints: 94547
2741.39/2748.89 c #Conflicts: 1058000 | #Constraints: 95547
2741.39/2748.89 c #Conflicts: 1059000 | #Constraints: 96547
2741.39/2748.89 c #Conflicts: 1060000 | #Constraints: 97547
2741.39/2748.89 c #Conflicts: 1061000 | #Constraints: 98547
2741.39/2748.89 c #Conflicts: 1062000 | #Constraints: 99547
2741.39/2748.89 c #Conflicts: 1063000 | #Constraints: 100547
2741.39/2748.89 c #Conflicts: 1064000 | #Constraints: 101547
2741.39/2748.89 c #Conflicts: 1065000 | #Constraints: 102547
2741.39/2748.89 c #Conflicts: 1066000 | #Constraints: 103547
2741.39/2748.89 c #Conflicts: 1067000 | #Constraints: 104547
2741.39/2748.89 c #Conflicts: 1068000 | #Constraints: 105547
2741.39/2748.89 c #Conflicts: 1069000 | #Constraints: 106548
2741.39/2748.89 c #Conflicts: 1070000 | #Constraints: 107548
2741.39/2748.89 c #Conflicts: 1071000 | #Constraints: 108548
2741.39/2748.89 c #Conflicts: 1072000 | #Constraints: 109548
2741.39/2748.89 c #Conflicts: 1073000 | #Constraints: 110548
2741.39/2748.89 c #Conflicts: 1074000 | #Constraints: 111548
2741.39/2748.89 c #Conflicts: 1075000 | #Constraints: 112548
2741.39/2748.89 c #Conflicts: 1076000 | #Constraints: 113548
2741.39/2748.89 c #Conflicts: 1077000 | #Constraints: 114548
2741.39/2748.89 c #Conflicts: 1078000 | #Constraints: 115548
2741.39/2748.89 c #Conflicts: 1079000 | #Constraints: 116548
2741.39/2748.89 c #Conflicts: 1080000 | #Constraints: 117548
2741.39/2748.89 c #Conflicts: 1081000 | #Constraints: 118548
2741.39/2748.89 c #Conflicts: 1082000 | #Constraints: 119548
2741.39/2748.89 c #Conflicts: 1083000 | #Constraints: 120548
2741.39/2748.89 c #Conflicts: 1084000 | #Constraints: 121548
2741.39/2748.89 c #Conflicts: 1085000 | #Constraints: 122548
2741.39/2748.89 c #Conflicts: 1086000 | #Constraints: 123548
2741.39/2748.89 c #Conflicts: 1087000 | #Constraints: 124548
2741.39/2748.89 c #Conflicts: 1088000 | #Constraints: 125548
2741.39/2748.89 c #Conflicts: 1089000 | #Constraints: 126548
2741.39/2748.89 c #Conflicts: 1090000 | #Constraints: 127548
2741.39/2748.89 c #Conflicts: 1091000 | #Constraints: 128548
2741.39/2748.89 c #Conflicts: 1092000 | #Constraints: 129548
2896.09/2903.93 c #Conflicts: 1093000 | #Constraints: 130548
2896.09/2903.93 c #Conflicts: 1094000 | #Constraints: 131548
2896.09/2903.93 c #Conflicts: 1095000 | #Constraints: 132548
2896.09/2903.93 c #Conflicts: 1096000 | #Constraints: 133548
2896.09/2903.93 c #Conflicts: 1097000 | #Constraints: 134548
2896.09/2903.93 c #Conflicts: 1098000 | #Constraints: 135548
2896.09/2903.93 c #Conflicts: 1099000 | #Constraints: 136548
2896.09/2903.93 c #Conflicts: 1100000 | #Constraints: 137548
2896.09/2903.93 c #Conflicts: 1101000 | #Constraints: 138548
2896.09/2903.93 c #Conflicts: 1102000 | #Constraints: 139548
2896.09/2903.93 c #Conflicts: 1103000 | #Constraints: 140548
2896.09/2903.93 c #Conflicts: 1104000 | #Constraints: 141548
2896.09/2903.93 c #Conflicts: 1105000 | #Constraints: 142548
2896.09/2903.93 c #Conflicts: 1106000 | #Constraints: 143548
2896.09/2903.93 c #Conflicts: 1107000 | #Constraints: 144548
2896.09/2903.93 c #Conflicts: 1108000 | #Constraints: 145548
2896.09/2903.93 c INPROCESSING
2896.09/2903.93 c GARBAGE COLLECT
2896.09/2903.93 c rational objective 176
3069.74/3078.09 c #Conflicts: 1109000 | #Constraints: 85264
3069.74/3078.09 c #Conflicts: 1110000 | #Constraints: 86264
3069.74/3078.09 c #Conflicts: 1111000 | #Constraints: 87264
3069.74/3078.09 c #Conflicts: 1112000 | #Constraints: 88264
3069.74/3078.09 c #Conflicts: 1113000 | #Constraints: 89264
3069.74/3078.09 c #Conflicts: 1114000 | #Constraints: 90264
3069.74/3078.09 c #Conflicts: 1115000 | #Constraints: 91264
3069.74/3078.09 c #Conflicts: 1116000 | #Constraints: 92264
3069.74/3078.09 c #Conflicts: 1117000 | #Constraints: 93264
3069.74/3078.09 c #Conflicts: 1118000 | #Constraints: 94264
3069.74/3078.09 c #Conflicts: 1119000 | #Constraints: 95264
3069.74/3078.09 c #Conflicts: 1120000 | #Constraints: 96264
3069.74/3078.09 c #Conflicts: 1121000 | #Constraints: 97264
3069.74/3078.09 c #Conflicts: 1122000 | #Constraints: 98264
3069.74/3078.09 c #Conflicts: 1123000 | #Constraints: 99264
3069.74/3078.09 c #Conflicts: 1124000 | #Constraints: 100264
3069.74/3078.09 c #Conflicts: 1125000 | #Constraints: 101264
3069.74/3078.09 c #Conflicts: 1126000 | #Constraints: 102264
3069.74/3078.09 c #Conflicts: 1127000 | #Constraints: 103264
3069.74/3078.09 c #Conflicts: 1128000 | #Constraints: 104264
3069.74/3078.09 c #Conflicts: 1129000 | #Constraints: 105264
3069.74/3078.09 c #Conflicts: 1130000 | #Constraints: 106264
3069.74/3078.09 c #Conflicts: 1131000 | #Constraints: 107264
3069.74/3078.09 c #Conflicts: 1132000 | #Constraints: 108264
3069.74/3078.09 c #Conflicts: 1133000 | #Constraints: 109264
3069.74/3078.09 c #Conflicts: 1134000 | #Constraints: 110264
3069.74/3078.09 c #Conflicts: 1135000 | #Constraints: 111264
3069.74/3078.09 c #Conflicts: 1136000 | #Constraints: 112264
3069.74/3078.09 c #Conflicts: 1137000 | #Constraints: 113264
3069.74/3078.09 c #Conflicts: 1138000 | #Constraints: 114264
3069.74/3078.09 c INPROCESSING
3069.74/3078.09 c GARBAGE COLLECT
3069.74/3078.09 c #Conflicts: 1139000 | #Constraints: 80670
3069.74/3078.09 c #Conflicts: 1140000 | #Constraints: 81670
3069.74/3078.09 c #Conflicts: 1141000 | #Constraints: 82670
3069.74/3078.09 c #Conflicts: 1142000 | #Constraints: 83670
3069.74/3078.09 c #Conflicts: 1143000 | #Constraints: 84670
3069.74/3078.09 c #Conflicts: 1144000 | #Constraints: 85670
3069.74/3078.09 c #Conflicts: 1145000 | #Constraints: 86670
3069.74/3078.09 c #Conflicts: 1146000 | #Constraints: 87670
3069.74/3078.09 c #Conflicts: 1147000 | #Constraints: 88670
3069.74/3078.09 c #Conflicts: 1148000 | #Constraints: 89670
3069.74/3078.09 c #Conflicts: 1149000 | #Constraints: 90670
3069.74/3078.09 c #Conflicts: 1150000 | #Constraints: 91670
3069.74/3078.09 c #Conflicts: 1151000 | #Constraints: 92670
3069.74/3078.09 c #Conflicts: 1152000 | #Constraints: 93670
3069.74/3078.09 c #Conflicts: 1153000 | #Constraints: 94670
3069.74/3078.09 c #Conflicts: 1154000 | #Constraints: 95670
3069.74/3078.09 c #Conflicts: 1155000 | #Constraints: 96670
3069.74/3078.09 c #Conflicts: 1156000 | #Constraints: 97670
3069.74/3078.09 c #Conflicts: 1157000 | #Constraints: 98670
3069.74/3078.09 c #Conflicts: 1158000 | #Constraints: 99670
3069.74/3078.09 c #Conflicts: 1159000 | #Constraints: 100670
3069.74/3078.09 c #Conflicts: 1160000 | #Constraints: 101670
3069.74/3078.09 c #Conflicts: 1161000 | #Constraints: 102670
3069.74/3078.09 c #Conflicts: 1162000 | #Constraints: 103670
3069.74/3078.09 c #Conflicts: 1163000 | #Constraints: 104670
3069.74/3078.09 c #Conflicts: 1164000 | #Constraints: 105670
3069.74/3078.09 c #Conflicts: 1165000 | #Constraints: 106670
3069.74/3078.09 c #Conflicts: 1166000 | #Constraints: 107670
3069.74/3078.09 c #Conflicts: 1167000 | #Constraints: 108670
3069.74/3078.09 c #Conflicts: 1168000 | #Constraints: 109670
3069.74/3078.09 c #Conflicts: 1169000 | #Constraints: 110670
3069.74/3078.09 c #Conflicts: 1170000 | #Constraints: 111670
3069.74/3078.09 c #Conflicts: 1171000 | #Constraints: 112670
3069.74/3078.09 c #Conflicts: 1172000 | #Constraints: 113670
3069.74/3078.09 c #Conflicts: 1173000 | #Constraints: 114670
3069.74/3078.09 c #Conflicts: 1174000 | #Constraints: 115670
3069.74/3078.09 c #Conflicts: 1175000 | #Constraints: 116670
3069.74/3078.09 c #Conflicts: 1176000 | #Constraints: 117670
3069.74/3078.09 c #Conflicts: 1177000 | #Constraints: 118670
3069.74/3078.09 c #Conflicts: 1178000 | #Constraints: 119670
3069.74/3078.09 c #Conflicts: 1179000 | #Constraints: 120670
3069.74/3078.09 c #Conflicts: 1180000 | #Constraints: 121670
3069.74/3078.09 c #Conflicts: 1181000 | #Constraints: 122670
3069.74/3078.09 c #Conflicts: 1182000 | #Constraints: 123670
3069.74/3078.09 c #Conflicts: 1183000 | #Constraints: 124670
3069.74/3078.09 c #Conflicts: 1184000 | #Constraints: 125670
3069.74/3078.09 c #Conflicts: 1185000 | #Constraints: 126670
3069.74/3078.09 c #Conflicts: 1186000 | #Constraints: 127670
3069.74/3078.09 c #Conflicts: 1187000 | #Constraints: 128670
3279.56/3288.47 c #Conflicts: 1188000 | #Constraints: 129670
3279.56/3288.47 c #Conflicts: 1189000 | #Constraints: 130670
3279.56/3288.47 c #Conflicts: 1190000 | #Constraints: 131670
3279.56/3288.47 c #Conflicts: 1191000 | #Constraints: 132670
3279.56/3288.47 c #Conflicts: 1192000 | #Constraints: 133670
3279.56/3288.47 c #Conflicts: 1193000 | #Constraints: 134670
3279.56/3288.47 c #Conflicts: 1194000 | #Constraints: 135670
3279.56/3288.47 c #Conflicts: 1195000 | #Constraints: 136670
3279.56/3288.47 c #Conflicts: 1196000 | #Constraints: 137670
3279.56/3288.47 c #Conflicts: 1197000 | #Constraints: 138670
3279.56/3288.47 c #Conflicts: 1198000 | #Constraints: 139670
3279.56/3288.47 c #Conflicts: 1199000 | #Constraints: 140670
3279.56/3288.47 c #Conflicts: 1200000 | #Constraints: 141670
3279.56/3288.47 c #Conflicts: 1201000 | #Constraints: 142670
3279.56/3288.47 c #Conflicts: 1202000 | #Constraints: 143670
3279.56/3288.47 c #Conflicts: 1203000 | #Constraints: 144670
3279.56/3288.47 c #Conflicts: 1204000 | #Constraints: 145670
3279.56/3288.47 c #Conflicts: 1205000 | #Constraints: 146670
3279.56/3288.47 c #Conflicts: 1206000 | #Constraints: 147670
3279.56/3288.47 c #Conflicts: 1207000 | #Constraints: 148670
3279.56/3288.47 c #Conflicts: 1208000 | #Constraints: 149670
3279.56/3288.47 c #Conflicts: 1209000 | #Constraints: 150670
3279.56/3288.47 c INPROCESSING
3279.56/3288.47 c GARBAGE COLLECT
3279.56/3288.47 c #Conflicts: 1210000 | #Constraints: 88075
3279.56/3288.47 c #Conflicts: 1211000 | #Constraints: 89075
3279.56/3288.47 c #Conflicts: 1212000 | #Constraints: 90075
3279.56/3288.47 c #Conflicts: 1213000 | #Constraints: 91075
3279.56/3288.47 c #Conflicts: 1214000 | #Constraints: 92075
3279.56/3288.47 c #Conflicts: 1215000 | #Constraints: 93075
3279.56/3288.47 c #Conflicts: 1216000 | #Constraints: 94075
3279.56/3288.47 c #Conflicts: 1217000 | #Constraints: 95075
3279.56/3288.47 c #Conflicts: 1218000 | #Constraints: 96076
3279.56/3288.47 c #Conflicts: 1219000 | #Constraints: 97076
3279.56/3288.47 c #Conflicts: 1220000 | #Constraints: 98076
3279.56/3288.47 c #Conflicts: 1221000 | #Constraints: 99076
3279.56/3288.47 c #Conflicts: 1222000 | #Constraints: 100076
3279.56/3288.47 c #Conflicts: 1223000 | #Constraints: 101076
3279.56/3288.47 c #Conflicts: 1224000 | #Constraints: 102076
3279.56/3288.47 c #Conflicts: 1225000 | #Constraints: 103076
3279.56/3288.47 c #Conflicts: 1226000 | #Constraints: 104076
3279.56/3288.47 c #Conflicts: 1227000 | #Constraints: 105076
3279.56/3288.47 c #Conflicts: 1228000 | #Constraints: 106076
3279.56/3288.47 c #Conflicts: 1229000 | #Constraints: 107076
3279.56/3288.47 c #Conflicts: 1230000 | #Constraints: 108076
3279.56/3288.47 c #Conflicts: 1231000 | #Constraints: 109076
3279.56/3288.47 c #Conflicts: 1232000 | #Constraints: 110076
3279.56/3288.47 c #Conflicts: 1233000 | #Constraints: 111076
3279.56/3288.47 c #Conflicts: 1234000 | #Constraints: 112076
3279.56/3288.47 c #Conflicts: 1235000 | #Constraints: 113076
3279.56/3288.47 c #Conflicts: 1236000 | #Constraints: 114076
3279.56/3288.47 c #Conflicts: 1237000 | #Constraints: 115076
3279.56/3288.47 c #Conflicts: 1238000 | #Constraints: 116076
3279.56/3288.47 c #Conflicts: 1239000 | #Constraints: 117076
3279.56/3288.47 c #Conflicts: 1240000 | #Constraints: 118076
3279.56/3288.47 c INPROCESSING
3279.56/3288.47 c GARBAGE COLLECT
3279.56/3288.47 c #Conflicts: 1241000 | #Constraints: 83335
3279.56/3288.47 c #Conflicts: 1242000 | #Constraints: 84335
3279.56/3288.47 c #Conflicts: 1243000 | #Constraints: 85335
3279.56/3288.47 c #Conflicts: 1244000 | #Constraints: 86335
3279.56/3288.47 c #Conflicts: 1245000 | #Constraints: 87335
3279.56/3288.47 c #Conflicts: 1246000 | #Constraints: 88335
3279.56/3288.47 c #Conflicts: 1247000 | #Constraints: 89335
3279.56/3288.47 c #Conflicts: 1248000 | #Constraints: 90335
3279.56/3288.47 c #Conflicts: 1249000 | #Constraints: 91335
3279.56/3288.47 c #Conflicts: 1250000 | #Constraints: 92335
3279.56/3288.47 c #Conflicts: 1251000 | #Constraints: 93335
3279.56/3288.47 c #Conflicts: 1252000 | #Constraints: 94335
3279.56/3288.47 c #Conflicts: 1253000 | #Constraints: 95335
3279.56/3288.47 c #Conflicts: 1254000 | #Constraints: 96335
3279.56/3288.47 c #Conflicts: 1255000 | #Constraints: 97335
3279.56/3288.47 c #Conflicts: 1256000 | #Constraints: 98335
3279.56/3288.47 c #Conflicts: 1257000 | #Constraints: 99335
3279.56/3288.47 c #Conflicts: 1258000 | #Constraints: 100335
3279.56/3288.47 c #Conflicts: 1259000 | #Constraints: 101335
3279.56/3288.47 c #Conflicts: 1260000 | #Constraints: 102335
3279.56/3288.47 c #Conflicts: 1261000 | #Constraints: 103335
3279.56/3288.47 c #Conflicts: 1262000 | #Constraints: 104335
3279.56/3288.47 c #Conflicts: 1263000 | #Constraints: 105335
3279.56/3288.47 c #Conflicts: 1264000 | #Constraints: 106335
3547.92/3557.53 c #Conflicts: 1265000 | #Constraints: 107335
3547.92/3557.53 c #Conflicts: 1266000 | #Constraints: 108335
3547.92/3557.53 c #Conflicts: 1267000 | #Constraints: 109335
3547.92/3557.53 c #Conflicts: 1268000 | #Constraints: 110335
3547.92/3557.53 c #Conflicts: 1269000 | #Constraints: 111335
3547.92/3557.53 c #Conflicts: 1270000 | #Constraints: 112335
3547.92/3557.53 c #Conflicts: 1271000 | #Constraints: 113335
3547.92/3557.53 c #Conflicts: 1272000 | #Constraints: 114335
3547.92/3557.53 c #Conflicts: 1273000 | #Constraints: 115335
3547.92/3557.53 c #Conflicts: 1274000 | #Constraints: 116335
3547.92/3557.53 c #Conflicts: 1275000 | #Constraints: 117335
3547.92/3557.53 c #Conflicts: 1276000 | #Constraints: 118335
3547.92/3557.53 c #Conflicts: 1277000 | #Constraints: 119335
3547.92/3557.53 c #Conflicts: 1278000 | #Constraints: 120335
3547.92/3557.53 c #Conflicts: 1279000 | #Constraints: 121335
3547.92/3557.53 c #Conflicts: 1280000 | #Constraints: 122335
3547.92/3557.53 c #Conflicts: 1281000 | #Constraints: 123335
3547.92/3557.53 c #Conflicts: 1282000 | #Constraints: 124335
3547.92/3557.53 c #Conflicts: 1283000 | #Constraints: 125335
3547.92/3557.53 c #Conflicts: 1284000 | #Constraints: 126335
3547.92/3557.53 c #Conflicts: 1285000 | #Constraints: 127335
3547.92/3557.53 c #Conflicts: 1286000 | #Constraints: 128335
3547.92/3557.53 c #Conflicts: 1287000 | #Constraints: 129335
3547.92/3557.53 c #Conflicts: 1288000 | #Constraints: 130335
3547.92/3557.53 c #Conflicts: 1289000 | #Constraints: 131335
3547.92/3557.53 c #Conflicts: 1290000 | #Constraints: 132335
3547.92/3557.53 c #Conflicts: 1291000 | #Constraints: 133335
3547.92/3557.53 c #Conflicts: 1292000 | #Constraints: 134335
3547.92/3557.53 c #Conflicts: 1293000 | #Constraints: 135335
3547.92/3557.53 c #Conflicts: 1294000 | #Constraints: 136335
3547.92/3557.53 c #Conflicts: 1295000 | #Constraints: 137335
3547.92/3557.53 c #Conflicts: 1296000 | #Constraints: 138335
3547.92/3557.53 c #Conflicts: 1297000 | #Constraints: 139335
3547.92/3557.53 c #Conflicts: 1298000 | #Constraints: 140335
3547.92/3557.53 c #Conflicts: 1299000 | #Constraints: 141335
3547.92/3557.53 c #Conflicts: 1300000 | #Constraints: 142335
3547.92/3557.53 c #Conflicts: 1301000 | #Constraints: 143335
3547.92/3557.53 c #Conflicts: 1302000 | #Constraints: 144335
3547.92/3557.53 c #Conflicts: 1303000 | #Constraints: 145335
3547.92/3557.53 c #Conflicts: 1304000 | #Constraints: 146335
3547.92/3557.53 c #Conflicts: 1305000 | #Constraints: 147335
3547.92/3557.53 c #Conflicts: 1306000 | #Constraints: 148335
3547.92/3557.53 c #Conflicts: 1307000 | #Constraints: 149335
3547.92/3557.53 c #Conflicts: 1308000 | #Constraints: 150335
3547.92/3557.53 c #Conflicts: 1309000 | #Constraints: 151335
3547.92/3557.53 c #Conflicts: 1310000 | #Constraints: 152335
3547.92/3557.53 c #Conflicts: 1311000 | #Constraints: 153335
3547.92/3557.53 c #Conflicts: 1312000 | #Constraints: 154335
3547.92/3557.53 c #Conflicts: 1313000 | #Constraints: 155335
3547.92/3557.53 c #Conflicts: 1314000 | #Constraints: 156335
3547.92/3557.53 c #Conflicts: 1315000 | #Constraints: 157335
3547.92/3557.53 c INPROCESSING
3547.92/3557.53 c GARBAGE COLLECT
3547.92/3557.53 c #Conflicts: 1316000 | #Constraints: 91648
3547.92/3557.53 c #Conflicts: 1317000 | #Constraints: 92648
3547.92/3557.53 c #Conflicts: 1318000 | #Constraints: 93648
3547.92/3557.53 c #Conflicts: 1319000 | #Constraints: 94648
3547.92/3557.53 c #Conflicts: 1320000 | #Constraints: 95648
3547.92/3557.53 c #Conflicts: 1321000 | #Constraints: 96648
3547.92/3557.53 c #Conflicts: 1322000 | #Constraints: 97648
3547.92/3557.53 c #Conflicts: 1323000 | #Constraints: 98648
3547.92/3557.53 c #Conflicts: 1324000 | #Constraints: 99648
3547.92/3557.53 c #Conflicts: 1325000 | #Constraints: 100648
3547.92/3557.53 c #Conflicts: 1326000 | #Constraints: 101648
3547.92/3557.53 c #Conflicts: 1327000 | #Constraints: 102648
3547.92/3557.53 c #Conflicts: 1328000 | #Constraints: 103648
3547.92/3557.53 c #Conflicts: 1329000 | #Constraints: 104648
3547.92/3557.53 c #Conflicts: 1330000 | #Constraints: 105648
3547.92/3557.53 c #Conflicts: 1331000 | #Constraints: 106648
3547.92/3557.53 c #Conflicts: 1332000 | #Constraints: 107648
3547.92/3557.53 c #Conflicts: 1333000 | #Constraints: 108648
3547.92/3557.53 c #Conflicts: 1334000 | #Constraints: 109648
3547.92/3557.53 c #Conflicts: 1335000 | #Constraints: 110648
3547.92/3557.53 c #Conflicts: 1336000 | #Constraints: 111648
3547.92/3557.53 c #Conflicts: 1337000 | #Constraints: 112648
3547.92/3557.53 c #Conflicts: 1338000 | #Constraints: 113648
3547.92/3557.53 c #Conflicts: 1339000 | #Constraints: 114648
3547.92/3557.53 c #Conflicts: 1340000 | #Constraints: 115648
3547.92/3557.53 c #Conflicts: 1341000 | #Constraints: 116648
3547.92/3557.53 c #Conflicts: 1342000 | #Constraints: 117648
3600.05/3609.80 c #Conflicts: 1343000 | #Constraints: 118648
3600.05/3609.80 c #Conflicts: 1344000 | #Constraints: 119648
3600.05/3609.80 c #Conflicts: 1345000 | #Constraints: 120648
3600.05/3609.80 c #Conflicts: 1346000 | #Constraints: 121648
3600.05/3609.80 c #Conflicts: 1347000 | #Constraints: 122648
3600.05/3609.80 c INPROCESSING
3600.05/3609.80 c GARBAGE COLLECT
3600.05/3609.80 c #Conflicts: 1348000 | #Constraints: 86451
3600.05/3609.80 c #Conflicts: 1349000 | #Constraints: 87451
3600.05/3609.80 c #Conflicts: 1350000 | #Constraints: 88451
3600.05/3609.80 c #Conflicts: 1351000 | #Constraints: 89451
3600.05/3609.80 c #Conflicts: 1352000 | #Constraints: 90451
3600.05/3609.80 c #Conflicts: 1353000 | #Constraints: 91451
3600.05/3609.80 c #Conflicts: 1354000 | #Constraints: 92451
3600.05/3609.80 c #Conflicts: 1355000 | #Constraints: 93451
3600.05/3609.80 c #Conflicts: 1356000 | #Constraints: 94451
3600.05/3609.80 c #Conflicts: 1357000 | #Constraints: 95451
3600.05/3609.80 c #Conflicts: 1358000 | #Constraints: 96451
3600.05/3609.80 c #Conflicts: 1359000 | #Constraints: 97451
3600.05/3609.80 c #Conflicts: 1360000 | #Constraints: 98451
3600.05/3609.80 c #Conflicts: 1361000 | #Constraints: 99451
3600.05/3609.80 c #Conflicts: 1362000 | #Constraints: 100451
3600.05/3609.80 c #Conflicts: 1363000 | #Constraints: 101451
3600.05/3609.80 c #Conflicts: 1364000 | #Constraints: 102451
3600.05/3609.80 c #Conflicts: 1365000 | #Constraints: 103451
3600.05/3609.80 c #Conflicts: 1366000 | #Constraints: 104451
3600.05/3609.80 c #Conflicts: 1367000 | #Constraints: 105451
3600.05/3609.80 c #Conflicts: 1368000 | #Constraints: 106451
3600.05/3609.80 c cpu time 3568.62 s
3600.05/3609.80 c deterministic time 240562122834 2.41e+11
3600.05/3609.80 c optimization time 36.3806 s
3600.05/3609.80 c total solve time 3532 s
3600.05/3609.80 c core-guided solve time 0 s
3600.05/3609.80 c propagation time 1870.13 s
3600.05/3609.80 c conflict analysis time 1262.59 s
3600.05/3609.80 c propagations 1391450371
3600.05/3609.80 c resolve steps 83217191
3600.05/3609.80 c decisions 33748986
3600.05/3609.80 c conflicts 1368763
3600.05/3609.80 c restarts 2598
3600.05/3609.80 c inprocessing phases 49
3600.05/3609.80 c garbage collections 49 ,( 100.00 )
3600.05/3609.80 c input clauses 21122 ,( 99.17 )
3600.05/3609.80 c input cardinalities 176 ,( 0.83 )
3600.05/3609.80 c input general constraints 0 ,( 0.00 )
3600.05/3609.80 c input average constraint length 6.43
3600.05/3609.80 c input average constraint degree 1.97
3600.05/3609.80 c learned clauses 1001546 ,( 73.17 )
3600.05/3609.80 c learned cardinalities 46864 ,( 3.42 )
3600.05/3609.80 c learned general constraints 320362 ,( 23.41 )
3600.05/3609.80 c learned average constraint length 760.72
3600.05/3609.80 c learned average constraint degree 17210946.24
3600.05/3609.80 c watched CF 32, 64, 128, Arb: 82058 , 0 , 0 , 0
3600.05/3609.80 c counting CF 32, 64, 128, Arb: 238304 , 0 , 0 , 0
3600.05/3609.80 c watched constraints 82058 ,( 25.61 )
3600.05/3609.80 c counting constraints 238304 ,( 74.39 )
3600.05/3609.80 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 1280911275 , 744071071 , 1897272852 ,( 91171507 , 1806101345 )
3600.05/3609.80 c gcd simplifications 724
3600.05/3609.80 c detected cardinalities 7241
3600.05/3609.80 c weakened non-implied lits 375790437
3600.05/3609.80 c weakened non-implying lits 206281
3600.05/3609.80 c original variables 20944
3600.05/3609.80 c clausal propagations 641815764
3600.05/3609.80 c cardinality propagations 517322394
3600.05/3609.80 c watched propagations 4544113
3600.05/3609.80 c counting propagations 214641460
3600.05/3609.80 c watch lookups 73864813651
3600.05/3609.80 c watch backjump lookups 0
3600.05/3609.80 c watch checks 35907327464
3600.05/3609.80 c propagation checks 123051093849
3600.05/3609.80 c constraint additions 4886856787
3600.05/3609.80 c trail pops 1426548129
3600.05/3609.80 c formula constraints 21298
3600.05/3609.80 c learned constraints 1368757
3600.05/3609.80 c bound constraints 0
3600.05/3609.80 c core-guided constraints 0
3600.05/3609.80 c encountered formula constraints 52146568
3600.05/3609.80 c encountered learned constraints 32438777
3600.05/3609.80 c encountered bound constraints 0
3600.05/3609.80 c encountered core-guided constraints 0
3600.05/3609.80 c LP total time 425.775 s
3600.05/3609.80 c LP solve time 413.13 s
3600.05/3609.80 c LP constraints added 22029
3600.05/3609.80 c LP constraints removed 578
3600.05/3609.80 c LP pivots internal 143868
3600.05/3609.80 c LP pivots root 139728
3600.05/3609.80 c LP calls 19
3600.05/3609.80 c LP optimalities 8
3600.05/3609.80 c LP no pivot count 1
3600.05/3609.80 c LP infeasibilities 5
3600.05/3609.80 c LP valid Farkas constraints 5
3600.05/3609.80 c LP learned Farkas constraints 5
3600.05/3609.80 c LP basis resets 0
3600.05/3609.80 c LP cycling count 0
3600.05/3609.80 c LP singular count 0
3600.05/3609.80 c LP no primal count 0
3600.05/3609.80 c LP no farkas count 0
3600.05/3609.80 c LP other issue count 0
3600.05/3609.80 c LP Gomory cuts 5
3600.05/3609.80 c LP learned cuts 726
3600.05/3609.80 c LP deleted cuts 578
3600.05/3609.80 c LP encountered Gomory constraints 1
3600.05/3609.80 c LP encountered Farkas constraints 601
3600.05/3609.80 c LP encountered learned Farkas constraints 2
3600.05/3609.80 c CG auxiliary variables introduced 0
3600.05/3609.80 c CG solutions found 0
3600.05/3609.80 c CG cores constructed 0
3600.05/3609.80 c CG core cardinality constraints returned 0
3600.05/3609.80 c CG unit cores 0
3600.05/3609.80 c CG single cores 0
3600.05/3609.80 c CG blocks removed during cardinality reduction 0
3600.05/3609.80 c CG first core best 0
3600.05/3609.80 c CG decision core best 0
3600.05/3609.80 c CG core reduction tie 0
3600.05/3609.80 c CG core degree average 0.00
3600.05/3609.80 c CG core slack average 0.00
3600.05/3609.80 c CG core upper bound improvements 0
3600.05/3609.80 c STR number of successful calls 0
3600.05/3609.80 c STR number of unsuccessful calls 0
3600.05/3609.80 c STR number of inconclusive calls 0
3600.05/3609.80 c STR number of successful attempts 0
3600.05/3609.80 c STR number of unsuccessful attempts 0
3600.05/3609.80 c STR number of inconclusive attempts 0
3600.05/3609.80 c STR average degree increase per successful call inf
3600.05/3609.80 c STR average degree increase per successful attempt inf
3600.05/3609.80 c STR total number of conflicts for successful attempts 0
3600.05/3609.80 c STR total number of conflicts for unsuccessful attempts 0
3600.05/3609.80 c STR total number of conflicts for inconclusive attempts 0
3600.05/3609.80 c STR average number of conflicts per successful attempt inf
3600.05/3609.80 c STR average number of conflicts per unsuccessful attempt inf
3600.05/3609.80 c STR average number of conflicts per inconclusive attempt inf
3600.05/3609.80 c AVG.sumWPerc 65.83
3600.05/3609.80 c bigint constraints 0
3600.05/3609.80 s UNKNOWN
3600.05/3609.80 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 (62429 MiB free)
memory of node 1: 64507 MiB (63926 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4506870-1751172663/watcher-4506870-1751172663 -o /tmp/evaluation-result-4506870-1751172663/solver-4506870-1751172663 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC001-1751169047-20702 --watchdog 3760 run-dec-ls.sh HOME/instance-4506870-1751172663.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
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
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=21175, runsolver pid=21172
[startup+0.100072 s]*
/proc/loadavg: 4.00 4.09 4.11 5/257 21177
/proc/meminfo: memFree=129380688/131382112 swapFree=33010684/33010684
[pid=21175] ppid=21172 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/21175/stat : 21175 (run-dec-ls.sh) S 21172 21175 20691 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 32945155 4292608 768 18446744073709551615 94922288291840 94922289186373 140721892119632 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94922289425424 94922289473168 94922319380480 140721892120935 140721892121061 140721892121061 140721892126663 0
/proc/21175/statm: 1048 768 704 219 0 110 0
[pid=21177] ppid=21175 vsize=63624 memory=18700 CPUtime=0.09 cores=4,6
/proc/21177/stat : 21177 (roundingsat) R 21175 21175 20691 0 -1 4194304 2393 0 0 0 6 3 0 0 20 0 1 0 32945156 65150976 4675 18446744073709551615 4227072 8923433 140727068244464 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 15712256 140727068252576 140727068252712 140727068252712 140727068258282 0
/proc/21177/statm: 15906 4675 2016 1147 0 3333 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 67816 KiB
Current children cumulated memory: 21772 KiB
[startup+0.213855 s]*
/proc/loadavg: 4.00 4.09 4.11 5/257 21177
/proc/meminfo: memFree=129380688/131382112 swapFree=33010684/33010684
[pid=21175] ppid=21172 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/21175/stat : 21175 (run-dec-ls.sh) S 21172 21175 20691 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 32945155 4292608 768 18446744073709551615 94922288291840 94922289186373 140721892119632 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94922289425424 94922289473168 94922319380480 140721892120935 140721892121061 140721892121061 140721892126663 0
/proc/21175/statm: 1048 768 704 219 0 110 0
[pid=21177] ppid=21175 vsize=69052 memory=23800 CPUtime=0.19 cores=4,6
/proc/21177/stat : 21177 (roundingsat) R 21175 21175 20691 0 -1 4194304 3762 0 0 0 14 5 0 0 20 0 1 0 32945156 70709248 5950 18446744073709551615 4227072 8923433 140727068244464 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 15712256 140727068252576 140727068252712 140727068252712 140727068258282 0
/proc/21177/statm: 17263 5950 2016 1147 0 4690 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 73244 KiB
Current children cumulated memory: 26872 KiB
[startup+0.313491 s]*
/proc/loadavg: 4.00 4.09 4.11 5/257 21177
/proc/meminfo: memFree=129368908/131382112 swapFree=33010684/33010684
[pid=21175] ppid=21172 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/21175/stat : 21175 (run-dec-ls.sh) S 21172 21175 20691 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 32945155 4292608 768 18446744073709551615 94922288291840 94922289186373 140721892119632 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94922289425424 94922289473168 94922319380480 140721892120935 140721892121061 140721892121061 140721892126663 0
/proc/21175/statm: 1048 768 704 219 0 110 0
[pid=21177] ppid=21175 vsize=94332 memory=43648 CPUtime=0.3 cores=4,6
/proc/21177/stat : 21177 (roundingsat) R 21175 21175 20691 0 -1 4194304 7381 0 0 0 23 7 0 0 20 0 1 0 32945156 96595968 10912 18446744073709551615 4227072 8923433 140727068244464 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 15712256 140727068252576 140727068252712 140727068252712 140727068258282 0
/proc/21177/statm: 23583 10912 2272 1147 0 11010 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 98524 KiB
Current children cumulated memory: 46720 KiB
[startup+0.700437 s]
/proc/loadavg: 4.00 4.09 4.11 5/257 21177
/proc/meminfo: memFree=129349188/131382112 swapFree=33010684/33010684
[pid=21175] ppid=21172 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/21175/stat : 21175 (run-dec-ls.sh) S 21172 21175 20691 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 32945155 4292608 768 18446744073709551615 94922288291840 94922289186373 140721892119632 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94922289425424 94922289473168 94922319380480 140721892120935 140721892121061 140721892121061 140721892126663 0
/proc/21175/statm: 1048 768 704 219 0 110 0
[pid=21177] ppid=21175 vsize=117264 memory=64236 CPUtime=0.67 cores=4,6
/proc/21177/stat : 21177 (roundingsat) R 21175 21175 20691 0 -1 4194304 12195 0 0 0 58 9 0 0 20 0 1 0 32945156 120078336 16059 18446744073709551615 4227072 8923433 140727068244464 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 15712256 140727068252576 140727068252712 140727068252712 140727068258282 0
/proc/21177/statm: 29316 16059 2304 1147 0 16743 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 121456 KiB
Current children cumulated memory: 67308 KiB
[startup+1.50041 s]
/proc/loadavg: 4.00 4.09 4.11 5/257 21177
/proc/meminfo: memFree=129343644/131382112 swapFree=33010684/33010684
[pid=21175] ppid=21172 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/21175/stat : 21175 (run-dec-ls.sh) S 21172 21175 20691 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 32945155 4292608 768 18446744073709551615 94922288291840 94922289186373 140721892119632 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94922289425424 94922289473168 94922319380480 140721892120935 140721892121061 140721892121061 140721892126663 0
/proc/21175/statm: 1048 768 704 219 0 110 0
[pid=21177] ppid=21175 vsize=117264 memory=64620 CPUtime=1.46 cores=4,6
/proc/21177/stat : 21177 (roundingsat) R 21175 21175 20691 0 -1 4194304 12287 0 0 0 137 9 0 0 20 0 1 0 32945156 120078336 16155 18446744073709551615 4227072 8923433 140727068244464 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 15712256 140727068252576 140727068252712 140727068252712 140727068258282 0
/proc/21177/statm: 29316 16155 2304 1147 0 16743 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 121456 KiB
Current children cumulated memory: 67692 KiB
[startup+3.11324 s]
/proc/loadavg: 4.00 4.09 4.11 5/257 21177
/proc/meminfo: memFree=129334584/131382112 swapFree=33010684/33010684
[pid=21175] ppid=21172 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/21175/stat : 21175 (run-dec-ls.sh) S 21172 21175 20691 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 32945155 4292608 768 18446744073709551615 94922288291840 94922289186373 140721892119632 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94922289425424 94922289473168 94922319380480 140721892120935 140721892121061 140721892121061 140721892126663 0
/proc/21175/statm: 1048 768 704 219 0 110 0
[pid=21177] ppid=21175 vsize=117264 memory=64620 CPUtime=3.07 cores=4,6
/proc/21177/stat : 21177 (roundingsat) R 21175 21175 20691 0 -1 4194304 12301 0 0 0 298 9 0 0 20 0 1 0 32945156 120078336 16155 18446744073709551615 4227072 8923433 140727068244464 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 15712256 140727068252576 140727068252712 140727068252712 140727068258282 0
/proc/21177/statm: 29316 16155 2304 1147 0 16743 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 121456 KiB
Current children cumulated memory: 67692 KiB
[startup+6.3004 s]
/proc/loadavg: 4.00 4.09 4.11 5/257 21177
/proc/meminfo: memFree=129318964/131382112 swapFree=33010684/33010684
[pid=21175] ppid=21172 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/21175/stat : 21175 (run-dec-ls.sh) S 21172 21175 20691 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 32945155 4292608 768 18446744073709551615 94922288291840 94922289186373 140721892119632 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94922289425424 94922289473168 94922319380480 140721892120935 140721892121061 140721892121061 140721892126663 0
/proc/21175/statm: 1048 768 704 219 0 110 0
[pid=21177] ppid=21175 vsize=124344 memory=75376 CPUtime=6.25 cores=4,6
/proc/21177/stat : 21177 (roundingsat) R 21175 21175 20691 0 -1 4194304 14411 0 0 0 607 18 0 0 20 0 1 0 32945156 127328256 18844 18446744073709551615 4227072 8923433 140727068244464 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 15712256 140727068252576 140727068252712 140727068252712 140727068258282 0
/proc/21177/statm: 31086 18844 2368 1147 0 18513 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 128536 KiB
Current children cumulated memory: 78448 KiB
[startup+12.7004 s]
/proc/loadavg: 4.00 4.09 4.11 5/257 21177
/proc/meminfo: memFree=129302336/131382112 swapFree=33010684/33010684
[pid=21175] ppid=21172 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/21175/stat : 21175 (run-dec-ls.sh) S 21172 21175 20691 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 32945155 4292608 768 18446744073709551615 94922288291840 94922289186373 140721892119632 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94922289425424 94922289473168 94922319380480 140721892120935 140721892121061 140721892121061 140721892126663 0
/proc/21175/statm: 1048 768 704 219 0 110 0
[pid=21177] ppid=21175 vsize=132332 memory=83056 CPUtime=12.64 cores=4,6
/proc/21177/stat : 21177 (roundingsat) R 21175 21175 20691 0 -1 4194304 16334 0 0 0 1230 34 0 0 20 0 1 0 32945156 135507968 20764 18446744073709551615 4227072 8923433 140727068244464 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 15712256 140727068252576 140727068252712 140727068252712 140727068258282 0
/proc/21177/statm: 33083 20764 2368 1147 0 20510 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 136524 KiB
Current children cumulated memory: 86128 KiB
[startup+25.5004 s]
/proc/loadavg: 4.15 4.12 4.12 5/257 21178
/proc/meminfo: memFree=129248168/131382112 swapFree=33010684/33010684
[pid=21175] ppid=21172 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/21175/stat : 21175 (run-dec-ls.sh) S 21172 21175 20691 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 32945155 4292608 768 18446744073709551615 94922288291840 94922289186373 140721892119632 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94922289425424 94922289473168 94922319380480 140721892120935 140721892121061 140721892121061 140721892126663 0
/proc/21175/statm: 1048 768 704 219 0 110 0
[pid=21177] ppid=21175 vsize=152944 memory=103316 CPUtime=25.4 cores=4,6
/proc/21177/stat : 21177 (roundingsat) R 21175 21175 20691 0 -1 4194304 20894 0 0 0 2481 59 0 0 20 0 1 0 32945156 156614656 25829 18446744073709551615 4227072 8923433 140727068244464 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 15712256 140727068252576 140727068252712 140727068252712 140727068258282 0
/proc/21177/statm: 38236 25829 2368 1147 0 25663 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 157136 KiB
Current children cumulated memory: 106388 KiB
[startup+51.1133 s]
/proc/loadavg: 4.10 4.11 4.11 5/257 21178
/proc/meminfo: memFree=129176532/131382112 swapFree=33010684/33010684
[pid=21175] ppid=21172 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/21175/stat : 21175 (run-dec-ls.sh) S 21172 21175 20691 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 32945155 4292608 768 18446744073709551615 94922288291840 94922289186373 140721892119632 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94922289425424 94922289473168 94922319380480 140721892120935 140721892121061 140721892121061 140721892126663 0
/proc/21175/statm: 1048 768 704 219 0 110 0
[pid=21177] ppid=21175 vsize=184472 memory=126720 CPUtime=50.93 cores=4,6
/proc/21177/stat : 21177 (roundingsat) R 21175 21175 20691 0 -1 4194304 24771 0 0 0 4980 113 0 0 20 0 1 0 32945156 188899328 31680 18446744073709551615 4227072 8923433 140727068244464 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 15712256 140727068252576 140727068252712 140727068252712 140727068258282 0
/proc/21177/statm: 46118 31680 2368 1147 0 33545 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 188664 KiB
Current children cumulated memory: 129792 KiB
[startup+102.3 s]
/proc/loadavg: 4.16 4.12 4.12 5/259 21182
/proc/meminfo: memFree=129008164/131382112 swapFree=33010684/33010684
[pid=21175] ppid=21172 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/21175/stat : 21175 (run-dec-ls.sh) S 21172 21175 20691 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 32945155 4292608 768 18446744073709551615 94922288291840 94922289186373 140721892119632 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94922289425424 94922289473168 94922319380480 140721892120935 140721892121061 140721892121061 140721892126663 0
/proc/21175/statm: 1048 768 704 219 0 110 0
[pid=21177] ppid=21175 vsize=243108 memory=185904 CPUtime=101.97 cores=4,6
/proc/21177/stat : 21177 (roundingsat) R 21175 21175 20691 0 -1 4194304 34996 0 0 0 9962 235 0 0 20 0 1 0 32945156 248942592 46476 18446744073709551615 4227072 8923433 140727068244464 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 15712256 140727068252576 140727068252712 140727068252712 140727068258282 0
/proc/21177/statm: 60777 46476 2368 1147 0 48204 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 247300 KiB
Current children cumulated memory: 188976 KiB
[startup+162.3 s]
/proc/loadavg: 4.10 4.11 4.11 5/259 21185
/proc/meminfo: memFree=128914152/131382112 swapFree=33010684/33010684
[pid=21175] ppid=21172 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/21175/stat : 21175 (run-dec-ls.sh) S 21172 21175 20691 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 32945155 4292608 768 18446744073709551615 94922288291840 94922289186373 140721892119632 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94922289425424 94922289473168 94922319380480 140721892120935 140721892121061 140721892121061 140721892126663 0
/proc/21175/statm: 1048 768 704 219 0 110 0
[pid=21177] ppid=21175 vsize=288352 memory=212880 CPUtime=161.8 cores=4,6
/proc/21177/stat : 21177 (roundingsat) R 21175 21175 20691 0 -1 4194304 39189 0 0 0 15865 315 0 0 20 0 1 0 32945156 295272448 53220 18446744073709551615 4227072 8923433 140727068244464 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 15712256 140727068252576 140727068252712 140727068252712 140727068258282 0
/proc/21177/statm: 72088 53220 2368 1147 0 59515 0
Current children cumulated CPU time: 161.8 s
Current children cumulated vsize: 292544 KiB
Current children cumulated memory: 215952 KiB
[startup+222.3 s]
/proc/loadavg: 4.14 4.12 4.11 5/259 21187
/proc/meminfo: memFree=128840892/131382112 swapFree=33010684/33010684
[pid=21175] ppid=21172 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/21175/stat : 21175 (run-dec-ls.sh) S 21172 21175 20691 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 32945155 4292608 768 18446744073709551615 94922288291840 94922289186373 140721892119632 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94922289425424 94922289473168 94922319380480 140721892120935 140721892121061 140721892121061 140721892126663 0
/proc/21175/statm: 1048 768 704 219 0 110 0
[pid=21177] ppid=21175 vsize=309128 memory=237232 CPUtime=221.62 cores=4,6
/proc/21177/stat : 21177 (roundingsat) R 21175 21175 20691 0 -1 4194304 44216 0 0 0 21776 386 0 0 20 0 1 0 32945156 316547072 59308 18446744073709551615 4227072 8923433 140727068244464 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 15712256 140727068252576 140727068252712 140727068252712 140727068258282 0
/proc/21177/statm: 77282 59308 2400 1147 0 64709 0
Current children cumulated CPU time: 221.62 s
################
# More data... #
################
/proc/21177/statm: 372696 301087 2400 1147 0 360123 0
Current children cumulated CPU time: 3034.12 s
Current children cumulated vsize: 1494976 KiB
Current children cumulated memory: 1207420 KiB
[startup+3102.3 s]
/proc/loadavg: 4.73 4.35 4.20 5/254 21378
/proc/meminfo: memFree=126305468/131382112 swapFree=33010684/33010684
[pid=21175] ppid=21172 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/21175/stat : 21175 (run-dec-ls.sh) S 21172 21175 20691 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 32945155 4292608 768 18446744073709551615 94922288291840 94922289186373 140721892119632 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94922289425424 94922289473168 94922319380480 140721892120935 140721892121061 140721892121061 140721892126663 0
/proc/21175/statm: 1048 768 704 219 0 110 0
[pid=21177] ppid=21175 vsize=1491076 memory=1204988 CPUtime=3093.96 cores=4,6
/proc/21177/stat : 21177 (roundingsat) R 21175 21175 20691 0 -1 4194304 130089 0 0 0 306636 2760 0 0 20 0 1 0 32945156 1526861824 301247 18446744073709551615 4227072 8923433 140727068244464 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 15712256 140727068252576 140727068252712 140727068252712 140727068258282 0
/proc/21177/statm: 372769 301247 2400 1147 0 360196 0
Current children cumulated CPU time: 3093.96 s
Current children cumulated vsize: 1495268 KiB
Current children cumulated memory: 1208060 KiB
[startup+3162.3 s]
/proc/loadavg: 4.95 4.48 4.26 5/254 21381
/proc/meminfo: memFree=126276840/131382112 swapFree=33010684/33010684
[pid=21175] ppid=21172 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/21175/stat : 21175 (run-dec-ls.sh) S 21172 21175 20691 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 32945155 4292608 768 18446744073709551615 94922288291840 94922289186373 140721892119632 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94922289425424 94922289473168 94922319380480 140721892120935 140721892121061 140721892121061 140721892126663 0
/proc/21175/statm: 1048 768 704 219 0 110 0
[pid=21177] ppid=21175 vsize=1497960 memory=1210108 CPUtime=3153.8 cores=4,6
/proc/21177/stat : 21177 (roundingsat) R 21175 21175 20691 0 -1 4194304 131360 0 0 0 312581 2799 0 0 20 0 1 0 32945156 1533911040 302527 18446744073709551615 4227072 8923433 140727068244464 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 15712256 140727068252576 140727068252712 140727068252712 140727068258282 0
/proc/21177/statm: 374490 302527 2400 1147 0 361917 0
Current children cumulated CPU time: 3153.8 s
Current children cumulated vsize: 1502152 KiB
Current children cumulated memory: 1213180 KiB
[startup+3222.3 s]
/proc/loadavg: 4.38 4.41 4.25 5/254 21383
/proc/meminfo: memFree=126262996/131382112 swapFree=33010684/33010684
[pid=21175] ppid=21172 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/21175/stat : 21175 (run-dec-ls.sh) S 21172 21175 20691 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 32945155 4292608 768 18446744073709551615 94922288291840 94922289186373 140721892119632 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94922289425424 94922289473168 94922319380480 140721892120935 140721892121061 140721892121061 140721892126663 0
/proc/21175/statm: 1048 768 704 219 0 110 0
[pid=21177] ppid=21175 vsize=1503128 memory=1214972 CPUtime=3213.64 cores=4,6
/proc/21177/stat : 21177 (roundingsat) R 21175 21175 20691 0 -1 4194304 132595 0 0 0 318527 2837 0 0 20 0 1 0 32945156 1539203072 303743 18446744073709551615 4227072 8923433 140727068244464 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 15712256 140727068252576 140727068252712 140727068252712 140727068258282 0
/proc/21177/statm: 375782 303743 2400 1147 0 363209 0
Current children cumulated CPU time: 3213.64 s
Current children cumulated vsize: 1507320 KiB
Current children cumulated memory: 1218044 KiB
[startup+3282.3 s]
/proc/loadavg: 4.19 4.35 4.23 5/254 21385
/proc/meminfo: memFree=126259988/131382112 swapFree=33010684/33010684
[pid=21175] ppid=21172 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/21175/stat : 21175 (run-dec-ls.sh) S 21172 21175 20691 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 32945155 4292608 768 18446744073709551615 94922288291840 94922289186373 140721892119632 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94922289425424 94922289473168 94922319380480 140721892120935 140721892121061 140721892121061 140721892126663 0
/proc/21175/statm: 1048 768 704 219 0 110 0
[pid=21177] ppid=21175 vsize=1503128 memory=1214972 CPUtime=3273.47 cores=4,6
/proc/21177/stat : 21177 (roundingsat) R 21175 21175 20691 0 -1 4194304 132595 0 0 0 324443 2904 0 0 20 0 1 0 32945156 1539203072 303743 18446744073709551615 4227072 8923433 140727068244464 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 15712256 140727068252576 140727068252712 140727068252712 140727068258282 0
/proc/21177/statm: 375782 303743 2400 1147 0 363209 0
Current children cumulated CPU time: 3273.47 s
Current children cumulated vsize: 1507320 KiB
Current children cumulated memory: 1218044 KiB
[startup+3342.3 s]
/proc/loadavg: 4.18 4.31 4.23 5/254 21387
/proc/meminfo: memFree=126253452/131382112 swapFree=33010684/33010684
[pid=21175] ppid=21172 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/21175/stat : 21175 (run-dec-ls.sh) S 21172 21175 20691 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 32945155 4292608 768 18446744073709551615 94922288291840 94922289186373 140721892119632 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94922289425424 94922289473168 94922319380480 140721892120935 140721892121061 140721892121061 140721892126663 0
/proc/21175/statm: 1048 768 704 219 0 110 0
[pid=21177] ppid=21175 vsize=1503128 memory=1214972 CPUtime=3333.32 cores=4,6
/proc/21177/stat : 21177 (roundingsat) R 21175 21175 20691 0 -1 4194304 132599 0 0 0 330400 2932 0 0 20 0 1 0 32945156 1539203072 303743 18446744073709551615 4227072 8923433 140727068244464 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 15712256 140727068252576 140727068252712 140727068252712 140727068258282 0
/proc/21177/statm: 375782 303743 2400 1147 0 363209 0
Current children cumulated CPU time: 3333.32 s
Current children cumulated vsize: 1507320 KiB
Current children cumulated memory: 1218044 KiB
[startup+3402.3 s]
/proc/loadavg: 4.21 4.29 4.22 5/255 21394
/proc/meminfo: memFree=126254428/131382112 swapFree=33010684/33010684
[pid=21175] ppid=21172 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/21175/stat : 21175 (run-dec-ls.sh) S 21172 21175 20691 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 32945155 4292608 768 18446744073709551615 94922288291840 94922289186373 140721892119632 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94922289425424 94922289473168 94922319380480 140721892120935 140721892121061 140721892121061 140721892126663 0
/proc/21175/statm: 1048 768 704 219 0 110 0
[pid=21177] ppid=21175 vsize=1507372 memory=1218044 CPUtime=3393.15 cores=4,6
/proc/21177/stat : 21177 (roundingsat) R 21175 21175 20691 0 -1 4194304 133494 0 0 0 336341 2974 0 0 20 0 1 0 32945156 1543548928 304511 18446744073709551615 4227072 8923433 140727068244464 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 15712256 140727068252576 140727068252712 140727068252712 140727068258282 0
/proc/21177/statm: 376843 304511 2400 1147 0 364270 0
Current children cumulated CPU time: 3393.15 s
Current children cumulated vsize: 1511564 KiB
Current children cumulated memory: 1221116 KiB
[startup+3462.3 s]
/proc/loadavg: 4.71 4.42 4.27 5/255 21398
/proc/meminfo: memFree=126249388/131382112 swapFree=33010684/33010684
[pid=21175] ppid=21172 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/21175/stat : 21175 (run-dec-ls.sh) S 21172 21175 20691 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 32945155 4292608 768 18446744073709551615 94922288291840 94922289186373 140721892119632 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94922289425424 94922289473168 94922319380480 140721892120935 140721892121061 140721892121061 140721892126663 0
/proc/21175/statm: 1048 768 704 219 0 110 0
[pid=21177] ppid=21175 vsize=1508500 memory=1220092 CPUtime=3452.99 cores=4,6
/proc/21177/stat : 21177 (roundingsat) R 21175 21175 20691 0 -1 4194304 134030 0 0 0 342287 3012 0 0 20 0 1 0 32945156 1544704000 305023 18446744073709551615 4227072 8923433 140727068244464 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 15712256 140727068252576 140727068252712 140727068252712 140727068258282 0
/proc/21177/statm: 377125 305023 2400 1147 0 364552 0
Current children cumulated CPU time: 3452.99 s
Current children cumulated vsize: 1512692 KiB
Current children cumulated memory: 1223164 KiB
[startup+3522.3 s]
/proc/loadavg: 4.36 4.37 4.27 5/254 21400
/proc/meminfo: memFree=126229732/131382112 swapFree=33010684/33010684
[pid=21175] ppid=21172 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/21175/stat : 21175 (run-dec-ls.sh) S 21172 21175 20691 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 32945155 4292608 768 18446744073709551615 94922288291840 94922289186373 140721892119632 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94922289425424 94922289473168 94922319380480 140721892120935 140721892121061 140721892121061 140721892126663 0
/proc/21175/statm: 1048 768 704 219 0 110 0
[pid=21177] ppid=21175 vsize=1519928 memory=1229308 CPUtime=3512.82 cores=4,6
/proc/21177/stat : 21177 (roundingsat) R 21175 21175 20691 0 -1 4194304 136343 0 0 0 348226 3056 0 0 20 0 1 0 32945156 1556406272 307327 18446744073709551615 4227072 8923433 140727068244464 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 15712256 140727068252576 140727068252712 140727068252712 140727068258282 0
/proc/21177/statm: 379982 307327 2400 1147 0 367409 0
Current children cumulated CPU time: 3512.82 s
Current children cumulated vsize: 1524120 KiB
Current children cumulated memory: 1232380 KiB
[startup+3582.3 s]
/proc/loadavg: 4.18 4.32 4.25 6/254 21403
/proc/meminfo: memFree=126162296/131382112 swapFree=33010684/33010684
[pid=21175] ppid=21172 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/21175/stat : 21175 (run-dec-ls.sh) S 21172 21175 20691 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 32945155 4292608 768 18446744073709551615 94922288291840 94922289186373 140721892119632 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94922289425424 94922289473168 94922319380480 140721892120935 140721892121061 140721892121061 140721892126663 0
/proc/21175/statm: 1048 768 704 219 0 110 0
[pid=21177] ppid=21175 vsize=1521356 memory=1236092 CPUtime=3572.64 cores=4,6
/proc/21177/stat : 21177 (roundingsat) R 21175 21175 20691 0 -1 4194304 136736 0 0 0 354156 3108 0 0 20 0 1 0 32945156 1557868544 309023 18446744073709551615 4227072 8923433 140727068244464 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 15712256 140727068252576 140727068252712 140727068252712 140727068258282 0
/proc/21177/statm: 380339 309023 2400 1147 0 367766 0
Current children cumulated CPU time: 3572.64 s
Current children cumulated vsize: 1525548 KiB
Current children cumulated memory: 1239164 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.8 s]
/proc/loadavg: 4.19 4.31 4.25 5/254 21496
/proc/meminfo: memFree=127983048/131382112 swapFree=33010684/33010684
[pid=21175] ppid=21172 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/21175/stat : 21175 (run-dec-ls.sh) S 21172 21175 20691 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 32945155 4292608 768 18446744073709551615 94922288291840 94922289186373 140721892119632 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94922289425424 94922289473168 94922319380480 140721892120935 140721892121061 140721892121061 140721892126663 0
/proc/21175/statm: 1048 768 704 219 0 110 0
[pid=21177] ppid=21175 vsize=1521356 memory=1242620 CPUtime=3600.05 cores=4,6
/proc/21177/stat : 21177 (roundingsat) R 21175 21175 20691 0 -1 4194304 136751 0 0 0 356861 3144 0 0 20 0 1 0 32945156 1557868544 310655 18446744073709551615 4227072 8923433 140727068244464 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 15712256 140727068252576 140727068252712 140727068252712 140727068258282 0
/proc/21177/statm: 380339 310655 2400 1147 0 367766 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 1525548 KiB
Current children cumulated memory: 1245692 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3609.81 s]
# the end of solver process 21175 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0 s, system=0.005426 s
Sleeping 2 seconds
[startup+3609.82 s]
# the end of solver process 21177 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3568.63 s, system=31.463 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.82
CPU time (s): 3600.09
CPU user time (s): 3568.63
CPU system time (s): 31.463
CPU usage (%): 99.7305
Max. virtual memory (cumulated for all children) (KiB): 1525548
Max. memory (cumulated for all children) (KiB): 1245692
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3568.63
system time used= 31.463
maximum resident set size= 1242876
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 136994
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= 310
involuntary context switches= 3006
# summary of solver processes directly reported to runsolver:
# pid: 21175,21177
# total CPU time (s): 3600.09
# total CPU user time (s): 3568.63
# total CPU system time (s): 31.463
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.7114 second user time and 36.2118 second system time
The end
Begin job on nodeC001 at 2025-06-29 06:51:03
IDJOB=4506870
IDBENCH=158302
IDSOLVER=3353
FILE ID=nodeC001/4506870-1751172663
RUNJOBID= nodeC001-1751169047-20702
SLURM_JOB_ID= 9587516
Free space on /tmp= 433016 MiB
SOLVER NAME= roundingsat-ls 63f22ad
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathNG/normalized-NG_K176.opb
COMMAND LINE= run-dec-ls.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4506870-1751172663/watcher-4506870-1751172663 -o /tmp/evaluation-result-4506870-1751172663/solver-4506870-1751172663 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC001-1751169047-20702 --watchdog 3760 run-dec-ls.sh HOME/instance-4506870-1751172663.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 98be46c5d9a37fa78efcf3182d546400
RANDOM SEED=1235387061
nodeC001 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 : 3662.268
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.49
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 : 3491.648
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.49
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.330
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.49
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.401
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.49
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 : 1396.791
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.49
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.607
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.49
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.273
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.49
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 : 3491.780
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.49
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382112 kB
MemFree: 129388420 kB
MemAvailable: 129057784 kB
Buffers: 3280 kB
Cached: 480700 kB
SwapCached: 0 kB
Active: 1196296 kB
Inactive: 235756 kB
Active(anon): 966036 kB
Inactive(anon): 0 kB
Active(file): 230260 kB
Inactive(file): 235756 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 26244 kB
Writeback: 0 kB
AnonPages: 947876 kB
Mapped: 115220 kB
Shmem: 17960 kB
KReclaimable: 85568 kB
Slab: 165944 kB
SReclaimable: 85568 kB
SUnreclaim: 80376 kB
KernelStack: 4128 kB
PageTables: 5052 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 1421724 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149416 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 792576 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: 195400 kB
DirectMap2M: 9144320 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 433024 MiB
End job on nodeC001 at 2025-06-29 07:51:13