0.00/0.01 c RoundingSat 2
0.00/0.01 c branch pb25
0.00/0.01 c commit 63f22ad
0.09/0.15 c #variables 20944 #constraints 21298
117.96/118.34 c #Conflicts: 1000 | #Constraints: 22297
117.96/118.34 c #Conflicts: 2000 | #Constraints: 23297
117.96/118.34 c INPROCESSING
117.96/118.34 c GARBAGE COLLECT
117.96/118.34 c #Conflicts: 3000 | #Constraints: 22543
117.96/118.34 c #Conflicts: 4000 | #Constraints: 23543
117.96/118.34 c INPROCESSING
117.96/118.34 c GARBAGE COLLECT
117.96/118.34 c #Conflicts: 5000 | #Constraints: 23048
117.96/118.34 c #Conflicts: 6000 | #Constraints: 24048
117.96/118.34 c INPROCESSING
117.96/118.34 c GARBAGE COLLECT
117.96/118.34 c #Conflicts: 7000 | #Constraints: 23149
117.96/118.34 c #Conflicts: 8000 | #Constraints: 24149
117.96/118.34 c #Conflicts: 9000 | #Constraints: 25149
117.96/118.34 c #Conflicts: 10000 | #Constraints: 26149
117.96/118.34 c #Conflicts: 11000 | #Constraints: 27149
117.96/118.34 c #Conflicts: 12000 | #Constraints: 28149
117.96/118.34 c INPROCESSING
117.96/118.34 c GARBAGE COLLECT
117.96/118.34 c #Conflicts: 13000 | #Constraints: 25201
117.96/118.34 c #Conflicts: 14000 | #Constraints: 26201
117.96/118.34 c #Conflicts: 15000 | #Constraints: 27201
117.96/118.34 c #Conflicts: 16000 | #Constraints: 28201
117.96/118.34 c INPROCESSING
117.96/118.34 c GARBAGE COLLECT
117.96/118.34 c #Conflicts: 17000 | #Constraints: 25464
117.96/118.34 c #Conflicts: 18000 | #Constraints: 26464
117.96/118.34 c #Conflicts: 19000 | #Constraints: 27464
117.96/118.34 c #Conflicts: 20000 | #Constraints: 28464
117.96/118.34 c #Conflicts: 21000 | #Constraints: 29464
117.96/118.34 c #Conflicts: 22000 | #Constraints: 30464
117.96/118.34 c #Conflicts: 23000 | #Constraints: 31464
117.96/118.34 c #Conflicts: 24000 | #Constraints: 32464
117.96/118.34 c #Conflicts: 25000 | #Constraints: 33464
117.96/118.34 c INPROCESSING
117.96/118.34 c GARBAGE COLLECT
117.96/118.34 c #Conflicts: 26000 | #Constraints: 27952
117.96/118.34 c #Conflicts: 27000 | #Constraints: 28952
117.96/118.34 c #Conflicts: 28000 | #Constraints: 29952
117.96/118.34 c #Conflicts: 29000 | #Constraints: 30952
117.96/118.34 c #Conflicts: 30000 | #Constraints: 31952
117.96/118.34 c INPROCESSING
117.96/118.34 c GARBAGE COLLECT
117.96/118.34 c #Conflicts: 31000 | #Constraints: 28058
117.96/118.34 c #Conflicts: 32000 | #Constraints: 29058
117.96/118.34 c #Conflicts: 33000 | #Constraints: 30058
117.96/118.34 c #Conflicts: 34000 | #Constraints: 31058
117.96/118.34 c #Conflicts: 35000 | #Constraints: 32058
117.96/118.34 c #Conflicts: 36000 | #Constraints: 33058
117.96/118.34 c #Conflicts: 37000 | #Constraints: 34058
117.96/118.34 c #Conflicts: 38000 | #Constraints: 35058
117.96/118.34 c #Conflicts: 39000 | #Constraints: 36058
117.96/118.34 c #Conflicts: 40000 | #Constraints: 37058
117.96/118.34 c #Conflicts: 41000 | #Constraints: 38058
117.96/118.34 c #Conflicts: 42000 | #Constraints: 39058
117.96/118.34 c #Conflicts: 43000 | #Constraints: 40058
117.96/118.34 c INPROCESSING
117.96/118.34 c GARBAGE COLLECT
117.96/118.34 c #Conflicts: 44000 | #Constraints: 31718
117.96/118.34 c #Conflicts: 45000 | #Constraints: 32718
117.96/118.34 c #Conflicts: 46000 | #Constraints: 33718
117.96/118.34 c #Conflicts: 47000 | #Constraints: 34718
117.96/118.34 c #Conflicts: 48000 | #Constraints: 35718
117.96/118.34 c #Conflicts: 49000 | #Constraints: 36718
117.96/118.34 c INPROCESSING
117.96/118.34 c GARBAGE COLLECT
117.96/118.34 c #Conflicts: 50000 | #Constraints: 31150
117.96/118.34 c #Conflicts: 51000 | #Constraints: 32150
117.96/118.34 c #Conflicts: 52000 | #Constraints: 33150
117.96/118.34 c #Conflicts: 53000 | #Constraints: 34150
117.96/118.34 c #Conflicts: 54000 | #Constraints: 35150
117.96/118.34 c #Conflicts: 55000 | #Constraints: 36150
117.96/118.34 c #Conflicts: 56000 | #Constraints: 37150
117.96/118.34 c #Conflicts: 57000 | #Constraints: 38150
117.96/118.34 c #Conflicts: 58000 | #Constraints: 39150
117.96/118.34 c #Conflicts: 59000 | #Constraints: 40150
117.96/118.34 c #Conflicts: 60000 | #Constraints: 41150
117.96/118.34 c #Conflicts: 61000 | #Constraints: 42150
117.96/118.34 c #Conflicts: 62000 | #Constraints: 43150
117.96/118.34 c #Conflicts: 63000 | #Constraints: 44150
117.96/118.34 c #Conflicts: 64000 | #Constraints: 45150
117.96/118.34 c #Conflicts: 65000 | #Constraints: 46150
117.96/118.34 c INPROCESSING
117.96/118.34 c GARBAGE COLLECT
117.96/118.34 c #Conflicts: 66000 | #Constraints: 34992
117.96/118.34 c #Conflicts: 67000 | #Constraints: 35992
117.96/118.34 c #Conflicts: 68000 | #Constraints: 36992
117.96/118.34 c #Conflicts: 69000 | #Constraints: 37992
117.96/118.34 c #Conflicts: 70000 | #Constraints: 38992
117.96/118.34 c #Conflicts: 71000 | #Constraints: 39992
117.96/118.34 c #Conflicts: 72000 | #Constraints: 40992
117.96/118.34 c INPROCESSING
117.96/118.34 c GARBAGE COLLECT
246.60/247.37 c #Conflicts: 73000 | #Constraints: 33847
246.60/247.37 c #Conflicts: 74000 | #Constraints: 34847
246.60/247.37 c #Conflicts: 75000 | #Constraints: 35847
246.60/247.37 c #Conflicts: 76000 | #Constraints: 36847
246.60/247.37 c #Conflicts: 77000 | #Constraints: 37847
246.60/247.37 c #Conflicts: 78000 | #Constraints: 38847
246.60/247.37 c #Conflicts: 79000 | #Constraints: 39847
246.60/247.37 c #Conflicts: 80000 | #Constraints: 40847
246.60/247.37 c #Conflicts: 81000 | #Constraints: 41847
246.60/247.37 c #Conflicts: 82000 | #Constraints: 42847
246.60/247.37 c #Conflicts: 83000 | #Constraints: 43847
246.60/247.37 c #Conflicts: 84000 | #Constraints: 44847
246.60/247.37 c #Conflicts: 85000 | #Constraints: 45847
246.60/247.37 c #Conflicts: 86000 | #Constraints: 46847
246.60/247.37 c #Conflicts: 87000 | #Constraints: 47847
246.60/247.37 c #Conflicts: 88000 | #Constraints: 48847
246.60/247.37 c #Conflicts: 89000 | #Constraints: 49847
246.60/247.37 c #Conflicts: 90000 | #Constraints: 50847
246.60/247.37 c #Conflicts: 91000 | #Constraints: 51847
246.60/247.37 c INPROCESSING
246.60/247.37 c GARBAGE COLLECT
246.60/247.37 c #Conflicts: 92000 | #Constraints: 37766
246.60/247.37 c #Conflicts: 93000 | #Constraints: 38766
246.60/247.37 c #Conflicts: 94000 | #Constraints: 39766
246.60/247.37 c #Conflicts: 95000 | #Constraints: 40766
246.60/247.37 c #Conflicts: 96000 | #Constraints: 41766
246.60/247.37 c #Conflicts: 97000 | #Constraints: 42766
246.60/247.37 c #Conflicts: 98000 | #Constraints: 43766
246.60/247.37 c #Conflicts: 99000 | #Constraints: 44766
246.60/247.37 c #Conflicts: 100000 | #Constraints: 45766
246.60/247.37 c INPROCESSING
246.60/247.37 c GARBAGE COLLECT
246.60/247.37 c #Conflicts: 101000 | #Constraints: 36791
246.60/247.37 c #Conflicts: 102000 | #Constraints: 37791
246.60/247.37 c #Conflicts: 103000 | #Constraints: 38791
246.60/247.37 c #Conflicts: 104000 | #Constraints: 39791
246.60/247.37 c #Conflicts: 105000 | #Constraints: 40791
246.60/247.37 c #Conflicts: 106000 | #Constraints: 41791
246.60/247.37 c #Conflicts: 107000 | #Constraints: 42791
246.60/247.37 c #Conflicts: 108000 | #Constraints: 43791
246.60/247.37 c #Conflicts: 109000 | #Constraints: 44791
246.60/247.37 c #Conflicts: 110000 | #Constraints: 45791
246.60/247.37 c #Conflicts: 111000 | #Constraints: 46791
246.60/247.37 c #Conflicts: 112000 | #Constraints: 47791
246.60/247.37 c #Conflicts: 113000 | #Constraints: 48791
246.60/247.37 c #Conflicts: 114000 | #Constraints: 49791
246.60/247.37 c #Conflicts: 115000 | #Constraints: 50791
246.60/247.37 c #Conflicts: 116000 | #Constraints: 51791
246.60/247.37 c #Conflicts: 117000 | #Constraints: 52791
246.60/247.37 c #Conflicts: 118000 | #Constraints: 53791
246.60/247.37 c #Conflicts: 119000 | #Constraints: 54791
246.60/247.37 c #Conflicts: 120000 | #Constraints: 55791
246.60/247.37 c #Conflicts: 121000 | #Constraints: 56791
246.60/247.37 c INPROCESSING
246.60/247.37 c GARBAGE COLLECT
246.60/247.37 c #Conflicts: 122000 | #Constraints: 40268
246.60/247.37 c #Conflicts: 123000 | #Constraints: 41268
246.60/247.37 c #Conflicts: 124000 | #Constraints: 42268
246.60/247.37 c #Conflicts: 125000 | #Constraints: 43268
246.60/247.37 c #Conflicts: 126000 | #Constraints: 44268
246.60/247.37 c #Conflicts: 127000 | #Constraints: 45268
246.60/247.37 c #Conflicts: 128000 | #Constraints: 46268
246.60/247.37 c #Conflicts: 129000 | #Constraints: 47268
246.60/247.37 c #Conflicts: 130000 | #Constraints: 48268
246.60/247.37 c #Conflicts: 131000 | #Constraints: 49268
246.60/247.37 c #Conflicts: 132000 | #Constraints: 50268
246.60/247.37 c INPROCESSING
246.60/247.37 c GARBAGE COLLECT
246.60/247.37 c #Conflicts: 133000 | #Constraints: 40035
246.60/247.37 c #Conflicts: 134000 | #Constraints: 41035
246.60/247.37 c #Conflicts: 135000 | #Constraints: 42035
246.60/247.37 c #Conflicts: 136000 | #Constraints: 43035
246.60/247.37 c #Conflicts: 137000 | #Constraints: 44035
246.60/247.37 c #Conflicts: 138000 | #Constraints: 45035
246.60/247.37 c #Conflicts: 139000 | #Constraints: 46035
246.60/247.37 c #Conflicts: 140000 | #Constraints: 47035
246.60/247.37 c #Conflicts: 141000 | #Constraints: 48035
246.60/247.37 c #Conflicts: 142000 | #Constraints: 49035
246.60/247.37 c #Conflicts: 143000 | #Constraints: 50035
246.60/247.37 c #Conflicts: 144000 | #Constraints: 51035
246.60/247.37 c #Conflicts: 145000 | #Constraints: 52035
246.60/247.37 c #Conflicts: 146000 | #Constraints: 53035
246.60/247.37 c #Conflicts: 147000 | #Constraints: 54035
246.60/247.37 c #Conflicts: 148000 | #Constraints: 55035
246.60/247.37 c #Conflicts: 149000 | #Constraints: 56035
377.53/378.63 c #Conflicts: 150000 | #Constraints: 57035
377.53/378.63 c #Conflicts: 151000 | #Constraints: 58035
377.53/378.63 c #Conflicts: 152000 | #Constraints: 59035
377.53/378.63 c #Conflicts: 153000 | #Constraints: 60035
377.53/378.63 c #Conflicts: 154000 | #Constraints: 61035
377.53/378.63 c #Conflicts: 155000 | #Constraints: 62035
377.53/378.63 c #Conflicts: 156000 | #Constraints: 63035
377.53/378.63 c INPROCESSING
377.53/378.63 c GARBAGE COLLECT
377.53/378.63 c #Conflicts: 157000 | #Constraints: 43427
377.53/378.63 c #Conflicts: 158000 | #Constraints: 44427
377.53/378.63 c #Conflicts: 159000 | #Constraints: 45427
377.53/378.63 c #Conflicts: 160000 | #Constraints: 46427
377.53/378.63 c #Conflicts: 161000 | #Constraints: 47427
377.53/378.63 c #Conflicts: 162000 | #Constraints: 48427
377.53/378.63 c #Conflicts: 163000 | #Constraints: 49427
377.53/378.63 c #Conflicts: 164000 | #Constraints: 50427
377.53/378.63 c #Conflicts: 165000 | #Constraints: 51427
377.53/378.63 c #Conflicts: 166000 | #Constraints: 52427
377.53/378.63 c #Conflicts: 167000 | #Constraints: 53427
377.53/378.63 c #Conflicts: 168000 | #Constraints: 54427
377.53/378.63 c INPROCESSING
377.53/378.63 c GARBAGE COLLECT
377.53/378.63 c #Conflicts: 169000 | #Constraints: 42911
377.53/378.63 c #Conflicts: 170000 | #Constraints: 43911
377.53/378.63 c #Conflicts: 171000 | #Constraints: 44911
377.53/378.63 c #Conflicts: 172000 | #Constraints: 45911
377.53/378.63 c #Conflicts: 173000 | #Constraints: 46911
377.53/378.63 c #Conflicts: 174000 | #Constraints: 47911
377.53/378.63 c #Conflicts: 175000 | #Constraints: 48911
377.53/378.63 c #Conflicts: 176000 | #Constraints: 49911
377.53/378.63 c #Conflicts: 177000 | #Constraints: 50911
377.53/378.63 c #Conflicts: 178000 | #Constraints: 51911
377.53/378.63 c #Conflicts: 179000 | #Constraints: 52911
377.53/378.63 c #Conflicts: 180000 | #Constraints: 53911
377.53/378.63 c #Conflicts: 181000 | #Constraints: 54911
377.53/378.63 c #Conflicts: 182000 | #Constraints: 55911
377.53/378.63 c #Conflicts: 183000 | #Constraints: 56911
377.53/378.63 c #Conflicts: 184000 | #Constraints: 57911
377.53/378.63 c #Conflicts: 185000 | #Constraints: 58911
377.53/378.63 c #Conflicts: 186000 | #Constraints: 59911
377.53/378.63 c #Conflicts: 187000 | #Constraints: 60911
377.53/378.63 c #Conflicts: 188000 | #Constraints: 61911
377.53/378.63 c #Conflicts: 189000 | #Constraints: 62911
377.53/378.63 c #Conflicts: 190000 | #Constraints: 63911
377.53/378.63 c #Conflicts: 191000 | #Constraints: 64911
377.53/378.63 c #Conflicts: 192000 | #Constraints: 65911
377.53/378.63 c #Conflicts: 193000 | #Constraints: 66911
377.53/378.63 c #Conflicts: 194000 | #Constraints: 67911
377.53/378.63 c #Conflicts: 195000 | #Constraints: 68911
377.53/378.63 c #Conflicts: 196000 | #Constraints: 69911
377.53/378.63 c INPROCESSING
377.53/378.63 c GARBAGE COLLECT
377.53/378.63 c #Conflicts: 197000 | #Constraints: 47308
377.53/378.63 c #Conflicts: 198000 | #Constraints: 48308
377.53/378.63 c #Conflicts: 199000 | #Constraints: 49308
377.53/378.63 c #Conflicts: 200000 | #Constraints: 50308
377.53/378.63 c #Conflicts: 201000 | #Constraints: 51308
377.53/378.63 c #Conflicts: 202000 | #Constraints: 52308
377.53/378.63 c #Conflicts: 203000 | #Constraints: 53308
377.53/378.63 c #Conflicts: 204000 | #Constraints: 54308
377.53/378.63 c #Conflicts: 205000 | #Constraints: 55308
377.53/378.63 c #Conflicts: 206000 | #Constraints: 56308
377.53/378.63 c #Conflicts: 207000 | #Constraints: 57308
377.53/378.63 c #Conflicts: 208000 | #Constraints: 58308
377.53/378.63 c #Conflicts: 209000 | #Constraints: 59308
377.53/378.63 c INPROCESSING
377.53/378.63 c GARBAGE COLLECT
377.53/378.63 c #Conflicts: 210000 | #Constraints: 45956
377.53/378.63 c #Conflicts: 211000 | #Constraints: 46956
377.53/378.63 c #Conflicts: 212000 | #Constraints: 47956
377.53/378.63 c #Conflicts: 213000 | #Constraints: 48956
377.53/378.63 c #Conflicts: 214000 | #Constraints: 49956
377.53/378.63 c #Conflicts: 215000 | #Constraints: 50956
377.53/378.63 c #Conflicts: 216000 | #Constraints: 51956
377.53/378.63 c #Conflicts: 217000 | #Constraints: 52956
377.53/378.63 c #Conflicts: 218000 | #Constraints: 53956
377.53/378.63 c #Conflicts: 219000 | #Constraints: 54956
377.53/378.63 c #Conflicts: 220000 | #Constraints: 55956
377.53/378.63 c #Conflicts: 221000 | #Constraints: 56956
377.53/378.63 c #Conflicts: 222000 | #Constraints: 57956
377.53/378.63 c #Conflicts: 223000 | #Constraints: 58956
377.53/378.63 c #Conflicts: 224000 | #Constraints: 59956
377.53/378.63 c #Conflicts: 225000 | #Constraints: 60956
589.97/591.65 c #Conflicts: 226000 | #Constraints: 61956
589.97/591.65 c #Conflicts: 227000 | #Constraints: 62956
589.97/591.65 c #Conflicts: 228000 | #Constraints: 63956
589.97/591.65 c #Conflicts: 229000 | #Constraints: 64956
589.97/591.65 c #Conflicts: 230000 | #Constraints: 65956
589.97/591.65 c #Conflicts: 231000 | #Constraints: 66956
589.97/591.65 c #Conflicts: 232000 | #Constraints: 67956
589.97/591.65 c #Conflicts: 233000 | #Constraints: 68956
589.97/591.65 c #Conflicts: 234000 | #Constraints: 69956
589.97/591.65 c #Conflicts: 235000 | #Constraints: 70956
589.97/591.65 c #Conflicts: 236000 | #Constraints: 71956
589.97/591.65 c #Conflicts: 237000 | #Constraints: 72956
589.97/591.65 c #Conflicts: 238000 | #Constraints: 73956
589.97/591.65 c #Conflicts: 239000 | #Constraints: 74956
589.97/591.65 c #Conflicts: 240000 | #Constraints: 75956
589.97/591.65 c INPROCESSING
589.97/591.65 c GARBAGE COLLECT
589.97/591.65 c #Conflicts: 241000 | #Constraints: 50272
589.97/591.65 c #Conflicts: 242000 | #Constraints: 51272
589.97/591.65 c #Conflicts: 243000 | #Constraints: 52272
589.97/591.65 c #Conflicts: 244000 | #Constraints: 53272
589.97/591.65 c #Conflicts: 245000 | #Constraints: 54272
589.97/591.65 c #Conflicts: 246000 | #Constraints: 55272
589.97/591.65 c #Conflicts: 247000 | #Constraints: 56272
589.97/591.65 c #Conflicts: 248000 | #Constraints: 57272
589.97/591.65 c #Conflicts: 249000 | #Constraints: 58272
589.97/591.65 c #Conflicts: 250000 | #Constraints: 59272
589.97/591.65 c #Conflicts: 251000 | #Constraints: 60272
589.97/591.65 c #Conflicts: 252000 | #Constraints: 61272
589.97/591.65 c #Conflicts: 253000 | #Constraints: 62272
589.97/591.65 c #Conflicts: 254000 | #Constraints: 63273
589.97/591.65 c INPROCESSING
589.97/591.65 c GARBAGE COLLECT
589.97/591.65 c #Conflicts: 255000 | #Constraints: 48524
589.97/591.65 c #Conflicts: 256000 | #Constraints: 49524
589.97/591.65 c #Conflicts: 257000 | #Constraints: 50524
589.97/591.65 c #Conflicts: 258000 | #Constraints: 51524
589.97/591.65 c #Conflicts: 259000 | #Constraints: 52524
589.97/591.65 c #Conflicts: 260000 | #Constraints: 53524
589.97/591.65 c #Conflicts: 261000 | #Constraints: 54524
589.97/591.65 c #Conflicts: 262000 | #Constraints: 55524
589.97/591.65 c #Conflicts: 263000 | #Constraints: 56524
589.97/591.65 c #Conflicts: 264000 | #Constraints: 57524
589.97/591.65 c #Conflicts: 265000 | #Constraints: 58524
589.97/591.65 c #Conflicts: 266000 | #Constraints: 59524
589.97/591.65 c #Conflicts: 267000 | #Constraints: 60524
589.97/591.65 c #Conflicts: 268000 | #Constraints: 61524
589.97/591.65 c #Conflicts: 269000 | #Constraints: 62524
589.97/591.65 c #Conflicts: 270000 | #Constraints: 63524
589.97/591.65 c #Conflicts: 271000 | #Constraints: 64524
589.97/591.65 c #Conflicts: 272000 | #Constraints: 65524
589.97/591.65 c #Conflicts: 273000 | #Constraints: 66524
589.97/591.65 c #Conflicts: 274000 | #Constraints: 67524
589.97/591.65 c #Conflicts: 275000 | #Constraints: 68524
589.97/591.65 c #Conflicts: 276000 | #Constraints: 69524
589.97/591.65 c #Conflicts: 277000 | #Constraints: 70524
589.97/591.65 c #Conflicts: 278000 | #Constraints: 71524
589.97/591.65 c #Conflicts: 279000 | #Constraints: 72524
589.97/591.65 c #Conflicts: 280000 | #Constraints: 73524
589.97/591.65 c #Conflicts: 281000 | #Constraints: 74524
589.97/591.65 c #Conflicts: 282000 | #Constraints: 75524
589.97/591.65 c #Conflicts: 283000 | #Constraints: 76524
589.97/591.65 c #Conflicts: 284000 | #Constraints: 77524
589.97/591.65 c #Conflicts: 285000 | #Constraints: 78524
589.97/591.65 c #Conflicts: 286000 | #Constraints: 79524
589.97/591.65 c #Conflicts: 287000 | #Constraints: 80524
589.97/591.65 c #Conflicts: 288000 | #Constraints: 81524
589.97/591.65 c INPROCESSING
589.97/591.65 c GARBAGE COLLECT
589.97/591.65 c #Conflicts: 289000 | #Constraints: 53166
589.97/591.65 c #Conflicts: 290000 | #Constraints: 54166
589.97/591.65 c #Conflicts: 291000 | #Constraints: 55166
589.97/591.65 c #Conflicts: 292000 | #Constraints: 56166
589.97/591.65 c #Conflicts: 293000 | #Constraints: 57166
589.97/591.65 c #Conflicts: 294000 | #Constraints: 58166
589.97/591.65 c #Conflicts: 295000 | #Constraints: 59166
589.97/591.65 c #Conflicts: 296000 | #Constraints: 60166
589.97/591.65 c #Conflicts: 297000 | #Constraints: 61166
589.97/591.65 c #Conflicts: 298000 | #Constraints: 62166
589.97/591.65 c #Conflicts: 299000 | #Constraints: 63166
589.97/591.65 c #Conflicts: 300000 | #Constraints: 64166
589.97/591.65 c #Conflicts: 301000 | #Constraints: 65166
589.97/591.65 c #Conflicts: 302000 | #Constraints: 66166
736.35/738.42 c #Conflicts: 303000 | #Constraints: 67166
736.35/738.42 c INPROCESSING
736.35/738.42 c GARBAGE COLLECT
736.35/738.42 c #Conflicts: 304000 | #Constraints: 51284
736.35/738.42 c #Conflicts: 305000 | #Constraints: 52284
736.35/738.42 c #Conflicts: 306000 | #Constraints: 53284
736.35/738.42 c #Conflicts: 307000 | #Constraints: 54284
736.35/738.42 c #Conflicts: 308000 | #Constraints: 55284
736.35/738.42 c #Conflicts: 309000 | #Constraints: 56284
736.35/738.42 c #Conflicts: 310000 | #Constraints: 57284
736.35/738.42 c #Conflicts: 311000 | #Constraints: 58284
736.35/738.42 c #Conflicts: 312000 | #Constraints: 59284
736.35/738.42 c #Conflicts: 313000 | #Constraints: 60284
736.35/738.42 c #Conflicts: 314000 | #Constraints: 61284
736.35/738.42 c #Conflicts: 315000 | #Constraints: 62284
736.35/738.42 c #Conflicts: 316000 | #Constraints: 63284
736.35/738.42 c #Conflicts: 317000 | #Constraints: 64284
736.35/738.42 c #Conflicts: 318000 | #Constraints: 65284
736.35/738.42 c #Conflicts: 319000 | #Constraints: 66284
736.35/738.42 c #Conflicts: 320000 | #Constraints: 67284
736.35/738.42 c #Conflicts: 321000 | #Constraints: 68284
736.35/738.42 c #Conflicts: 322000 | #Constraints: 69284
736.35/738.42 c #Conflicts: 323000 | #Constraints: 70284
736.35/738.42 c #Conflicts: 324000 | #Constraints: 71284
736.35/738.42 c #Conflicts: 325000 | #Constraints: 72284
736.35/738.42 c #Conflicts: 326000 | #Constraints: 73284
736.35/738.42 c #Conflicts: 327000 | #Constraints: 74284
736.35/738.42 c #Conflicts: 328000 | #Constraints: 75284
736.35/738.42 c #Conflicts: 329000 | #Constraints: 76284
736.35/738.42 c #Conflicts: 330000 | #Constraints: 77284
736.35/738.42 c #Conflicts: 331000 | #Constraints: 78284
736.35/738.42 c #Conflicts: 332000 | #Constraints: 79284
736.35/738.42 c #Conflicts: 333000 | #Constraints: 80284
736.35/738.42 c #Conflicts: 334000 | #Constraints: 81284
736.35/738.42 c #Conflicts: 335000 | #Constraints: 82284
736.35/738.42 c #Conflicts: 336000 | #Constraints: 83284
736.35/738.42 c #Conflicts: 337000 | #Constraints: 84284
736.35/738.42 c #Conflicts: 338000 | #Constraints: 85284
736.35/738.42 c #Conflicts: 339000 | #Constraints: 86284
736.35/738.42 c #Conflicts: 340000 | #Constraints: 87284
736.35/738.42 c INPROCESSING
736.35/738.42 c GARBAGE COLLECT
736.35/738.42 c #Conflicts: 341000 | #Constraints: 55874
736.35/738.42 c #Conflicts: 342000 | #Constraints: 56874
736.35/738.42 c #Conflicts: 343000 | #Constraints: 57874
736.35/738.42 c #Conflicts: 344000 | #Constraints: 58874
736.35/738.42 c #Conflicts: 345000 | #Constraints: 59874
736.35/738.42 c #Conflicts: 346000 | #Constraints: 60874
736.35/738.42 c #Conflicts: 347000 | #Constraints: 61874
736.35/738.42 c #Conflicts: 348000 | #Constraints: 62874
736.35/738.42 c #Conflicts: 349000 | #Constraints: 63874
736.35/738.42 c #Conflicts: 350000 | #Constraints: 64874
736.35/738.42 c #Conflicts: 351000 | #Constraints: 65874
736.35/738.42 c #Conflicts: 352000 | #Constraints: 66874
736.35/738.42 c #Conflicts: 353000 | #Constraints: 67874
736.35/738.42 c #Conflicts: 354000 | #Constraints: 68874
736.35/738.42 c #Conflicts: 355000 | #Constraints: 69874
736.35/738.42 c #Conflicts: 356000 | #Constraints: 70874
736.35/738.42 c #Conflicts: 357000 | #Constraints: 71874
736.35/738.42 c INPROCESSING
736.35/738.42 c GARBAGE COLLECT
736.35/738.42 c #Conflicts: 358000 | #Constraints: 54258
736.35/738.42 c #Conflicts: 359000 | #Constraints: 55258
736.35/738.42 c #Conflicts: 360000 | #Constraints: 56258
736.35/738.42 c #Conflicts: 361000 | #Constraints: 57258
736.35/738.42 c #Conflicts: 362000 | #Constraints: 58258
736.35/738.42 c #Conflicts: 363000 | #Constraints: 59258
736.35/738.42 c #Conflicts: 364000 | #Constraints: 60258
736.35/738.42 c #Conflicts: 365000 | #Constraints: 61258
736.35/738.42 c #Conflicts: 366000 | #Constraints: 62258
736.35/738.42 c #Conflicts: 367000 | #Constraints: 63258
736.35/738.42 c #Conflicts: 368000 | #Constraints: 64258
736.35/738.42 c #Conflicts: 369000 | #Constraints: 65258
736.35/738.42 c #Conflicts: 370000 | #Constraints: 66258
736.35/738.42 c #Conflicts: 371000 | #Constraints: 67258
736.35/738.42 c #Conflicts: 372000 | #Constraints: 68258
736.35/738.42 c #Conflicts: 373000 | #Constraints: 69258
736.35/738.42 c #Conflicts: 374000 | #Constraints: 70258
736.35/738.42 c #Conflicts: 375000 | #Constraints: 71258
736.35/738.42 c #Conflicts: 376000 | #Constraints: 72258
736.35/738.42 c #Conflicts: 377000 | #Constraints: 73258
736.35/738.42 c #Conflicts: 378000 | #Constraints: 74258
909.81/912.43 c #Conflicts: 379000 | #Constraints: 75258
909.81/912.43 c #Conflicts: 380000 | #Constraints: 76258
909.81/912.43 c #Conflicts: 381000 | #Constraints: 77258
909.81/912.43 c #Conflicts: 382000 | #Constraints: 78258
909.81/912.43 c #Conflicts: 383000 | #Constraints: 79258
909.81/912.43 c #Conflicts: 384000 | #Constraints: 80258
909.81/912.43 c #Conflicts: 385000 | #Constraints: 81258
909.81/912.43 c #Conflicts: 386000 | #Constraints: 82258
909.81/912.43 c #Conflicts: 387000 | #Constraints: 83258
909.81/912.43 c #Conflicts: 388000 | #Constraints: 84258
909.81/912.43 c #Conflicts: 389000 | #Constraints: 85258
909.81/912.43 c #Conflicts: 390000 | #Constraints: 86258
909.81/912.43 c #Conflicts: 391000 | #Constraints: 87258
909.81/912.43 c #Conflicts: 392000 | #Constraints: 88258
909.81/912.43 c #Conflicts: 393000 | #Constraints: 89258
909.81/912.43 c #Conflicts: 394000 | #Constraints: 90258
909.81/912.43 c #Conflicts: 395000 | #Constraints: 91258
909.81/912.43 c #Conflicts: 396000 | #Constraints: 92258
909.81/912.43 c #Conflicts: 397000 | #Constraints: 93258
909.81/912.43 c INPROCESSING
909.81/912.43 c GARBAGE COLLECT
909.81/912.43 c #Conflicts: 398000 | #Constraints: 58983
909.81/912.43 c #Conflicts: 399000 | #Constraints: 59983
909.81/912.43 c #Conflicts: 400000 | #Constraints: 60983
909.81/912.43 c #Conflicts: 401000 | #Constraints: 61983
909.81/912.43 c #Conflicts: 402000 | #Constraints: 62983
909.81/912.43 c #Conflicts: 403000 | #Constraints: 63983
909.81/912.43 c #Conflicts: 404000 | #Constraints: 64983
909.81/912.43 c #Conflicts: 405000 | #Constraints: 65983
909.81/912.43 c #Conflicts: 406000 | #Constraints: 66983
909.81/912.43 c #Conflicts: 407000 | #Constraints: 67983
909.81/912.43 c #Conflicts: 408000 | #Constraints: 68983
909.81/912.43 c #Conflicts: 409000 | #Constraints: 69983
909.81/912.43 c #Conflicts: 410000 | #Constraints: 70983
909.81/912.43 c #Conflicts: 411000 | #Constraints: 71983
909.81/912.43 c #Conflicts: 412000 | #Constraints: 72983
909.81/912.43 c #Conflicts: 413000 | #Constraints: 73983
909.81/912.43 c #Conflicts: 414000 | #Constraints: 74983
909.81/912.43 c #Conflicts: 415000 | #Constraints: 75983
909.81/912.43 c INPROCESSING
909.81/912.43 c GARBAGE COLLECT
909.81/912.43 c #Conflicts: 416000 | #Constraints: 57071
909.81/912.43 c #Conflicts: 417000 | #Constraints: 58071
909.81/912.43 c #Conflicts: 418000 | #Constraints: 59071
909.81/912.43 c #Conflicts: 419000 | #Constraints: 60071
909.81/912.43 c #Conflicts: 420000 | #Constraints: 61071
909.81/912.43 c #Conflicts: 421000 | #Constraints: 62071
909.81/912.43 c #Conflicts: 422000 | #Constraints: 63071
909.81/912.43 c #Conflicts: 423000 | #Constraints: 64071
909.81/912.43 c #Conflicts: 424000 | #Constraints: 65071
909.81/912.43 c #Conflicts: 425000 | #Constraints: 66071
909.81/912.43 c #Conflicts: 426000 | #Constraints: 67071
909.81/912.43 c #Conflicts: 427000 | #Constraints: 68071
909.81/912.43 c #Conflicts: 428000 | #Constraints: 69071
909.81/912.43 c #Conflicts: 429000 | #Constraints: 70071
909.81/912.43 c #Conflicts: 430000 | #Constraints: 71071
909.81/912.43 c #Conflicts: 431000 | #Constraints: 72071
909.81/912.43 c #Conflicts: 432000 | #Constraints: 73071
909.81/912.43 c #Conflicts: 433000 | #Constraints: 74071
909.81/912.43 c #Conflicts: 434000 | #Constraints: 75071
909.81/912.43 c #Conflicts: 435000 | #Constraints: 76071
909.81/912.43 c #Conflicts: 436000 | #Constraints: 77071
909.81/912.43 c #Conflicts: 437000 | #Constraints: 78071
909.81/912.43 c #Conflicts: 438000 | #Constraints: 79071
909.81/912.43 c #Conflicts: 439000 | #Constraints: 80071
909.81/912.43 c #Conflicts: 440000 | #Constraints: 81071
909.81/912.43 c #Conflicts: 441000 | #Constraints: 82071
909.81/912.43 c #Conflicts: 442000 | #Constraints: 83071
909.81/912.43 c #Conflicts: 443000 | #Constraints: 84071
909.81/912.43 c #Conflicts: 444000 | #Constraints: 85071
909.81/912.43 c #Conflicts: 445000 | #Constraints: 86071
909.81/912.43 c #Conflicts: 446000 | #Constraints: 87071
909.81/912.43 c #Conflicts: 447000 | #Constraints: 88071
909.81/912.43 c #Conflicts: 448000 | #Constraints: 89071
909.81/912.43 c #Conflicts: 449000 | #Constraints: 90071
909.81/912.43 c #Conflicts: 450000 | #Constraints: 91071
909.81/912.43 c #Conflicts: 451000 | #Constraints: 92071
909.81/912.43 c #Conflicts: 452000 | #Constraints: 93071
909.81/912.43 c #Conflicts: 453000 | #Constraints: 94072
909.81/912.43 c #Conflicts: 454000 | #Constraints: 95072
909.81/912.43 c #Conflicts: 455000 | #Constraints: 96072
909.81/912.43 c #Conflicts: 456000 | #Constraints: 97072
1100.63/1103.82 c #Conflicts: 457000 | #Constraints: 98072
1100.63/1103.82 c #Conflicts: 458000 | #Constraints: 99072
1100.63/1103.82 c #Conflicts: 459000 | #Constraints: 100072
1100.63/1103.82 c INPROCESSING
1100.63/1103.82 c GARBAGE COLLECT
1100.63/1103.82 c #Conflicts: 460000 | #Constraints: 62565
1100.63/1103.82 c #Conflicts: 461000 | #Constraints: 63565
1100.63/1103.82 c #Conflicts: 462000 | #Constraints: 64565
1100.63/1103.82 c #Conflicts: 463000 | #Constraints: 65565
1100.63/1103.82 c #Conflicts: 464000 | #Constraints: 66565
1100.63/1103.82 c #Conflicts: 465000 | #Constraints: 67565
1100.63/1103.82 c #Conflicts: 466000 | #Constraints: 68565
1100.63/1103.82 c #Conflicts: 467000 | #Constraints: 69565
1100.63/1103.82 c #Conflicts: 468000 | #Constraints: 70565
1100.63/1103.82 c #Conflicts: 469000 | #Constraints: 71565
1100.63/1103.82 c #Conflicts: 470000 | #Constraints: 72565
1100.63/1103.82 c #Conflicts: 471000 | #Constraints: 73565
1100.63/1103.82 c #Conflicts: 472000 | #Constraints: 74565
1100.63/1103.82 c #Conflicts: 473000 | #Constraints: 75565
1100.63/1103.82 c #Conflicts: 474000 | #Constraints: 76565
1100.63/1103.82 c #Conflicts: 475000 | #Constraints: 77565
1100.63/1103.82 c #Conflicts: 476000 | #Constraints: 78565
1100.63/1103.82 c #Conflicts: 477000 | #Constraints: 79565
1100.63/1103.82 c #Conflicts: 478000 | #Constraints: 80565
1100.63/1103.82 c INPROCESSING
1100.63/1103.82 c GARBAGE COLLECT
1100.63/1103.82 c #Conflicts: 479000 | #Constraints: 59928
1100.63/1103.82 c #Conflicts: 480000 | #Constraints: 60928
1100.63/1103.82 c #Conflicts: 481000 | #Constraints: 61928
1100.63/1103.82 c #Conflicts: 482000 | #Constraints: 62928
1100.63/1103.82 c #Conflicts: 483000 | #Constraints: 63928
1100.63/1103.82 c #Conflicts: 484000 | #Constraints: 64928
1100.63/1103.82 c #Conflicts: 485000 | #Constraints: 65928
1100.63/1103.82 c #Conflicts: 486000 | #Constraints: 66928
1100.63/1103.82 c #Conflicts: 487000 | #Constraints: 67928
1100.63/1103.82 c #Conflicts: 488000 | #Constraints: 68928
1100.63/1103.82 c #Conflicts: 489000 | #Constraints: 69928
1100.63/1103.82 c #Conflicts: 490000 | #Constraints: 70928
1100.63/1103.82 c #Conflicts: 491000 | #Constraints: 71928
1100.63/1103.82 c #Conflicts: 492000 | #Constraints: 72928
1100.63/1103.82 c #Conflicts: 493000 | #Constraints: 73928
1100.63/1103.82 c #Conflicts: 494000 | #Constraints: 74928
1100.63/1103.82 c #Conflicts: 495000 | #Constraints: 75928
1100.63/1103.82 c #Conflicts: 496000 | #Constraints: 76928
1100.63/1103.82 c #Conflicts: 497000 | #Constraints: 77928
1100.63/1103.82 c #Conflicts: 498000 | #Constraints: 78928
1100.63/1103.82 c #Conflicts: 499000 | #Constraints: 79928
1100.63/1103.82 c #Conflicts: 500000 | #Constraints: 80928
1100.63/1103.82 c #Conflicts: 501000 | #Constraints: 81928
1100.63/1103.82 c #Conflicts: 502000 | #Constraints: 82928
1100.63/1103.82 c #Conflicts: 503000 | #Constraints: 83928
1100.63/1103.82 c #Conflicts: 504000 | #Constraints: 84928
1100.63/1103.82 c #Conflicts: 505000 | #Constraints: 85928
1100.63/1103.82 c #Conflicts: 506000 | #Constraints: 86928
1100.63/1103.82 c #Conflicts: 507000 | #Constraints: 87928
1100.63/1103.82 c #Conflicts: 508000 | #Constraints: 88928
1100.63/1103.82 c #Conflicts: 509000 | #Constraints: 89928
1100.63/1103.82 c #Conflicts: 510000 | #Constraints: 90928
1100.63/1103.82 c #Conflicts: 511000 | #Constraints: 91928
1100.63/1103.82 c #Conflicts: 512000 | #Constraints: 92928
1100.63/1103.82 c #Conflicts: 513000 | #Constraints: 93928
1100.63/1103.82 c #Conflicts: 514000 | #Constraints: 94928
1100.63/1103.82 c #Conflicts: 515000 | #Constraints: 95928
1100.63/1103.82 c #Conflicts: 516000 | #Constraints: 96928
1100.63/1103.82 c #Conflicts: 517000 | #Constraints: 97928
1100.63/1103.82 c #Conflicts: 518000 | #Constraints: 98928
1100.63/1103.82 c #Conflicts: 519000 | #Constraints: 99928
1100.63/1103.82 c #Conflicts: 520000 | #Constraints: 100928
1100.63/1103.82 c #Conflicts: 521000 | #Constraints: 101928
1100.63/1103.82 c #Conflicts: 522000 | #Constraints: 102928
1100.63/1103.82 c #Conflicts: 523000 | #Constraints: 103928
1100.63/1103.82 c #Conflicts: 524000 | #Constraints: 104928
1100.63/1103.82 c #Conflicts: 525000 | #Constraints: 105928
1100.63/1103.82 c INPROCESSING
1100.63/1103.82 c GARBAGE COLLECT
1100.63/1103.82 c #Conflicts: 526000 | #Constraints: 65693
1100.63/1103.82 c #Conflicts: 527000 | #Constraints: 66693
1100.63/1103.82 c #Conflicts: 528000 | #Constraints: 67693
1100.63/1103.82 c #Conflicts: 529000 | #Constraints: 68693
1100.63/1103.82 c #Conflicts: 530000 | #Constraints: 69693
1100.63/1103.82 c #Conflicts: 531000 | #Constraints: 70693
1100.63/1103.82 c #Conflicts: 532000 | #Constraints: 71693
1100.63/1103.82 c #Conflicts: 533000 | #Constraints: 72693
1177.51/1180.90 c #Conflicts: 534000 | #Constraints: 73693
1177.51/1180.90 c #Conflicts: 535000 | #Constraints: 74693
1177.51/1180.90 c #Conflicts: 536000 | #Constraints: 75693
1177.51/1180.90 c #Conflicts: 537000 | #Constraints: 76693
1177.51/1180.90 c #Conflicts: 538000 | #Constraints: 77693
1177.51/1180.90 c #Conflicts: 539000 | #Constraints: 78693
1177.51/1180.90 c #Conflicts: 540000 | #Constraints: 79693
1177.51/1180.90 c #Conflicts: 541000 | #Constraints: 80693
1177.51/1180.90 c #Conflicts: 542000 | #Constraints: 81693
1177.51/1180.90 c #Conflicts: 543000 | #Constraints: 82693
1177.51/1180.90 c #Conflicts: 544000 | #Constraints: 83693
1177.51/1180.90 c #Conflicts: 545000 | #Constraints: 84693
1177.51/1180.90 c INPROCESSING
1177.51/1180.90 c GARBAGE COLLECT
1177.51/1180.90 c rational objective 176
1341.51/1345.48 c #Conflicts: 546000 | #Constraints: 62484
1341.51/1345.48 c #Conflicts: 547000 | #Constraints: 63484
1341.51/1345.48 c #Conflicts: 548000 | #Constraints: 64484
1341.51/1345.48 c #Conflicts: 549000 | #Constraints: 65484
1341.51/1345.48 c #Conflicts: 550000 | #Constraints: 66484
1341.51/1345.48 c #Conflicts: 551000 | #Constraints: 67484
1341.51/1345.48 c #Conflicts: 552000 | #Constraints: 68484
1341.51/1345.48 c #Conflicts: 553000 | #Constraints: 69484
1341.51/1345.48 c #Conflicts: 554000 | #Constraints: 70484
1341.51/1345.48 c #Conflicts: 555000 | #Constraints: 71484
1341.51/1345.48 c #Conflicts: 556000 | #Constraints: 72484
1341.51/1345.48 c #Conflicts: 557000 | #Constraints: 73484
1341.51/1345.48 c #Conflicts: 558000 | #Constraints: 74484
1341.51/1345.48 c #Conflicts: 559000 | #Constraints: 75484
1341.51/1345.48 c #Conflicts: 560000 | #Constraints: 76484
1341.51/1345.48 c #Conflicts: 561000 | #Constraints: 77484
1341.51/1345.48 c #Conflicts: 562000 | #Constraints: 78484
1341.51/1345.48 c #Conflicts: 563000 | #Constraints: 79484
1341.51/1345.48 c #Conflicts: 564000 | #Constraints: 80484
1341.51/1345.48 c #Conflicts: 565000 | #Constraints: 81484
1341.51/1345.48 c #Conflicts: 566000 | #Constraints: 82484
1341.51/1345.48 c #Conflicts: 567000 | #Constraints: 83484
1341.51/1345.48 c #Conflicts: 568000 | #Constraints: 84484
1341.51/1345.48 c #Conflicts: 569000 | #Constraints: 85484
1341.51/1345.48 c #Conflicts: 570000 | #Constraints: 86484
1341.51/1345.48 c #Conflicts: 571000 | #Constraints: 87484
1341.51/1345.48 c #Conflicts: 572000 | #Constraints: 88484
1341.51/1345.48 c #Conflicts: 573000 | #Constraints: 89484
1341.51/1345.48 c #Conflicts: 574000 | #Constraints: 90484
1341.51/1345.48 c #Conflicts: 575000 | #Constraints: 91484
1341.51/1345.48 c #Conflicts: 576000 | #Constraints: 92484
1341.51/1345.48 c #Conflicts: 577000 | #Constraints: 93484
1341.51/1345.48 c #Conflicts: 578000 | #Constraints: 94484
1341.51/1345.48 c #Conflicts: 579000 | #Constraints: 95484
1341.51/1345.48 c #Conflicts: 580000 | #Constraints: 96484
1341.51/1345.48 c #Conflicts: 581000 | #Constraints: 97484
1341.51/1345.48 c #Conflicts: 582000 | #Constraints: 98484
1341.51/1345.48 c #Conflicts: 583000 | #Constraints: 99484
1341.51/1345.48 c #Conflicts: 584000 | #Constraints: 100484
1341.51/1345.48 c #Conflicts: 585000 | #Constraints: 101484
1341.51/1345.48 c #Conflicts: 586000 | #Constraints: 102484
1341.51/1345.48 c #Conflicts: 587000 | #Constraints: 103484
1341.51/1345.48 c #Conflicts: 588000 | #Constraints: 104484
1341.51/1345.48 c #Conflicts: 589000 | #Constraints: 105484
1341.51/1345.48 c #Conflicts: 590000 | #Constraints: 106484
1341.51/1345.48 c #Conflicts: 591000 | #Constraints: 107484
1341.51/1345.48 c #Conflicts: 592000 | #Constraints: 108484
1341.51/1345.48 c #Conflicts: 593000 | #Constraints: 109484
1341.51/1345.48 c #Conflicts: 594000 | #Constraints: 110484
1341.51/1345.48 c #Conflicts: 595000 | #Constraints: 111484
1341.51/1345.48 c INPROCESSING
1341.51/1345.48 c GARBAGE COLLECT
1341.51/1345.48 c #Conflicts: 596000 | #Constraints: 68390
1341.51/1345.48 c #Conflicts: 597000 | #Constraints: 69390
1341.51/1345.48 c #Conflicts: 598000 | #Constraints: 70390
1341.51/1345.48 c #Conflicts: 599000 | #Constraints: 71390
1341.51/1345.48 c #Conflicts: 600000 | #Constraints: 72390
1341.51/1345.48 c #Conflicts: 601000 | #Constraints: 73390
1341.51/1345.48 c #Conflicts: 602000 | #Constraints: 74390
1341.51/1345.48 c #Conflicts: 603000 | #Constraints: 75390
1341.51/1345.48 c #Conflicts: 604000 | #Constraints: 76390
1341.51/1345.48 c #Conflicts: 605000 | #Constraints: 77390
1341.51/1345.48 c #Conflicts: 606000 | #Constraints: 78390
1341.51/1345.48 c #Conflicts: 607000 | #Constraints: 79390
1341.51/1345.48 c #Conflicts: 608000 | #Constraints: 80390
1341.51/1345.48 c #Conflicts: 609000 | #Constraints: 81390
1341.51/1345.48 c #Conflicts: 610000 | #Constraints: 82390
1341.51/1345.48 c #Conflicts: 611000 | #Constraints: 83390
1341.51/1345.48 c #Conflicts: 612000 | #Constraints: 84390
1341.51/1345.48 c #Conflicts: 613000 | #Constraints: 85390
1341.51/1345.48 c #Conflicts: 614000 | #Constraints: 86390
1341.51/1345.48 c #Conflicts: 615000 | #Constraints: 87390
1341.51/1345.48 c #Conflicts: 616000 | #Constraints: 88390
1341.51/1345.48 c #Conflicts: 617000 | #Constraints: 89390
1341.51/1345.48 c INPROCESSING
1341.51/1345.48 c GARBAGE COLLECT
1341.51/1345.48 c #Conflicts: 618000 | #Constraints: 65813
1341.51/1345.48 c #Conflicts: 619000 | #Constraints: 66813
1341.51/1345.48 c #Conflicts: 620000 | #Constraints: 67813
1341.51/1345.48 c #Conflicts: 621000 | #Constraints: 68813
1341.51/1345.48 c #Conflicts: 622000 | #Constraints: 69813
1341.51/1345.48 c #Conflicts: 623000 | #Constraints: 70813
1529.79/1534.24 c #Conflicts: 624000 | #Constraints: 71813
1529.79/1534.24 c #Conflicts: 625000 | #Constraints: 72813
1529.79/1534.24 c #Conflicts: 626000 | #Constraints: 73813
1529.79/1534.24 c #Conflicts: 627000 | #Constraints: 74813
1529.79/1534.24 c #Conflicts: 628000 | #Constraints: 75813
1529.79/1534.24 c #Conflicts: 629000 | #Constraints: 76813
1529.79/1534.24 c #Conflicts: 630000 | #Constraints: 77813
1529.79/1534.24 c #Conflicts: 631000 | #Constraints: 78813
1529.79/1534.24 c #Conflicts: 632000 | #Constraints: 79813
1529.79/1534.24 c #Conflicts: 633000 | #Constraints: 80813
1529.79/1534.24 c #Conflicts: 634000 | #Constraints: 81813
1529.79/1534.24 c #Conflicts: 635000 | #Constraints: 82813
1529.79/1534.24 c #Conflicts: 636000 | #Constraints: 83813
1529.79/1534.24 c #Conflicts: 637000 | #Constraints: 84813
1529.79/1534.24 c #Conflicts: 638000 | #Constraints: 85813
1529.79/1534.24 c #Conflicts: 639000 | #Constraints: 86813
1529.79/1534.24 c #Conflicts: 640000 | #Constraints: 87813
1529.79/1534.24 c #Conflicts: 641000 | #Constraints: 88813
1529.79/1534.24 c #Conflicts: 642000 | #Constraints: 89813
1529.79/1534.24 c #Conflicts: 643000 | #Constraints: 90813
1529.79/1534.24 c #Conflicts: 644000 | #Constraints: 91813
1529.79/1534.24 c #Conflicts: 645000 | #Constraints: 92813
1529.79/1534.24 c #Conflicts: 646000 | #Constraints: 93813
1529.79/1534.24 c #Conflicts: 647000 | #Constraints: 94813
1529.79/1534.24 c #Conflicts: 648000 | #Constraints: 95813
1529.79/1534.24 c #Conflicts: 649000 | #Constraints: 96813
1529.79/1534.24 c #Conflicts: 650000 | #Constraints: 97813
1529.79/1534.24 c #Conflicts: 651000 | #Constraints: 98813
1529.79/1534.24 c #Conflicts: 652000 | #Constraints: 99813
1529.79/1534.24 c #Conflicts: 653000 | #Constraints: 100813
1529.79/1534.24 c #Conflicts: 654000 | #Constraints: 101813
1529.79/1534.24 c #Conflicts: 655000 | #Constraints: 102813
1529.79/1534.24 c #Conflicts: 656000 | #Constraints: 103813
1529.79/1534.24 c #Conflicts: 657000 | #Constraints: 104813
1529.79/1534.24 c #Conflicts: 658000 | #Constraints: 105813
1529.79/1534.24 c #Conflicts: 659000 | #Constraints: 106813
1529.79/1534.24 c #Conflicts: 660000 | #Constraints: 107813
1529.79/1534.24 c #Conflicts: 661000 | #Constraints: 108813
1529.79/1534.24 c #Conflicts: 662000 | #Constraints: 109813
1529.79/1534.24 c #Conflicts: 663000 | #Constraints: 110813
1529.79/1534.24 c #Conflicts: 664000 | #Constraints: 111813
1529.79/1534.24 c #Conflicts: 665000 | #Constraints: 112813
1529.79/1534.24 c #Conflicts: 666000 | #Constraints: 113813
1529.79/1534.24 c #Conflicts: 667000 | #Constraints: 114813
1529.79/1534.24 c #Conflicts: 668000 | #Constraints: 115813
1529.79/1534.24 c #Conflicts: 669000 | #Constraints: 116813
1529.79/1534.24 c INPROCESSING
1529.79/1534.24 c GARBAGE COLLECT
1529.79/1534.24 c #Conflicts: 670000 | #Constraints: 71031
1529.79/1534.24 c #Conflicts: 671000 | #Constraints: 72031
1529.79/1534.24 c #Conflicts: 672000 | #Constraints: 73031
1529.79/1534.24 c #Conflicts: 673000 | #Constraints: 74031
1529.79/1534.24 c #Conflicts: 674000 | #Constraints: 75031
1529.79/1534.24 c #Conflicts: 675000 | #Constraints: 76031
1529.79/1534.24 c #Conflicts: 676000 | #Constraints: 77031
1529.79/1534.24 c #Conflicts: 677000 | #Constraints: 78031
1529.79/1534.24 c #Conflicts: 678000 | #Constraints: 79031
1529.79/1534.24 c #Conflicts: 679000 | #Constraints: 80031
1529.79/1534.24 c #Conflicts: 680000 | #Constraints: 81031
1529.79/1534.24 c #Conflicts: 681000 | #Constraints: 82031
1529.79/1534.24 c #Conflicts: 682000 | #Constraints: 83031
1529.79/1534.24 c #Conflicts: 683000 | #Constraints: 84031
1529.79/1534.24 c #Conflicts: 684000 | #Constraints: 85031
1529.79/1534.24 c #Conflicts: 685000 | #Constraints: 86031
1529.79/1534.24 c #Conflicts: 686000 | #Constraints: 87031
1529.79/1534.24 c #Conflicts: 687000 | #Constraints: 88031
1529.79/1534.24 c #Conflicts: 688000 | #Constraints: 89031
1529.79/1534.24 c #Conflicts: 689000 | #Constraints: 90031
1529.79/1534.24 c #Conflicts: 690000 | #Constraints: 91031
1529.79/1534.24 c #Conflicts: 691000 | #Constraints: 92031
1529.79/1534.24 c #Conflicts: 692000 | #Constraints: 93031
1529.79/1534.24 c #Conflicts: 693000 | #Constraints: 94031
1529.79/1534.24 c INPROCESSING
1529.79/1534.24 c GARBAGE COLLECT
1529.79/1534.24 c #Conflicts: 694000 | #Constraints: 69092
1529.79/1534.24 c #Conflicts: 695000 | #Constraints: 70092
1529.79/1534.24 c #Conflicts: 696000 | #Constraints: 71092
1529.79/1534.24 c #Conflicts: 697000 | #Constraints: 72092
1529.79/1534.24 c #Conflicts: 698000 | #Constraints: 73092
1529.79/1534.24 c #Conflicts: 699000 | #Constraints: 74092
1529.79/1534.24 c #Conflicts: 700000 | #Constraints: 75092
1713.80/1718.77 c #Conflicts: 701000 | #Constraints: 76092
1713.80/1718.77 c #Conflicts: 702000 | #Constraints: 77092
1713.80/1718.77 c #Conflicts: 703000 | #Constraints: 78092
1713.80/1718.77 c #Conflicts: 704000 | #Constraints: 79092
1713.80/1718.77 c #Conflicts: 705000 | #Constraints: 80092
1713.80/1718.77 c #Conflicts: 706000 | #Constraints: 81092
1713.80/1718.77 c #Conflicts: 707000 | #Constraints: 82092
1713.80/1718.77 c #Conflicts: 708000 | #Constraints: 83092
1713.80/1718.77 c #Conflicts: 709000 | #Constraints: 84092
1713.80/1718.77 c #Conflicts: 710000 | #Constraints: 85092
1713.80/1718.77 c #Conflicts: 711000 | #Constraints: 86092
1713.80/1718.77 c #Conflicts: 712000 | #Constraints: 87092
1713.80/1718.77 c #Conflicts: 713000 | #Constraints: 88092
1713.80/1718.77 c #Conflicts: 714000 | #Constraints: 89092
1713.80/1718.77 c #Conflicts: 715000 | #Constraints: 90092
1713.80/1718.77 c #Conflicts: 716000 | #Constraints: 91092
1713.80/1718.77 c #Conflicts: 717000 | #Constraints: 92092
1713.80/1718.77 c #Conflicts: 718000 | #Constraints: 93092
1713.80/1718.77 c #Conflicts: 719000 | #Constraints: 94092
1713.80/1718.77 c #Conflicts: 720000 | #Constraints: 95092
1713.80/1718.77 c #Conflicts: 721000 | #Constraints: 96092
1713.80/1718.77 c #Conflicts: 722000 | #Constraints: 97092
1713.80/1718.77 c #Conflicts: 723000 | #Constraints: 98092
1713.80/1718.77 c #Conflicts: 724000 | #Constraints: 99092
1713.80/1718.77 c #Conflicts: 725000 | #Constraints: 100092
1713.80/1718.77 c #Conflicts: 726000 | #Constraints: 101092
1713.80/1718.77 c #Conflicts: 727000 | #Constraints: 102092
1713.80/1718.77 c #Conflicts: 728000 | #Constraints: 103092
1713.80/1718.77 c #Conflicts: 729000 | #Constraints: 104092
1713.80/1718.77 c #Conflicts: 730000 | #Constraints: 105092
1713.80/1718.77 c #Conflicts: 731000 | #Constraints: 106092
1713.80/1718.77 c #Conflicts: 732000 | #Constraints: 107092
1713.80/1718.77 c #Conflicts: 733000 | #Constraints: 108092
1713.80/1718.77 c #Conflicts: 734000 | #Constraints: 109092
1713.80/1718.77 c #Conflicts: 735000 | #Constraints: 110092
1713.80/1718.77 c #Conflicts: 736000 | #Constraints: 111092
1713.80/1718.77 c #Conflicts: 737000 | #Constraints: 112092
1713.80/1718.77 c #Conflicts: 738000 | #Constraints: 113092
1713.80/1718.77 c #Conflicts: 739000 | #Constraints: 114092
1713.80/1718.77 c #Conflicts: 740000 | #Constraints: 115092
1713.80/1718.77 c #Conflicts: 741000 | #Constraints: 116092
1713.80/1718.77 c #Conflicts: 742000 | #Constraints: 117092
1713.80/1718.77 c #Conflicts: 743000 | #Constraints: 118092
1713.80/1718.77 c #Conflicts: 744000 | #Constraints: 119092
1713.80/1718.77 c #Conflicts: 745000 | #Constraints: 120092
1713.80/1718.77 c #Conflicts: 746000 | #Constraints: 121092
1713.80/1718.77 c #Conflicts: 747000 | #Constraints: 122092
1713.80/1718.77 c #Conflicts: 748000 | #Constraints: 123092
1713.80/1718.77 c INPROCESSING
1713.80/1718.77 c GARBAGE COLLECT
1713.80/1718.77 c #Conflicts: 749000 | #Constraints: 74185
1713.80/1718.77 c #Conflicts: 750000 | #Constraints: 75185
1713.80/1718.77 c #Conflicts: 751000 | #Constraints: 76185
1713.80/1718.77 c #Conflicts: 752000 | #Constraints: 77185
1713.80/1718.77 c #Conflicts: 753000 | #Constraints: 78185
1713.80/1718.77 c #Conflicts: 754000 | #Constraints: 79185
1713.80/1718.77 c #Conflicts: 755000 | #Constraints: 80185
1713.80/1718.77 c #Conflicts: 756000 | #Constraints: 81185
1713.80/1718.77 c #Conflicts: 757000 | #Constraints: 82185
1713.80/1718.77 c #Conflicts: 758000 | #Constraints: 83185
1713.80/1718.77 c #Conflicts: 759000 | #Constraints: 84185
1713.80/1718.77 c #Conflicts: 760000 | #Constraints: 85185
1713.80/1718.77 c #Conflicts: 761000 | #Constraints: 86185
1713.80/1718.77 c #Conflicts: 762000 | #Constraints: 87185
1713.80/1718.77 c #Conflicts: 763000 | #Constraints: 88185
1713.80/1718.77 c #Conflicts: 764000 | #Constraints: 89185
1713.80/1718.77 c #Conflicts: 765000 | #Constraints: 90185
1713.80/1718.77 c #Conflicts: 766000 | #Constraints: 91185
1713.80/1718.77 c #Conflicts: 767000 | #Constraints: 92185
1713.80/1718.77 c #Conflicts: 768000 | #Constraints: 93185
1713.80/1718.77 c #Conflicts: 769000 | #Constraints: 94185
1713.80/1718.77 c #Conflicts: 770000 | #Constraints: 95185
1713.80/1718.77 c #Conflicts: 771000 | #Constraints: 96185
1713.80/1718.77 c #Conflicts: 772000 | #Constraints: 97185
1713.80/1718.77 c #Conflicts: 773000 | #Constraints: 98185
1713.80/1718.77 c INPROCESSING
1713.80/1718.77 c GARBAGE COLLECT
1713.80/1718.77 c #Conflicts: 774000 | #Constraints: 71497
1713.80/1718.77 c #Conflicts: 775000 | #Constraints: 72497
1713.80/1718.77 c #Conflicts: 776000 | #Constraints: 73497
1713.80/1718.77 c #Conflicts: 777000 | #Constraints: 74497
1713.80/1718.77 c #Conflicts: 778000 | #Constraints: 75497
1844.25/1849.55 c #Conflicts: 779000 | #Constraints: 76497
1844.25/1849.55 c #Conflicts: 780000 | #Constraints: 77497
1844.25/1849.55 c #Conflicts: 781000 | #Constraints: 78497
1844.25/1849.55 c #Conflicts: 782000 | #Constraints: 79497
1844.25/1849.55 c #Conflicts: 783000 | #Constraints: 80497
1844.25/1849.55 c #Conflicts: 784000 | #Constraints: 81497
1844.25/1849.55 c #Conflicts: 785000 | #Constraints: 82497
1844.25/1849.55 c #Conflicts: 786000 | #Constraints: 83497
1844.25/1849.55 c #Conflicts: 787000 | #Constraints: 84497
1844.25/1849.55 c #Conflicts: 788000 | #Constraints: 85497
1844.25/1849.55 c #Conflicts: 789000 | #Constraints: 86497
1844.25/1849.55 c #Conflicts: 790000 | #Constraints: 87497
1844.25/1849.55 c #Conflicts: 791000 | #Constraints: 88497
1844.25/1849.55 c #Conflicts: 792000 | #Constraints: 89497
1844.25/1849.55 c #Conflicts: 793000 | #Constraints: 90497
1844.25/1849.55 c #Conflicts: 794000 | #Constraints: 91497
1844.25/1849.55 c #Conflicts: 795000 | #Constraints: 92497
1844.25/1849.55 c #Conflicts: 796000 | #Constraints: 93497
1844.25/1849.55 c #Conflicts: 797000 | #Constraints: 94497
1844.25/1849.55 c #Conflicts: 798000 | #Constraints: 95497
1844.25/1849.55 c #Conflicts: 799000 | #Constraints: 96497
1844.25/1849.55 c #Conflicts: 800000 | #Constraints: 97497
1844.25/1849.55 c #Conflicts: 801000 | #Constraints: 98497
1844.25/1849.55 c #Conflicts: 802000 | #Constraints: 99497
1844.25/1849.55 c #Conflicts: 803000 | #Constraints: 100497
1844.25/1849.55 c #Conflicts: 804000 | #Constraints: 101497
1844.25/1849.55 c #Conflicts: 805000 | #Constraints: 102497
1844.25/1849.55 c #Conflicts: 806000 | #Constraints: 103497
1844.25/1849.55 c #Conflicts: 807000 | #Constraints: 104497
1844.25/1849.55 c #Conflicts: 808000 | #Constraints: 105497
1844.25/1849.55 c #Conflicts: 809000 | #Constraints: 106497
1844.25/1849.55 c #Conflicts: 810000 | #Constraints: 107497
1844.25/1849.55 c #Conflicts: 811000 | #Constraints: 108497
1844.25/1849.55 c #Conflicts: 812000 | #Constraints: 109497
1844.25/1849.55 c #Conflicts: 813000 | #Constraints: 110497
1844.25/1849.55 c #Conflicts: 814000 | #Constraints: 111497
1844.25/1849.55 c #Conflicts: 815000 | #Constraints: 112497
1844.25/1849.55 c #Conflicts: 816000 | #Constraints: 113497
1844.25/1849.55 c #Conflicts: 817000 | #Constraints: 114497
1844.25/1849.55 c #Conflicts: 818000 | #Constraints: 115497
1844.25/1849.55 c #Conflicts: 819000 | #Constraints: 116497
1844.25/1849.55 c #Conflicts: 820000 | #Constraints: 117497
1844.25/1849.55 c #Conflicts: 821000 | #Constraints: 118497
1844.25/1849.55 c #Conflicts: 822000 | #Constraints: 119497
1844.25/1849.55 c #Conflicts: 823000 | #Constraints: 120497
1844.25/1849.55 c #Conflicts: 824000 | #Constraints: 121497
1844.25/1849.55 c #Conflicts: 825000 | #Constraints: 122497
1844.25/1849.55 c #Conflicts: 826000 | #Constraints: 123497
1844.25/1849.55 c #Conflicts: 827000 | #Constraints: 124497
1844.25/1849.55 c #Conflicts: 828000 | #Constraints: 125497
1844.25/1849.55 c #Conflicts: 829000 | #Constraints: 126497
1844.25/1849.55 c #Conflicts: 830000 | #Constraints: 127497
1844.25/1849.55 c #Conflicts: 831000 | #Constraints: 128497
1844.25/1849.55 c #Conflicts: 832000 | #Constraints: 129497
1844.25/1849.55 c INPROCESSING
1844.25/1849.55 c GARBAGE COLLECT
1844.25/1849.55 c rational objective 176
1936.91/1942.41 c #Conflicts: 833000 | #Constraints: 77776
1936.91/1942.41 c #Conflicts: 834000 | #Constraints: 78776
1936.91/1942.41 c #Conflicts: 835000 | #Constraints: 79776
1936.91/1942.41 c #Conflicts: 836000 | #Constraints: 80776
1936.91/1942.41 c #Conflicts: 837000 | #Constraints: 81776
1936.91/1942.41 c #Conflicts: 838000 | #Constraints: 82776
1936.91/1942.41 c #Conflicts: 839000 | #Constraints: 83776
1936.91/1942.41 c #Conflicts: 840000 | #Constraints: 84776
1936.91/1942.41 c #Conflicts: 841000 | #Constraints: 85776
1936.91/1942.41 c #Conflicts: 842000 | #Constraints: 86776
1936.91/1942.41 c #Conflicts: 843000 | #Constraints: 87776
1936.91/1942.41 c #Conflicts: 844000 | #Constraints: 88776
1936.91/1942.41 c #Conflicts: 845000 | #Constraints: 89776
1936.91/1942.41 c #Conflicts: 846000 | #Constraints: 90776
1936.91/1942.41 c #Conflicts: 847000 | #Constraints: 91776
1936.91/1942.41 c #Conflicts: 848000 | #Constraints: 92776
1936.91/1942.41 c #Conflicts: 849000 | #Constraints: 93776
1936.91/1942.41 c #Conflicts: 850000 | #Constraints: 94776
1936.91/1942.41 c #Conflicts: 851000 | #Constraints: 95776
1936.91/1942.41 c #Conflicts: 852000 | #Constraints: 96776
1936.91/1942.41 c #Conflicts: 853000 | #Constraints: 97776
1936.91/1942.41 c #Conflicts: 854000 | #Constraints: 98776
1936.91/1942.41 c #Conflicts: 855000 | #Constraints: 99776
1936.91/1942.41 c #Conflicts: 856000 | #Constraints: 100776
1936.91/1942.41 c #Conflicts: 857000 | #Constraints: 101776
1936.91/1942.41 c #Conflicts: 858000 | #Constraints: 102776
1936.91/1942.41 c INPROCESSING
1936.91/1942.41 c GARBAGE COLLECT
1936.91/1942.41 c rational objective 176
2167.01/2173.13 c #Conflicts: 859000 | #Constraints: 74670
2167.01/2173.13 c #Conflicts: 860000 | #Constraints: 75670
2167.01/2173.13 c #Conflicts: 861000 | #Constraints: 76670
2167.01/2173.13 c #Conflicts: 862000 | #Constraints: 77670
2167.01/2173.13 c #Conflicts: 863000 | #Constraints: 78670
2167.01/2173.13 c #Conflicts: 864000 | #Constraints: 79670
2167.01/2173.13 c #Conflicts: 865000 | #Constraints: 80670
2167.01/2173.13 c #Conflicts: 866000 | #Constraints: 81670
2167.01/2173.13 c #Conflicts: 867000 | #Constraints: 82670
2167.01/2173.13 c #Conflicts: 868000 | #Constraints: 83670
2167.01/2173.13 c #Conflicts: 869000 | #Constraints: 84670
2167.01/2173.13 c #Conflicts: 870000 | #Constraints: 85670
2167.01/2173.13 c #Conflicts: 871000 | #Constraints: 86670
2167.01/2173.13 c #Conflicts: 872000 | #Constraints: 87670
2167.01/2173.13 c #Conflicts: 873000 | #Constraints: 88670
2167.01/2173.13 c #Conflicts: 874000 | #Constraints: 89670
2167.01/2173.13 c #Conflicts: 875000 | #Constraints: 90670
2167.01/2173.13 c #Conflicts: 876000 | #Constraints: 91670
2167.01/2173.13 c #Conflicts: 877000 | #Constraints: 92670
2167.01/2173.13 c #Conflicts: 878000 | #Constraints: 93670
2167.01/2173.13 c #Conflicts: 879000 | #Constraints: 94670
2167.01/2173.13 c #Conflicts: 880000 | #Constraints: 95670
2167.01/2173.13 c #Conflicts: 881000 | #Constraints: 96670
2167.01/2173.13 c #Conflicts: 882000 | #Constraints: 97670
2167.01/2173.13 c #Conflicts: 883000 | #Constraints: 98670
2167.01/2173.13 c #Conflicts: 884000 | #Constraints: 99670
2167.01/2173.13 c #Conflicts: 885000 | #Constraints: 100670
2167.01/2173.13 c #Conflicts: 886000 | #Constraints: 101670
2167.01/2173.13 c #Conflicts: 887000 | #Constraints: 102670
2167.01/2173.13 c #Conflicts: 888000 | #Constraints: 103670
2167.01/2173.13 c #Conflicts: 889000 | #Constraints: 104670
2167.01/2173.13 c #Conflicts: 890000 | #Constraints: 105670
2167.01/2173.13 c #Conflicts: 891000 | #Constraints: 106670
2167.01/2173.13 c #Conflicts: 892000 | #Constraints: 107670
2167.01/2173.13 c #Conflicts: 893000 | #Constraints: 108670
2167.01/2173.13 c #Conflicts: 894000 | #Constraints: 109670
2167.01/2173.13 c #Conflicts: 895000 | #Constraints: 110670
2167.01/2173.13 c #Conflicts: 896000 | #Constraints: 111670
2167.01/2173.13 c #Conflicts: 897000 | #Constraints: 112670
2167.01/2173.13 c #Conflicts: 898000 | #Constraints: 113670
2167.01/2173.13 c #Conflicts: 899000 | #Constraints: 114670
2167.01/2173.13 c #Conflicts: 900000 | #Constraints: 115670
2167.01/2173.13 c #Conflicts: 901000 | #Constraints: 116670
2167.01/2173.13 c #Conflicts: 902000 | #Constraints: 117670
2167.01/2173.13 c #Conflicts: 903000 | #Constraints: 118670
2167.01/2173.13 c #Conflicts: 904000 | #Constraints: 119670
2167.01/2173.13 c #Conflicts: 905000 | #Constraints: 120670
2167.01/2173.13 c #Conflicts: 906000 | #Constraints: 121670
2167.01/2173.13 c #Conflicts: 907000 | #Constraints: 122670
2167.01/2173.13 c #Conflicts: 908000 | #Constraints: 123670
2167.01/2173.13 c #Conflicts: 909000 | #Constraints: 124670
2167.01/2173.13 c #Conflicts: 910000 | #Constraints: 125670
2167.01/2173.13 c #Conflicts: 911000 | #Constraints: 126670
2167.01/2173.13 c #Conflicts: 912000 | #Constraints: 127670
2167.01/2173.13 c #Conflicts: 913000 | #Constraints: 128670
2167.01/2173.13 c #Conflicts: 914000 | #Constraints: 129670
2167.01/2173.13 c #Conflicts: 915000 | #Constraints: 130670
2167.01/2173.13 c #Conflicts: 916000 | #Constraints: 131670
2167.01/2173.13 c #Conflicts: 917000 | #Constraints: 132670
2167.01/2173.13 c #Conflicts: 918000 | #Constraints: 133670
2167.01/2173.13 c #Conflicts: 919000 | #Constraints: 134670
2167.01/2173.13 c #Conflicts: 920000 | #Constraints: 135670
2167.01/2173.13 c INPROCESSING
2167.01/2173.13 c GARBAGE COLLECT
2167.01/2173.13 c #Conflicts: 921000 | #Constraints: 80745
2167.01/2173.13 c #Conflicts: 922000 | #Constraints: 81745
2167.01/2173.13 c #Conflicts: 923000 | #Constraints: 82745
2167.01/2173.13 c #Conflicts: 924000 | #Constraints: 83745
2167.01/2173.13 c #Conflicts: 925000 | #Constraints: 84745
2167.01/2173.13 c #Conflicts: 926000 | #Constraints: 85745
2167.01/2173.13 c #Conflicts: 927000 | #Constraints: 86745
2167.01/2173.13 c #Conflicts: 928000 | #Constraints: 87745
2167.01/2173.13 c #Conflicts: 929000 | #Constraints: 88745
2167.01/2173.13 c #Conflicts: 930000 | #Constraints: 89745
2167.01/2173.13 c #Conflicts: 931000 | #Constraints: 90745
2167.01/2173.13 c #Conflicts: 932000 | #Constraints: 91745
2167.01/2173.13 c #Conflicts: 933000 | #Constraints: 92745
2167.01/2173.13 c #Conflicts: 934000 | #Constraints: 93745
2167.01/2173.13 c #Conflicts: 935000 | #Constraints: 94745
2167.01/2173.13 c #Conflicts: 936000 | #Constraints: 95745
2167.01/2173.13 c #Conflicts: 937000 | #Constraints: 96745
2515.78/2522.83 c #Conflicts: 938000 | #Constraints: 97745
2515.78/2522.83 c #Conflicts: 939000 | #Constraints: 98745
2515.78/2522.83 c #Conflicts: 940000 | #Constraints: 99745
2515.78/2522.83 c #Conflicts: 941000 | #Constraints: 100745
2515.78/2522.83 c #Conflicts: 942000 | #Constraints: 101745
2515.78/2522.83 c #Conflicts: 943000 | #Constraints: 102745
2515.78/2522.83 c #Conflicts: 944000 | #Constraints: 103745
2515.78/2522.83 c #Conflicts: 945000 | #Constraints: 104745
2515.78/2522.83 c #Conflicts: 946000 | #Constraints: 105745
2515.78/2522.83 c #Conflicts: 947000 | #Constraints: 106745
2515.78/2522.83 c INPROCESSING
2515.78/2522.83 c GARBAGE COLLECT
2515.78/2522.83 c #Conflicts: 948000 | #Constraints: 77723
2515.78/2522.83 c #Conflicts: 949000 | #Constraints: 78723
2515.78/2522.83 c #Conflicts: 950000 | #Constraints: 79723
2515.78/2522.83 c #Conflicts: 951000 | #Constraints: 80723
2515.78/2522.83 c #Conflicts: 952000 | #Constraints: 81723
2515.78/2522.83 c #Conflicts: 953000 | #Constraints: 82723
2515.78/2522.83 c #Conflicts: 954000 | #Constraints: 83723
2515.78/2522.83 c #Conflicts: 955000 | #Constraints: 84723
2515.78/2522.83 c #Conflicts: 956000 | #Constraints: 85723
2515.78/2522.83 c #Conflicts: 957000 | #Constraints: 86723
2515.78/2522.83 c #Conflicts: 958000 | #Constraints: 87723
2515.78/2522.83 c #Conflicts: 959000 | #Constraints: 88723
2515.78/2522.83 c #Conflicts: 960000 | #Constraints: 89723
2515.78/2522.83 c #Conflicts: 961000 | #Constraints: 90723
2515.78/2522.83 c #Conflicts: 962000 | #Constraints: 91723
2515.78/2522.83 c #Conflicts: 963000 | #Constraints: 92723
2515.78/2522.83 c #Conflicts: 964000 | #Constraints: 93723
2515.78/2522.83 c #Conflicts: 965000 | #Constraints: 94723
2515.78/2522.83 c #Conflicts: 966000 | #Constraints: 95723
2515.78/2522.83 c #Conflicts: 967000 | #Constraints: 96723
2515.78/2522.83 c #Conflicts: 968000 | #Constraints: 97723
2515.78/2522.83 c #Conflicts: 969000 | #Constraints: 98723
2515.78/2522.83 c #Conflicts: 970000 | #Constraints: 99723
2515.78/2522.83 c #Conflicts: 971000 | #Constraints: 100723
2515.78/2522.83 c #Conflicts: 972000 | #Constraints: 101723
2515.78/2522.83 c #Conflicts: 973000 | #Constraints: 102723
2515.78/2522.83 c #Conflicts: 974000 | #Constraints: 103723
2515.78/2522.83 c #Conflicts: 975000 | #Constraints: 104723
2515.78/2522.83 c #Conflicts: 976000 | #Constraints: 105723
2515.78/2522.83 c #Conflicts: 977000 | #Constraints: 106723
2515.78/2522.83 c #Conflicts: 978000 | #Constraints: 107723
2515.78/2522.83 c #Conflicts: 979000 | #Constraints: 108723
2515.78/2522.83 c #Conflicts: 980000 | #Constraints: 109723
2515.78/2522.83 c #Conflicts: 981000 | #Constraints: 110723
2515.78/2522.83 c #Conflicts: 982000 | #Constraints: 111723
2515.78/2522.83 c #Conflicts: 983000 | #Constraints: 112723
2515.78/2522.83 c #Conflicts: 984000 | #Constraints: 113723
2515.78/2522.83 c #Conflicts: 985000 | #Constraints: 114723
2515.78/2522.83 c #Conflicts: 986000 | #Constraints: 115723
2515.78/2522.83 c #Conflicts: 987000 | #Constraints: 116723
2515.78/2522.83 c #Conflicts: 988000 | #Constraints: 117723
2515.78/2522.83 c #Conflicts: 989000 | #Constraints: 118723
2515.78/2522.83 c #Conflicts: 990000 | #Constraints: 119723
2515.78/2522.83 c #Conflicts: 991000 | #Constraints: 120723
2515.78/2522.83 c #Conflicts: 992000 | #Constraints: 121723
2515.78/2522.83 c #Conflicts: 993000 | #Constraints: 122723
2515.78/2522.83 c #Conflicts: 994000 | #Constraints: 123723
2515.78/2522.83 c #Conflicts: 995000 | #Constraints: 124723
2515.78/2522.83 c #Conflicts: 996000 | #Constraints: 125723
2515.78/2522.83 c #Conflicts: 997000 | #Constraints: 126723
2515.78/2522.83 c #Conflicts: 998000 | #Constraints: 127723
2515.78/2522.83 c #Conflicts: 999000 | #Constraints: 128723
2515.78/2522.83 c #Conflicts: 1000000 | #Constraints: 129723
2515.78/2522.83 c #Conflicts: 1001000 | #Constraints: 130723
2515.78/2522.83 c #Conflicts: 1002000 | #Constraints: 131723
2515.78/2522.83 c #Conflicts: 1003000 | #Constraints: 132723
2515.78/2522.83 c #Conflicts: 1004000 | #Constraints: 133723
2515.78/2522.83 c #Conflicts: 1005000 | #Constraints: 134723
2515.78/2522.83 c #Conflicts: 1006000 | #Constraints: 135723
2515.78/2522.83 c #Conflicts: 1007000 | #Constraints: 136723
2515.78/2522.83 c #Conflicts: 1008000 | #Constraints: 137723
2515.78/2522.83 c #Conflicts: 1009000 | #Constraints: 138723
2515.78/2522.83 c #Conflicts: 1010000 | #Constraints: 139723
2515.78/2522.83 c #Conflicts: 1011000 | #Constraints: 140723
2515.78/2522.83 c #Conflicts: 1012000 | #Constraints: 141723
2515.78/2522.83 c INPROCESSING
2515.78/2522.83 c GARBAGE COLLECT
2515.78/2522.83 c #Conflicts: 1013000 | #Constraints: 83650
2515.78/2522.83 c #Conflicts: 1014000 | #Constraints: 84650
2762.14/2769.92 c #Conflicts: 1015000 | #Constraints: 85650
2762.14/2769.92 c #Conflicts: 1016000 | #Constraints: 86650
2762.14/2769.92 c #Conflicts: 1017000 | #Constraints: 87650
2762.14/2769.92 c #Conflicts: 1018000 | #Constraints: 88650
2762.14/2769.92 c #Conflicts: 1019000 | #Constraints: 89650
2762.14/2769.92 c #Conflicts: 1020000 | #Constraints: 90650
2762.14/2769.92 c #Conflicts: 1021000 | #Constraints: 91650
2762.14/2769.92 c #Conflicts: 1022000 | #Constraints: 92650
2762.14/2769.92 c #Conflicts: 1023000 | #Constraints: 93650
2762.14/2769.92 c #Conflicts: 1024000 | #Constraints: 94650
2762.14/2769.92 c #Conflicts: 1025000 | #Constraints: 95650
2762.14/2769.92 c #Conflicts: 1026000 | #Constraints: 96650
2762.14/2769.92 c #Conflicts: 1027000 | #Constraints: 97650
2762.14/2769.92 c #Conflicts: 1028000 | #Constraints: 98650
2762.14/2769.92 c #Conflicts: 1029000 | #Constraints: 99650
2762.14/2769.92 c #Conflicts: 1030000 | #Constraints: 100650
2762.14/2769.92 c #Conflicts: 1031000 | #Constraints: 101650
2762.14/2769.92 c #Conflicts: 1032000 | #Constraints: 102650
2762.14/2769.92 c #Conflicts: 1033000 | #Constraints: 103650
2762.14/2769.92 c #Conflicts: 1034000 | #Constraints: 104650
2762.14/2769.93 c #Conflicts: 1035000 | #Constraints: 105650
2762.14/2769.93 c #Conflicts: 1036000 | #Constraints: 106650
2762.14/2769.93 c #Conflicts: 1037000 | #Constraints: 107650
2762.14/2769.93 c #Conflicts: 1038000 | #Constraints: 108650
2762.14/2769.93 c #Conflicts: 1039000 | #Constraints: 109650
2762.14/2769.93 c #Conflicts: 1040000 | #Constraints: 110650
2762.14/2769.93 c INPROCESSING
2762.14/2769.93 c GARBAGE COLLECT
2762.14/2769.93 c #Conflicts: 1041000 | #Constraints: 78547
2762.14/2769.93 c #Conflicts: 1042000 | #Constraints: 79547
2762.14/2769.93 c #Conflicts: 1043000 | #Constraints: 80547
2762.14/2769.93 c #Conflicts: 1044000 | #Constraints: 81547
2762.14/2769.93 c #Conflicts: 1045000 | #Constraints: 82547
2762.14/2769.93 c #Conflicts: 1046000 | #Constraints: 83547
2762.14/2769.93 c #Conflicts: 1047000 | #Constraints: 84547
2762.14/2769.93 c #Conflicts: 1048000 | #Constraints: 85547
2762.14/2769.93 c #Conflicts: 1049000 | #Constraints: 86547
2762.14/2769.93 c #Conflicts: 1050000 | #Constraints: 87547
2762.14/2769.93 c #Conflicts: 1051000 | #Constraints: 88547
2762.14/2769.93 c #Conflicts: 1052000 | #Constraints: 89547
2762.14/2769.93 c #Conflicts: 1053000 | #Constraints: 90547
2762.14/2769.93 c #Conflicts: 1054000 | #Constraints: 91547
2762.14/2769.93 c #Conflicts: 1055000 | #Constraints: 92547
2762.14/2769.93 c #Conflicts: 1056000 | #Constraints: 93547
2762.14/2769.93 c #Conflicts: 1057000 | #Constraints: 94547
2762.14/2769.93 c #Conflicts: 1058000 | #Constraints: 95547
2762.14/2769.93 c #Conflicts: 1059000 | #Constraints: 96547
2762.14/2769.93 c #Conflicts: 1060000 | #Constraints: 97547
2762.14/2769.93 c #Conflicts: 1061000 | #Constraints: 98547
2762.14/2769.93 c #Conflicts: 1062000 | #Constraints: 99547
2762.14/2769.93 c #Conflicts: 1063000 | #Constraints: 100547
2762.14/2769.93 c #Conflicts: 1064000 | #Constraints: 101547
2762.14/2769.93 c #Conflicts: 1065000 | #Constraints: 102547
2762.14/2769.93 c #Conflicts: 1066000 | #Constraints: 103547
2762.14/2769.93 c #Conflicts: 1067000 | #Constraints: 104547
2762.14/2769.93 c #Conflicts: 1068000 | #Constraints: 105547
2762.14/2769.93 c #Conflicts: 1069000 | #Constraints: 106548
2762.14/2769.93 c #Conflicts: 1070000 | #Constraints: 107548
2762.14/2769.93 c #Conflicts: 1071000 | #Constraints: 108548
2762.14/2769.93 c #Conflicts: 1072000 | #Constraints: 109548
2762.14/2769.93 c #Conflicts: 1073000 | #Constraints: 110548
2762.14/2769.93 c #Conflicts: 1074000 | #Constraints: 111548
2762.14/2769.93 c #Conflicts: 1075000 | #Constraints: 112548
2762.14/2769.93 c #Conflicts: 1076000 | #Constraints: 113548
2762.14/2769.93 c #Conflicts: 1077000 | #Constraints: 114548
2762.14/2769.93 c #Conflicts: 1078000 | #Constraints: 115548
2762.14/2769.93 c #Conflicts: 1079000 | #Constraints: 116548
2762.14/2769.93 c #Conflicts: 1080000 | #Constraints: 117548
2762.14/2769.93 c #Conflicts: 1081000 | #Constraints: 118548
2762.14/2769.93 c #Conflicts: 1082000 | #Constraints: 119548
2762.14/2769.93 c #Conflicts: 1083000 | #Constraints: 120548
2762.14/2769.93 c #Conflicts: 1084000 | #Constraints: 121548
2762.14/2769.93 c #Conflicts: 1085000 | #Constraints: 122548
2762.14/2769.93 c #Conflicts: 1086000 | #Constraints: 123548
2762.14/2769.93 c #Conflicts: 1087000 | #Constraints: 124548
2762.14/2769.93 c #Conflicts: 1088000 | #Constraints: 125548
2762.14/2769.93 c #Conflicts: 1089000 | #Constraints: 126548
2762.14/2769.93 c #Conflicts: 1090000 | #Constraints: 127548
2762.14/2769.93 c #Conflicts: 1091000 | #Constraints: 128548
2762.14/2769.93 c #Conflicts: 1092000 | #Constraints: 129548
2916.07/2924.37 c #Conflicts: 1093000 | #Constraints: 130548
2916.07/2924.37 c #Conflicts: 1094000 | #Constraints: 131548
2916.07/2924.37 c #Conflicts: 1095000 | #Constraints: 132548
2916.07/2924.37 c #Conflicts: 1096000 | #Constraints: 133548
2916.07/2924.37 c #Conflicts: 1097000 | #Constraints: 134548
2916.07/2924.37 c #Conflicts: 1098000 | #Constraints: 135548
2916.07/2924.37 c #Conflicts: 1099000 | #Constraints: 136548
2916.07/2924.37 c #Conflicts: 1100000 | #Constraints: 137548
2916.07/2924.37 c #Conflicts: 1101000 | #Constraints: 138548
2916.07/2924.37 c #Conflicts: 1102000 | #Constraints: 139548
2916.07/2924.37 c #Conflicts: 1103000 | #Constraints: 140548
2916.07/2924.37 c #Conflicts: 1104000 | #Constraints: 141548
2916.07/2924.37 c #Conflicts: 1105000 | #Constraints: 142548
2916.07/2924.37 c #Conflicts: 1106000 | #Constraints: 143548
2916.07/2924.37 c #Conflicts: 1107000 | #Constraints: 144548
2916.07/2924.37 c #Conflicts: 1108000 | #Constraints: 145548
2916.07/2924.37 c INPROCESSING
2916.07/2924.37 c GARBAGE COLLECT
2916.07/2924.37 c rational objective 176
3095.62/3104.45 c #Conflicts: 1109000 | #Constraints: 85264
3095.62/3104.45 c #Conflicts: 1110000 | #Constraints: 86264
3095.62/3104.45 c #Conflicts: 1111000 | #Constraints: 87264
3095.62/3104.45 c #Conflicts: 1112000 | #Constraints: 88264
3095.62/3104.45 c #Conflicts: 1113000 | #Constraints: 89264
3095.62/3104.45 c #Conflicts: 1114000 | #Constraints: 90264
3095.62/3104.45 c #Conflicts: 1115000 | #Constraints: 91264
3095.62/3104.45 c #Conflicts: 1116000 | #Constraints: 92264
3095.62/3104.45 c #Conflicts: 1117000 | #Constraints: 93264
3095.62/3104.45 c #Conflicts: 1118000 | #Constraints: 94264
3095.62/3104.45 c #Conflicts: 1119000 | #Constraints: 95264
3095.62/3104.45 c #Conflicts: 1120000 | #Constraints: 96264
3095.62/3104.45 c #Conflicts: 1121000 | #Constraints: 97264
3095.62/3104.45 c #Conflicts: 1122000 | #Constraints: 98264
3095.62/3104.45 c #Conflicts: 1123000 | #Constraints: 99264
3095.62/3104.45 c #Conflicts: 1124000 | #Constraints: 100264
3095.62/3104.45 c #Conflicts: 1125000 | #Constraints: 101264
3095.62/3104.45 c #Conflicts: 1126000 | #Constraints: 102264
3095.62/3104.45 c #Conflicts: 1127000 | #Constraints: 103264
3095.62/3104.45 c #Conflicts: 1128000 | #Constraints: 104264
3095.62/3104.45 c #Conflicts: 1129000 | #Constraints: 105264
3095.62/3104.45 c #Conflicts: 1130000 | #Constraints: 106264
3095.62/3104.45 c #Conflicts: 1131000 | #Constraints: 107264
3095.62/3104.45 c #Conflicts: 1132000 | #Constraints: 108264
3095.62/3104.45 c #Conflicts: 1133000 | #Constraints: 109264
3095.62/3104.45 c #Conflicts: 1134000 | #Constraints: 110264
3095.62/3104.45 c #Conflicts: 1135000 | #Constraints: 111264
3095.62/3104.45 c #Conflicts: 1136000 | #Constraints: 112264
3095.62/3104.45 c #Conflicts: 1137000 | #Constraints: 113264
3095.62/3104.45 c #Conflicts: 1138000 | #Constraints: 114264
3095.62/3104.45 c INPROCESSING
3095.62/3104.45 c GARBAGE COLLECT
3095.62/3104.45 c #Conflicts: 1139000 | #Constraints: 80670
3095.62/3104.45 c #Conflicts: 1140000 | #Constraints: 81670
3095.62/3104.45 c #Conflicts: 1141000 | #Constraints: 82670
3095.62/3104.45 c #Conflicts: 1142000 | #Constraints: 83670
3095.62/3104.45 c #Conflicts: 1143000 | #Constraints: 84670
3095.62/3104.45 c #Conflicts: 1144000 | #Constraints: 85670
3095.62/3104.45 c #Conflicts: 1145000 | #Constraints: 86670
3095.62/3104.45 c #Conflicts: 1146000 | #Constraints: 87670
3095.62/3104.45 c #Conflicts: 1147000 | #Constraints: 88670
3095.62/3104.45 c #Conflicts: 1148000 | #Constraints: 89670
3095.62/3104.45 c #Conflicts: 1149000 | #Constraints: 90670
3095.62/3104.45 c #Conflicts: 1150000 | #Constraints: 91670
3095.62/3104.45 c #Conflicts: 1151000 | #Constraints: 92670
3095.62/3104.45 c #Conflicts: 1152000 | #Constraints: 93670
3095.62/3104.45 c #Conflicts: 1153000 | #Constraints: 94670
3095.62/3104.45 c #Conflicts: 1154000 | #Constraints: 95670
3095.62/3104.45 c #Conflicts: 1155000 | #Constraints: 96670
3095.62/3104.45 c #Conflicts: 1156000 | #Constraints: 97670
3095.62/3104.45 c #Conflicts: 1157000 | #Constraints: 98670
3095.62/3104.45 c #Conflicts: 1158000 | #Constraints: 99670
3095.62/3104.45 c #Conflicts: 1159000 | #Constraints: 100670
3095.62/3104.45 c #Conflicts: 1160000 | #Constraints: 101670
3095.62/3104.45 c #Conflicts: 1161000 | #Constraints: 102670
3095.62/3104.45 c #Conflicts: 1162000 | #Constraints: 103670
3095.62/3104.45 c #Conflicts: 1163000 | #Constraints: 104670
3095.62/3104.45 c #Conflicts: 1164000 | #Constraints: 105670
3095.62/3104.45 c #Conflicts: 1165000 | #Constraints: 106670
3095.62/3104.45 c #Conflicts: 1166000 | #Constraints: 107670
3095.62/3104.45 c #Conflicts: 1167000 | #Constraints: 108670
3095.62/3104.45 c #Conflicts: 1168000 | #Constraints: 109670
3095.62/3104.45 c #Conflicts: 1169000 | #Constraints: 110670
3095.62/3104.45 c #Conflicts: 1170000 | #Constraints: 111670
3095.62/3104.45 c #Conflicts: 1171000 | #Constraints: 112670
3095.62/3104.45 c #Conflicts: 1172000 | #Constraints: 113670
3095.62/3104.45 c #Conflicts: 1173000 | #Constraints: 114670
3095.62/3104.45 c #Conflicts: 1174000 | #Constraints: 115670
3095.62/3104.45 c #Conflicts: 1175000 | #Constraints: 116670
3095.62/3104.45 c #Conflicts: 1176000 | #Constraints: 117670
3095.62/3104.45 c #Conflicts: 1177000 | #Constraints: 118670
3095.62/3104.45 c #Conflicts: 1178000 | #Constraints: 119670
3095.62/3104.45 c #Conflicts: 1179000 | #Constraints: 120670
3095.62/3104.45 c #Conflicts: 1180000 | #Constraints: 121670
3095.62/3104.45 c #Conflicts: 1181000 | #Constraints: 122670
3095.62/3104.45 c #Conflicts: 1182000 | #Constraints: 123670
3095.62/3104.45 c #Conflicts: 1183000 | #Constraints: 124670
3095.62/3104.45 c #Conflicts: 1184000 | #Constraints: 125670
3095.62/3104.45 c #Conflicts: 1185000 | #Constraints: 126670
3095.62/3104.45 c #Conflicts: 1186000 | #Constraints: 127670
3095.62/3104.45 c #Conflicts: 1187000 | #Constraints: 128670
3307.37/3316.80 c #Conflicts: 1188000 | #Constraints: 129670
3307.37/3316.80 c #Conflicts: 1189000 | #Constraints: 130670
3307.37/3316.80 c #Conflicts: 1190000 | #Constraints: 131670
3307.37/3316.80 c #Conflicts: 1191000 | #Constraints: 132670
3307.37/3316.80 c #Conflicts: 1192000 | #Constraints: 133670
3307.37/3316.80 c #Conflicts: 1193000 | #Constraints: 134670
3307.37/3316.80 c #Conflicts: 1194000 | #Constraints: 135670
3307.37/3316.80 c #Conflicts: 1195000 | #Constraints: 136670
3307.37/3316.80 c #Conflicts: 1196000 | #Constraints: 137670
3307.37/3316.80 c #Conflicts: 1197000 | #Constraints: 138670
3307.37/3316.80 c #Conflicts: 1198000 | #Constraints: 139670
3307.37/3316.80 c #Conflicts: 1199000 | #Constraints: 140670
3307.37/3316.80 c #Conflicts: 1200000 | #Constraints: 141670
3307.37/3316.80 c #Conflicts: 1201000 | #Constraints: 142670
3307.37/3316.80 c #Conflicts: 1202000 | #Constraints: 143670
3307.37/3316.80 c #Conflicts: 1203000 | #Constraints: 144670
3307.37/3316.80 c #Conflicts: 1204000 | #Constraints: 145670
3307.37/3316.80 c #Conflicts: 1205000 | #Constraints: 146670
3307.37/3316.80 c #Conflicts: 1206000 | #Constraints: 147670
3307.37/3316.80 c #Conflicts: 1207000 | #Constraints: 148670
3307.37/3316.80 c #Conflicts: 1208000 | #Constraints: 149670
3307.37/3316.80 c #Conflicts: 1209000 | #Constraints: 150670
3307.37/3316.80 c INPROCESSING
3307.37/3316.80 c GARBAGE COLLECT
3307.37/3316.80 c #Conflicts: 1210000 | #Constraints: 88075
3307.37/3316.80 c #Conflicts: 1211000 | #Constraints: 89075
3307.37/3316.80 c #Conflicts: 1212000 | #Constraints: 90075
3307.37/3316.80 c #Conflicts: 1213000 | #Constraints: 91075
3307.37/3316.80 c #Conflicts: 1214000 | #Constraints: 92075
3307.37/3316.80 c #Conflicts: 1215000 | #Constraints: 93075
3307.37/3316.80 c #Conflicts: 1216000 | #Constraints: 94075
3307.37/3316.80 c #Conflicts: 1217000 | #Constraints: 95075
3307.37/3316.80 c #Conflicts: 1218000 | #Constraints: 96076
3307.37/3316.80 c #Conflicts: 1219000 | #Constraints: 97076
3307.37/3316.80 c #Conflicts: 1220000 | #Constraints: 98076
3307.37/3316.80 c #Conflicts: 1221000 | #Constraints: 99076
3307.37/3316.80 c #Conflicts: 1222000 | #Constraints: 100076
3307.37/3316.80 c #Conflicts: 1223000 | #Constraints: 101076
3307.37/3316.80 c #Conflicts: 1224000 | #Constraints: 102076
3307.37/3316.80 c #Conflicts: 1225000 | #Constraints: 103076
3307.37/3316.80 c #Conflicts: 1226000 | #Constraints: 104076
3307.37/3316.80 c #Conflicts: 1227000 | #Constraints: 105076
3307.37/3316.80 c #Conflicts: 1228000 | #Constraints: 106076
3307.37/3316.80 c #Conflicts: 1229000 | #Constraints: 107076
3307.37/3316.80 c #Conflicts: 1230000 | #Constraints: 108076
3307.37/3316.80 c #Conflicts: 1231000 | #Constraints: 109076
3307.37/3316.80 c #Conflicts: 1232000 | #Constraints: 110076
3307.37/3316.80 c #Conflicts: 1233000 | #Constraints: 111076
3307.37/3316.80 c #Conflicts: 1234000 | #Constraints: 112076
3307.37/3316.80 c #Conflicts: 1235000 | #Constraints: 113076
3307.37/3316.80 c #Conflicts: 1236000 | #Constraints: 114076
3307.37/3316.80 c #Conflicts: 1237000 | #Constraints: 115076
3307.37/3316.80 c #Conflicts: 1238000 | #Constraints: 116076
3307.37/3316.80 c #Conflicts: 1239000 | #Constraints: 117076
3307.37/3316.80 c #Conflicts: 1240000 | #Constraints: 118076
3307.37/3316.80 c INPROCESSING
3307.37/3316.80 c GARBAGE COLLECT
3307.37/3316.80 c #Conflicts: 1241000 | #Constraints: 83335
3307.37/3316.80 c #Conflicts: 1242000 | #Constraints: 84335
3307.37/3316.80 c #Conflicts: 1243000 | #Constraints: 85335
3307.37/3316.80 c #Conflicts: 1244000 | #Constraints: 86335
3307.37/3316.80 c #Conflicts: 1245000 | #Constraints: 87335
3307.37/3316.80 c #Conflicts: 1246000 | #Constraints: 88335
3307.37/3316.80 c #Conflicts: 1247000 | #Constraints: 89335
3307.37/3316.80 c #Conflicts: 1248000 | #Constraints: 90335
3307.37/3316.80 c #Conflicts: 1249000 | #Constraints: 91335
3307.37/3316.80 c #Conflicts: 1250000 | #Constraints: 92335
3307.37/3316.80 c #Conflicts: 1251000 | #Constraints: 93335
3307.37/3316.80 c #Conflicts: 1252000 | #Constraints: 94335
3307.37/3316.80 c #Conflicts: 1253000 | #Constraints: 95335
3307.37/3316.80 c #Conflicts: 1254000 | #Constraints: 96335
3307.37/3316.80 c #Conflicts: 1255000 | #Constraints: 97335
3307.37/3316.80 c #Conflicts: 1256000 | #Constraints: 98335
3307.37/3316.80 c #Conflicts: 1257000 | #Constraints: 99335
3307.37/3316.80 c #Conflicts: 1258000 | #Constraints: 100335
3307.37/3316.80 c #Conflicts: 1259000 | #Constraints: 101335
3307.37/3316.80 c #Conflicts: 1260000 | #Constraints: 102335
3307.37/3316.80 c #Conflicts: 1261000 | #Constraints: 103335
3307.37/3316.80 c #Conflicts: 1262000 | #Constraints: 104335
3307.37/3316.80 c #Conflicts: 1263000 | #Constraints: 105335
3307.37/3316.80 c #Conflicts: 1264000 | #Constraints: 106335
3573.57/3583.83 c #Conflicts: 1265000 | #Constraints: 107335
3573.57/3583.83 c #Conflicts: 1266000 | #Constraints: 108335
3573.57/3583.83 c #Conflicts: 1267000 | #Constraints: 109335
3573.57/3583.83 c #Conflicts: 1268000 | #Constraints: 110335
3573.57/3583.83 c #Conflicts: 1269000 | #Constraints: 111335
3573.57/3583.83 c #Conflicts: 1270000 | #Constraints: 112335
3573.57/3583.83 c #Conflicts: 1271000 | #Constraints: 113335
3573.57/3583.83 c #Conflicts: 1272000 | #Constraints: 114335
3573.57/3583.83 c #Conflicts: 1273000 | #Constraints: 115335
3573.57/3583.83 c #Conflicts: 1274000 | #Constraints: 116335
3573.57/3583.83 c #Conflicts: 1275000 | #Constraints: 117335
3573.57/3583.83 c #Conflicts: 1276000 | #Constraints: 118335
3573.57/3583.83 c #Conflicts: 1277000 | #Constraints: 119335
3573.57/3583.83 c #Conflicts: 1278000 | #Constraints: 120335
3573.57/3583.83 c #Conflicts: 1279000 | #Constraints: 121335
3573.57/3583.83 c #Conflicts: 1280000 | #Constraints: 122335
3573.57/3583.83 c #Conflicts: 1281000 | #Constraints: 123335
3573.57/3583.83 c #Conflicts: 1282000 | #Constraints: 124335
3573.57/3583.83 c #Conflicts: 1283000 | #Constraints: 125335
3573.57/3583.83 c #Conflicts: 1284000 | #Constraints: 126335
3573.57/3583.83 c #Conflicts: 1285000 | #Constraints: 127335
3573.57/3583.83 c #Conflicts: 1286000 | #Constraints: 128335
3573.57/3583.83 c #Conflicts: 1287000 | #Constraints: 129335
3573.57/3583.83 c #Conflicts: 1288000 | #Constraints: 130335
3573.57/3583.83 c #Conflicts: 1289000 | #Constraints: 131335
3573.57/3583.83 c #Conflicts: 1290000 | #Constraints: 132335
3573.57/3583.83 c #Conflicts: 1291000 | #Constraints: 133335
3573.57/3583.83 c #Conflicts: 1292000 | #Constraints: 134335
3573.57/3583.83 c #Conflicts: 1293000 | #Constraints: 135335
3573.57/3583.83 c #Conflicts: 1294000 | #Constraints: 136335
3573.57/3583.83 c #Conflicts: 1295000 | #Constraints: 137335
3573.57/3583.83 c #Conflicts: 1296000 | #Constraints: 138335
3573.57/3583.83 c #Conflicts: 1297000 | #Constraints: 139335
3573.57/3583.83 c #Conflicts: 1298000 | #Constraints: 140335
3573.57/3583.83 c #Conflicts: 1299000 | #Constraints: 141335
3573.57/3583.83 c #Conflicts: 1300000 | #Constraints: 142335
3573.57/3583.83 c #Conflicts: 1301000 | #Constraints: 143335
3573.57/3583.83 c #Conflicts: 1302000 | #Constraints: 144335
3573.57/3583.83 c #Conflicts: 1303000 | #Constraints: 145335
3573.57/3583.83 c #Conflicts: 1304000 | #Constraints: 146335
3573.57/3583.83 c #Conflicts: 1305000 | #Constraints: 147335
3573.57/3583.83 c #Conflicts: 1306000 | #Constraints: 148335
3573.57/3583.83 c #Conflicts: 1307000 | #Constraints: 149335
3573.57/3583.83 c #Conflicts: 1308000 | #Constraints: 150335
3573.57/3583.83 c #Conflicts: 1309000 | #Constraints: 151335
3573.57/3583.83 c #Conflicts: 1310000 | #Constraints: 152335
3573.57/3583.83 c #Conflicts: 1311000 | #Constraints: 153335
3573.57/3583.83 c #Conflicts: 1312000 | #Constraints: 154335
3573.57/3583.83 c #Conflicts: 1313000 | #Constraints: 155335
3573.57/3583.83 c #Conflicts: 1314000 | #Constraints: 156335
3573.57/3583.83 c #Conflicts: 1315000 | #Constraints: 157335
3573.57/3583.83 c INPROCESSING
3573.57/3583.83 c GARBAGE COLLECT
3573.57/3583.83 c #Conflicts: 1316000 | #Constraints: 91648
3573.57/3583.83 c #Conflicts: 1317000 | #Constraints: 92648
3573.57/3583.83 c #Conflicts: 1318000 | #Constraints: 93648
3573.57/3583.83 c #Conflicts: 1319000 | #Constraints: 94648
3573.57/3583.83 c #Conflicts: 1320000 | #Constraints: 95648
3573.57/3583.83 c #Conflicts: 1321000 | #Constraints: 96648
3573.57/3583.83 c #Conflicts: 1322000 | #Constraints: 97648
3573.57/3583.83 c #Conflicts: 1323000 | #Constraints: 98648
3573.57/3583.83 c #Conflicts: 1324000 | #Constraints: 99648
3573.57/3583.83 c #Conflicts: 1325000 | #Constraints: 100648
3573.57/3583.83 c #Conflicts: 1326000 | #Constraints: 101648
3573.57/3583.83 c #Conflicts: 1327000 | #Constraints: 102648
3573.57/3583.83 c #Conflicts: 1328000 | #Constraints: 103648
3573.57/3583.83 c #Conflicts: 1329000 | #Constraints: 104648
3573.57/3583.83 c #Conflicts: 1330000 | #Constraints: 105648
3573.57/3583.83 c #Conflicts: 1331000 | #Constraints: 106648
3573.57/3583.83 c #Conflicts: 1332000 | #Constraints: 107648
3573.57/3583.83 c #Conflicts: 1333000 | #Constraints: 108648
3573.57/3583.83 c #Conflicts: 1334000 | #Constraints: 109648
3573.57/3583.83 c #Conflicts: 1335000 | #Constraints: 110648
3573.57/3583.83 c #Conflicts: 1336000 | #Constraints: 111648
3573.57/3583.83 c #Conflicts: 1337000 | #Constraints: 112648
3573.57/3583.83 c #Conflicts: 1338000 | #Constraints: 113648
3573.57/3583.83 c #Conflicts: 1339000 | #Constraints: 114648
3573.57/3583.83 c #Conflicts: 1340000 | #Constraints: 115648
3573.57/3583.83 c #Conflicts: 1341000 | #Constraints: 116648
3573.57/3583.83 c #Conflicts: 1342000 | #Constraints: 117648
3600.08/3610.40 c #Conflicts: 1343000 | #Constraints: 118648
3600.08/3610.40 c #Conflicts: 1344000 | #Constraints: 119648
3600.08/3610.40 c #Conflicts: 1345000 | #Constraints: 120648
3600.08/3610.40 c #Conflicts: 1346000 | #Constraints: 121648
3600.08/3610.40 c #Conflicts: 1347000 | #Constraints: 122648
3600.08/3610.40 c INPROCESSING
3600.08/3610.40 c GARBAGE COLLECT
3600.08/3610.40 c #Conflicts: 1348000 | #Constraints: 86451
3600.08/3610.40 c #Conflicts: 1349000 | #Constraints: 87451
3600.08/3610.40 c #Conflicts: 1350000 | #Constraints: 88451
3600.08/3610.40 c #Conflicts: 1351000 | #Constraints: 89451
3600.08/3610.40 c #Conflicts: 1352000 | #Constraints: 90451
3600.08/3610.40 c #Conflicts: 1353000 | #Constraints: 91451
3600.08/3610.40 c #Conflicts: 1354000 | #Constraints: 92451
3600.08/3610.40 c cpu time 3564.9 s
3600.08/3610.40 c deterministic time 237965454686 2.38e+11
3600.08/3610.40 c optimization time 10.9183 s
3600.08/3610.40 c total solve time 3553.87 s
3600.08/3610.40 c core-guided solve time 0 s
3600.08/3610.40 c propagation time 1824.88 s
3600.08/3610.40 c conflict analysis time 1301.46 s
3600.08/3610.40 c propagations 1376157009
3600.08/3610.40 c resolve steps 82469915
3600.08/3610.40 c decisions 33362666
3600.08/3610.40 c conflicts 1354030
3600.08/3610.40 c restarts 2557
3600.08/3610.40 c inprocessing phases 49
3600.08/3610.40 c garbage collections 49 ,( 100.00 )
3600.08/3610.40 c input clauses 21122 ,( 99.17 )
3600.08/3610.40 c input cardinalities 176 ,( 0.83 )
3600.08/3610.40 c input general constraints 0 ,( 0.00 )
3600.08/3610.40 c input average constraint length 6.43
3600.08/3610.40 c input average constraint degree 1.97
3600.08/3610.40 c learned clauses 990572 ,( 73.16 )
3600.08/3610.40 c learned cardinalities 46570 ,( 3.44 )
3600.08/3610.40 c learned general constraints 316897 ,( 23.40 )
3600.08/3610.40 c learned average constraint length 763.66
3600.08/3610.40 c learned average constraint degree 17385406.91
3600.08/3610.40 c watched CF 32, 64, 128, Arb: 81292 , 0 , 0 , 0
3600.08/3610.40 c counting CF 32, 64, 128, Arb: 235605 , 0 , 0 , 0
3600.08/3610.40 c watched constraints 81292 ,( 25.65 )
3600.08/3610.40 c counting constraints 235605 ,( 74.35 )
3600.08/3610.40 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 1268036171 , 733693669 , 1881627722 ,( 90493367 , 1791134355 )
3600.08/3610.40 c gcd simplifications 720
3600.08/3610.40 c detected cardinalities 7182
3600.08/3610.40 c weakened non-implied lits 371569415
3600.08/3610.40 c weakened non-implying lits 204645
3600.08/3610.40 c original variables 20944
3600.08/3610.40 c clausal propagations 635259101
3600.08/3610.40 c cardinality propagations 511297893
3600.08/3610.40 c watched propagations 4510127
3600.08/3610.40 c counting propagations 212080946
3600.08/3610.40 c watch lookups 73319304246
3600.08/3610.40 c watch backjump lookups 0
3600.08/3610.40 c watch checks 35667971264
3600.08/3610.40 c propagation checks 121313503283
3600.08/3610.40 c constraint additions 4844018154
3600.08/3610.40 c trail pops 1410854467
3600.08/3610.40 c formula constraints 21298
3600.08/3610.40 c learned constraints 1354024
3600.08/3610.40 c bound constraints 0
3600.08/3610.40 c core-guided constraints 0
3600.08/3610.40 c encountered formula constraints 51740086
3600.08/3610.40 c encountered learned constraints 32083250
3600.08/3610.40 c encountered bound constraints 0
3600.08/3610.40 c encountered core-guided constraints 0
3600.08/3610.40 c LP total time 431.323 s
3600.08/3610.40 c LP solve time 405.08 s
3600.08/3610.40 c LP constraints added 22029
3600.08/3610.40 c LP constraints removed 578
3600.08/3610.40 c LP pivots internal 143868
3600.08/3610.40 c LP pivots root 139728
3600.08/3610.40 c LP calls 19
3600.08/3610.40 c LP optimalities 8
3600.08/3610.40 c LP no pivot count 1
3600.08/3610.40 c LP infeasibilities 5
3600.08/3610.40 c LP valid Farkas constraints 5
3600.08/3610.40 c LP learned Farkas constraints 5
3600.08/3610.40 c LP basis resets 0
3600.08/3610.40 c LP cycling count 0
3600.08/3610.40 c LP singular count 0
3600.08/3610.40 c LP no primal count 0
3600.08/3610.40 c LP no farkas count 0
3600.08/3610.40 c LP other issue count 0
3600.08/3610.40 c LP Gomory cuts 5
3600.08/3610.40 c LP learned cuts 726
3600.08/3610.40 c LP deleted cuts 578
3600.08/3610.40 c LP encountered Gomory constraints 1
3600.08/3610.40 c LP encountered Farkas constraints 601
3600.08/3610.40 c LP encountered learned Farkas constraints 2
3600.08/3610.40 c CG auxiliary variables introduced 0
3600.08/3610.40 c CG solutions found 0
3600.08/3610.40 c CG cores constructed 0
3600.08/3610.40 c CG core cardinality constraints returned 0
3600.08/3610.40 c CG unit cores 0
3600.08/3610.40 c CG single cores 0
3600.08/3610.40 c CG blocks removed during cardinality reduction 0
3600.08/3610.40 c CG first core best 0
3600.08/3610.40 c CG decision core best 0
3600.08/3610.40 c CG core reduction tie 0
3600.08/3610.40 c CG core degree average 0.00
3600.08/3610.40 c CG core slack average 0.00
3600.08/3610.40 c CG core upper bound improvements 0
3600.08/3610.40 c STR number of successful calls 0
3600.08/3610.40 c STR number of unsuccessful calls 0
3600.08/3610.40 c STR number of inconclusive calls 0
3600.08/3610.40 c STR number of successful attempts 0
3600.08/3610.40 c STR number of unsuccessful attempts 0
3600.08/3610.40 c STR number of inconclusive attempts 0
3600.08/3610.40 c STR average degree increase per successful call inf
3600.08/3610.40 c STR average degree increase per successful attempt inf
3600.08/3610.40 c STR total number of conflicts for successful attempts 0
3600.08/3610.40 c STR total number of conflicts for unsuccessful attempts 0
3600.08/3610.40 c STR total number of conflicts for inconclusive attempts 0
3600.08/3610.40 c STR average number of conflicts per successful attempt inf
3600.08/3610.40 c STR average number of conflicts per unsuccessful attempt inf
3600.08/3610.40 c STR average number of conflicts per inconclusive attempt inf
3600.08/3610.40 c AVG.sumWPerc 65.80
3600.08/3610.40 c bigint constraints 0
3600.08/3610.40 s UNKNOWN
3600.08/3610.40 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: 63665 MiB (63118 MiB free)
memory of node 1: 64507 MiB (62464 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4506871-1751172542/watcher-4506871-1751172542 -o /tmp/evaluation-result-4506871-1751172542/solver-4506871-1751172542 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1751168926-22981 --watchdog 3760 --file-size-limit 100000 run-dec-ls-log.sh HOME/instance-4506871-1751172542.opb PROOFDIR/proof-4506871-1751172542
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing 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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=23481, runsolver pid=23478
[startup+0.100059 s]*
/proc/loadavg: 4.11 4.10 4.08 5/273 23483
/proc/meminfo: memFree=128576624/131249996 swapFree=33010684/33010684
[pid=23481] ppid=23478 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/23481/stat : 23481 (run-dec-ls-log.) S 23478 23481 22971 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 32932115 4292608 768 18446744073709551615 94174547546112 94174548440645 140735022586912 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94174548679696 94174548727440 94174573862912 140735022590235 140735022590433 140735022590433 140735022596035 0
/proc/23481/statm: 1048 768 704 219 0 110 0
[pid=23483] ppid=23481 vsize=70704 memory=25672 CPUtime=0.09 cores=0,2
/proc/23483/stat : 23483 (roundingsat) R 23481 23481 22971 0 -1 4194304 4265 0 0 0 7 2 0 0 20 0 1 0 32932116 72400896 6418 18446744073709551615 4227072 8923433 140722046957760 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 24866816 140722046966096 140722046966312 140722046966312 140722046971882 0
/proc/23483/statm: 17676 6418 2016 1147 0 5103 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 74896 KiB
Current children cumulated memory: 28744 KiB
[startup+0.205651 s]*
/proc/loadavg: 4.11 4.10 4.08 5/273 23483
/proc/meminfo: memFree=128534788/131249996 swapFree=33010684/33010684
[pid=23481] ppid=23478 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/23481/stat : 23481 (run-dec-ls-log.) S 23478 23481 22971 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 32932115 4292608 768 18446744073709551615 94174547546112 94174548440645 140735022586912 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94174548679696 94174548727440 94174573862912 140735022590235 140735022590433 140735022590433 140735022596035 0
/proc/23481/statm: 1048 768 704 219 0 110 0
[pid=23483] ppid=23481 vsize=116732 memory=64544 CPUtime=0.19 cores=0,2
/proc/23483/stat : 23483 (roundingsat) R 23481 23481 22971 0 -1 4194304 12286 0 0 0 16 3 0 0 20 0 1 0 32932116 119533568 16136 18446744073709551615 4227072 8923433 140722046957760 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 24866816 140722046966096 140722046966312 140722046966312 140722046971882 0
/proc/23483/statm: 29183 16136 2304 1147 0 16610 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 120924 KiB
Current children cumulated memory: 67616 KiB
[startup+0.30562 s]*
/proc/loadavg: 4.11 4.10 4.08 5/273 23483
/proc/meminfo: memFree=128534032/131249996 swapFree=33010684/33010684
[pid=23481] ppid=23478 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/23481/stat : 23481 (run-dec-ls-log.) S 23478 23481 22971 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 32932115 4292608 768 18446744073709551615 94174547546112 94174548440645 140735022586912 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94174548679696 94174548727440 94174573862912 140735022590235 140735022590433 140735022590433 140735022596035 0
/proc/23481/statm: 1048 768 704 219 0 110 0
[pid=23483] ppid=23481 vsize=118412 memory=66464 CPUtime=0.28 cores=0,2
/proc/23483/stat : 23483 (roundingsat) R 23481 23481 22971 0 -1 4194304 12759 0 0 0 25 3 0 0 20 0 1 0 32932116 121253888 16616 18446744073709551615 4227072 8923433 140722046957760 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 24866816 140722046966096 140722046966312 140722046966312 140722046971882 0
/proc/23483/statm: 29603 16616 2304 1147 0 17030 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 122604 KiB
Current children cumulated memory: 69536 KiB
[startup+0.700185 s]
/proc/loadavg: 4.11 4.10 4.08 5/273 23483
/proc/meminfo: memFree=128533024/131249996 swapFree=33010684/33010684
[pid=23481] ppid=23478 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/23481/stat : 23481 (run-dec-ls-log.) S 23478 23481 22971 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 32932115 4292608 768 18446744073709551615 94174547546112 94174548440645 140735022586912 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94174548679696 94174548727440 94174573862912 140735022590235 140735022590433 140735022590433 140735022596035 0
/proc/23481/statm: 1048 768 704 219 0 110 0
[pid=23483] ppid=23481 vsize=118412 memory=66720 CPUtime=0.67 cores=0,2
/proc/23483/stat : 23483 (roundingsat) R 23481 23481 22971 0 -1 4194304 12852 0 0 0 64 3 0 0 20 0 1 0 32932116 121253888 16680 18446744073709551615 4227072 8923433 140722046957760 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 24866816 140722046966096 140722046966312 140722046966312 140722046971882 0
/proc/23483/statm: 29603 16680 2304 1147 0 17030 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 122604 KiB
Current children cumulated memory: 69792 KiB
[startup+1.50018 s]
/proc/loadavg: 4.11 4.10 4.08 5/273 23483
/proc/meminfo: memFree=128533276/131249996 swapFree=33010684/33010684
[pid=23481] ppid=23478 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/23481/stat : 23481 (run-dec-ls-log.) S 23478 23481 22971 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 32932115 4292608 768 18446744073709551615 94174547546112 94174548440645 140735022586912 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94174548679696 94174548727440 94174573862912 140735022590235 140735022590433 140735022590433 140735022596035 0
/proc/23481/statm: 1048 768 704 219 0 110 0
[pid=23483] ppid=23481 vsize=118412 memory=66720 CPUtime=1.47 cores=0,2
/proc/23483/stat : 23483 (roundingsat) R 23481 23481 22971 0 -1 4194304 12852 0 0 0 144 3 0 0 20 0 1 0 32932116 121253888 16680 18446744073709551615 4227072 8923433 140722046957760 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 24866816 140722046966096 140722046966312 140722046966312 140722046971882 0
/proc/23483/statm: 29603 16680 2304 1147 0 17030 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 122604 KiB
Current children cumulated memory: 69792 KiB
[startup+3.10544 s]
/proc/loadavg: 4.11 4.10 4.08 5/272 23484
/proc/meminfo: memFree=128531488/131249996 swapFree=33010684/33010684
[pid=23481] ppid=23478 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/23481/stat : 23481 (run-dec-ls-log.) S 23478 23481 22971 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 32932115 4292608 768 18446744073709551615 94174547546112 94174548440645 140735022586912 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94174548679696 94174548727440 94174573862912 140735022590235 140735022590433 140735022590433 140735022596035 0
/proc/23481/statm: 1048 768 704 219 0 110 0
[pid=23483] ppid=23481 vsize=120780 memory=69664 CPUtime=3.07 cores=0,2
/proc/23483/stat : 23483 (roundingsat) R 23481 23481 22971 0 -1 4194304 13572 0 0 0 303 4 0 0 20 0 1 0 32932116 123678720 17416 18446744073709551615 4227072 8923433 140722046957760 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 24866816 140722046966096 140722046966312 140722046966312 140722046971882 0
/proc/23483/statm: 30195 17416 2304 1147 0 17622 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 124972 KiB
Current children cumulated memory: 72736 KiB
[startup+6.30017 s]
/proc/loadavg: 4.10 4.10 4.08 5/272 23484
/proc/meminfo: memFree=128495768/131249996 swapFree=33010684/33010684
[pid=23481] ppid=23478 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/23481/stat : 23481 (run-dec-ls-log.) S 23478 23481 22971 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 32932115 4292608 768 18446744073709551615 94174547546112 94174548440645 140735022586912 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94174548679696 94174548727440 94174573862912 140735022590235 140735022590433 140735022590433 140735022596035 0
/proc/23481/statm: 1048 768 704 219 0 110 0
[pid=23483] ppid=23481 vsize=125984 memory=77976 CPUtime=6.27 cores=0,2
/proc/23483/stat : 23483 (roundingsat) R 23481 23481 22971 0 -1 4194304 15072 0 0 0 614 13 0 0 20 0 1 0 32932116 129007616 19494 18446744073709551615 4227072 8923433 140722046957760 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 24866816 140722046966096 140722046966312 140722046966312 140722046971882 0
/proc/23483/statm: 31496 19494 2368 1147 0 18923 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 130176 KiB
Current children cumulated memory: 81048 KiB
[startup+12.7002 s]
/proc/loadavg: 4.09 4.10 4.08 5/272 23484
/proc/meminfo: memFree=128441340/131249996 swapFree=33010684/33010684
[pid=23481] ppid=23478 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/23481/stat : 23481 (run-dec-ls-log.) S 23478 23481 22971 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 32932115 4292608 768 18446744073709551615 94174547546112 94174548440645 140735022586912 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94174548679696 94174548727440 94174573862912 140735022590235 140735022590433 140735022590433 140735022596035 0
/proc/23481/statm: 1048 768 704 219 0 110 0
[pid=23483] ppid=23481 vsize=135076 memory=86552 CPUtime=12.65 cores=0,2
/proc/23483/stat : 23483 (roundingsat) R 23481 23481 22971 0 -1 4194304 17231 0 0 0 1236 29 0 0 20 0 1 0 32932116 138317824 21638 18446744073709551615 4227072 8923433 140722046957760 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 24866816 140722046966096 140722046966312 140722046966312 140722046971882 0
/proc/23483/statm: 33769 21638 2368 1147 0 21196 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 139268 KiB
Current children cumulated memory: 89624 KiB
[startup+25.5002 s]
/proc/loadavg: 4.07 4.09 4.08 5/273 23486
/proc/meminfo: memFree=128334476/131249996 swapFree=33010684/33010684
[pid=23481] ppid=23478 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/23481/stat : 23481 (run-dec-ls-log.) S 23478 23481 22971 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 32932115 4292608 768 18446744073709551615 94174547546112 94174548440645 140735022586912 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94174548679696 94174548727440 94174573862912 140735022590235 140735022590433 140735022590433 140735022596035 0
/proc/23481/statm: 1048 768 704 219 0 110 0
[pid=23483] ppid=23481 vsize=155016 memory=106384 CPUtime=25.41 cores=0,2
/proc/23483/stat : 23483 (roundingsat) R 23481 23481 22971 0 -1 4194304 21664 0 0 0 2479 62 0 0 20 0 1 0 32932116 158736384 26596 18446744073709551615 4227072 8923433 140722046957760 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 24866816 140722046966096 140722046966312 140722046966312 140722046971882 0
/proc/23483/statm: 38754 26596 2368 1147 0 26181 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 159208 KiB
Current children cumulated memory: 109456 KiB
[startup+51.1055 s]
/proc/loadavg: 4.11 4.10 4.08 5/272 23486
/proc/meminfo: memFree=128122740/131249996 swapFree=33010684/33010684
[pid=23481] ppid=23478 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/23481/stat : 23481 (run-dec-ls-log.) S 23478 23481 22971 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 32932115 4292608 768 18446744073709551615 94174547546112 94174548440645 140735022586912 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94174548679696 94174548727440 94174573862912 140735022590235 140735022590433 140735022590433 140735022596035 0
/proc/23481/statm: 1048 768 704 219 0 110 0
[pid=23483] ppid=23481 vsize=188200 memory=131996 CPUtime=50.95 cores=0,2
/proc/23483/stat : 23483 (roundingsat) R 23481 23481 22971 0 -1 4194304 26106 0 0 0 4969 126 0 0 20 0 1 0 32932116 192716800 32999 18446744073709551615 4227072 8923433 140722046957760 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 24866816 140722046966096 140722046966312 140722046966312 140722046971882 0
/proc/23483/statm: 47050 32999 2368 1147 0 34477 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 192392 KiB
Current children cumulated memory: 135068 KiB
[startup+102.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/273 23490
/proc/meminfo: memFree=127700720/131249996 swapFree=33010684/33010684
[pid=23481] ppid=23478 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/23481/stat : 23481 (run-dec-ls-log.) S 23478 23481 22971 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 32932115 4292608 768 18446744073709551615 94174547546112 94174548440645 140735022586912 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94174548679696 94174548727440 94174573862912 140735022590235 140735022590433 140735022590433 140735022596035 0
/proc/23481/statm: 1048 768 704 219 0 110 0
[pid=23483] ppid=23481 vsize=247572 memory=191936 CPUtime=102 cores=0,2
/proc/23483/stat : 23483 (roundingsat) R 23481 23481 22971 0 -1 4194304 36580 0 0 0 9974 226 0 0 20 0 1 0 32932116 253513728 47984 18446744073709551615 4227072 8923433 140722046957760 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 24866816 140722046966096 140722046966312 140722046966312 140722046971882 0
/proc/23483/statm: 61893 47984 2368 1147 0 49320 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 251764 KiB
Current children cumulated memory: 195008 KiB
[startup+162.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/274 23493
/proc/meminfo: memFree=127221184/131249996 swapFree=33010684/33010684
[pid=23481] ppid=23478 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/23481/stat : 23481 (run-dec-ls-log.) S 23478 23481 22971 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 32932115 4292608 768 18446744073709551615 94174547546112 94174548440645 140735022586912 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94174548679696 94174548727440 94174573862912 140735022590235 140735022590433 140735022590433 140735022596035 0
/proc/23481/statm: 1048 768 704 219 0 110 0
[pid=23483] ppid=23481 vsize=303136 memory=230636 CPUtime=161.84 cores=0,2
/proc/23483/stat : 23483 (roundingsat) R 23481 23481 22971 0 -1 4194304 43209 0 0 0 15869 315 0 0 20 0 1 0 32932116 310411264 57659 18446744073709551615 4227072 8923433 140722046957760 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 24866816 140722046966096 140722046966312 140722046966312 140722046971882 0
/proc/23483/statm: 75784 57659 2368 1147 0 63211 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 307328 KiB
Current children cumulated memory: 233708 KiB
[startup+222.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/274 23495
/proc/meminfo: memFree=126920840/131249996 swapFree=33010684/33010684
[pid=23481] ppid=23478 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/23481/stat : 23481 (run-dec-ls-log.) S 23478 23481 22971 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 32932115 4292608 768 18446744073709551615 94174547546112 94174548440645 140735022586912 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94174548679696 94174548727440 94174573862912 140735022590235 140735022590433 140735022590433 140735022596035 0
/proc/23481/statm: 1048 768 704 219 0 110 0
[pid=23483] ppid=23481 vsize=317404 memory=246768 CPUtime=221.67 cores=0,2
/proc/23483/stat : 23483 (roundingsat) R 23481 23481 22971 0 -1 4194304 46719 0 0 0 21753 414 0 0 20 0 1 0 32932116 325021696 61692 18446744073709551615 4227072 8923433 140722046957760 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 24866816 140722046966096 140722046966312 140722046966312 140722046971882 0
################
# More data... #
################
/proc/23483/statm: 403309 330602 2368 1147 0 390736 0
Current children cumulated CPU time: 3033.71 s
Current children cumulated vsize: 1617428 KiB
Current children cumulated memory: 1325480 KiB
[startup+3102.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/273 23705
/proc/meminfo: memFree=105344844/131249996 swapFree=33010684/33010684
[pid=23481] ppid=23478 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/23481/stat : 23481 (run-dec-ls-log.) S 23478 23481 22971 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 32932115 4292608 768 18446744073709551615 94174547546112 94174548440645 140735022586912 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94174548679696 94174548727440 94174573862912 140735022590235 140735022590433 140735022590433 140735022596035 0
/proc/23481/statm: 1048 768 704 219 0 110 0
[pid=23483] ppid=23481 vsize=1613236 memory=1322408 CPUtime=3093.53 cores=0,2
/proc/23483/stat : 23483 (roundingsat) R 23481 23481 22971 0 -1 4194304 158529 0 0 0 306262 3091 0 0 20 0 1 0 32932116 1651953664 330602 18446744073709551615 4227072 8923433 140722046957760 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 24866816 140722046966096 140722046966312 140722046966312 140722046971882 0
/proc/23483/statm: 403309 330602 2368 1147 0 390736 0
Current children cumulated CPU time: 3093.53 s
Current children cumulated vsize: 1617428 KiB
Current children cumulated memory: 1325480 KiB
[startup+3162.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/273 23708
/proc/meminfo: memFree=105020232/131249996 swapFree=33010684/33010684
[pid=23481] ppid=23478 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/23481/stat : 23481 (run-dec-ls-log.) S 23478 23481 22971 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 32932115 4292608 768 18446744073709551615 94174547546112 94174548440645 140735022586912 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94174548679696 94174548727440 94174573862912 140735022590235 140735022590433 140735022590433 140735022596035 0
/proc/23481/statm: 1048 768 704 219 0 110 0
[pid=23483] ppid=23481 vsize=1613236 memory=1322792 CPUtime=3153.35 cores=0,2
/proc/23483/stat : 23483 (roundingsat) R 23481 23481 22971 0 -1 4194304 158634 0 0 0 312192 3143 0 0 20 0 1 0 32932116 1651953664 330698 18446744073709551615 4227072 8923433 140722046957760 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 24866816 140722046966096 140722046966312 140722046966312 140722046971882 0
/proc/23483/statm: 403309 330698 2368 1147 0 390736 0
Current children cumulated CPU time: 3153.35 s
Current children cumulated vsize: 1617428 KiB
Current children cumulated memory: 1325864 KiB
[startup+3222.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/272 23710
/proc/meminfo: memFree=104714072/131249996 swapFree=33010684/33010684
[pid=23481] ppid=23478 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/23481/stat : 23481 (run-dec-ls-log.) S 23478 23481 22971 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 32932115 4292608 768 18446744073709551615 94174547546112 94174548440645 140735022586912 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94174548679696 94174548727440 94174573862912 140735022590235 140735022590433 140735022590433 140735022596035 0
/proc/23481/statm: 1048 768 704 219 0 110 0
[pid=23483] ppid=23481 vsize=1613236 memory=1324200 CPUtime=3213.17 cores=0,2
/proc/23483/stat : 23483 (roundingsat) R 23481 23481 22971 0 -1 4194304 158986 0 0 0 318131 3186 0 0 20 0 1 0 32932116 1651953664 331050 18446744073709551615 4227072 8923433 140722046957760 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 24866816 140722046966096 140722046966312 140722046966312 140722046971882 0
/proc/23483/statm: 403309 331050 2368 1147 0 390736 0
Current children cumulated CPU time: 3213.17 s
Current children cumulated vsize: 1617428 KiB
Current children cumulated memory: 1327272 KiB
[startup+3282.3 s]
/proc/loadavg: 4.09 4.08 4.09 5/274 23716
/proc/meminfo: memFree=104351488/131249996 swapFree=33010684/33010684
[pid=23481] ppid=23478 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/23481/stat : 23481 (run-dec-ls-log.) S 23478 23481 22971 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 32932115 4292608 768 18446744073709551615 94174547546112 94174548440645 140735022586912 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94174548679696 94174548727440 94174573862912 140735022590235 140735022590433 140735022590433 140735022596035 0
/proc/23481/statm: 1048 768 704 219 0 110 0
[pid=23483] ppid=23481 vsize=1613236 memory=1324200 CPUtime=3272.98 cores=0,2
/proc/23483/stat : 23483 (roundingsat) R 23481 23481 22971 0 -1 4194304 159112 0 0 0 324045 3253 0 0 20 0 1 0 32932116 1651953664 331050 18446744073709551615 4227072 8923433 140722046957760 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 24866816 140722046966096 140722046966312 140722046966312 140722046971882 0
/proc/23483/statm: 403309 331050 2368 1147 0 390736 0
Current children cumulated CPU time: 3272.98 s
Current children cumulated vsize: 1617428 KiB
Current children cumulated memory: 1327272 KiB
[startup+3342.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/272 23718
/proc/meminfo: memFree=103954072/131249996 swapFree=33010684/33010684
[pid=23481] ppid=23478 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/23481/stat : 23481 (run-dec-ls-log.) S 23478 23481 22971 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 32932115 4292608 768 18446744073709551615 94174547546112 94174548440645 140735022586912 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94174548679696 94174548727440 94174573862912 140735022590235 140735022590433 140735022590433 140735022596035 0
/proc/23481/statm: 1048 768 704 219 0 110 0
[pid=23483] ppid=23481 vsize=1613236 memory=1324200 CPUtime=3332.8 cores=0,2
/proc/23483/stat : 23483 (roundingsat) R 23481 23481 22971 0 -1 4194304 159181 0 0 0 329968 3312 0 0 20 0 1 0 32932116 1651953664 331050 18446744073709551615 4227072 8923433 140722046957760 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 24866816 140722046966096 140722046966312 140722046966312 140722046971882 0
/proc/23483/statm: 403309 331050 2368 1147 0 390736 0
Current children cumulated CPU time: 3332.8 s
Current children cumulated vsize: 1617428 KiB
Current children cumulated memory: 1327272 KiB
[startup+3402.3 s]
/proc/loadavg: 4.15 4.10 4.09 5/273 23725
/proc/meminfo: memFree=103431328/131249996 swapFree=33010684/33010684
[pid=23481] ppid=23478 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/23481/stat : 23481 (run-dec-ls-log.) S 23478 23481 22971 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 32932115 4292608 768 18446744073709551615 94174547546112 94174548440645 140735022586912 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94174548679696 94174548727440 94174573862912 140735022590235 140735022590433 140735022590433 140735022596035 0
/proc/23481/statm: 1048 768 704 219 0 110 0
[pid=23483] ppid=23481 vsize=1613236 memory=1324328 CPUtime=3392.62 cores=0,2
/proc/23483/stat : 23483 (roundingsat) R 23481 23481 22971 0 -1 4194304 159195 0 0 0 335911 3351 0 0 20 0 1 0 32932116 1651953664 331082 18446744073709551615 4227072 8923433 140722046957760 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 24866816 140722046966096 140722046966312 140722046966312 140722046971882 0
/proc/23483/statm: 403309 331082 2368 1147 0 390736 0
Current children cumulated CPU time: 3392.62 s
Current children cumulated vsize: 1617428 KiB
Current children cumulated memory: 1327400 KiB
[startup+3462.3 s]
/proc/loadavg: 4.05 4.08 4.09 5/273 23729
/proc/meminfo: memFree=103088240/131249996 swapFree=33010684/33010684
[pid=23481] ppid=23478 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/23481/stat : 23481 (run-dec-ls-log.) S 23478 23481 22971 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 32932115 4292608 768 18446744073709551615 94174547546112 94174548440645 140735022586912 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94174548679696 94174548727440 94174573862912 140735022590235 140735022590433 140735022590433 140735022596035 0
/proc/23481/statm: 1048 768 704 219 0 110 0
[pid=23483] ppid=23481 vsize=1613236 memory=1324968 CPUtime=3452.43 cores=0,2
/proc/23483/stat : 23483 (roundingsat) R 23481 23481 22971 0 -1 4194304 159359 0 0 0 341852 3391 0 0 20 0 1 0 32932116 1651953664 331242 18446744073709551615 4227072 8923433 140722046957760 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 24866816 140722046966096 140722046966312 140722046966312 140722046971882 0
/proc/23483/statm: 403309 331242 2368 1147 0 390736 0
Current children cumulated CPU time: 3452.43 s
Current children cumulated vsize: 1617428 KiB
Current children cumulated memory: 1328040 KiB
[startup+3522.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/273 23731
/proc/meminfo: memFree=102788048/131249996 swapFree=33010684/33010684
[pid=23481] ppid=23478 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/23481/stat : 23481 (run-dec-ls-log.) S 23478 23481 22971 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 32932115 4292608 768 18446744073709551615 94174547546112 94174548440645 140735022586912 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94174548679696 94174548727440 94174573862912 140735022590235 140735022590433 140735022590433 140735022596035 0
/proc/23481/statm: 1048 768 704 219 0 110 0
[pid=23483] ppid=23481 vsize=1613236 memory=1326120 CPUtime=3512.25 cores=0,2
/proc/23483/stat : 23483 (roundingsat) R 23481 23481 22971 0 -1 4194304 159649 0 0 0 347791 3434 0 0 20 0 1 0 32932116 1651953664 331530 18446744073709551615 4227072 8923433 140722046957760 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 24866816 140722046966096 140722046966312 140722046966312 140722046971882 0
/proc/23483/statm: 403309 331530 2368 1147 0 390736 0
Current children cumulated CPU time: 3512.25 s
Current children cumulated vsize: 1617428 KiB
Current children cumulated memory: 1329192 KiB
[startup+3582.3 s]
/proc/loadavg: 4.17 4.11 4.09 5/271 23732
/proc/meminfo: memFree=102388952/131249996 swapFree=33010684/33010684
[pid=23481] ppid=23478 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/23481/stat : 23481 (run-dec-ls-log.) S 23478 23481 22971 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 32932115 4292608 768 18446744073709551615 94174547546112 94174548440645 140735022586912 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94174548679696 94174548727440 94174573862912 140735022590235 140735022590433 140735022590433 140735022596035 0
/proc/23481/statm: 1048 768 704 219 0 110 0
[pid=23483] ppid=23481 vsize=1613236 memory=1326760 CPUtime=3572.07 cores=0,2
/proc/23483/stat : 23483 (roundingsat) R 23481 23481 22971 0 -1 4194304 159955 0 0 0 353723 3484 0 0 20 0 1 0 32932116 1651953664 331690 18446744073709551615 4227072 8923433 140722046957760 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 24866816 140722046966096 140722046966312 140722046966312 140722046971882 0
/proc/23483/statm: 403309 331690 2368 1147 0 390736 0
Current children cumulated CPU time: 3572.07 s
Current children cumulated vsize: 1617428 KiB
Current children cumulated memory: 1329832 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.4 s]
/proc/loadavg: 4.11 4.10 4.09 4/260 23788
/proc/meminfo: memFree=109026284/131249996 swapFree=33010684/33010684
[pid=23481] ppid=23478 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/23481/stat : 23481 (run-dec-ls-log.) S 23478 23481 22971 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 32932115 4292608 768 18446744073709551615 94174547546112 94174548440645 140735022586912 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94174548679696 94174548727440 94174573862912 140735022590235 140735022590433 140735022590433 140735022596035 0
/proc/23481/statm: 1048 768 704 219 0 110 0
[pid=23483] ppid=23481 vsize=1613236 memory=1327016 CPUtime=3600.08 cores=0,2
/proc/23483/stat : 23483 (roundingsat) R 23481 23481 22971 0 -1 4194304 160080 0 0 0 356490 3518 0 0 20 0 1 0 32932116 1651953664 331754 18446744073709551615 4227072 8923433 140722046957760 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 24866816 140722046966096 140722046966312 140722046966312 140722046971882 0
/proc/23483/statm: 403309 331754 2368 1147 0 390736 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 1617428 KiB
Current children cumulated memory: 1330088 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.4 s]
# the end of solver process 23481 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.001032 s, system=0.001148 s
[startup+3610.5 s]
# the end of solver process 23483 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3564.92 s, system=35.2079 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 2
Real time (s): 3610.5
CPU time (s): 3600.13
CPU user time (s): 3564.92
CPU system time (s): 35.2079
CPU usage (%): 99.7126
Max. virtual memory (cumulated for all children) (KiB): 1617428
Max. memory (cumulated for all children) (KiB): 1330088
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3564.92
system time used= 35.2079
maximum resident set size= 1327400
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 160314
page faults= 0
swaps= 0
block input operations= 0
block output operations= 11692808
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 684
involuntary context switches= 8570
# summary of solver processes directly reported to runsolver:
# pid: 23481,23483
# total CPU time (s): 3600.13
# total CPU user time (s): 3564.92
# total CPU system time (s): 35.2079
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.03411 second user time and 16.1915 second system time
The end
Begin job on nodeC024 at 2025-06-29 06:49:02
IDJOB=4506871
IDBENCH=158302
IDSOLVER=3354
FILE ID=nodeC024/4506871-1751172542
RUNJOBID= nodeC024-1751168926-22981
SLURM_JOB_ID= 9587515
Free space on /tmp= 433016 MiB
SOLVER NAME= roundingsat-ls-log 63f22ad
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathNG/normalized-NG_K176.opb
COMMAND LINE= run-dec-ls-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4506871-1751172542/watcher-4506871-1751172542 -o /tmp/evaluation-result-4506871-1751172542/solver-4506871-1751172542 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1751168926-22981 --watchdog 3760 --file-size-limit 100000 run-dec-ls-log.sh HOME/instance-4506871-1751172542.opb PROOFDIR/proof-4506871-1751172542
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 98be46c5d9a37fa78efcf3182d546400
RANDOM SEED=2053755889
nodeC024 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 : 0xb00002a
cpu MHz : 3599.646
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.707
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3573.703
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3454.530
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3608.739
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.668
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.676
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3511.187
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 128596844 kB
MemAvailable: 128861176 kB
Buffers: 3280 kB
Cached: 1073808 kB
SwapCached: 0 kB
Active: 1202476 kB
Inactive: 853800 kB
Active(anon): 997256 kB
Inactive(anon): 0 kB
Active(file): 205220 kB
Inactive(file): 853800 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 26216 kB
Writeback: 0 kB
AnonPages: 979620 kB
Mapped: 115700 kB
Shmem: 18064 kB
KReclaimable: 88704 kB
Slab: 173948 kB
SReclaimable: 88704 kB
SUnreclaim: 85244 kB
KernelStack: 4400 kB
PageTables: 4924 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 1448548 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150632 kB
VmallocChunk: 0 kB
Percpu: 3808 kB
HardwareCorrupted: 0 kB
AnonHugePages: 827392 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: 195284 kB
DirectMap2M: 6916096 kB
DirectMap1G: 128974848 kB
Free space on /tmp at the end= 433024 MiB
End job on nodeC024 at 2025-06-29 07:49:13