0.00/0.02 c RoundingSat 2
0.00/0.02 c branch pb25
0.00/0.02 c commit 63f22ad
0.37/0.43 c #variables 20944 #constraints 21298
100.77/101.16 c #Conflicts: 1000 | #Constraints: 22297
100.77/101.16 c #Conflicts: 2000 | #Constraints: 23297
100.77/101.16 c INPROCESSING
100.77/101.16 c GARBAGE COLLECT
100.77/101.16 c #Conflicts: 3000 | #Constraints: 22543
100.77/101.16 c #Conflicts: 4000 | #Constraints: 23543
100.77/101.16 c INPROCESSING
100.77/101.16 c GARBAGE COLLECT
100.77/101.16 c #Conflicts: 5000 | #Constraints: 23048
100.77/101.16 c #Conflicts: 6000 | #Constraints: 24048
100.77/101.16 c INPROCESSING
100.77/101.16 c GARBAGE COLLECT
100.77/101.16 c #Conflicts: 7000 | #Constraints: 23149
100.77/101.16 c #Conflicts: 8000 | #Constraints: 24149
100.77/101.16 c #Conflicts: 9000 | #Constraints: 25149
100.77/101.16 c #Conflicts: 10000 | #Constraints: 26149
100.77/101.16 c #Conflicts: 11000 | #Constraints: 27149
100.77/101.16 c #Conflicts: 12000 | #Constraints: 28149
100.77/101.16 c INPROCESSING
100.77/101.16 c GARBAGE COLLECT
100.77/101.16 c #Conflicts: 13000 | #Constraints: 25201
100.77/101.16 c #Conflicts: 14000 | #Constraints: 26201
100.77/101.16 c #Conflicts: 15000 | #Constraints: 27201
100.77/101.16 c #Conflicts: 16000 | #Constraints: 28201
100.77/101.16 c INPROCESSING
100.77/101.16 c GARBAGE COLLECT
100.77/101.16 c #Conflicts: 17000 | #Constraints: 25464
100.77/101.16 c #Conflicts: 18000 | #Constraints: 26464
100.77/101.16 c #Conflicts: 19000 | #Constraints: 27464
100.77/101.16 c #Conflicts: 20000 | #Constraints: 28464
100.77/101.16 c #Conflicts: 21000 | #Constraints: 29464
100.77/101.16 c #Conflicts: 22000 | #Constraints: 30464
100.77/101.16 c #Conflicts: 23000 | #Constraints: 31464
100.77/101.16 c #Conflicts: 24000 | #Constraints: 32464
100.77/101.16 c #Conflicts: 25000 | #Constraints: 33464
100.77/101.16 c INPROCESSING
100.77/101.16 c GARBAGE COLLECT
100.77/101.16 c #Conflicts: 26000 | #Constraints: 27952
100.77/101.16 c #Conflicts: 27000 | #Constraints: 28952
100.77/101.16 c #Conflicts: 28000 | #Constraints: 29952
100.77/101.16 c #Conflicts: 29000 | #Constraints: 30952
100.77/101.16 c #Conflicts: 30000 | #Constraints: 31952
100.77/101.16 c INPROCESSING
100.77/101.16 c GARBAGE COLLECT
100.77/101.16 c #Conflicts: 31000 | #Constraints: 28058
100.77/101.16 c #Conflicts: 32000 | #Constraints: 29058
100.77/101.16 c #Conflicts: 33000 | #Constraints: 30058
100.77/101.16 c #Conflicts: 34000 | #Constraints: 31058
100.77/101.16 c #Conflicts: 35000 | #Constraints: 32058
100.77/101.16 c #Conflicts: 36000 | #Constraints: 33058
100.77/101.16 c #Conflicts: 37000 | #Constraints: 34058
100.77/101.16 c #Conflicts: 38000 | #Constraints: 35058
100.77/101.16 c #Conflicts: 39000 | #Constraints: 36058
100.77/101.16 c #Conflicts: 40000 | #Constraints: 37058
100.77/101.16 c #Conflicts: 41000 | #Constraints: 38058
100.77/101.16 c #Conflicts: 42000 | #Constraints: 39058
100.77/101.16 c #Conflicts: 43000 | #Constraints: 40058
100.77/101.16 c INPROCESSING
100.77/101.16 c GARBAGE COLLECT
100.77/101.16 c #Conflicts: 44000 | #Constraints: 31718
100.77/101.16 c #Conflicts: 45000 | #Constraints: 32718
100.77/101.16 c #Conflicts: 46000 | #Constraints: 33718
100.77/101.16 c #Conflicts: 47000 | #Constraints: 34718
100.77/101.16 c #Conflicts: 48000 | #Constraints: 35718
100.77/101.16 c #Conflicts: 49000 | #Constraints: 36718
100.77/101.16 c INPROCESSING
100.77/101.16 c GARBAGE COLLECT
100.77/101.16 c #Conflicts: 50000 | #Constraints: 31150
100.77/101.16 c #Conflicts: 51000 | #Constraints: 32150
100.77/101.16 c #Conflicts: 52000 | #Constraints: 33150
100.77/101.16 c #Conflicts: 53000 | #Constraints: 34150
100.77/101.16 c #Conflicts: 54000 | #Constraints: 35150
100.77/101.16 c #Conflicts: 55000 | #Constraints: 36150
100.77/101.16 c #Conflicts: 56000 | #Constraints: 37150
100.77/101.16 c #Conflicts: 57000 | #Constraints: 38150
100.77/101.16 c #Conflicts: 58000 | #Constraints: 39150
100.77/101.16 c #Conflicts: 59000 | #Constraints: 40150
100.77/101.16 c #Conflicts: 60000 | #Constraints: 41150
100.77/101.16 c #Conflicts: 61000 | #Constraints: 42150
100.77/101.16 c #Conflicts: 62000 | #Constraints: 43150
100.77/101.16 c #Conflicts: 63000 | #Constraints: 44150
100.77/101.16 c #Conflicts: 64000 | #Constraints: 45150
100.77/101.16 c #Conflicts: 65000 | #Constraints: 46150
100.77/101.16 c INPROCESSING
100.77/101.16 c GARBAGE COLLECT
100.77/101.16 c #Conflicts: 66000 | #Constraints: 34992
100.77/101.16 c #Conflicts: 67000 | #Constraints: 35992
100.77/101.16 c #Conflicts: 68000 | #Constraints: 36992
100.77/101.16 c #Conflicts: 69000 | #Constraints: 37992
100.77/101.16 c #Conflicts: 70000 | #Constraints: 38992
100.77/101.16 c #Conflicts: 71000 | #Constraints: 39992
100.77/101.16 c #Conflicts: 72000 | #Constraints: 40992
100.77/101.16 c INPROCESSING
100.77/101.16 c GARBAGE COLLECT
221.51/222.27 c #Conflicts: 73000 | #Constraints: 33847
221.51/222.27 c #Conflicts: 74000 | #Constraints: 34847
221.51/222.27 c #Conflicts: 75000 | #Constraints: 35847
221.51/222.27 c #Conflicts: 76000 | #Constraints: 36847
221.51/222.27 c #Conflicts: 77000 | #Constraints: 37847
221.51/222.27 c #Conflicts: 78000 | #Constraints: 38847
221.51/222.27 c #Conflicts: 79000 | #Constraints: 39847
221.51/222.27 c #Conflicts: 80000 | #Constraints: 40847
221.51/222.27 c #Conflicts: 81000 | #Constraints: 41847
221.51/222.27 c #Conflicts: 82000 | #Constraints: 42847
221.51/222.27 c #Conflicts: 83000 | #Constraints: 43847
221.51/222.27 c #Conflicts: 84000 | #Constraints: 44847
221.51/222.27 c #Conflicts: 85000 | #Constraints: 45847
221.51/222.27 c #Conflicts: 86000 | #Constraints: 46847
221.51/222.27 c #Conflicts: 87000 | #Constraints: 47847
221.51/222.27 c #Conflicts: 88000 | #Constraints: 48847
221.51/222.27 c #Conflicts: 89000 | #Constraints: 49847
221.51/222.27 c #Conflicts: 90000 | #Constraints: 50847
221.51/222.27 c #Conflicts: 91000 | #Constraints: 51847
221.51/222.27 c INPROCESSING
221.51/222.27 c GARBAGE COLLECT
221.51/222.27 c #Conflicts: 92000 | #Constraints: 37766
221.51/222.27 c #Conflicts: 93000 | #Constraints: 38766
221.51/222.27 c #Conflicts: 94000 | #Constraints: 39766
221.51/222.27 c #Conflicts: 95000 | #Constraints: 40766
221.51/222.27 c #Conflicts: 96000 | #Constraints: 41766
221.51/222.27 c #Conflicts: 97000 | #Constraints: 42766
221.51/222.27 c #Conflicts: 98000 | #Constraints: 43766
221.51/222.27 c #Conflicts: 99000 | #Constraints: 44766
221.51/222.27 c #Conflicts: 100000 | #Constraints: 45766
221.51/222.27 c INPROCESSING
221.51/222.27 c GARBAGE COLLECT
221.51/222.27 c #Conflicts: 101000 | #Constraints: 36791
221.51/222.27 c #Conflicts: 102000 | #Constraints: 37791
221.51/222.27 c #Conflicts: 103000 | #Constraints: 38791
221.51/222.27 c #Conflicts: 104000 | #Constraints: 39791
221.51/222.27 c #Conflicts: 105000 | #Constraints: 40791
221.51/222.27 c #Conflicts: 106000 | #Constraints: 41791
221.51/222.27 c #Conflicts: 107000 | #Constraints: 42791
221.51/222.27 c #Conflicts: 108000 | #Constraints: 43791
221.51/222.27 c #Conflicts: 109000 | #Constraints: 44791
221.51/222.27 c #Conflicts: 110000 | #Constraints: 45791
221.51/222.27 c #Conflicts: 111000 | #Constraints: 46791
221.51/222.27 c #Conflicts: 112000 | #Constraints: 47791
221.51/222.27 c #Conflicts: 113000 | #Constraints: 48791
221.51/222.27 c #Conflicts: 114000 | #Constraints: 49791
221.51/222.27 c #Conflicts: 115000 | #Constraints: 50791
221.51/222.27 c #Conflicts: 116000 | #Constraints: 51791
221.51/222.27 c #Conflicts: 117000 | #Constraints: 52791
221.51/222.27 c #Conflicts: 118000 | #Constraints: 53791
221.51/222.27 c #Conflicts: 119000 | #Constraints: 54791
221.51/222.27 c #Conflicts: 120000 | #Constraints: 55791
221.51/222.27 c #Conflicts: 121000 | #Constraints: 56791
221.51/222.27 c INPROCESSING
221.51/222.27 c GARBAGE COLLECT
221.51/222.27 c #Conflicts: 122000 | #Constraints: 40268
221.51/222.27 c #Conflicts: 123000 | #Constraints: 41268
221.51/222.27 c #Conflicts: 124000 | #Constraints: 42268
221.51/222.27 c #Conflicts: 125000 | #Constraints: 43268
221.51/222.27 c #Conflicts: 126000 | #Constraints: 44268
221.51/222.27 c #Conflicts: 127000 | #Constraints: 45268
221.51/222.27 c #Conflicts: 128000 | #Constraints: 46268
221.51/222.27 c #Conflicts: 129000 | #Constraints: 47268
221.51/222.27 c #Conflicts: 130000 | #Constraints: 48268
221.51/222.27 c #Conflicts: 131000 | #Constraints: 49268
221.51/222.27 c #Conflicts: 132000 | #Constraints: 50268
221.51/222.27 c INPROCESSING
221.51/222.27 c GARBAGE COLLECT
221.51/222.27 c #Conflicts: 133000 | #Constraints: 40035
221.51/222.27 c #Conflicts: 134000 | #Constraints: 41035
221.51/222.27 c #Conflicts: 135000 | #Constraints: 42035
221.51/222.27 c #Conflicts: 136000 | #Constraints: 43035
221.51/222.27 c #Conflicts: 137000 | #Constraints: 44035
221.51/222.27 c #Conflicts: 138000 | #Constraints: 45035
221.51/222.27 c #Conflicts: 139000 | #Constraints: 46035
221.51/222.27 c #Conflicts: 140000 | #Constraints: 47035
221.51/222.27 c #Conflicts: 141000 | #Constraints: 48035
221.51/222.27 c #Conflicts: 142000 | #Constraints: 49035
221.51/222.27 c #Conflicts: 143000 | #Constraints: 50035
221.51/222.27 c #Conflicts: 144000 | #Constraints: 51035
221.51/222.27 c #Conflicts: 145000 | #Constraints: 52035
221.51/222.27 c #Conflicts: 146000 | #Constraints: 53035
221.51/222.27 c #Conflicts: 147000 | #Constraints: 54035
221.51/222.27 c #Conflicts: 148000 | #Constraints: 55035
221.51/222.27 c #Conflicts: 149000 | #Constraints: 56035
348.53/349.64 c #Conflicts: 150000 | #Constraints: 57035
348.53/349.64 c #Conflicts: 151000 | #Constraints: 58035
348.53/349.64 c #Conflicts: 152000 | #Constraints: 59035
348.53/349.64 c #Conflicts: 153000 | #Constraints: 60035
348.53/349.64 c #Conflicts: 154000 | #Constraints: 61035
348.53/349.64 c #Conflicts: 155000 | #Constraints: 62035
348.53/349.64 c #Conflicts: 156000 | #Constraints: 63035
348.53/349.64 c INPROCESSING
348.53/349.64 c GARBAGE COLLECT
348.53/349.64 c #Conflicts: 157000 | #Constraints: 43427
348.53/349.64 c #Conflicts: 158000 | #Constraints: 44427
348.53/349.64 c #Conflicts: 159000 | #Constraints: 45427
348.53/349.64 c #Conflicts: 160000 | #Constraints: 46427
348.53/349.64 c #Conflicts: 161000 | #Constraints: 47427
348.53/349.64 c #Conflicts: 162000 | #Constraints: 48427
348.53/349.64 c #Conflicts: 163000 | #Constraints: 49427
348.53/349.64 c #Conflicts: 164000 | #Constraints: 50427
348.53/349.64 c #Conflicts: 165000 | #Constraints: 51427
348.53/349.64 c #Conflicts: 166000 | #Constraints: 52427
348.53/349.64 c #Conflicts: 167000 | #Constraints: 53427
348.53/349.64 c #Conflicts: 168000 | #Constraints: 54427
348.53/349.64 c INPROCESSING
348.53/349.64 c GARBAGE COLLECT
348.53/349.64 c #Conflicts: 169000 | #Constraints: 42911
348.53/349.64 c #Conflicts: 170000 | #Constraints: 43911
348.53/349.64 c #Conflicts: 171000 | #Constraints: 44911
348.53/349.64 c #Conflicts: 172000 | #Constraints: 45911
348.53/349.64 c #Conflicts: 173000 | #Constraints: 46911
348.53/349.64 c #Conflicts: 174000 | #Constraints: 47911
348.53/349.64 c #Conflicts: 175000 | #Constraints: 48911
348.53/349.64 c #Conflicts: 176000 | #Constraints: 49911
348.53/349.64 c #Conflicts: 177000 | #Constraints: 50911
348.53/349.64 c #Conflicts: 178000 | #Constraints: 51911
348.53/349.64 c #Conflicts: 179000 | #Constraints: 52911
348.53/349.64 c #Conflicts: 180000 | #Constraints: 53911
348.53/349.64 c #Conflicts: 181000 | #Constraints: 54911
348.53/349.64 c #Conflicts: 182000 | #Constraints: 55911
348.53/349.64 c #Conflicts: 183000 | #Constraints: 56911
348.53/349.64 c #Conflicts: 184000 | #Constraints: 57911
348.53/349.64 c #Conflicts: 185000 | #Constraints: 58911
348.53/349.64 c #Conflicts: 186000 | #Constraints: 59911
348.53/349.64 c #Conflicts: 187000 | #Constraints: 60911
348.53/349.64 c #Conflicts: 188000 | #Constraints: 61911
348.53/349.64 c #Conflicts: 189000 | #Constraints: 62911
348.53/349.64 c #Conflicts: 190000 | #Constraints: 63911
348.53/349.64 c #Conflicts: 191000 | #Constraints: 64911
348.53/349.64 c #Conflicts: 192000 | #Constraints: 65911
348.53/349.64 c #Conflicts: 193000 | #Constraints: 66911
348.53/349.64 c #Conflicts: 194000 | #Constraints: 67911
348.53/349.64 c #Conflicts: 195000 | #Constraints: 68911
348.53/349.64 c #Conflicts: 196000 | #Constraints: 69911
348.53/349.64 c INPROCESSING
348.53/349.64 c GARBAGE COLLECT
348.53/349.64 c #Conflicts: 197000 | #Constraints: 47308
348.53/349.64 c #Conflicts: 198000 | #Constraints: 48308
348.53/349.64 c #Conflicts: 199000 | #Constraints: 49308
348.53/349.64 c #Conflicts: 200000 | #Constraints: 50308
348.53/349.64 c #Conflicts: 201000 | #Constraints: 51308
348.53/349.64 c #Conflicts: 202000 | #Constraints: 52308
348.53/349.64 c #Conflicts: 203000 | #Constraints: 53308
348.53/349.64 c #Conflicts: 204000 | #Constraints: 54308
348.53/349.64 c #Conflicts: 205000 | #Constraints: 55308
348.53/349.64 c #Conflicts: 206000 | #Constraints: 56308
348.53/349.64 c #Conflicts: 207000 | #Constraints: 57308
348.53/349.64 c #Conflicts: 208000 | #Constraints: 58308
348.53/349.64 c #Conflicts: 209000 | #Constraints: 59308
348.53/349.64 c INPROCESSING
348.53/349.64 c GARBAGE COLLECT
348.53/349.64 c #Conflicts: 210000 | #Constraints: 45956
348.53/349.64 c #Conflicts: 211000 | #Constraints: 46956
348.53/349.64 c #Conflicts: 212000 | #Constraints: 47956
348.53/349.64 c #Conflicts: 213000 | #Constraints: 48956
348.53/349.64 c #Conflicts: 214000 | #Constraints: 49956
348.53/349.64 c #Conflicts: 215000 | #Constraints: 50956
348.53/349.64 c #Conflicts: 216000 | #Constraints: 51956
348.53/349.64 c #Conflicts: 217000 | #Constraints: 52956
348.53/349.64 c #Conflicts: 218000 | #Constraints: 53956
348.53/349.64 c #Conflicts: 219000 | #Constraints: 54956
348.53/349.64 c #Conflicts: 220000 | #Constraints: 55956
348.53/349.64 c #Conflicts: 221000 | #Constraints: 56956
348.53/349.64 c #Conflicts: 222000 | #Constraints: 57956
348.53/349.64 c #Conflicts: 223000 | #Constraints: 58956
348.53/349.64 c #Conflicts: 224000 | #Constraints: 59956
348.53/349.64 c #Conflicts: 225000 | #Constraints: 60956
559.53/561.24 c #Conflicts: 226000 | #Constraints: 61956
559.53/561.24 c #Conflicts: 227000 | #Constraints: 62956
559.53/561.24 c #Conflicts: 228000 | #Constraints: 63956
559.53/561.24 c #Conflicts: 229000 | #Constraints: 64956
559.53/561.24 c #Conflicts: 230000 | #Constraints: 65956
559.53/561.24 c #Conflicts: 231000 | #Constraints: 66956
559.53/561.24 c #Conflicts: 232000 | #Constraints: 67956
559.53/561.24 c #Conflicts: 233000 | #Constraints: 68956
559.53/561.24 c #Conflicts: 234000 | #Constraints: 69956
559.53/561.24 c #Conflicts: 235000 | #Constraints: 70956
559.53/561.24 c #Conflicts: 236000 | #Constraints: 71956
559.53/561.24 c #Conflicts: 237000 | #Constraints: 72956
559.53/561.24 c #Conflicts: 238000 | #Constraints: 73956
559.53/561.24 c #Conflicts: 239000 | #Constraints: 74956
559.53/561.24 c #Conflicts: 240000 | #Constraints: 75956
559.53/561.24 c INPROCESSING
559.53/561.24 c GARBAGE COLLECT
559.53/561.24 c #Conflicts: 241000 | #Constraints: 50272
559.53/561.24 c #Conflicts: 242000 | #Constraints: 51272
559.53/561.24 c #Conflicts: 243000 | #Constraints: 52272
559.53/561.24 c #Conflicts: 244000 | #Constraints: 53272
559.53/561.24 c #Conflicts: 245000 | #Constraints: 54272
559.53/561.24 c #Conflicts: 246000 | #Constraints: 55272
559.53/561.24 c #Conflicts: 247000 | #Constraints: 56272
559.53/561.24 c #Conflicts: 248000 | #Constraints: 57272
559.53/561.24 c #Conflicts: 249000 | #Constraints: 58272
559.53/561.24 c #Conflicts: 250000 | #Constraints: 59272
559.53/561.24 c #Conflicts: 251000 | #Constraints: 60272
559.53/561.24 c #Conflicts: 252000 | #Constraints: 61272
559.53/561.24 c #Conflicts: 253000 | #Constraints: 62272
559.53/561.24 c #Conflicts: 254000 | #Constraints: 63273
559.53/561.24 c INPROCESSING
559.53/561.24 c GARBAGE COLLECT
559.53/561.24 c #Conflicts: 255000 | #Constraints: 48524
559.53/561.24 c #Conflicts: 256000 | #Constraints: 49524
559.53/561.24 c #Conflicts: 257000 | #Constraints: 50524
559.53/561.24 c #Conflicts: 258000 | #Constraints: 51524
559.53/561.24 c #Conflicts: 259000 | #Constraints: 52524
559.53/561.24 c #Conflicts: 260000 | #Constraints: 53524
559.53/561.24 c #Conflicts: 261000 | #Constraints: 54524
559.53/561.24 c #Conflicts: 262000 | #Constraints: 55524
559.53/561.24 c #Conflicts: 263000 | #Constraints: 56524
559.53/561.24 c #Conflicts: 264000 | #Constraints: 57524
559.53/561.24 c #Conflicts: 265000 | #Constraints: 58524
559.53/561.24 c #Conflicts: 266000 | #Constraints: 59524
559.53/561.24 c #Conflicts: 267000 | #Constraints: 60524
559.53/561.24 c #Conflicts: 268000 | #Constraints: 61524
559.53/561.24 c #Conflicts: 269000 | #Constraints: 62524
559.53/561.24 c #Conflicts: 270000 | #Constraints: 63524
559.53/561.24 c #Conflicts: 271000 | #Constraints: 64524
559.53/561.24 c #Conflicts: 272000 | #Constraints: 65524
559.53/561.24 c #Conflicts: 273000 | #Constraints: 66524
559.53/561.24 c #Conflicts: 274000 | #Constraints: 67524
559.53/561.24 c #Conflicts: 275000 | #Constraints: 68524
559.53/561.24 c #Conflicts: 276000 | #Constraints: 69524
559.53/561.24 c #Conflicts: 277000 | #Constraints: 70524
559.53/561.24 c #Conflicts: 278000 | #Constraints: 71524
559.53/561.24 c #Conflicts: 279000 | #Constraints: 72524
559.53/561.24 c #Conflicts: 280000 | #Constraints: 73524
559.53/561.24 c #Conflicts: 281000 | #Constraints: 74524
559.53/561.24 c #Conflicts: 282000 | #Constraints: 75524
559.53/561.24 c #Conflicts: 283000 | #Constraints: 76524
559.53/561.24 c #Conflicts: 284000 | #Constraints: 77524
559.53/561.24 c #Conflicts: 285000 | #Constraints: 78524
559.53/561.24 c #Conflicts: 286000 | #Constraints: 79524
559.53/561.24 c #Conflicts: 287000 | #Constraints: 80524
559.53/561.24 c #Conflicts: 288000 | #Constraints: 81524
559.53/561.24 c INPROCESSING
559.53/561.24 c GARBAGE COLLECT
559.53/561.24 c #Conflicts: 289000 | #Constraints: 53166
559.53/561.24 c #Conflicts: 290000 | #Constraints: 54166
559.53/561.24 c #Conflicts: 291000 | #Constraints: 55166
559.53/561.24 c #Conflicts: 292000 | #Constraints: 56166
559.53/561.24 c #Conflicts: 293000 | #Constraints: 57166
559.53/561.24 c #Conflicts: 294000 | #Constraints: 58166
559.53/561.24 c #Conflicts: 295000 | #Constraints: 59166
559.53/561.24 c #Conflicts: 296000 | #Constraints: 60166
559.53/561.24 c #Conflicts: 297000 | #Constraints: 61166
559.53/561.24 c #Conflicts: 298000 | #Constraints: 62166
559.53/561.24 c #Conflicts: 299000 | #Constraints: 63166
559.53/561.24 c #Conflicts: 300000 | #Constraints: 64166
559.53/561.24 c #Conflicts: 301000 | #Constraints: 65166
559.53/561.24 c #Conflicts: 302000 | #Constraints: 66166
704.02/706.13 c #Conflicts: 303000 | #Constraints: 67166
704.02/706.13 c INPROCESSING
704.02/706.13 c GARBAGE COLLECT
704.02/706.13 c #Conflicts: 304000 | #Constraints: 51284
704.02/706.13 c #Conflicts: 305000 | #Constraints: 52284
704.02/706.13 c #Conflicts: 306000 | #Constraints: 53284
704.02/706.13 c #Conflicts: 307000 | #Constraints: 54284
704.02/706.13 c #Conflicts: 308000 | #Constraints: 55284
704.02/706.13 c #Conflicts: 309000 | #Constraints: 56284
704.02/706.13 c #Conflicts: 310000 | #Constraints: 57284
704.02/706.13 c #Conflicts: 311000 | #Constraints: 58284
704.02/706.13 c #Conflicts: 312000 | #Constraints: 59284
704.02/706.13 c #Conflicts: 313000 | #Constraints: 60284
704.02/706.13 c #Conflicts: 314000 | #Constraints: 61284
704.02/706.13 c #Conflicts: 315000 | #Constraints: 62284
704.02/706.13 c #Conflicts: 316000 | #Constraints: 63284
704.02/706.13 c #Conflicts: 317000 | #Constraints: 64284
704.02/706.13 c #Conflicts: 318000 | #Constraints: 65284
704.02/706.13 c #Conflicts: 319000 | #Constraints: 66284
704.02/706.13 c #Conflicts: 320000 | #Constraints: 67284
704.02/706.13 c #Conflicts: 321000 | #Constraints: 68284
704.02/706.13 c #Conflicts: 322000 | #Constraints: 69284
704.02/706.13 c #Conflicts: 323000 | #Constraints: 70284
704.02/706.13 c #Conflicts: 324000 | #Constraints: 71284
704.02/706.13 c #Conflicts: 325000 | #Constraints: 72284
704.02/706.13 c #Conflicts: 326000 | #Constraints: 73284
704.02/706.13 c #Conflicts: 327000 | #Constraints: 74284
704.02/706.13 c #Conflicts: 328000 | #Constraints: 75284
704.02/706.13 c #Conflicts: 329000 | #Constraints: 76284
704.02/706.13 c #Conflicts: 330000 | #Constraints: 77284
704.02/706.13 c #Conflicts: 331000 | #Constraints: 78284
704.02/706.13 c #Conflicts: 332000 | #Constraints: 79284
704.02/706.13 c #Conflicts: 333000 | #Constraints: 80284
704.02/706.13 c #Conflicts: 334000 | #Constraints: 81284
704.02/706.13 c #Conflicts: 335000 | #Constraints: 82284
704.02/706.13 c #Conflicts: 336000 | #Constraints: 83284
704.02/706.13 c #Conflicts: 337000 | #Constraints: 84284
704.02/706.13 c #Conflicts: 338000 | #Constraints: 85284
704.02/706.13 c #Conflicts: 339000 | #Constraints: 86284
704.02/706.13 c #Conflicts: 340000 | #Constraints: 87284
704.02/706.13 c INPROCESSING
704.02/706.13 c GARBAGE COLLECT
704.02/706.13 c #Conflicts: 341000 | #Constraints: 55874
704.02/706.13 c #Conflicts: 342000 | #Constraints: 56874
704.02/706.13 c #Conflicts: 343000 | #Constraints: 57874
704.02/706.13 c #Conflicts: 344000 | #Constraints: 58874
704.02/706.13 c #Conflicts: 345000 | #Constraints: 59874
704.02/706.13 c #Conflicts: 346000 | #Constraints: 60874
704.02/706.13 c #Conflicts: 347000 | #Constraints: 61874
704.02/706.13 c #Conflicts: 348000 | #Constraints: 62874
704.02/706.13 c #Conflicts: 349000 | #Constraints: 63874
704.02/706.13 c #Conflicts: 350000 | #Constraints: 64874
704.02/706.13 c #Conflicts: 351000 | #Constraints: 65874
704.02/706.13 c #Conflicts: 352000 | #Constraints: 66874
704.02/706.13 c #Conflicts: 353000 | #Constraints: 67874
704.02/706.13 c #Conflicts: 354000 | #Constraints: 68874
704.02/706.13 c #Conflicts: 355000 | #Constraints: 69874
704.02/706.13 c #Conflicts: 356000 | #Constraints: 70874
704.02/706.13 c #Conflicts: 357000 | #Constraints: 71874
704.02/706.13 c INPROCESSING
704.02/706.13 c GARBAGE COLLECT
704.02/706.13 c #Conflicts: 358000 | #Constraints: 54258
704.02/706.13 c #Conflicts: 359000 | #Constraints: 55258
704.02/706.13 c #Conflicts: 360000 | #Constraints: 56258
704.02/706.13 c #Conflicts: 361000 | #Constraints: 57258
704.02/706.13 c #Conflicts: 362000 | #Constraints: 58258
704.02/706.13 c #Conflicts: 363000 | #Constraints: 59258
704.02/706.13 c #Conflicts: 364000 | #Constraints: 60258
704.02/706.13 c #Conflicts: 365000 | #Constraints: 61258
704.02/706.13 c #Conflicts: 366000 | #Constraints: 62258
704.02/706.13 c #Conflicts: 367000 | #Constraints: 63258
704.02/706.13 c #Conflicts: 368000 | #Constraints: 64258
704.02/706.13 c #Conflicts: 369000 | #Constraints: 65258
704.02/706.13 c #Conflicts: 370000 | #Constraints: 66258
704.02/706.13 c #Conflicts: 371000 | #Constraints: 67258
704.02/706.13 c #Conflicts: 372000 | #Constraints: 68258
704.02/706.13 c #Conflicts: 373000 | #Constraints: 69258
704.02/706.13 c #Conflicts: 374000 | #Constraints: 70258
704.02/706.13 c #Conflicts: 375000 | #Constraints: 71258
704.02/706.13 c #Conflicts: 376000 | #Constraints: 72258
704.02/706.13 c #Conflicts: 377000 | #Constraints: 73258
704.02/706.13 c #Conflicts: 378000 | #Constraints: 74258
874.83/877.46 c #Conflicts: 379000 | #Constraints: 75258
874.83/877.46 c #Conflicts: 380000 | #Constraints: 76258
874.83/877.46 c #Conflicts: 381000 | #Constraints: 77258
874.83/877.46 c #Conflicts: 382000 | #Constraints: 78258
874.83/877.46 c #Conflicts: 383000 | #Constraints: 79258
874.83/877.46 c #Conflicts: 384000 | #Constraints: 80258
874.83/877.46 c #Conflicts: 385000 | #Constraints: 81258
874.83/877.46 c #Conflicts: 386000 | #Constraints: 82258
874.83/877.46 c #Conflicts: 387000 | #Constraints: 83258
874.83/877.46 c #Conflicts: 388000 | #Constraints: 84258
874.83/877.46 c #Conflicts: 389000 | #Constraints: 85258
874.83/877.46 c #Conflicts: 390000 | #Constraints: 86258
874.83/877.46 c #Conflicts: 391000 | #Constraints: 87258
874.83/877.46 c #Conflicts: 392000 | #Constraints: 88258
874.83/877.46 c #Conflicts: 393000 | #Constraints: 89258
874.83/877.46 c #Conflicts: 394000 | #Constraints: 90258
874.83/877.46 c #Conflicts: 395000 | #Constraints: 91258
874.83/877.46 c #Conflicts: 396000 | #Constraints: 92258
874.83/877.46 c #Conflicts: 397000 | #Constraints: 93258
874.83/877.46 c INPROCESSING
874.83/877.46 c GARBAGE COLLECT
874.83/877.46 c #Conflicts: 398000 | #Constraints: 58983
874.83/877.46 c #Conflicts: 399000 | #Constraints: 59983
874.83/877.46 c #Conflicts: 400000 | #Constraints: 60983
874.83/877.46 c #Conflicts: 401000 | #Constraints: 61983
874.83/877.46 c #Conflicts: 402000 | #Constraints: 62983
874.83/877.46 c #Conflicts: 403000 | #Constraints: 63983
874.83/877.46 c #Conflicts: 404000 | #Constraints: 64983
874.83/877.46 c #Conflicts: 405000 | #Constraints: 65983
874.83/877.46 c #Conflicts: 406000 | #Constraints: 66983
874.83/877.46 c #Conflicts: 407000 | #Constraints: 67983
874.83/877.46 c #Conflicts: 408000 | #Constraints: 68983
874.83/877.46 c #Conflicts: 409000 | #Constraints: 69983
874.83/877.46 c #Conflicts: 410000 | #Constraints: 70983
874.83/877.46 c #Conflicts: 411000 | #Constraints: 71983
874.83/877.46 c #Conflicts: 412000 | #Constraints: 72983
874.83/877.46 c #Conflicts: 413000 | #Constraints: 73983
874.83/877.46 c #Conflicts: 414000 | #Constraints: 74983
874.83/877.46 c #Conflicts: 415000 | #Constraints: 75983
874.83/877.46 c INPROCESSING
874.83/877.46 c GARBAGE COLLECT
874.83/877.46 c #Conflicts: 416000 | #Constraints: 57071
874.83/877.46 c #Conflicts: 417000 | #Constraints: 58071
874.83/877.46 c #Conflicts: 418000 | #Constraints: 59071
874.83/877.46 c #Conflicts: 419000 | #Constraints: 60071
874.83/877.46 c #Conflicts: 420000 | #Constraints: 61071
874.83/877.46 c #Conflicts: 421000 | #Constraints: 62071
874.83/877.46 c #Conflicts: 422000 | #Constraints: 63071
874.83/877.46 c #Conflicts: 423000 | #Constraints: 64071
874.83/877.46 c #Conflicts: 424000 | #Constraints: 65071
874.83/877.46 c #Conflicts: 425000 | #Constraints: 66071
874.83/877.46 c #Conflicts: 426000 | #Constraints: 67071
874.83/877.46 c #Conflicts: 427000 | #Constraints: 68071
874.83/877.46 c #Conflicts: 428000 | #Constraints: 69071
874.83/877.46 c #Conflicts: 429000 | #Constraints: 70071
874.83/877.46 c #Conflicts: 430000 | #Constraints: 71071
874.83/877.46 c #Conflicts: 431000 | #Constraints: 72071
874.83/877.46 c #Conflicts: 432000 | #Constraints: 73071
874.83/877.46 c #Conflicts: 433000 | #Constraints: 74071
874.83/877.46 c #Conflicts: 434000 | #Constraints: 75071
874.83/877.46 c #Conflicts: 435000 | #Constraints: 76071
874.83/877.46 c #Conflicts: 436000 | #Constraints: 77071
874.83/877.46 c #Conflicts: 437000 | #Constraints: 78071
874.83/877.46 c #Conflicts: 438000 | #Constraints: 79071
874.83/877.46 c #Conflicts: 439000 | #Constraints: 80071
874.83/877.46 c #Conflicts: 440000 | #Constraints: 81071
874.83/877.46 c #Conflicts: 441000 | #Constraints: 82071
874.83/877.46 c #Conflicts: 442000 | #Constraints: 83071
874.83/877.46 c #Conflicts: 443000 | #Constraints: 84071
874.83/877.46 c #Conflicts: 444000 | #Constraints: 85071
874.83/877.46 c #Conflicts: 445000 | #Constraints: 86071
874.83/877.46 c #Conflicts: 446000 | #Constraints: 87071
874.83/877.46 c #Conflicts: 447000 | #Constraints: 88071
874.83/877.46 c #Conflicts: 448000 | #Constraints: 89071
874.83/877.46 c #Conflicts: 449000 | #Constraints: 90071
874.83/877.46 c #Conflicts: 450000 | #Constraints: 91071
874.83/877.46 c #Conflicts: 451000 | #Constraints: 92071
874.83/877.46 c #Conflicts: 452000 | #Constraints: 93071
874.83/877.46 c #Conflicts: 453000 | #Constraints: 94072
874.83/877.46 c #Conflicts: 454000 | #Constraints: 95072
874.83/877.46 c #Conflicts: 455000 | #Constraints: 96072
874.83/877.46 c #Conflicts: 456000 | #Constraints: 97072
1066.21/1069.38 c #Conflicts: 457000 | #Constraints: 98072
1066.21/1069.38 c #Conflicts: 458000 | #Constraints: 99072
1066.21/1069.38 c #Conflicts: 459000 | #Constraints: 100072
1066.21/1069.38 c INPROCESSING
1066.21/1069.38 c GARBAGE COLLECT
1066.21/1069.38 c #Conflicts: 460000 | #Constraints: 62565
1066.21/1069.38 c #Conflicts: 461000 | #Constraints: 63565
1066.21/1069.38 c #Conflicts: 462000 | #Constraints: 64565
1066.21/1069.38 c #Conflicts: 463000 | #Constraints: 65565
1066.21/1069.38 c #Conflicts: 464000 | #Constraints: 66565
1066.21/1069.38 c #Conflicts: 465000 | #Constraints: 67565
1066.21/1069.38 c #Conflicts: 466000 | #Constraints: 68565
1066.21/1069.38 c #Conflicts: 467000 | #Constraints: 69565
1066.21/1069.38 c #Conflicts: 468000 | #Constraints: 70565
1066.21/1069.38 c #Conflicts: 469000 | #Constraints: 71565
1066.21/1069.38 c #Conflicts: 470000 | #Constraints: 72565
1066.21/1069.38 c #Conflicts: 471000 | #Constraints: 73565
1066.21/1069.38 c #Conflicts: 472000 | #Constraints: 74565
1066.21/1069.38 c #Conflicts: 473000 | #Constraints: 75565
1066.21/1069.38 c #Conflicts: 474000 | #Constraints: 76565
1066.21/1069.38 c #Conflicts: 475000 | #Constraints: 77565
1066.21/1069.38 c #Conflicts: 476000 | #Constraints: 78565
1066.21/1069.38 c #Conflicts: 477000 | #Constraints: 79565
1066.21/1069.38 c #Conflicts: 478000 | #Constraints: 80565
1066.21/1069.38 c INPROCESSING
1066.21/1069.38 c GARBAGE COLLECT
1066.21/1069.38 c #Conflicts: 479000 | #Constraints: 59928
1066.21/1069.38 c #Conflicts: 480000 | #Constraints: 60928
1066.21/1069.38 c #Conflicts: 481000 | #Constraints: 61928
1066.21/1069.38 c #Conflicts: 482000 | #Constraints: 62928
1066.21/1069.38 c #Conflicts: 483000 | #Constraints: 63928
1066.21/1069.38 c #Conflicts: 484000 | #Constraints: 64928
1066.21/1069.38 c #Conflicts: 485000 | #Constraints: 65928
1066.21/1069.38 c #Conflicts: 486000 | #Constraints: 66928
1066.21/1069.38 c #Conflicts: 487000 | #Constraints: 67928
1066.21/1069.38 c #Conflicts: 488000 | #Constraints: 68928
1066.21/1069.38 c #Conflicts: 489000 | #Constraints: 69928
1066.21/1069.38 c #Conflicts: 490000 | #Constraints: 70928
1066.21/1069.38 c #Conflicts: 491000 | #Constraints: 71928
1066.21/1069.38 c #Conflicts: 492000 | #Constraints: 72928
1066.21/1069.38 c #Conflicts: 493000 | #Constraints: 73928
1066.21/1069.38 c #Conflicts: 494000 | #Constraints: 74928
1066.21/1069.38 c #Conflicts: 495000 | #Constraints: 75928
1066.21/1069.38 c #Conflicts: 496000 | #Constraints: 76928
1066.21/1069.38 c #Conflicts: 497000 | #Constraints: 77928
1066.21/1069.38 c #Conflicts: 498000 | #Constraints: 78928
1066.21/1069.38 c #Conflicts: 499000 | #Constraints: 79928
1066.21/1069.38 c #Conflicts: 500000 | #Constraints: 80928
1066.21/1069.38 c #Conflicts: 501000 | #Constraints: 81928
1066.21/1069.38 c #Conflicts: 502000 | #Constraints: 82928
1066.21/1069.38 c #Conflicts: 503000 | #Constraints: 83928
1066.21/1069.38 c #Conflicts: 504000 | #Constraints: 84928
1066.21/1069.38 c #Conflicts: 505000 | #Constraints: 85928
1066.21/1069.38 c #Conflicts: 506000 | #Constraints: 86928
1066.21/1069.38 c #Conflicts: 507000 | #Constraints: 87928
1066.21/1069.38 c #Conflicts: 508000 | #Constraints: 88928
1066.21/1069.38 c #Conflicts: 509000 | #Constraints: 89928
1066.21/1069.38 c #Conflicts: 510000 | #Constraints: 90928
1066.21/1069.38 c #Conflicts: 511000 | #Constraints: 91928
1066.21/1069.38 c #Conflicts: 512000 | #Constraints: 92928
1066.21/1069.38 c #Conflicts: 513000 | #Constraints: 93928
1066.21/1069.38 c #Conflicts: 514000 | #Constraints: 94928
1066.21/1069.38 c #Conflicts: 515000 | #Constraints: 95928
1066.21/1069.38 c #Conflicts: 516000 | #Constraints: 96928
1066.21/1069.38 c #Conflicts: 517000 | #Constraints: 97928
1066.21/1069.38 c #Conflicts: 518000 | #Constraints: 98928
1066.21/1069.38 c #Conflicts: 519000 | #Constraints: 99928
1066.21/1069.38 c #Conflicts: 520000 | #Constraints: 100928
1066.21/1069.38 c #Conflicts: 521000 | #Constraints: 101928
1066.21/1069.38 c #Conflicts: 522000 | #Constraints: 102928
1066.21/1069.38 c #Conflicts: 523000 | #Constraints: 103928
1066.21/1069.38 c #Conflicts: 524000 | #Constraints: 104928
1066.21/1069.38 c #Conflicts: 525000 | #Constraints: 105928
1066.21/1069.38 c INPROCESSING
1066.21/1069.38 c GARBAGE COLLECT
1066.21/1069.38 c #Conflicts: 526000 | #Constraints: 65693
1066.21/1069.38 c #Conflicts: 527000 | #Constraints: 66693
1066.21/1069.38 c #Conflicts: 528000 | #Constraints: 67693
1066.21/1069.38 c #Conflicts: 529000 | #Constraints: 68693
1066.21/1069.38 c #Conflicts: 530000 | #Constraints: 69693
1066.21/1069.38 c #Conflicts: 531000 | #Constraints: 70693
1066.21/1069.38 c #Conflicts: 532000 | #Constraints: 71693
1066.21/1069.38 c #Conflicts: 533000 | #Constraints: 72693
1144.89/1148.29 c #Conflicts: 534000 | #Constraints: 73693
1144.89/1148.29 c #Conflicts: 535000 | #Constraints: 74693
1144.89/1148.29 c #Conflicts: 536000 | #Constraints: 75693
1144.89/1148.29 c #Conflicts: 537000 | #Constraints: 76693
1144.89/1148.29 c #Conflicts: 538000 | #Constraints: 77693
1144.89/1148.29 c #Conflicts: 539000 | #Constraints: 78693
1144.89/1148.29 c #Conflicts: 540000 | #Constraints: 79693
1144.89/1148.29 c #Conflicts: 541000 | #Constraints: 80693
1144.89/1148.29 c #Conflicts: 542000 | #Constraints: 81693
1144.89/1148.29 c #Conflicts: 543000 | #Constraints: 82693
1144.89/1148.29 c #Conflicts: 544000 | #Constraints: 83693
1144.89/1148.29 c #Conflicts: 545000 | #Constraints: 84693
1144.89/1148.29 c INPROCESSING
1144.89/1148.29 c GARBAGE COLLECT
1144.89/1148.29 c rational objective 176
1315.72/1319.54 c #Conflicts: 546000 | #Constraints: 62484
1315.72/1319.54 c #Conflicts: 547000 | #Constraints: 63484
1315.72/1319.54 c #Conflicts: 548000 | #Constraints: 64484
1315.72/1319.54 c #Conflicts: 549000 | #Constraints: 65484
1315.72/1319.54 c #Conflicts: 550000 | #Constraints: 66484
1315.72/1319.54 c #Conflicts: 551000 | #Constraints: 67484
1315.72/1319.54 c #Conflicts: 552000 | #Constraints: 68484
1315.72/1319.54 c #Conflicts: 553000 | #Constraints: 69484
1315.72/1319.54 c #Conflicts: 554000 | #Constraints: 70484
1315.72/1319.54 c #Conflicts: 555000 | #Constraints: 71484
1315.72/1319.54 c #Conflicts: 556000 | #Constraints: 72484
1315.72/1319.54 c #Conflicts: 557000 | #Constraints: 73484
1315.72/1319.54 c #Conflicts: 558000 | #Constraints: 74484
1315.72/1319.54 c #Conflicts: 559000 | #Constraints: 75484
1315.72/1319.54 c #Conflicts: 560000 | #Constraints: 76484
1315.72/1319.54 c #Conflicts: 561000 | #Constraints: 77484
1315.72/1319.54 c #Conflicts: 562000 | #Constraints: 78484
1315.72/1319.54 c #Conflicts: 563000 | #Constraints: 79484
1315.72/1319.54 c #Conflicts: 564000 | #Constraints: 80484
1315.72/1319.54 c #Conflicts: 565000 | #Constraints: 81484
1315.72/1319.54 c #Conflicts: 566000 | #Constraints: 82484
1315.72/1319.54 c #Conflicts: 567000 | #Constraints: 83484
1315.72/1319.54 c #Conflicts: 568000 | #Constraints: 84484
1315.72/1319.54 c #Conflicts: 569000 | #Constraints: 85484
1315.72/1319.54 c #Conflicts: 570000 | #Constraints: 86484
1315.72/1319.54 c #Conflicts: 571000 | #Constraints: 87484
1315.72/1319.54 c #Conflicts: 572000 | #Constraints: 88484
1315.72/1319.54 c #Conflicts: 573000 | #Constraints: 89484
1315.72/1319.54 c #Conflicts: 574000 | #Constraints: 90484
1315.72/1319.54 c #Conflicts: 575000 | #Constraints: 91484
1315.72/1319.54 c #Conflicts: 576000 | #Constraints: 92484
1315.72/1319.54 c #Conflicts: 577000 | #Constraints: 93484
1315.72/1319.54 c #Conflicts: 578000 | #Constraints: 94484
1315.72/1319.54 c #Conflicts: 579000 | #Constraints: 95484
1315.72/1319.54 c #Conflicts: 580000 | #Constraints: 96484
1315.72/1319.54 c #Conflicts: 581000 | #Constraints: 97484
1315.72/1319.54 c #Conflicts: 582000 | #Constraints: 98484
1315.72/1319.54 c #Conflicts: 583000 | #Constraints: 99484
1315.72/1319.54 c #Conflicts: 584000 | #Constraints: 100484
1315.72/1319.54 c #Conflicts: 585000 | #Constraints: 101484
1315.72/1319.54 c #Conflicts: 586000 | #Constraints: 102484
1315.72/1319.54 c #Conflicts: 587000 | #Constraints: 103484
1315.72/1319.54 c #Conflicts: 588000 | #Constraints: 104484
1315.72/1319.54 c #Conflicts: 589000 | #Constraints: 105484
1315.72/1319.54 c #Conflicts: 590000 | #Constraints: 106484
1315.72/1319.54 c #Conflicts: 591000 | #Constraints: 107484
1315.72/1319.54 c #Conflicts: 592000 | #Constraints: 108484
1315.72/1319.54 c #Conflicts: 593000 | #Constraints: 109484
1315.72/1319.54 c #Conflicts: 594000 | #Constraints: 110484
1315.72/1319.54 c #Conflicts: 595000 | #Constraints: 111484
1315.72/1319.54 c INPROCESSING
1315.72/1319.54 c GARBAGE COLLECT
1315.72/1319.54 c #Conflicts: 596000 | #Constraints: 68390
1315.72/1319.54 c #Conflicts: 597000 | #Constraints: 69390
1315.72/1319.54 c #Conflicts: 598000 | #Constraints: 70390
1315.72/1319.54 c #Conflicts: 599000 | #Constraints: 71390
1315.72/1319.54 c #Conflicts: 600000 | #Constraints: 72390
1315.72/1319.54 c #Conflicts: 601000 | #Constraints: 73390
1315.72/1319.54 c #Conflicts: 602000 | #Constraints: 74390
1315.72/1319.54 c #Conflicts: 603000 | #Constraints: 75390
1315.72/1319.54 c #Conflicts: 604000 | #Constraints: 76390
1315.72/1319.54 c #Conflicts: 605000 | #Constraints: 77390
1315.72/1319.54 c #Conflicts: 606000 | #Constraints: 78390
1315.72/1319.54 c #Conflicts: 607000 | #Constraints: 79390
1315.72/1319.54 c #Conflicts: 608000 | #Constraints: 80390
1315.72/1319.54 c #Conflicts: 609000 | #Constraints: 81390
1315.72/1319.54 c #Conflicts: 610000 | #Constraints: 82390
1315.72/1319.54 c #Conflicts: 611000 | #Constraints: 83390
1315.72/1319.54 c #Conflicts: 612000 | #Constraints: 84390
1315.72/1319.54 c #Conflicts: 613000 | #Constraints: 85390
1315.72/1319.54 c #Conflicts: 614000 | #Constraints: 86390
1315.72/1319.54 c #Conflicts: 615000 | #Constraints: 87390
1315.72/1319.54 c #Conflicts: 616000 | #Constraints: 88390
1315.72/1319.54 c #Conflicts: 617000 | #Constraints: 89390
1315.72/1319.54 c INPROCESSING
1315.72/1319.54 c GARBAGE COLLECT
1315.72/1319.54 c #Conflicts: 618000 | #Constraints: 65813
1315.72/1319.54 c #Conflicts: 619000 | #Constraints: 66813
1315.72/1319.54 c #Conflicts: 620000 | #Constraints: 67813
1315.72/1319.54 c #Conflicts: 621000 | #Constraints: 68813
1315.72/1319.54 c #Conflicts: 622000 | #Constraints: 69813
1315.72/1319.54 c #Conflicts: 623000 | #Constraints: 70813
1521.56/1525.95 c #Conflicts: 624000 | #Constraints: 71813
1521.56/1525.95 c #Conflicts: 625000 | #Constraints: 72813
1521.56/1525.95 c #Conflicts: 626000 | #Constraints: 73813
1521.56/1525.95 c #Conflicts: 627000 | #Constraints: 74813
1521.56/1525.95 c #Conflicts: 628000 | #Constraints: 75813
1521.56/1525.95 c #Conflicts: 629000 | #Constraints: 76813
1521.56/1525.95 c #Conflicts: 630000 | #Constraints: 77813
1521.56/1525.95 c #Conflicts: 631000 | #Constraints: 78813
1521.56/1525.95 c #Conflicts: 632000 | #Constraints: 79813
1521.56/1525.95 c #Conflicts: 633000 | #Constraints: 80813
1521.56/1525.95 c #Conflicts: 634000 | #Constraints: 81813
1521.56/1525.95 c #Conflicts: 635000 | #Constraints: 82813
1521.56/1525.95 c #Conflicts: 636000 | #Constraints: 83813
1521.56/1525.95 c #Conflicts: 637000 | #Constraints: 84813
1521.56/1525.95 c #Conflicts: 638000 | #Constraints: 85813
1521.56/1525.95 c #Conflicts: 639000 | #Constraints: 86813
1521.56/1525.95 c #Conflicts: 640000 | #Constraints: 87813
1521.56/1525.95 c #Conflicts: 641000 | #Constraints: 88813
1521.56/1525.95 c #Conflicts: 642000 | #Constraints: 89813
1521.56/1525.95 c #Conflicts: 643000 | #Constraints: 90813
1521.56/1525.95 c #Conflicts: 644000 | #Constraints: 91813
1521.56/1525.95 c #Conflicts: 645000 | #Constraints: 92813
1521.56/1525.95 c #Conflicts: 646000 | #Constraints: 93813
1521.56/1525.95 c #Conflicts: 647000 | #Constraints: 94813
1521.56/1525.95 c #Conflicts: 648000 | #Constraints: 95813
1521.56/1525.95 c #Conflicts: 649000 | #Constraints: 96813
1521.56/1525.95 c #Conflicts: 650000 | #Constraints: 97813
1521.56/1525.95 c #Conflicts: 651000 | #Constraints: 98813
1521.56/1525.95 c #Conflicts: 652000 | #Constraints: 99813
1521.56/1525.95 c #Conflicts: 653000 | #Constraints: 100813
1521.56/1525.95 c #Conflicts: 654000 | #Constraints: 101813
1521.56/1525.95 c #Conflicts: 655000 | #Constraints: 102813
1521.56/1525.95 c #Conflicts: 656000 | #Constraints: 103813
1521.56/1525.95 c #Conflicts: 657000 | #Constraints: 104813
1521.56/1525.95 c #Conflicts: 658000 | #Constraints: 105813
1521.56/1525.95 c #Conflicts: 659000 | #Constraints: 106813
1521.56/1525.95 c #Conflicts: 660000 | #Constraints: 107813
1521.56/1525.95 c #Conflicts: 661000 | #Constraints: 108813
1521.56/1525.95 c #Conflicts: 662000 | #Constraints: 109813
1521.56/1525.95 c #Conflicts: 663000 | #Constraints: 110813
1521.56/1525.95 c #Conflicts: 664000 | #Constraints: 111813
1521.56/1525.95 c #Conflicts: 665000 | #Constraints: 112813
1521.56/1525.95 c #Conflicts: 666000 | #Constraints: 113813
1521.56/1525.95 c #Conflicts: 667000 | #Constraints: 114813
1521.56/1525.95 c #Conflicts: 668000 | #Constraints: 115813
1521.56/1525.95 c #Conflicts: 669000 | #Constraints: 116813
1521.56/1525.95 c INPROCESSING
1521.56/1525.95 c GARBAGE COLLECT
1521.56/1525.95 c #Conflicts: 670000 | #Constraints: 71031
1521.56/1525.95 c #Conflicts: 671000 | #Constraints: 72031
1521.56/1525.95 c #Conflicts: 672000 | #Constraints: 73031
1521.56/1525.95 c #Conflicts: 673000 | #Constraints: 74031
1521.56/1525.95 c #Conflicts: 674000 | #Constraints: 75031
1521.56/1525.95 c #Conflicts: 675000 | #Constraints: 76031
1521.56/1525.95 c #Conflicts: 676000 | #Constraints: 77031
1521.56/1525.95 c #Conflicts: 677000 | #Constraints: 78031
1521.56/1525.95 c #Conflicts: 678000 | #Constraints: 79031
1521.56/1525.95 c #Conflicts: 679000 | #Constraints: 80031
1521.56/1525.95 c #Conflicts: 680000 | #Constraints: 81031
1521.56/1525.95 c #Conflicts: 681000 | #Constraints: 82031
1521.56/1525.95 c #Conflicts: 682000 | #Constraints: 83031
1521.56/1525.95 c #Conflicts: 683000 | #Constraints: 84031
1521.56/1525.95 c #Conflicts: 684000 | #Constraints: 85031
1521.56/1525.95 c #Conflicts: 685000 | #Constraints: 86031
1521.56/1525.95 c #Conflicts: 686000 | #Constraints: 87031
1521.56/1525.95 c #Conflicts: 687000 | #Constraints: 88031
1521.56/1525.95 c #Conflicts: 688000 | #Constraints: 89031
1521.56/1525.95 c #Conflicts: 689000 | #Constraints: 90031
1521.56/1525.95 c #Conflicts: 690000 | #Constraints: 91031
1521.56/1525.95 c #Conflicts: 691000 | #Constraints: 92031
1521.56/1525.95 c #Conflicts: 692000 | #Constraints: 93031
1521.56/1525.95 c #Conflicts: 693000 | #Constraints: 94031
1521.56/1525.95 c INPROCESSING
1521.56/1525.95 c GARBAGE COLLECT
1521.56/1525.95 c #Conflicts: 694000 | #Constraints: 69092
1521.56/1525.95 c #Conflicts: 695000 | #Constraints: 70092
1521.56/1525.95 c #Conflicts: 696000 | #Constraints: 71092
1521.56/1525.95 c #Conflicts: 697000 | #Constraints: 72092
1521.56/1525.95 c #Conflicts: 698000 | #Constraints: 73092
1521.56/1525.95 c #Conflicts: 699000 | #Constraints: 74092
1521.56/1525.95 c #Conflicts: 700000 | #Constraints: 75092
1716.47/1721.41 c #Conflicts: 701000 | #Constraints: 76092
1716.47/1721.41 c #Conflicts: 702000 | #Constraints: 77092
1716.47/1721.41 c #Conflicts: 703000 | #Constraints: 78092
1716.47/1721.41 c #Conflicts: 704000 | #Constraints: 79092
1716.47/1721.41 c #Conflicts: 705000 | #Constraints: 80092
1716.47/1721.41 c #Conflicts: 706000 | #Constraints: 81092
1716.47/1721.41 c #Conflicts: 707000 | #Constraints: 82092
1716.47/1721.41 c #Conflicts: 708000 | #Constraints: 83092
1716.47/1721.41 c #Conflicts: 709000 | #Constraints: 84092
1716.47/1721.41 c #Conflicts: 710000 | #Constraints: 85092
1716.47/1721.41 c #Conflicts: 711000 | #Constraints: 86092
1716.47/1721.41 c #Conflicts: 712000 | #Constraints: 87092
1716.47/1721.41 c #Conflicts: 713000 | #Constraints: 88092
1716.47/1721.41 c #Conflicts: 714000 | #Constraints: 89092
1716.47/1721.41 c #Conflicts: 715000 | #Constraints: 90092
1716.47/1721.41 c #Conflicts: 716000 | #Constraints: 91092
1716.47/1721.41 c #Conflicts: 717000 | #Constraints: 92092
1716.47/1721.41 c #Conflicts: 718000 | #Constraints: 93092
1716.47/1721.41 c #Conflicts: 719000 | #Constraints: 94092
1716.47/1721.41 c #Conflicts: 720000 | #Constraints: 95092
1716.47/1721.41 c #Conflicts: 721000 | #Constraints: 96092
1716.47/1721.41 c #Conflicts: 722000 | #Constraints: 97092
1716.47/1721.41 c #Conflicts: 723000 | #Constraints: 98092
1716.47/1721.41 c #Conflicts: 724000 | #Constraints: 99092
1716.47/1721.41 c #Conflicts: 725000 | #Constraints: 100092
1716.47/1721.41 c #Conflicts: 726000 | #Constraints: 101092
1716.47/1721.41 c #Conflicts: 727000 | #Constraints: 102092
1716.47/1721.41 c #Conflicts: 728000 | #Constraints: 103092
1716.47/1721.41 c #Conflicts: 729000 | #Constraints: 104092
1716.47/1721.41 c #Conflicts: 730000 | #Constraints: 105092
1716.47/1721.41 c #Conflicts: 731000 | #Constraints: 106092
1716.47/1721.41 c #Conflicts: 732000 | #Constraints: 107092
1716.47/1721.41 c #Conflicts: 733000 | #Constraints: 108092
1716.47/1721.41 c #Conflicts: 734000 | #Constraints: 109092
1716.47/1721.41 c #Conflicts: 735000 | #Constraints: 110092
1716.47/1721.41 c #Conflicts: 736000 | #Constraints: 111092
1716.47/1721.41 c #Conflicts: 737000 | #Constraints: 112092
1716.47/1721.41 c #Conflicts: 738000 | #Constraints: 113092
1716.47/1721.41 c #Conflicts: 739000 | #Constraints: 114092
1716.47/1721.41 c #Conflicts: 740000 | #Constraints: 115092
1716.47/1721.41 c #Conflicts: 741000 | #Constraints: 116092
1716.47/1721.41 c #Conflicts: 742000 | #Constraints: 117092
1716.47/1721.41 c #Conflicts: 743000 | #Constraints: 118092
1716.47/1721.41 c #Conflicts: 744000 | #Constraints: 119092
1716.47/1721.41 c #Conflicts: 745000 | #Constraints: 120092
1716.47/1721.41 c #Conflicts: 746000 | #Constraints: 121092
1716.47/1721.41 c #Conflicts: 747000 | #Constraints: 122092
1716.47/1721.41 c #Conflicts: 748000 | #Constraints: 123092
1716.47/1721.41 c INPROCESSING
1716.47/1721.41 c GARBAGE COLLECT
1716.47/1721.41 c #Conflicts: 749000 | #Constraints: 74185
1716.47/1721.41 c #Conflicts: 750000 | #Constraints: 75185
1716.47/1721.41 c #Conflicts: 751000 | #Constraints: 76185
1716.47/1721.41 c #Conflicts: 752000 | #Constraints: 77185
1716.47/1721.41 c #Conflicts: 753000 | #Constraints: 78185
1716.47/1721.41 c #Conflicts: 754000 | #Constraints: 79185
1716.47/1721.41 c #Conflicts: 755000 | #Constraints: 80185
1716.47/1721.41 c #Conflicts: 756000 | #Constraints: 81185
1716.47/1721.41 c #Conflicts: 757000 | #Constraints: 82185
1716.47/1721.41 c #Conflicts: 758000 | #Constraints: 83185
1716.47/1721.41 c #Conflicts: 759000 | #Constraints: 84185
1716.47/1721.41 c #Conflicts: 760000 | #Constraints: 85185
1716.47/1721.41 c #Conflicts: 761000 | #Constraints: 86185
1716.47/1721.41 c #Conflicts: 762000 | #Constraints: 87185
1716.47/1721.41 c #Conflicts: 763000 | #Constraints: 88185
1716.47/1721.41 c #Conflicts: 764000 | #Constraints: 89185
1716.47/1721.41 c #Conflicts: 765000 | #Constraints: 90185
1716.47/1721.41 c #Conflicts: 766000 | #Constraints: 91185
1716.47/1721.41 c #Conflicts: 767000 | #Constraints: 92185
1716.47/1721.41 c #Conflicts: 768000 | #Constraints: 93185
1716.47/1721.41 c #Conflicts: 769000 | #Constraints: 94185
1716.47/1721.41 c #Conflicts: 770000 | #Constraints: 95185
1716.47/1721.41 c #Conflicts: 771000 | #Constraints: 96185
1716.47/1721.41 c #Conflicts: 772000 | #Constraints: 97185
1716.47/1721.41 c #Conflicts: 773000 | #Constraints: 98185
1716.47/1721.41 c INPROCESSING
1716.47/1721.41 c GARBAGE COLLECT
1716.47/1721.41 c #Conflicts: 774000 | #Constraints: 71497
1716.47/1721.41 c #Conflicts: 775000 | #Constraints: 72497
1716.47/1721.41 c #Conflicts: 776000 | #Constraints: 73497
1716.47/1721.41 c #Conflicts: 777000 | #Constraints: 74497
1716.47/1721.41 c #Conflicts: 778000 | #Constraints: 75497
1854.54/1859.95 c #Conflicts: 779000 | #Constraints: 76497
1854.54/1859.95 c #Conflicts: 780000 | #Constraints: 77497
1854.54/1859.95 c #Conflicts: 781000 | #Constraints: 78497
1854.54/1859.95 c #Conflicts: 782000 | #Constraints: 79497
1854.54/1859.95 c #Conflicts: 783000 | #Constraints: 80497
1854.54/1859.95 c #Conflicts: 784000 | #Constraints: 81497
1854.54/1859.95 c #Conflicts: 785000 | #Constraints: 82497
1854.54/1859.95 c #Conflicts: 786000 | #Constraints: 83497
1854.54/1859.95 c #Conflicts: 787000 | #Constraints: 84497
1854.54/1859.95 c #Conflicts: 788000 | #Constraints: 85497
1854.54/1859.95 c #Conflicts: 789000 | #Constraints: 86497
1854.54/1859.95 c #Conflicts: 790000 | #Constraints: 87497
1854.54/1859.95 c #Conflicts: 791000 | #Constraints: 88497
1854.54/1859.95 c #Conflicts: 792000 | #Constraints: 89497
1854.54/1859.95 c #Conflicts: 793000 | #Constraints: 90497
1854.54/1859.95 c #Conflicts: 794000 | #Constraints: 91497
1854.54/1859.95 c #Conflicts: 795000 | #Constraints: 92497
1854.54/1859.95 c #Conflicts: 796000 | #Constraints: 93497
1854.54/1859.95 c #Conflicts: 797000 | #Constraints: 94497
1854.54/1859.95 c #Conflicts: 798000 | #Constraints: 95497
1854.54/1859.95 c #Conflicts: 799000 | #Constraints: 96497
1854.54/1859.95 c #Conflicts: 800000 | #Constraints: 97497
1854.54/1859.95 c #Conflicts: 801000 | #Constraints: 98497
1854.54/1859.95 c #Conflicts: 802000 | #Constraints: 99497
1854.54/1859.95 c #Conflicts: 803000 | #Constraints: 100497
1854.54/1859.95 c #Conflicts: 804000 | #Constraints: 101497
1854.54/1859.95 c #Conflicts: 805000 | #Constraints: 102497
1854.54/1859.95 c #Conflicts: 806000 | #Constraints: 103497
1854.54/1859.95 c #Conflicts: 807000 | #Constraints: 104497
1854.54/1859.95 c #Conflicts: 808000 | #Constraints: 105497
1854.54/1859.95 c #Conflicts: 809000 | #Constraints: 106497
1854.54/1859.95 c #Conflicts: 810000 | #Constraints: 107497
1854.54/1859.95 c #Conflicts: 811000 | #Constraints: 108497
1854.54/1859.95 c #Conflicts: 812000 | #Constraints: 109497
1854.54/1859.95 c #Conflicts: 813000 | #Constraints: 110497
1854.54/1859.95 c #Conflicts: 814000 | #Constraints: 111497
1854.54/1859.95 c #Conflicts: 815000 | #Constraints: 112497
1854.54/1859.95 c #Conflicts: 816000 | #Constraints: 113497
1854.54/1859.95 c #Conflicts: 817000 | #Constraints: 114497
1854.54/1859.95 c #Conflicts: 818000 | #Constraints: 115497
1854.54/1859.95 c #Conflicts: 819000 | #Constraints: 116497
1854.54/1859.95 c #Conflicts: 820000 | #Constraints: 117497
1854.54/1859.95 c #Conflicts: 821000 | #Constraints: 118497
1854.54/1859.95 c #Conflicts: 822000 | #Constraints: 119497
1854.54/1859.95 c #Conflicts: 823000 | #Constraints: 120497
1854.54/1859.95 c #Conflicts: 824000 | #Constraints: 121497
1854.54/1859.95 c #Conflicts: 825000 | #Constraints: 122497
1854.54/1859.95 c #Conflicts: 826000 | #Constraints: 123497
1854.54/1859.95 c #Conflicts: 827000 | #Constraints: 124497
1854.54/1859.95 c #Conflicts: 828000 | #Constraints: 125497
1854.54/1859.95 c #Conflicts: 829000 | #Constraints: 126497
1854.54/1859.95 c #Conflicts: 830000 | #Constraints: 127497
1854.54/1859.95 c #Conflicts: 831000 | #Constraints: 128497
1854.54/1859.95 c #Conflicts: 832000 | #Constraints: 129497
1854.54/1859.95 c INPROCESSING
1854.54/1859.95 c GARBAGE COLLECT
1854.54/1859.95 c rational objective 176
1947.29/1952.97 c #Conflicts: 833000 | #Constraints: 77776
1947.29/1952.97 c #Conflicts: 834000 | #Constraints: 78776
1947.29/1952.97 c #Conflicts: 835000 | #Constraints: 79776
1947.29/1952.97 c #Conflicts: 836000 | #Constraints: 80776
1947.29/1952.97 c #Conflicts: 837000 | #Constraints: 81776
1947.29/1952.97 c #Conflicts: 838000 | #Constraints: 82776
1947.29/1952.97 c #Conflicts: 839000 | #Constraints: 83776
1947.29/1952.97 c #Conflicts: 840000 | #Constraints: 84776
1947.29/1952.97 c #Conflicts: 841000 | #Constraints: 85776
1947.29/1952.97 c #Conflicts: 842000 | #Constraints: 86776
1947.29/1952.97 c #Conflicts: 843000 | #Constraints: 87776
1947.29/1952.97 c #Conflicts: 844000 | #Constraints: 88776
1947.29/1952.97 c #Conflicts: 845000 | #Constraints: 89776
1947.29/1952.97 c #Conflicts: 846000 | #Constraints: 90776
1947.29/1952.97 c #Conflicts: 847000 | #Constraints: 91776
1947.29/1952.97 c #Conflicts: 848000 | #Constraints: 92776
1947.29/1952.97 c #Conflicts: 849000 | #Constraints: 93776
1947.29/1952.97 c #Conflicts: 850000 | #Constraints: 94776
1947.29/1952.97 c #Conflicts: 851000 | #Constraints: 95776
1947.29/1952.97 c #Conflicts: 852000 | #Constraints: 96776
1947.29/1952.97 c #Conflicts: 853000 | #Constraints: 97776
1947.29/1952.97 c #Conflicts: 854000 | #Constraints: 98776
1947.29/1952.97 c #Conflicts: 855000 | #Constraints: 99776
1947.29/1952.97 c #Conflicts: 856000 | #Constraints: 100776
1947.29/1952.97 c #Conflicts: 857000 | #Constraints: 101776
1947.29/1952.97 c #Conflicts: 858000 | #Constraints: 102776
1947.29/1952.97 c INPROCESSING
1947.29/1952.97 c GARBAGE COLLECT
1947.29/1952.97 c rational objective 176
2175.97/2182.21 c #Conflicts: 859000 | #Constraints: 74670
2175.97/2182.21 c #Conflicts: 860000 | #Constraints: 75670
2175.97/2182.21 c #Conflicts: 861000 | #Constraints: 76670
2175.97/2182.21 c #Conflicts: 862000 | #Constraints: 77670
2175.97/2182.21 c #Conflicts: 863000 | #Constraints: 78670
2175.97/2182.21 c #Conflicts: 864000 | #Constraints: 79670
2175.97/2182.21 c #Conflicts: 865000 | #Constraints: 80670
2175.97/2182.21 c #Conflicts: 866000 | #Constraints: 81670
2175.97/2182.21 c #Conflicts: 867000 | #Constraints: 82670
2175.97/2182.21 c #Conflicts: 868000 | #Constraints: 83670
2175.97/2182.21 c #Conflicts: 869000 | #Constraints: 84670
2175.97/2182.21 c #Conflicts: 870000 | #Constraints: 85670
2175.97/2182.21 c #Conflicts: 871000 | #Constraints: 86670
2175.97/2182.21 c #Conflicts: 872000 | #Constraints: 87670
2175.97/2182.21 c #Conflicts: 873000 | #Constraints: 88670
2175.97/2182.21 c #Conflicts: 874000 | #Constraints: 89670
2175.97/2182.21 c #Conflicts: 875000 | #Constraints: 90670
2175.97/2182.21 c #Conflicts: 876000 | #Constraints: 91670
2175.97/2182.21 c #Conflicts: 877000 | #Constraints: 92670
2175.97/2182.21 c #Conflicts: 878000 | #Constraints: 93670
2175.97/2182.21 c #Conflicts: 879000 | #Constraints: 94670
2175.97/2182.21 c #Conflicts: 880000 | #Constraints: 95670
2175.97/2182.21 c #Conflicts: 881000 | #Constraints: 96670
2175.97/2182.21 c #Conflicts: 882000 | #Constraints: 97670
2175.97/2182.21 c #Conflicts: 883000 | #Constraints: 98670
2175.97/2182.21 c #Conflicts: 884000 | #Constraints: 99670
2175.97/2182.21 c #Conflicts: 885000 | #Constraints: 100670
2175.97/2182.21 c #Conflicts: 886000 | #Constraints: 101670
2175.97/2182.21 c #Conflicts: 887000 | #Constraints: 102670
2175.97/2182.21 c #Conflicts: 888000 | #Constraints: 103670
2175.97/2182.21 c #Conflicts: 889000 | #Constraints: 104670
2175.97/2182.21 c #Conflicts: 890000 | #Constraints: 105670
2175.97/2182.21 c #Conflicts: 891000 | #Constraints: 106670
2175.97/2182.21 c #Conflicts: 892000 | #Constraints: 107670
2175.97/2182.21 c #Conflicts: 893000 | #Constraints: 108670
2175.97/2182.21 c #Conflicts: 894000 | #Constraints: 109670
2175.97/2182.21 c #Conflicts: 895000 | #Constraints: 110670
2175.97/2182.21 c #Conflicts: 896000 | #Constraints: 111670
2175.97/2182.21 c #Conflicts: 897000 | #Constraints: 112670
2175.97/2182.21 c #Conflicts: 898000 | #Constraints: 113670
2175.97/2182.21 c #Conflicts: 899000 | #Constraints: 114670
2175.97/2182.21 c #Conflicts: 900000 | #Constraints: 115670
2175.97/2182.21 c #Conflicts: 901000 | #Constraints: 116670
2175.97/2182.21 c #Conflicts: 902000 | #Constraints: 117670
2175.97/2182.21 c #Conflicts: 903000 | #Constraints: 118670
2175.97/2182.21 c #Conflicts: 904000 | #Constraints: 119670
2175.97/2182.21 c #Conflicts: 905000 | #Constraints: 120670
2175.97/2182.21 c #Conflicts: 906000 | #Constraints: 121670
2175.97/2182.21 c #Conflicts: 907000 | #Constraints: 122670
2175.97/2182.21 c #Conflicts: 908000 | #Constraints: 123670
2175.97/2182.21 c #Conflicts: 909000 | #Constraints: 124670
2175.97/2182.21 c #Conflicts: 910000 | #Constraints: 125670
2175.97/2182.21 c #Conflicts: 911000 | #Constraints: 126670
2175.97/2182.21 c #Conflicts: 912000 | #Constraints: 127670
2175.97/2182.21 c #Conflicts: 913000 | #Constraints: 128670
2175.97/2182.21 c #Conflicts: 914000 | #Constraints: 129670
2175.97/2182.21 c #Conflicts: 915000 | #Constraints: 130670
2175.97/2182.21 c #Conflicts: 916000 | #Constraints: 131670
2175.97/2182.21 c #Conflicts: 917000 | #Constraints: 132670
2175.97/2182.21 c #Conflicts: 918000 | #Constraints: 133670
2175.97/2182.21 c #Conflicts: 919000 | #Constraints: 134670
2175.97/2182.21 c #Conflicts: 920000 | #Constraints: 135670
2175.97/2182.21 c INPROCESSING
2175.97/2182.21 c GARBAGE COLLECT
2175.97/2182.21 c #Conflicts: 921000 | #Constraints: 80745
2175.97/2182.21 c #Conflicts: 922000 | #Constraints: 81745
2175.97/2182.21 c #Conflicts: 923000 | #Constraints: 82745
2175.97/2182.21 c #Conflicts: 924000 | #Constraints: 83745
2175.97/2182.21 c #Conflicts: 925000 | #Constraints: 84745
2175.97/2182.21 c #Conflicts: 926000 | #Constraints: 85745
2175.97/2182.21 c #Conflicts: 927000 | #Constraints: 86745
2175.97/2182.21 c #Conflicts: 928000 | #Constraints: 87745
2175.97/2182.21 c #Conflicts: 929000 | #Constraints: 88745
2175.97/2182.21 c #Conflicts: 930000 | #Constraints: 89745
2175.97/2182.21 c #Conflicts: 931000 | #Constraints: 90745
2175.97/2182.21 c #Conflicts: 932000 | #Constraints: 91745
2175.97/2182.21 c #Conflicts: 933000 | #Constraints: 92745
2175.97/2182.21 c #Conflicts: 934000 | #Constraints: 93745
2175.97/2182.21 c #Conflicts: 935000 | #Constraints: 94745
2175.97/2182.21 c #Conflicts: 936000 | #Constraints: 95745
2175.97/2182.21 c #Conflicts: 937000 | #Constraints: 96745
2523.54/2530.70 c #Conflicts: 938000 | #Constraints: 97745
2523.54/2530.70 c #Conflicts: 939000 | #Constraints: 98745
2523.54/2530.70 c #Conflicts: 940000 | #Constraints: 99745
2523.54/2530.70 c #Conflicts: 941000 | #Constraints: 100745
2523.54/2530.70 c #Conflicts: 942000 | #Constraints: 101745
2523.54/2530.70 c #Conflicts: 943000 | #Constraints: 102745
2523.54/2530.70 c #Conflicts: 944000 | #Constraints: 103745
2523.54/2530.70 c #Conflicts: 945000 | #Constraints: 104745
2523.54/2530.70 c #Conflicts: 946000 | #Constraints: 105745
2523.54/2530.70 c #Conflicts: 947000 | #Constraints: 106745
2523.54/2530.70 c INPROCESSING
2523.54/2530.70 c GARBAGE COLLECT
2523.54/2530.70 c #Conflicts: 948000 | #Constraints: 77723
2523.54/2530.70 c #Conflicts: 949000 | #Constraints: 78723
2523.54/2530.70 c #Conflicts: 950000 | #Constraints: 79723
2523.54/2530.70 c #Conflicts: 951000 | #Constraints: 80723
2523.54/2530.70 c #Conflicts: 952000 | #Constraints: 81723
2523.54/2530.70 c #Conflicts: 953000 | #Constraints: 82723
2523.54/2530.70 c #Conflicts: 954000 | #Constraints: 83723
2523.54/2530.70 c #Conflicts: 955000 | #Constraints: 84723
2523.54/2530.70 c #Conflicts: 956000 | #Constraints: 85723
2523.54/2530.70 c #Conflicts: 957000 | #Constraints: 86723
2523.54/2530.70 c #Conflicts: 958000 | #Constraints: 87723
2523.54/2530.70 c #Conflicts: 959000 | #Constraints: 88723
2523.54/2530.70 c #Conflicts: 960000 | #Constraints: 89723
2523.54/2530.70 c #Conflicts: 961000 | #Constraints: 90723
2523.54/2530.70 c #Conflicts: 962000 | #Constraints: 91723
2523.54/2530.70 c #Conflicts: 963000 | #Constraints: 92723
2523.54/2530.70 c #Conflicts: 964000 | #Constraints: 93723
2523.54/2530.70 c #Conflicts: 965000 | #Constraints: 94723
2523.54/2530.70 c #Conflicts: 966000 | #Constraints: 95723
2523.54/2530.70 c #Conflicts: 967000 | #Constraints: 96723
2523.54/2530.70 c #Conflicts: 968000 | #Constraints: 97723
2523.54/2530.70 c #Conflicts: 969000 | #Constraints: 98723
2523.54/2530.70 c #Conflicts: 970000 | #Constraints: 99723
2523.54/2530.70 c #Conflicts: 971000 | #Constraints: 100723
2523.54/2530.70 c #Conflicts: 972000 | #Constraints: 101723
2523.54/2530.70 c #Conflicts: 973000 | #Constraints: 102723
2523.54/2530.70 c #Conflicts: 974000 | #Constraints: 103723
2523.54/2530.70 c #Conflicts: 975000 | #Constraints: 104723
2523.54/2530.70 c #Conflicts: 976000 | #Constraints: 105723
2523.54/2530.70 c #Conflicts: 977000 | #Constraints: 106723
2523.54/2530.70 c #Conflicts: 978000 | #Constraints: 107723
2523.54/2530.70 c #Conflicts: 979000 | #Constraints: 108723
2523.54/2530.70 c #Conflicts: 980000 | #Constraints: 109723
2523.54/2530.70 c #Conflicts: 981000 | #Constraints: 110723
2523.54/2530.70 c #Conflicts: 982000 | #Constraints: 111723
2523.54/2530.70 c #Conflicts: 983000 | #Constraints: 112723
2523.54/2530.70 c #Conflicts: 984000 | #Constraints: 113723
2523.54/2530.70 c #Conflicts: 985000 | #Constraints: 114723
2523.54/2530.70 c #Conflicts: 986000 | #Constraints: 115723
2523.54/2530.70 c #Conflicts: 987000 | #Constraints: 116723
2523.54/2530.70 c #Conflicts: 988000 | #Constraints: 117723
2523.54/2530.70 c #Conflicts: 989000 | #Constraints: 118723
2523.54/2530.70 c #Conflicts: 990000 | #Constraints: 119723
2523.54/2530.70 c #Conflicts: 991000 | #Constraints: 120723
2523.54/2530.70 c #Conflicts: 992000 | #Constraints: 121723
2523.54/2530.70 c #Conflicts: 993000 | #Constraints: 122723
2523.54/2530.70 c #Conflicts: 994000 | #Constraints: 123723
2523.54/2530.70 c #Conflicts: 995000 | #Constraints: 124723
2523.54/2530.70 c #Conflicts: 996000 | #Constraints: 125723
2523.54/2530.70 c #Conflicts: 997000 | #Constraints: 126723
2523.54/2530.70 c #Conflicts: 998000 | #Constraints: 127723
2523.54/2530.70 c #Conflicts: 999000 | #Constraints: 128723
2523.54/2530.70 c #Conflicts: 1000000 | #Constraints: 129723
2523.54/2530.70 c #Conflicts: 1001000 | #Constraints: 130723
2523.54/2530.70 c #Conflicts: 1002000 | #Constraints: 131723
2523.54/2530.70 c #Conflicts: 1003000 | #Constraints: 132723
2523.54/2530.70 c #Conflicts: 1004000 | #Constraints: 133723
2523.54/2530.70 c #Conflicts: 1005000 | #Constraints: 134723
2523.54/2530.70 c #Conflicts: 1006000 | #Constraints: 135723
2523.54/2530.70 c #Conflicts: 1007000 | #Constraints: 136723
2523.54/2530.70 c #Conflicts: 1008000 | #Constraints: 137723
2523.54/2530.70 c #Conflicts: 1009000 | #Constraints: 138723
2523.54/2530.70 c #Conflicts: 1010000 | #Constraints: 139723
2523.54/2530.70 c #Conflicts: 1011000 | #Constraints: 140723
2523.54/2530.70 c #Conflicts: 1012000 | #Constraints: 141723
2523.54/2530.70 c INPROCESSING
2523.54/2530.70 c GARBAGE COLLECT
2523.54/2530.70 c #Conflicts: 1013000 | #Constraints: 83650
2523.54/2530.70 c #Conflicts: 1014000 | #Constraints: 84650
2773.35/2781.23 c #Conflicts: 1015000 | #Constraints: 85650
2773.35/2781.23 c #Conflicts: 1016000 | #Constraints: 86650
2773.35/2781.23 c #Conflicts: 1017000 | #Constraints: 87650
2773.35/2781.23 c #Conflicts: 1018000 | #Constraints: 88650
2773.35/2781.23 c #Conflicts: 1019000 | #Constraints: 89650
2773.35/2781.23 c #Conflicts: 1020000 | #Constraints: 90650
2773.35/2781.23 c #Conflicts: 1021000 | #Constraints: 91650
2773.35/2781.23 c #Conflicts: 1022000 | #Constraints: 92650
2773.35/2781.23 c #Conflicts: 1023000 | #Constraints: 93650
2773.35/2781.23 c #Conflicts: 1024000 | #Constraints: 94650
2773.35/2781.23 c #Conflicts: 1025000 | #Constraints: 95650
2773.35/2781.23 c #Conflicts: 1026000 | #Constraints: 96650
2773.35/2781.23 c #Conflicts: 1027000 | #Constraints: 97650
2773.35/2781.23 c #Conflicts: 1028000 | #Constraints: 98650
2773.35/2781.23 c #Conflicts: 1029000 | #Constraints: 99650
2773.35/2781.23 c #Conflicts: 1030000 | #Constraints: 100650
2773.35/2781.23 c #Conflicts: 1031000 | #Constraints: 101650
2773.35/2781.23 c #Conflicts: 1032000 | #Constraints: 102650
2773.35/2781.23 c #Conflicts: 1033000 | #Constraints: 103650
2773.35/2781.23 c #Conflicts: 1034000 | #Constraints: 104650
2773.35/2781.23 c #Conflicts: 1035000 | #Constraints: 105650
2773.35/2781.23 c #Conflicts: 1036000 | #Constraints: 106650
2773.35/2781.23 c #Conflicts: 1037000 | #Constraints: 107650
2773.35/2781.23 c #Conflicts: 1038000 | #Constraints: 108650
2773.35/2781.23 c #Conflicts: 1039000 | #Constraints: 109650
2773.35/2781.23 c #Conflicts: 1040000 | #Constraints: 110650
2773.35/2781.23 c INPROCESSING
2773.35/2781.23 c GARBAGE COLLECT
2773.35/2781.23 c #Conflicts: 1041000 | #Constraints: 78547
2773.35/2781.23 c #Conflicts: 1042000 | #Constraints: 79547
2773.35/2781.23 c #Conflicts: 1043000 | #Constraints: 80547
2773.35/2781.23 c #Conflicts: 1044000 | #Constraints: 81547
2773.35/2781.23 c #Conflicts: 1045000 | #Constraints: 82547
2773.35/2781.23 c #Conflicts: 1046000 | #Constraints: 83547
2773.35/2781.23 c #Conflicts: 1047000 | #Constraints: 84547
2773.35/2781.23 c #Conflicts: 1048000 | #Constraints: 85547
2773.35/2781.23 c #Conflicts: 1049000 | #Constraints: 86547
2773.35/2781.23 c #Conflicts: 1050000 | #Constraints: 87547
2773.35/2781.23 c #Conflicts: 1051000 | #Constraints: 88547
2773.35/2781.23 c #Conflicts: 1052000 | #Constraints: 89547
2773.35/2781.23 c #Conflicts: 1053000 | #Constraints: 90547
2773.35/2781.23 c #Conflicts: 1054000 | #Constraints: 91547
2773.35/2781.23 c #Conflicts: 1055000 | #Constraints: 92547
2773.35/2781.23 c #Conflicts: 1056000 | #Constraints: 93547
2773.35/2781.23 c #Conflicts: 1057000 | #Constraints: 94547
2773.35/2781.23 c #Conflicts: 1058000 | #Constraints: 95547
2773.35/2781.23 c #Conflicts: 1059000 | #Constraints: 96547
2773.35/2781.23 c #Conflicts: 1060000 | #Constraints: 97547
2773.35/2781.23 c #Conflicts: 1061000 | #Constraints: 98547
2773.35/2781.23 c #Conflicts: 1062000 | #Constraints: 99547
2773.35/2781.23 c #Conflicts: 1063000 | #Constraints: 100547
2773.35/2781.23 c #Conflicts: 1064000 | #Constraints: 101547
2773.35/2781.23 c #Conflicts: 1065000 | #Constraints: 102547
2773.35/2781.23 c #Conflicts: 1066000 | #Constraints: 103547
2773.35/2781.23 c #Conflicts: 1067000 | #Constraints: 104547
2773.35/2781.23 c #Conflicts: 1068000 | #Constraints: 105547
2773.35/2781.23 c #Conflicts: 1069000 | #Constraints: 106548
2773.35/2781.23 c #Conflicts: 1070000 | #Constraints: 107548
2773.35/2781.23 c #Conflicts: 1071000 | #Constraints: 108548
2773.35/2781.23 c #Conflicts: 1072000 | #Constraints: 109548
2773.35/2781.23 c #Conflicts: 1073000 | #Constraints: 110548
2773.35/2781.23 c #Conflicts: 1074000 | #Constraints: 111548
2773.35/2781.23 c #Conflicts: 1075000 | #Constraints: 112548
2773.35/2781.23 c #Conflicts: 1076000 | #Constraints: 113548
2773.35/2781.23 c #Conflicts: 1077000 | #Constraints: 114548
2773.35/2781.23 c #Conflicts: 1078000 | #Constraints: 115548
2773.35/2781.23 c #Conflicts: 1079000 | #Constraints: 116548
2773.35/2781.23 c #Conflicts: 1080000 | #Constraints: 117548
2773.35/2781.23 c #Conflicts: 1081000 | #Constraints: 118548
2773.35/2781.23 c #Conflicts: 1082000 | #Constraints: 119548
2773.35/2781.23 c #Conflicts: 1083000 | #Constraints: 120548
2773.35/2781.23 c #Conflicts: 1084000 | #Constraints: 121548
2773.35/2781.23 c #Conflicts: 1085000 | #Constraints: 122548
2773.35/2781.23 c #Conflicts: 1086000 | #Constraints: 123548
2773.35/2781.23 c #Conflicts: 1087000 | #Constraints: 124548
2773.35/2781.23 c #Conflicts: 1088000 | #Constraints: 125548
2773.35/2781.23 c #Conflicts: 1089000 | #Constraints: 126548
2773.35/2781.23 c #Conflicts: 1090000 | #Constraints: 127548
2773.35/2781.23 c #Conflicts: 1091000 | #Constraints: 128548
2773.35/2781.23 c #Conflicts: 1092000 | #Constraints: 129548
2927.55/2935.85 c #Conflicts: 1093000 | #Constraints: 130548
2927.55/2935.85 c #Conflicts: 1094000 | #Constraints: 131548
2927.55/2935.85 c #Conflicts: 1095000 | #Constraints: 132548
2927.55/2935.85 c #Conflicts: 1096000 | #Constraints: 133548
2927.55/2935.85 c #Conflicts: 1097000 | #Constraints: 134548
2927.55/2935.85 c #Conflicts: 1098000 | #Constraints: 135548
2927.55/2935.85 c #Conflicts: 1099000 | #Constraints: 136548
2927.55/2935.85 c #Conflicts: 1100000 | #Constraints: 137548
2927.55/2935.85 c #Conflicts: 1101000 | #Constraints: 138548
2927.55/2935.85 c #Conflicts: 1102000 | #Constraints: 139548
2927.55/2935.85 c #Conflicts: 1103000 | #Constraints: 140548
2927.55/2935.85 c #Conflicts: 1104000 | #Constraints: 141548
2927.55/2935.85 c #Conflicts: 1105000 | #Constraints: 142548
2927.55/2935.85 c #Conflicts: 1106000 | #Constraints: 143548
2927.55/2935.85 c #Conflicts: 1107000 | #Constraints: 144548
2927.55/2935.85 c #Conflicts: 1108000 | #Constraints: 145548
2927.55/2935.85 c INPROCESSING
2927.55/2935.85 c GARBAGE COLLECT
2927.55/2935.85 c rational objective 176
3110.64/3119.41 c #Conflicts: 1109000 | #Constraints: 85264
3110.64/3119.41 c #Conflicts: 1110000 | #Constraints: 86264
3110.64/3119.41 c #Conflicts: 1111000 | #Constraints: 87264
3110.64/3119.41 c #Conflicts: 1112000 | #Constraints: 88264
3110.64/3119.41 c #Conflicts: 1113000 | #Constraints: 89264
3110.64/3119.41 c #Conflicts: 1114000 | #Constraints: 90264
3110.64/3119.41 c #Conflicts: 1115000 | #Constraints: 91264
3110.64/3119.41 c #Conflicts: 1116000 | #Constraints: 92264
3110.64/3119.41 c #Conflicts: 1117000 | #Constraints: 93264
3110.64/3119.41 c #Conflicts: 1118000 | #Constraints: 94264
3110.64/3119.41 c #Conflicts: 1119000 | #Constraints: 95264
3110.64/3119.41 c #Conflicts: 1120000 | #Constraints: 96264
3110.64/3119.41 c #Conflicts: 1121000 | #Constraints: 97264
3110.64/3119.41 c #Conflicts: 1122000 | #Constraints: 98264
3110.64/3119.41 c #Conflicts: 1123000 | #Constraints: 99264
3110.64/3119.41 c #Conflicts: 1124000 | #Constraints: 100264
3110.64/3119.41 c #Conflicts: 1125000 | #Constraints: 101264
3110.64/3119.41 c #Conflicts: 1126000 | #Constraints: 102264
3110.64/3119.41 c #Conflicts: 1127000 | #Constraints: 103264
3110.64/3119.41 c #Conflicts: 1128000 | #Constraints: 104264
3110.64/3119.41 c #Conflicts: 1129000 | #Constraints: 105264
3110.64/3119.41 c #Conflicts: 1130000 | #Constraints: 106264
3110.64/3119.41 c #Conflicts: 1131000 | #Constraints: 107264
3110.64/3119.41 c #Conflicts: 1132000 | #Constraints: 108264
3110.64/3119.41 c #Conflicts: 1133000 | #Constraints: 109264
3110.64/3119.41 c #Conflicts: 1134000 | #Constraints: 110264
3110.64/3119.41 c #Conflicts: 1135000 | #Constraints: 111264
3110.64/3119.41 c #Conflicts: 1136000 | #Constraints: 112264
3110.64/3119.41 c #Conflicts: 1137000 | #Constraints: 113264
3110.64/3119.41 c #Conflicts: 1138000 | #Constraints: 114264
3110.64/3119.41 c INPROCESSING
3110.64/3119.41 c GARBAGE COLLECT
3110.64/3119.41 c #Conflicts: 1139000 | #Constraints: 80670
3110.64/3119.41 c #Conflicts: 1140000 | #Constraints: 81670
3110.64/3119.41 c #Conflicts: 1141000 | #Constraints: 82670
3110.64/3119.41 c #Conflicts: 1142000 | #Constraints: 83670
3110.64/3119.41 c #Conflicts: 1143000 | #Constraints: 84670
3110.64/3119.41 c #Conflicts: 1144000 | #Constraints: 85670
3110.64/3119.41 c #Conflicts: 1145000 | #Constraints: 86670
3110.64/3119.41 c #Conflicts: 1146000 | #Constraints: 87670
3110.64/3119.41 c #Conflicts: 1147000 | #Constraints: 88670
3110.64/3119.41 c #Conflicts: 1148000 | #Constraints: 89670
3110.64/3119.41 c #Conflicts: 1149000 | #Constraints: 90670
3110.64/3119.41 c #Conflicts: 1150000 | #Constraints: 91670
3110.64/3119.41 c #Conflicts: 1151000 | #Constraints: 92670
3110.64/3119.41 c #Conflicts: 1152000 | #Constraints: 93670
3110.64/3119.41 c #Conflicts: 1153000 | #Constraints: 94670
3110.64/3119.41 c #Conflicts: 1154000 | #Constraints: 95670
3110.64/3119.41 c #Conflicts: 1155000 | #Constraints: 96670
3110.64/3119.41 c #Conflicts: 1156000 | #Constraints: 97670
3110.64/3119.41 c #Conflicts: 1157000 | #Constraints: 98670
3110.64/3119.41 c #Conflicts: 1158000 | #Constraints: 99670
3110.64/3119.41 c #Conflicts: 1159000 | #Constraints: 100670
3110.64/3119.41 c #Conflicts: 1160000 | #Constraints: 101670
3110.64/3119.41 c #Conflicts: 1161000 | #Constraints: 102670
3110.64/3119.41 c #Conflicts: 1162000 | #Constraints: 103670
3110.64/3119.41 c #Conflicts: 1163000 | #Constraints: 104670
3110.64/3119.41 c #Conflicts: 1164000 | #Constraints: 105670
3110.64/3119.41 c #Conflicts: 1165000 | #Constraints: 106670
3110.64/3119.41 c #Conflicts: 1166000 | #Constraints: 107670
3110.64/3119.41 c #Conflicts: 1167000 | #Constraints: 108670
3110.64/3119.41 c #Conflicts: 1168000 | #Constraints: 109670
3110.64/3119.41 c #Conflicts: 1169000 | #Constraints: 110670
3110.64/3119.41 c #Conflicts: 1170000 | #Constraints: 111670
3110.64/3119.41 c #Conflicts: 1171000 | #Constraints: 112670
3110.64/3119.41 c #Conflicts: 1172000 | #Constraints: 113670
3110.64/3119.41 c #Conflicts: 1173000 | #Constraints: 114670
3110.64/3119.41 c #Conflicts: 1174000 | #Constraints: 115670
3110.64/3119.41 c #Conflicts: 1175000 | #Constraints: 116670
3110.64/3119.41 c #Conflicts: 1176000 | #Constraints: 117670
3110.64/3119.41 c #Conflicts: 1177000 | #Constraints: 118670
3110.64/3119.41 c #Conflicts: 1178000 | #Constraints: 119670
3110.64/3119.41 c #Conflicts: 1179000 | #Constraints: 120670
3110.64/3119.41 c #Conflicts: 1180000 | #Constraints: 121670
3110.64/3119.41 c #Conflicts: 1181000 | #Constraints: 122670
3110.64/3119.41 c #Conflicts: 1182000 | #Constraints: 123670
3110.64/3119.41 c #Conflicts: 1183000 | #Constraints: 124670
3110.64/3119.41 c #Conflicts: 1184000 | #Constraints: 125670
3110.64/3119.41 c #Conflicts: 1185000 | #Constraints: 126670
3110.64/3119.41 c #Conflicts: 1186000 | #Constraints: 127670
3110.64/3119.41 c #Conflicts: 1187000 | #Constraints: 128670
3321.84/3331.20 c #Conflicts: 1188000 | #Constraints: 129670
3321.84/3331.20 c #Conflicts: 1189000 | #Constraints: 130670
3321.84/3331.20 c #Conflicts: 1190000 | #Constraints: 131670
3321.84/3331.20 c #Conflicts: 1191000 | #Constraints: 132670
3321.84/3331.20 c #Conflicts: 1192000 | #Constraints: 133670
3321.84/3331.20 c #Conflicts: 1193000 | #Constraints: 134670
3321.84/3331.20 c #Conflicts: 1194000 | #Constraints: 135670
3321.84/3331.20 c #Conflicts: 1195000 | #Constraints: 136670
3321.84/3331.20 c #Conflicts: 1196000 | #Constraints: 137670
3321.84/3331.20 c #Conflicts: 1197000 | #Constraints: 138670
3321.84/3331.20 c #Conflicts: 1198000 | #Constraints: 139670
3321.84/3331.20 c #Conflicts: 1199000 | #Constraints: 140670
3321.84/3331.20 c #Conflicts: 1200000 | #Constraints: 141670
3321.84/3331.20 c #Conflicts: 1201000 | #Constraints: 142670
3321.84/3331.20 c #Conflicts: 1202000 | #Constraints: 143670
3321.84/3331.20 c #Conflicts: 1203000 | #Constraints: 144670
3321.84/3331.20 c #Conflicts: 1204000 | #Constraints: 145670
3321.84/3331.20 c #Conflicts: 1205000 | #Constraints: 146670
3321.84/3331.20 c #Conflicts: 1206000 | #Constraints: 147670
3321.84/3331.20 c #Conflicts: 1207000 | #Constraints: 148670
3321.84/3331.20 c #Conflicts: 1208000 | #Constraints: 149670
3321.84/3331.20 c #Conflicts: 1209000 | #Constraints: 150670
3321.84/3331.20 c INPROCESSING
3321.84/3331.20 c GARBAGE COLLECT
3321.84/3331.20 c #Conflicts: 1210000 | #Constraints: 88075
3321.84/3331.20 c #Conflicts: 1211000 | #Constraints: 89075
3321.84/3331.20 c #Conflicts: 1212000 | #Constraints: 90075
3321.84/3331.20 c #Conflicts: 1213000 | #Constraints: 91075
3321.84/3331.20 c #Conflicts: 1214000 | #Constraints: 92075
3321.84/3331.20 c #Conflicts: 1215000 | #Constraints: 93075
3321.84/3331.20 c #Conflicts: 1216000 | #Constraints: 94075
3321.84/3331.20 c #Conflicts: 1217000 | #Constraints: 95075
3321.84/3331.20 c #Conflicts: 1218000 | #Constraints: 96076
3321.84/3331.20 c #Conflicts: 1219000 | #Constraints: 97076
3321.84/3331.20 c #Conflicts: 1220000 | #Constraints: 98076
3321.84/3331.20 c #Conflicts: 1221000 | #Constraints: 99076
3321.84/3331.20 c #Conflicts: 1222000 | #Constraints: 100076
3321.84/3331.20 c #Conflicts: 1223000 | #Constraints: 101076
3321.84/3331.20 c #Conflicts: 1224000 | #Constraints: 102076
3321.84/3331.20 c #Conflicts: 1225000 | #Constraints: 103076
3321.84/3331.20 c #Conflicts: 1226000 | #Constraints: 104076
3321.84/3331.20 c #Conflicts: 1227000 | #Constraints: 105076
3321.84/3331.20 c #Conflicts: 1228000 | #Constraints: 106076
3321.84/3331.20 c #Conflicts: 1229000 | #Constraints: 107076
3321.84/3331.20 c #Conflicts: 1230000 | #Constraints: 108076
3321.84/3331.20 c #Conflicts: 1231000 | #Constraints: 109076
3321.84/3331.20 c #Conflicts: 1232000 | #Constraints: 110076
3321.84/3331.20 c #Conflicts: 1233000 | #Constraints: 111076
3321.84/3331.20 c #Conflicts: 1234000 | #Constraints: 112076
3321.84/3331.20 c #Conflicts: 1235000 | #Constraints: 113076
3321.84/3331.20 c #Conflicts: 1236000 | #Constraints: 114076
3321.84/3331.20 c #Conflicts: 1237000 | #Constraints: 115076
3321.84/3331.20 c #Conflicts: 1238000 | #Constraints: 116076
3321.84/3331.20 c #Conflicts: 1239000 | #Constraints: 117076
3321.84/3331.20 c #Conflicts: 1240000 | #Constraints: 118076
3321.84/3331.20 c INPROCESSING
3321.84/3331.20 c GARBAGE COLLECT
3321.84/3331.20 c #Conflicts: 1241000 | #Constraints: 83335
3321.84/3331.20 c #Conflicts: 1242000 | #Constraints: 84335
3321.84/3331.20 c #Conflicts: 1243000 | #Constraints: 85335
3321.84/3331.20 c #Conflicts: 1244000 | #Constraints: 86335
3321.84/3331.20 c #Conflicts: 1245000 | #Constraints: 87335
3321.84/3331.20 c #Conflicts: 1246000 | #Constraints: 88335
3321.84/3331.20 c #Conflicts: 1247000 | #Constraints: 89335
3321.84/3331.20 c #Conflicts: 1248000 | #Constraints: 90335
3321.84/3331.20 c #Conflicts: 1249000 | #Constraints: 91335
3321.84/3331.20 c #Conflicts: 1250000 | #Constraints: 92335
3321.84/3331.20 c #Conflicts: 1251000 | #Constraints: 93335
3321.84/3331.20 c #Conflicts: 1252000 | #Constraints: 94335
3321.84/3331.20 c #Conflicts: 1253000 | #Constraints: 95335
3321.84/3331.20 c #Conflicts: 1254000 | #Constraints: 96335
3321.84/3331.20 c #Conflicts: 1255000 | #Constraints: 97335
3321.84/3331.20 c #Conflicts: 1256000 | #Constraints: 98335
3321.84/3331.20 c #Conflicts: 1257000 | #Constraints: 99335
3321.84/3331.20 c #Conflicts: 1258000 | #Constraints: 100335
3321.84/3331.20 c #Conflicts: 1259000 | #Constraints: 101335
3321.84/3331.20 c #Conflicts: 1260000 | #Constraints: 102335
3321.84/3331.20 c #Conflicts: 1261000 | #Constraints: 103335
3321.84/3331.20 c #Conflicts: 1262000 | #Constraints: 104335
3321.84/3331.20 c #Conflicts: 1263000 | #Constraints: 105335
3321.84/3331.20 c #Conflicts: 1264000 | #Constraints: 106335
3591.45/3601.66 c #Conflicts: 1265000 | #Constraints: 107335
3591.45/3601.66 c #Conflicts: 1266000 | #Constraints: 108335
3591.45/3601.66 c #Conflicts: 1267000 | #Constraints: 109335
3591.45/3601.66 c #Conflicts: 1268000 | #Constraints: 110335
3591.45/3601.66 c #Conflicts: 1269000 | #Constraints: 111335
3591.45/3601.66 c #Conflicts: 1270000 | #Constraints: 112335
3591.45/3601.66 c #Conflicts: 1271000 | #Constraints: 113335
3591.45/3601.66 c #Conflicts: 1272000 | #Constraints: 114335
3591.45/3601.66 c #Conflicts: 1273000 | #Constraints: 115335
3591.45/3601.66 c #Conflicts: 1274000 | #Constraints: 116335
3591.45/3601.66 c #Conflicts: 1275000 | #Constraints: 117335
3591.45/3601.66 c #Conflicts: 1276000 | #Constraints: 118335
3591.45/3601.66 c #Conflicts: 1277000 | #Constraints: 119335
3591.45/3601.66 c #Conflicts: 1278000 | #Constraints: 120335
3591.45/3601.66 c #Conflicts: 1279000 | #Constraints: 121335
3591.45/3601.66 c #Conflicts: 1280000 | #Constraints: 122335
3591.45/3601.66 c #Conflicts: 1281000 | #Constraints: 123335
3591.45/3601.66 c #Conflicts: 1282000 | #Constraints: 124335
3591.45/3601.66 c #Conflicts: 1283000 | #Constraints: 125335
3591.45/3601.66 c #Conflicts: 1284000 | #Constraints: 126335
3591.45/3601.66 c #Conflicts: 1285000 | #Constraints: 127335
3591.45/3601.66 c #Conflicts: 1286000 | #Constraints: 128335
3591.45/3601.66 c #Conflicts: 1287000 | #Constraints: 129335
3591.45/3601.66 c #Conflicts: 1288000 | #Constraints: 130335
3591.45/3601.66 c #Conflicts: 1289000 | #Constraints: 131335
3591.45/3601.66 c #Conflicts: 1290000 | #Constraints: 132335
3591.45/3601.66 c #Conflicts: 1291000 | #Constraints: 133335
3591.45/3601.66 c #Conflicts: 1292000 | #Constraints: 134335
3591.45/3601.66 c #Conflicts: 1293000 | #Constraints: 135335
3591.45/3601.66 c #Conflicts: 1294000 | #Constraints: 136335
3591.45/3601.66 c #Conflicts: 1295000 | #Constraints: 137335
3591.45/3601.66 c #Conflicts: 1296000 | #Constraints: 138335
3591.45/3601.66 c #Conflicts: 1297000 | #Constraints: 139335
3591.45/3601.66 c #Conflicts: 1298000 | #Constraints: 140335
3591.45/3601.66 c #Conflicts: 1299000 | #Constraints: 141335
3591.45/3601.66 c #Conflicts: 1300000 | #Constraints: 142335
3591.45/3601.66 c #Conflicts: 1301000 | #Constraints: 143335
3591.45/3601.66 c #Conflicts: 1302000 | #Constraints: 144335
3591.45/3601.66 c #Conflicts: 1303000 | #Constraints: 145335
3591.45/3601.66 c #Conflicts: 1304000 | #Constraints: 146335
3591.45/3601.66 c #Conflicts: 1305000 | #Constraints: 147335
3591.45/3601.66 c #Conflicts: 1306000 | #Constraints: 148335
3591.45/3601.66 c #Conflicts: 1307000 | #Constraints: 149335
3591.45/3601.66 c #Conflicts: 1308000 | #Constraints: 150335
3591.45/3601.66 c #Conflicts: 1309000 | #Constraints: 151335
3591.45/3601.66 c #Conflicts: 1310000 | #Constraints: 152335
3591.45/3601.66 c #Conflicts: 1311000 | #Constraints: 153335
3591.45/3601.66 c #Conflicts: 1312000 | #Constraints: 154335
3591.45/3601.66 c #Conflicts: 1313000 | #Constraints: 155335
3591.45/3601.66 c #Conflicts: 1314000 | #Constraints: 156335
3591.45/3601.66 c #Conflicts: 1315000 | #Constraints: 157335
3591.45/3601.66 c INPROCESSING
3591.45/3601.66 c GARBAGE COLLECT
3591.45/3601.66 c #Conflicts: 1316000 | #Constraints: 91648
3591.45/3601.66 c #Conflicts: 1317000 | #Constraints: 92648
3591.45/3601.66 c #Conflicts: 1318000 | #Constraints: 93648
3591.45/3601.66 c #Conflicts: 1319000 | #Constraints: 94648
3591.45/3601.66 c #Conflicts: 1320000 | #Constraints: 95648
3591.45/3601.66 c #Conflicts: 1321000 | #Constraints: 96648
3591.45/3601.66 c #Conflicts: 1322000 | #Constraints: 97648
3591.45/3601.66 c #Conflicts: 1323000 | #Constraints: 98648
3591.45/3601.66 c #Conflicts: 1324000 | #Constraints: 99648
3591.45/3601.66 c #Conflicts: 1325000 | #Constraints: 100648
3591.45/3601.66 c #Conflicts: 1326000 | #Constraints: 101648
3591.45/3601.66 c #Conflicts: 1327000 | #Constraints: 102648
3591.45/3601.66 c #Conflicts: 1328000 | #Constraints: 103648
3591.45/3601.66 c #Conflicts: 1329000 | #Constraints: 104648
3591.45/3601.66 c #Conflicts: 1330000 | #Constraints: 105648
3591.45/3601.66 c #Conflicts: 1331000 | #Constraints: 106648
3591.45/3601.66 c #Conflicts: 1332000 | #Constraints: 107648
3591.45/3601.66 c #Conflicts: 1333000 | #Constraints: 108648
3591.45/3601.66 c #Conflicts: 1334000 | #Constraints: 109648
3591.45/3601.66 c #Conflicts: 1335000 | #Constraints: 110648
3591.45/3601.66 c #Conflicts: 1336000 | #Constraints: 111648
3591.45/3601.66 c #Conflicts: 1337000 | #Constraints: 112648
3591.45/3601.66 c #Conflicts: 1338000 | #Constraints: 113648
3591.45/3601.66 c #Conflicts: 1339000 | #Constraints: 114648
3591.45/3601.66 c #Conflicts: 1340000 | #Constraints: 115648
3591.45/3601.66 c #Conflicts: 1341000 | #Constraints: 116648
3591.45/3601.66 c #Conflicts: 1342000 | #Constraints: 117648
3600.03/3610.20 c #Conflicts: 1343000 | #Constraints: 118648
3600.03/3610.20 c #Conflicts: 1344000 | #Constraints: 119648
3600.03/3610.20 c #Conflicts: 1345000 | #Constraints: 120648
3600.03/3610.20 c cpu time 3563.88 s
3600.03/3610.20 c deterministic time 236385929881 2.36e+11
3600.03/3610.20 c optimization time 60.3448 s
3600.03/3610.20 c total solve time 3503.21 s
3600.03/3610.20 c core-guided solve time 0 s
3600.03/3610.20 c propagation time 1907.23 s
3600.03/3610.20 c conflict analysis time 1304.44 s
3600.03/3610.20 c propagations 1366893487
3600.03/3610.20 c resolve steps 81996492
3600.03/3610.20 c decisions 33117435
3600.03/3610.20 c conflicts 1345217
3600.03/3610.20 c restarts 2557
3600.03/3610.20 c inprocessing phases 48
3600.03/3610.20 c garbage collections 48 ,( 100.00 )
3600.03/3610.20 c input clauses 21122 ,( 99.17 )
3600.03/3610.20 c input cardinalities 176 ,( 0.83 )
3600.03/3610.20 c input general constraints 0 ,( 0.00 )
3600.03/3610.20 c input average constraint length 6.43
3600.03/3610.20 c input average constraint degree 1.97
3600.03/3610.20 c learned clauses 983948 ,( 73.14 )
3600.03/3610.20 c learned cardinalities 46383 ,( 3.45 )
3600.03/3610.20 c learned general constraints 314895 ,( 23.41 )
3600.03/3610.20 c learned average constraint length 765.74
3600.03/3610.20 c learned average constraint degree 17498927.88
3600.03/3610.20 c watched CF 32, 64, 128, Arb: 80870 , 0 , 0 , 0
3600.03/3610.20 c counting CF 32, 64, 128, Arb: 234025 , 0 , 0 , 0
3600.03/3610.20 c watched constraints 80870 ,( 25.68 )
3600.03/3610.20 c counting constraints 234025 ,( 74.32 )
3600.03/3610.20 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 1260548597 , 727046445 , 1872413516 ,( 90190007 , 1782223509 )
3600.03/3610.20 c gcd simplifications 715
3600.03/3610.20 c detected cardinalities 7153
3600.03/3610.20 c weakened non-implied lits 369057122
3600.03/3610.20 c weakened non-implying lits 203584
3600.03/3610.20 c original variables 20944
3600.03/3610.20 c clausal propagations 631219195
3600.03/3610.20 c cardinality propagations 507731614
3600.03/3610.20 c watched propagations 4496517
3600.03/3610.20 c counting propagations 210505043
3600.03/3610.20 c watch lookups 73015112932
3600.03/3610.20 c watch backjump lookups 0
3600.03/3610.20 c watch checks 35541253175
3600.03/3610.20 c propagation checks 120209276854
3600.03/3610.20 c constraint additions 4818655399
3600.03/3610.20 c trail pops 1401337002
3600.03/3610.20 c formula constraints 21298
3600.03/3610.20 c learned constraints 1345211
3600.03/3610.20 c bound constraints 0
3600.03/3610.20 c core-guided constraints 0
3600.03/3610.20 c encountered formula constraints 51478250
3600.03/3610.20 c encountered learned constraints 31862850
3600.03/3610.20 c encountered bound constraints 0
3600.03/3610.20 c encountered core-guided constraints 0
3600.03/3610.20 c LP total time 430.192 s
3600.03/3610.20 c LP solve time 404.17 s
3600.03/3610.20 c LP constraints added 22029
3600.03/3610.20 c LP constraints removed 578
3600.03/3610.20 c LP pivots internal 143868
3600.03/3610.20 c LP pivots root 139728
3600.03/3610.20 c LP calls 19
3600.03/3610.20 c LP optimalities 8
3600.03/3610.20 c LP no pivot count 1
3600.03/3610.20 c LP infeasibilities 5
3600.03/3610.20 c LP valid Farkas constraints 5
3600.03/3610.20 c LP learned Farkas constraints 5
3600.03/3610.20 c LP basis resets 0
3600.03/3610.20 c LP cycling count 0
3600.03/3610.20 c LP singular count 0
3600.03/3610.20 c LP no primal count 0
3600.03/3610.20 c LP no farkas count 0
3600.03/3610.20 c LP other issue count 0
3600.03/3610.20 c LP Gomory cuts 5
3600.03/3610.20 c LP learned cuts 726
3600.03/3610.20 c LP deleted cuts 578
3600.03/3610.20 c LP encountered Gomory constraints 1
3600.03/3610.20 c LP encountered Farkas constraints 601
3600.03/3610.20 c LP encountered learned Farkas constraints 2
3600.03/3610.20 c CG auxiliary variables introduced 0
3600.03/3610.20 c CG solutions found 0
3600.03/3610.20 c CG cores constructed 0
3600.03/3610.20 c CG core cardinality constraints returned 0
3600.03/3610.20 c CG unit cores 0
3600.03/3610.20 c CG single cores 0
3600.03/3610.20 c CG blocks removed during cardinality reduction 0
3600.03/3610.20 c CG first core best 0
3600.03/3610.20 c CG decision core best 0
3600.03/3610.20 c CG core reduction tie 0
3600.03/3610.20 c CG core degree average 0.00
3600.03/3610.20 c CG core slack average 0.00
3600.03/3610.20 c CG core upper bound improvements 0
3600.03/3610.20 c STR number of successful calls 0
3600.03/3610.20 c STR number of unsuccessful calls 0
3600.03/3610.20 c STR number of inconclusive calls 0
3600.03/3610.20 c STR number of successful attempts 0
3600.03/3610.20 c STR number of unsuccessful attempts 0
3600.03/3610.20 c STR number of inconclusive attempts 0
3600.03/3610.20 c STR average degree increase per successful call inf
3600.03/3610.20 c STR average degree increase per successful attempt inf
3600.03/3610.20 c STR total number of conflicts for successful attempts 0
3600.03/3610.20 c STR total number of conflicts for unsuccessful attempts 0
3600.03/3610.20 c STR total number of conflicts for inconclusive attempts 0
3600.03/3610.20 c STR average number of conflicts per successful attempt inf
3600.03/3610.20 c STR average number of conflicts per unsuccessful attempt inf
3600.03/3610.20 c STR average number of conflicts per inconclusive attempt inf
3600.03/3610.20 c AVG.sumWPerc 65.78
3600.03/3610.20 c bigint constraints 0
3600.03/3610.20 s UNKNOWN
3600.03/3610.20 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: 63837 MiB (60546 MiB free)
memory of node 1: 64465 MiB (63431 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4506869-1751174814/watcher-4506869-1751174814 -o /tmp/evaluation-result-4506869-1751174814/solver-4506869-1751174814 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1751170906-17823 --watchdog 3760 --file-size-limit 100000 run-dec-log.sh HOME/instance-4506869-1751174814.opb PROOFDIR/proof-4506869-1751174814
running on 2 cores: 5,7
CPU governors:
performance: 5 7
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 FSIZE limit: 102400000 KiB
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=18464, runsolver pid=18461
[startup+0.100048 s]*
/proc/loadavg: 4.10 4.11 4.09 6/260 18466
/proc/meminfo: memFree=126941312/131382120 swapFree=33010684/33010684
[pid=18464] ppid=18461 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/18464/stat : 18464 (run-dec-log.sh) S 18461 18464 17810 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 33160058 4292608 736 18446744073709551615 93928445009920 93928445904453 140722755670512 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93928446143504 93928446191248 93928453246976 140722755676449 140722755676644 140722755676644 140722755682246 0
/proc/18464/statm: 1048 736 672 219 0 110 0
[pid=18466] ppid=18464 vsize=60100 memory=15164 CPUtime=0.07 cores=5,7
/proc/18466/stat : 18466 (roundingsat) R 18464 18464 17810 0 -1 4194304 1570 0 0 0 6 1 0 0 20 0 1 0 33160059 61542400 3791 18446744073709551615 4227072 8923433 140731614823584 0 0 0 0 0 8405026 0 0 0 17 7 0 0 0 0 0 9823104 9832592 19197952 140731614832999 140731614833192 140731614833192 140731614838762 0
/proc/18466/statm: 15025 3791 1920 1147 0 2452 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 64292 KiB
Current children cumulated memory: 18108 KiB
[startup+0.213992 s]*
/proc/loadavg: 4.10 4.11 4.09 6/260 18466
/proc/meminfo: memFree=126941312/131382120 swapFree=33010684/33010684
[pid=18464] ppid=18461 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/18464/stat : 18464 (run-dec-log.sh) S 18461 18464 17810 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 33160058 4292608 736 18446744073709551615 93928445009920 93928445904453 140722755670512 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93928446143504 93928446191248 93928453246976 140722755676449 140722755676644 140722755676644 140722755682246 0
/proc/18464/statm: 1048 736 672 219 0 110 0
[pid=18466] ppid=18464 vsize=61492 memory=16444 CPUtime=0.18 cores=5,7
/proc/18466/stat : 18466 (roundingsat) R 18464 18464 17810 0 -1 4194304 1905 0 0 0 14 4 0 0 20 0 1 0 33160059 62967808 4111 18446744073709551615 4227072 8923433 140731614823584 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 19197952 140731614832999 140731614833192 140731614833192 140731614838762 0
/proc/18466/statm: 15373 4111 1920 1147 0 2800 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 65684 KiB
Current children cumulated memory: 19388 KiB
[startup+0.313934 s]*
/proc/loadavg: 4.10 4.11 4.09 5/260 18466
/proc/meminfo: memFree=126941224/131382120 swapFree=33010684/33010684
[pid=18464] ppid=18461 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/18464/stat : 18464 (run-dec-log.sh) S 18461 18464 17810 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 33160058 4292608 736 18446744073709551615 93928445009920 93928445904453 140722755670512 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93928446143504 93928446191248 93928453246976 140722755676449 140722755676644 140722755676644 140722755682246 0
/proc/18464/statm: 1048 736 672 219 0 110 0
[pid=18466] ppid=18464 vsize=68616 memory=24524 CPUtime=0.28 cores=5,7
/proc/18466/stat : 18466 (roundingsat) R 18464 18464 17810 0 -1 4194304 4610 0 0 0 22 6 0 0 20 0 1 0 33160059 70262784 6131 18446744073709551615 4227072 8923433 140731614823584 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 19197952 140731614832999 140731614833192 140731614833192 140731614838762 0
/proc/18466/statm: 17154 6131 2240 1147 0 4581 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 72808 KiB
Current children cumulated memory: 27468 KiB
[startup+0.700353 s]
/proc/loadavg: 4.10 4.11 4.09 5/260 18466
/proc/meminfo: memFree=126915264/131382120 swapFree=33010684/33010684
[pid=18464] ppid=18461 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/18464/stat : 18464 (run-dec-log.sh) S 18461 18464 17810 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 33160058 4292608 736 18446744073709551615 93928445009920 93928445904453 140722755670512 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93928446143504 93928446191248 93928453246976 140722755676449 140722755676644 140722755676644 140722755682246 0
/proc/18464/statm: 1048 736 672 219 0 110 0
[pid=18466] ppid=18464 vsize=109896 memory=57648 CPUtime=0.65 cores=5,7
/proc/18466/stat : 18466 (roundingsat) R 18464 18464 17810 0 -1 4194304 10078 0 0 0 57 8 0 0 20 0 1 0 33160059 112533504 14412 18446744073709551615 4227072 8923433 140731614823584 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 19197952 140731614832999 140731614833192 140731614833192 140731614838762 0
/proc/18466/statm: 27474 14412 2272 1147 0 14901 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 114088 KiB
Current children cumulated memory: 60592 KiB
[startup+1.50039 s]
/proc/loadavg: 4.17 4.12 4.09 5/260 18466
/proc/meminfo: memFree=126909216/131382120 swapFree=33010684/33010684
[pid=18464] ppid=18461 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/18464/stat : 18464 (run-dec-log.sh) S 18461 18464 17810 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 33160058 4292608 736 18446744073709551615 93928445009920 93928445904453 140722755670512 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93928446143504 93928446191248 93928453246976 140722755676449 140722755676644 140722755676644 140722755682246 0
/proc/18464/statm: 1048 736 672 219 0 110 0
[pid=18466] ppid=18464 vsize=111612 memory=60336 CPUtime=1.44 cores=5,7
/proc/18466/stat : 18466 (roundingsat) R 18464 18464 17810 0 -1 4194304 10754 0 0 0 135 9 0 0 20 0 1 0 33160059 114290688 15084 18446744073709551615 4227072 8923433 140731614823584 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 19197952 140731614832999 140731614833192 140731614833192 140731614838762 0
/proc/18466/statm: 27903 15084 2272 1147 0 15330 0
Current children cumulated CPU time: 1.44 s
Current children cumulated vsize: 115804 KiB
Current children cumulated memory: 63280 KiB
[startup+3.11346 s]
/proc/loadavg: 4.17 4.12 4.09 5/260 18466
/proc/meminfo: memFree=126893564/131382120 swapFree=33010684/33010684
[pid=18464] ppid=18461 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/18464/stat : 18464 (run-dec-log.sh) S 18461 18464 17810 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 33160058 4292608 736 18446744073709551615 93928445009920 93928445904453 140722755670512 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93928446143504 93928446191248 93928453246976 140722755676449 140722755676644 140722755676644 140722755682246 0
/proc/18464/statm: 1048 736 672 219 0 110 0
[pid=18466] ppid=18464 vsize=113944 memory=65036 CPUtime=3.05 cores=5,7
/proc/18466/stat : 18466 (roundingsat) R 18464 18464 17810 0 -1 4194304 11381 0 0 0 292 13 0 0 20 0 1 0 33160059 116678656 16259 18446744073709551615 4227072 8923433 140731614823584 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 19197952 140731614832999 140731614833192 140731614833192 140731614838762 0
/proc/18466/statm: 28486 16259 2304 1147 0 15913 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 118136 KiB
Current children cumulated memory: 67980 KiB
[startup+6.30039 s]
/proc/loadavg: 4.15 4.12 4.09 5/260 18466
/proc/meminfo: memFree=126870424/131382120 swapFree=33010684/33010684
[pid=18464] ppid=18461 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/18464/stat : 18464 (run-dec-log.sh) S 18461 18464 17810 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 33160058 4292608 736 18446744073709551615 93928445009920 93928445904453 140722755670512 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93928446143504 93928446191248 93928453246976 140722755676449 140722755676644 140722755676644 140722755682246 0
/proc/18464/statm: 1048 736 672 219 0 110 0
[pid=18466] ppid=18464 vsize=123612 memory=74636 CPUtime=6.23 cores=5,7
/proc/18466/stat : 18466 (roundingsat) R 18464 18464 17810 0 -1 4194304 13793 0 0 0 590 33 0 0 20 0 1 0 33160059 126578688 18659 18446744073709551615 4227072 8923433 140731614823584 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 19197952 140731614832999 140731614833192 140731614833192 140731614838762 0
/proc/18466/statm: 30903 18659 2304 1147 0 18330 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 127804 KiB
Current children cumulated memory: 77580 KiB
[startup+12.7004 s]
/proc/loadavg: 4.14 4.12 4.09 5/260 18466
/proc/meminfo: memFree=126794100/131382120 swapFree=33010684/33010684
[pid=18464] ppid=18461 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/18464/stat : 18464 (run-dec-log.sh) S 18461 18464 17810 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 33160058 4292608 736 18446744073709551615 93928445009920 93928445904453 140722755670512 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93928446143504 93928446191248 93928453246976 140722755676449 140722755676644 140722755676644 140722755682246 0
/proc/18464/statm: 1048 736 672 219 0 110 0
[pid=18466] ppid=18464 vsize=144560 memory=95352 CPUtime=12.62 cores=5,7
/proc/18466/stat : 18466 (roundingsat) R 18464 18464 17810 0 -1 4194304 18476 0 0 0 1203 59 0 0 20 0 1 0 33160059 148029440 23838 18446744073709551615 4227072 8923433 140731614823584 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 19197952 140731614832999 140731614833192 140731614833192 140731614838762 0
/proc/18466/statm: 36140 23838 2304 1147 0 23567 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 148752 KiB
Current children cumulated memory: 98296 KiB
[startup+25.5004 s]
/proc/loadavg: 4.12 4.11 4.09 5/260 18467
/proc/meminfo: memFree=126696580/131382120 swapFree=33010684/33010684
[pid=18464] ppid=18461 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/18464/stat : 18464 (run-dec-log.sh) S 18461 18464 17810 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 33160058 4292608 736 18446744073709551615 93928445009920 93928445904453 140722755670512 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93928446143504 93928446191248 93928453246976 140722755676449 140722755676644 140722755676644 140722755682246 0
/proc/18464/statm: 1048 736 672 219 0 110 0
[pid=18466] ppid=18464 vsize=149316 memory=99448 CPUtime=25.38 cores=5,7
/proc/18466/stat : 18466 (roundingsat) R 18464 18464 17810 0 -1 4194304 19491 0 0 0 2451 87 0 0 20 0 1 0 33160059 152899584 24862 18446744073709551615 4227072 8923433 140731614823584 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 19197952 140731614832999 140731614833192 140731614833192 140731614838762 0
/proc/18466/statm: 37329 24862 2304 1147 0 24756 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 153508 KiB
Current children cumulated memory: 102392 KiB
[startup+51.1136 s]
/proc/loadavg: 4.15 4.12 4.09 5/260 18467
/proc/meminfo: memFree=126459176/131382120 swapFree=33010684/33010684
[pid=18464] ppid=18461 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/18464/stat : 18464 (run-dec-log.sh) S 18461 18464 17810 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 33160058 4292608 736 18446744073709551615 93928445009920 93928445904453 140722755670512 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93928446143504 93928446191248 93928453246976 140722755676449 140722755676644 140722755676644 140722755682246 0
/proc/18464/statm: 1048 736 672 219 0 110 0
[pid=18466] ppid=18464 vsize=191440 memory=140900 CPUtime=50.91 cores=5,7
/proc/18466/stat : 18466 (roundingsat) R 18464 18464 17810 0 -1 4194304 26341 0 0 0 4913 178 0 0 20 0 1 0 33160059 196034560 35225 18446744073709551615 4227072 8923433 140731614823584 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 19197952 140731614832999 140731614833192 140731614833192 140731614838762 0
/proc/18466/statm: 47860 35225 2304 1147 0 35287 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 195632 KiB
Current children cumulated memory: 143844 KiB
[startup+102.3 s]
/proc/loadavg: 4.21 4.14 4.10 5/260 18469
/proc/meminfo: memFree=126053688/131382120 swapFree=33010684/33010684
[pid=18464] ppid=18461 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/18464/stat : 18464 (run-dec-log.sh) S 18461 18464 17810 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 33160058 4292608 736 18446744073709551615 93928445009920 93928445904453 140722755670512 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93928446143504 93928446191248 93928453246976 140722755676449 140722755676644 140722755676644 140722755682246 0
/proc/18464/statm: 1048 736 672 219 0 110 0
[pid=18466] ppid=18464 vsize=238148 memory=181896 CPUtime=101.95 cores=5,7
/proc/18466/stat : 18466 (roundingsat) R 18464 18464 17810 0 -1 4194304 33617 0 0 0 9921 274 0 0 20 0 1 0 33160059 243863552 45474 18446744073709551615 4227072 8923433 140731614823584 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 19197952 140731614832999 140731614833192 140731614833192 140731614838762 0
/proc/18466/statm: 59537 45474 2304 1147 0 46964 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 242340 KiB
Current children cumulated memory: 184840 KiB
[startup+162.3 s]
/proc/loadavg: 4.12 4.13 4.09 5/261 18477
/proc/meminfo: memFree=125365628/131382120 swapFree=33010684/33010684
[pid=18464] ppid=18461 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/18464/stat : 18464 (run-dec-log.sh) S 18461 18464 17810 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 33160058 4292608 736 18446744073709551615 93928445009920 93928445904453 140722755670512 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93928446143504 93928446191248 93928453246976 140722755676449 140722755676644 140722755676644 140722755682246 0
/proc/18464/statm: 1048 736 672 219 0 110 0
[pid=18466] ppid=18464 vsize=292876 memory=222620 CPUtime=161.77 cores=5,7
/proc/18466/stat : 18466 (roundingsat) R 18464 18464 17810 0 -1 4194304 40187 0 0 0 15828 349 0 0 20 0 1 0 33160059 299905024 55655 18446744073709551615 4227072 8923433 140731614823584 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 19197952 140731614832999 140731614833192 140731614833192 140731614838762 0
/proc/18466/statm: 73219 55655 2336 1147 0 60646 0
Current children cumulated CPU time: 161.77 s
Current children cumulated vsize: 297068 KiB
Current children cumulated memory: 225564 KiB
[startup+222.3 s]
/proc/loadavg: 4.15 4.14 4.09 5/259 18479
/proc/meminfo: memFree=124763900/131382120 swapFree=33010684/33010684
[pid=18464] ppid=18461 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/18464/stat : 18464 (run-dec-log.sh) S 18461 18464 17810 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 33160058 4292608 736 18446744073709551615 93928445009920 93928445904453 140722755670512 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93928446143504 93928446191248 93928453246976 140722755676449 140722755676644 140722755676644 140722755682246 0
/proc/18464/statm: 1048 736 672 219 0 110 0
[pid=18466] ppid=18464 vsize=312640 memory=242204 CPUtime=221.61 cores=5,7
/proc/18466/stat : 18466 (roundingsat) R 18464 18464 17810 0 -1 4194304 45098 0 0 0 21676 485 0 0 20 0 1 0 33160059 320143360 60551 18446744073709551615 4227072 8923433 140731614823584 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 19197952 140731614832999 140731614833192 140731614833192 140731614838762 0
/proc/18466/statm: 78160 60551 2336 1147 0 65587 0
################
# More data... #
################
[pid=18466] ppid=18464 vsize=1604040 memory=1315196 CPUtime=3093.58 cores=5,7
/proc/18466/stat : 18466 (roundingsat) R 18464 18464 17810 0 -1 4194304 154018 0 0 0 306175 3183 0 0 20 0 1 0 33160059 1642536960 328799 18446744073709551615 4227072 8923433 140731614823584 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 19197952 140731614832999 140731614833192 140731614833192 140731614838762 0
/proc/18466/statm: 401010 328799 2336 1147 0 388437 0
Current children cumulated CPU time: 3093.58 s
Current children cumulated vsize: 1608232 KiB
Current children cumulated memory: 1318140 KiB
[startup+3162.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/258 18682
/proc/meminfo: memFree=104891396/131382120 swapFree=33010684/33010684
[pid=18464] ppid=18461 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/18464/stat : 18464 (run-dec-log.sh) S 18461 18464 17810 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 33160058 4292608 736 18446744073709551615 93928445009920 93928445904453 140722755670512 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93928446143504 93928446191248 93928453246976 140722755676449 140722755676644 140722755676644 140722755682246 0
/proc/18464/statm: 1048 736 672 219 0 110 0
[pid=18466] ppid=18464 vsize=1604040 memory=1315452 CPUtime=3153.41 cores=5,7
/proc/18466/stat : 18466 (roundingsat) R 18464 18464 17810 0 -1 4194304 154081 0 0 0 312111 3230 0 0 20 0 1 0 33160059 1642536960 328863 18446744073709551615 4227072 8923433 140731614823584 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 19197952 140731614832999 140731614833192 140731614833192 140731614838762 0
/proc/18466/statm: 401010 328863 2336 1147 0 388437 0
Current children cumulated CPU time: 3153.41 s
Current children cumulated vsize: 1608232 KiB
Current children cumulated memory: 1318396 KiB
[startup+3222.3 s]
/proc/loadavg: 4.04 4.07 4.08 5/260 18686
/proc/meminfo: memFree=104376756/131382120 swapFree=33010684/33010684
[pid=18464] ppid=18461 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/18464/stat : 18464 (run-dec-log.sh) S 18461 18464 17810 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 33160058 4292608 736 18446744073709551615 93928445009920 93928445904453 140722755670512 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93928446143504 93928446191248 93928453246976 140722755676449 140722755676644 140722755676644 140722755682246 0
/proc/18464/statm: 1048 736 672 219 0 110 0
[pid=18466] ppid=18464 vsize=1604040 memory=1316860 CPUtime=3213.24 cores=5,7
/proc/18466/stat : 18466 (roundingsat) R 18464 18464 17810 0 -1 4194304 154436 0 0 0 318044 3280 0 0 20 0 1 0 33160059 1642536960 329215 18446744073709551615 4227072 8923433 140731614823584 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 19197952 140731614832999 140731614833192 140731614833192 140731614838762 0
/proc/18466/statm: 401010 329215 2336 1147 0 388437 0
Current children cumulated CPU time: 3213.24 s
Current children cumulated vsize: 1608232 KiB
Current children cumulated memory: 1319804 KiB
[startup+3282.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/260 18688
/proc/meminfo: memFree=103939916/131382120 swapFree=33010684/33010684
[pid=18464] ppid=18461 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/18464/stat : 18464 (run-dec-log.sh) S 18461 18464 17810 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 33160058 4292608 736 18446744073709551615 93928445009920 93928445904453 140722755670512 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93928446143504 93928446191248 93928453246976 140722755676449 140722755676644 140722755676644 140722755682246 0
/proc/18464/statm: 1048 736 672 219 0 110 0
[pid=18466] ppid=18464 vsize=1604040 memory=1316860 CPUtime=3273.07 cores=5,7
/proc/18466/stat : 18466 (roundingsat) R 18464 18464 17810 0 -1 4194304 154447 0 0 0 323967 3340 0 0 20 0 1 0 33160059 1642536960 329215 18446744073709551615 4227072 8923433 140731614823584 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 19197952 140731614832999 140731614833192 140731614833192 140731614838762 0
/proc/18466/statm: 401010 329215 2336 1147 0 388437 0
Current children cumulated CPU time: 3273.07 s
Current children cumulated vsize: 1608232 KiB
Current children cumulated memory: 1319804 KiB
[startup+3342.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/260 18735
/proc/meminfo: memFree=110664068/131382120 swapFree=33010684/33010684
[pid=18464] ppid=18461 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/18464/stat : 18464 (run-dec-log.sh) S 18461 18464 17810 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 33160058 4292608 736 18446744073709551615 93928445009920 93928445904453 140722755670512 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93928446143504 93928446191248 93928453246976 140722755676449 140722755676644 140722755676644 140722755682246 0
/proc/18464/statm: 1048 736 672 219 0 110 0
[pid=18466] ppid=18464 vsize=1604040 memory=1316988 CPUtime=3332.91 cores=5,7
/proc/18466/stat : 18466 (roundingsat) R 18464 18464 17810 0 -1 4194304 154450 0 0 0 329873 3418 0 0 20 0 1 0 33160059 1642536960 329247 18446744073709551615 4227072 8923433 140731614823584 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 19197952 140731614832999 140731614833192 140731614833192 140731614838762 0
/proc/18466/statm: 401010 329247 2336 1147 0 388437 0
Current children cumulated CPU time: 3332.91 s
Current children cumulated vsize: 1608232 KiB
Current children cumulated memory: 1319932 KiB
[startup+3402.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/260 18737
/proc/meminfo: memFree=110284460/131382120 swapFree=33010684/33010684
[pid=18464] ppid=18461 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/18464/stat : 18464 (run-dec-log.sh) S 18461 18464 17810 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 33160058 4292608 736 18446744073709551615 93928445009920 93928445904453 140722755670512 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93928446143504 93928446191248 93928453246976 140722755676449 140722755676644 140722755676644 140722755682246 0
/proc/18464/statm: 1048 736 672 219 0 110 0
[pid=18466] ppid=18464 vsize=1604040 memory=1316988 CPUtime=3392.74 cores=5,7
/proc/18466/stat : 18466 (roundingsat) R 18464 18464 17810 0 -1 4194304 154451 0 0 0 335826 3448 0 0 20 0 1 0 33160059 1642536960 329247 18446744073709551615 4227072 8923433 140731614823584 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 19197952 140731614832999 140731614833192 140731614833192 140731614838762 0
/proc/18466/statm: 401010 329247 2336 1147 0 388437 0
Current children cumulated CPU time: 3392.74 s
Current children cumulated vsize: 1608232 KiB
Current children cumulated memory: 1319932 KiB
[startup+3462.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/260 18786
/proc/meminfo: memFree=116545960/131382120 swapFree=33010684/33010684
[pid=18464] ppid=18461 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/18464/stat : 18464 (run-dec-log.sh) S 18461 18464 17810 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 33160058 4292608 736 18446744073709551615 93928445009920 93928445904453 140722755670512 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93928446143504 93928446191248 93928453246976 140722755676449 140722755676644 140722755676644 140722755682246 0
/proc/18464/statm: 1048 736 672 219 0 110 0
[pid=18466] ppid=18464 vsize=1604040 memory=1317500 CPUtime=3452.57 cores=5,7
/proc/18466/stat : 18466 (roundingsat) R 18464 18464 17810 0 -1 4194304 154606 0 0 0 341766 3491 0 0 20 0 1 0 33160059 1642536960 329375 18446744073709551615 4227072 8923433 140731614823584 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 19197952 140731614832999 140731614833192 140731614833192 140731614838762 0
/proc/18466/statm: 401010 329375 2336 1147 0 388437 0
Current children cumulated CPU time: 3452.57 s
Current children cumulated vsize: 1608232 KiB
Current children cumulated memory: 1320444 KiB
[startup+3522.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/258 18788
/proc/meminfo: memFree=116132464/131382120 swapFree=33010684/33010684
[pid=18464] ppid=18461 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/18464/stat : 18464 (run-dec-log.sh) S 18461 18464 17810 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 33160058 4292608 736 18446744073709551615 93928445009920 93928445904453 140722755670512 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93928446143504 93928446191248 93928453246976 140722755676449 140722755676644 140722755676644 140722755682246 0
/proc/18464/statm: 1048 736 672 219 0 110 0
[pid=18466] ppid=18464 vsize=1604040 memory=1318012 CPUtime=3512.38 cores=5,7
/proc/18466/stat : 18466 (roundingsat) R 18464 18464 17810 0 -1 4194304 154964 0 0 0 347700 3538 0 0 20 0 1 0 33160059 1642536960 329503 18446744073709551615 4227072 8923433 140731614823584 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 19197952 140731614832999 140731614833192 140731614833192 140731614838762 0
/proc/18466/statm: 401010 329503 2336 1147 0 388437 0
Current children cumulated CPU time: 3512.38 s
Current children cumulated vsize: 1608232 KiB
Current children cumulated memory: 1320956 KiB
[startup+3582.3 s]
/proc/loadavg: 4.13 4.09 4.09 5/260 18792
/proc/meminfo: memFree=115612540/131382120 swapFree=33010684/33010684
[pid=18464] ppid=18461 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/18464/stat : 18464 (run-dec-log.sh) S 18461 18464 17810 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 33160058 4292608 736 18446744073709551615 93928445009920 93928445904453 140722755670512 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93928446143504 93928446191248 93928453246976 140722755676449 140722755676644 140722755676644 140722755682246 0
/proc/18464/statm: 1048 736 672 219 0 110 0
[pid=18466] ppid=18464 vsize=1604040 memory=1319292 CPUtime=3572.21 cores=5,7
/proc/18466/stat : 18466 (roundingsat) R 18464 18464 17810 0 -1 4194304 155279 0 0 0 353632 3589 0 0 20 0 1 0 33160059 1642536960 329823 18446744073709551615 4227072 8923433 140731614823584 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 19197952 140731614832999 140731614833192 140731614833192 140731614838762 0
/proc/18466/statm: 401010 329823 2336 1147 0 388437 0
Current children cumulated CPU time: 3572.21 s
Current children cumulated vsize: 1608232 KiB
Current children cumulated memory: 1322236 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.2 s]
/proc/loadavg: 4.09 4.09 4.09 5/260 18795
/proc/meminfo: memFree=115358128/131382120 swapFree=33010684/33010684
[pid=18464] ppid=18461 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/18464/stat : 18464 (run-dec-log.sh) S 18461 18464 17810 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 33160058 4292608 736 18446744073709551615 93928445009920 93928445904453 140722755670512 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93928446143504 93928446191248 93928453246976 140722755676449 140722755676644 140722755676644 140722755682246 0
/proc/18464/statm: 1048 736 672 219 0 110 0
[pid=18466] ppid=18464 vsize=1604040 memory=1319292 CPUtime=3600.03 cores=5,7
/proc/18466/stat : 18466 (roundingsat) R 18464 18464 17810 0 -1 4194304 155281 0 0 0 356388 3615 0 0 20 0 1 0 33160059 1642536960 329823 18446744073709551615 4227072 8923433 140731614823584 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 19197952 140731614832999 140731614833192 140731614833192 140731614838762 0
/proc/18466/statm: 401010 329823 2336 1147 0 388437 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 1608232 KiB
Current children cumulated memory: 1322236 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3610.21 s]
# the end of solver process 18464 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.002542 s, system=0.002648 s
Sleeping 2 seconds
[startup+3610.47 s]
# the end of solver process 18466 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3563.91 s, system=36.1922 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
[startup+3610.41 s]
/proc/loadavg: 4.09 4.09 4.09 4/259 18795
/proc/meminfo: memFree=115355420/131382120 swapFree=33010684/33010684
[pid=18466] ppid=18461 vsize=1604040 memory=1319676 CPUtime=3600.03 cores=5,7
/proc/18466/stat : 18466 (roundingsat) D 18461 18464 17810 0 -1 4194304 155287 0 0 0 356388 3615 0 0 20 0 1 0 33160059 1642536960 329919 18446744073709551615 4227072 8923433 140731614823584 0 0 0 0 0 8405026 1 0 0 17 5 0 0 0 0 0 9823104 9832592 19197952 140731614832999 140731614833192 140731614833192 140731614838762 0
/proc/18466/statm: 401010 329919 2432 1147 0 388437 0
Current cumulated CPU time of completed processes: 0.00519 s
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 1604040 KiB
Current children cumulated memory: 1319676 KiB
Child status: 2
Real time (s): 3610.47
CPU time (s): 3600.1
CPU user time (s): 3563.91
CPU system time (s): 36.1922
CPU usage (%): 99.7127
Max. virtual memory (cumulated for all children) (KiB): 1608232
Max. memory (cumulated for all children) (KiB): 1322236
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3563.91
system time used= 36.1922
maximum resident set size= 1319676
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 155514
page faults= 0
swaps= 0
block input operations= 0
block output operations= 11622768
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 807
involuntary context switches= 4835
# summary of solver processes directly reported to runsolver:
# pid: 18464,18466
# total CPU time (s): 3600.1
# total CPU user time (s): 3563.91
# total CPU system time (s): 36.1922
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.738 second user time and 36.474 second system time
The end
Begin job on nodeC003 at 2025-06-29 07:26:54
IDJOB=4506869
IDBENCH=158302
IDSOLVER=3352
FILE ID=nodeC003/4506869-1751174814
RUNJOBID= nodeC003-1751170906-17823
SLURM_JOB_ID= 9587531
Free space on /tmp= 432972 MiB
SOLVER NAME= roundingsat-log 63f22ad
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathNG/normalized-NG_K176.opb
COMMAND LINE= run-dec-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4506869-1751174814/watcher-4506869-1751174814 -o /tmp/evaluation-result-4506869-1751174814/solver-4506869-1751174814 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1751170906-17823 --watchdog 3760 --file-size-limit 100000 run-dec-log.sh HOME/instance-4506869-1751174814.opb PROOFDIR/proof-4506869-1751174814
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 98be46c5d9a37fa78efcf3182d546400
RANDOM SEED=1492565113
nodeC003 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 : 3494.927
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.44
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 : 3691.244
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.44
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.728
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.44
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.616
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.44
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 : 3661.970
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.44
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.492
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.44
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.230
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.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.165
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.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382120 kB
MemFree: 126962028 kB
MemAvailable: 128018164 kB
Buffers: 3280 kB
Cached: 1866516 kB
SwapCached: 0 kB
Active: 2248748 kB
Inactive: 1653212 kB
Active(anon): 2050216 kB
Inactive(anon): 0 kB
Active(file): 198532 kB
Inactive(file): 1653212 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 38332 kB
Writeback: 4 kB
AnonPages: 2034628 kB
Mapped: 115688 kB
Shmem: 17960 kB
KReclaimable: 88036 kB
Slab: 169464 kB
SReclaimable: 88036 kB
SUnreclaim: 81428 kB
KernelStack: 4176 kB
PageTables: 7216 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701744 kB
Committed_AS: 2544012 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149512 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1546240 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 191304 kB
DirectMap2M: 11245568 kB
DirectMap1G: 124780544 kB
Free space on /tmp at the end= 433004 MiB
End job on nodeC003 at 2025-06-29 08:27:05