0.00/0.01 c RoundingSat 2
0.00/0.01 c branch pb25
0.00/0.01 c commit 63f22ad
0.08/0.14 c #variables 18921 #constraints 19241
97.00/97.37 c #Conflicts: 1000 | #Constraints: 20240
97.00/97.37 c #Conflicts: 2000 | #Constraints: 21240
97.00/97.37 c INPROCESSING
97.00/97.37 c GARBAGE COLLECT
97.00/97.37 c #Conflicts: 3000 | #Constraints: 20477
97.00/97.37 c #Conflicts: 4000 | #Constraints: 21477
97.00/97.37 c INPROCESSING
97.00/97.37 c GARBAGE COLLECT
97.00/97.37 c #Conflicts: 5000 | #Constraints: 20998
97.00/97.37 c #Conflicts: 6000 | #Constraints: 21998
97.00/97.37 c INPROCESSING
97.00/97.37 c GARBAGE COLLECT
97.00/97.37 c #Conflicts: 7000 | #Constraints: 21077
97.00/97.37 c #Conflicts: 8000 | #Constraints: 22077
97.00/97.37 c #Conflicts: 9000 | #Constraints: 23077
97.00/97.37 c INPROCESSING
97.00/97.37 c GARBAGE COLLECT
97.00/97.37 c #Conflicts: 10000 | #Constraints: 21827
97.00/97.37 c #Conflicts: 11000 | #Constraints: 22827
97.00/97.37 c #Conflicts: 12000 | #Constraints: 23827
97.00/97.37 c INPROCESSING
97.00/97.37 c GARBAGE COLLECT
97.00/97.37 c #Conflicts: 13000 | #Constraints: 22350
97.00/97.37 c #Conflicts: 14000 | #Constraints: 23350
97.00/97.37 c #Conflicts: 15000 | #Constraints: 24350
97.00/97.37 c #Conflicts: 16000 | #Constraints: 25350
97.00/97.37 c #Conflicts: 17000 | #Constraints: 26350
97.00/97.37 c #Conflicts: 18000 | #Constraints: 27350
97.00/97.37 c #Conflicts: 19000 | #Constraints: 28350
97.00/97.37 c #Conflicts: 20000 | #Constraints: 29350
97.00/97.37 c INPROCESSING
97.00/97.37 c GARBAGE COLLECT
97.00/97.37 c #Conflicts: 21000 | #Constraints: 24961
97.00/97.37 c #Conflicts: 22000 | #Constraints: 25961
97.00/97.37 c #Conflicts: 23000 | #Constraints: 26961
97.00/97.37 c #Conflicts: 24000 | #Constraints: 27961
97.00/97.37 c INPROCESSING
97.00/97.37 c GARBAGE COLLECT
97.00/97.37 c #Conflicts: 25000 | #Constraints: 24163
97.00/97.37 c #Conflicts: 26000 | #Constraints: 25163
97.00/97.37 c #Conflicts: 27000 | #Constraints: 26163
97.00/97.37 c #Conflicts: 28000 | #Constraints: 27163
97.00/97.37 c #Conflicts: 29000 | #Constraints: 28163
97.00/97.37 c #Conflicts: 30000 | #Constraints: 29163
97.00/97.37 c #Conflicts: 31000 | #Constraints: 30163
97.00/97.37 c #Conflicts: 32000 | #Constraints: 31163
97.00/97.37 c #Conflicts: 33000 | #Constraints: 32163
97.00/97.37 c #Conflicts: 34000 | #Constraints: 33163
97.00/97.37 c #Conflicts: 35000 | #Constraints: 34163
97.00/97.37 c #Conflicts: 36000 | #Constraints: 35163
97.00/97.37 c INPROCESSING
97.00/97.37 c GARBAGE COLLECT
97.00/97.37 c #Conflicts: 37000 | #Constraints: 28194
97.00/97.37 c #Conflicts: 38000 | #Constraints: 29194
97.00/97.37 c #Conflicts: 39000 | #Constraints: 30194
97.00/97.37 c #Conflicts: 40000 | #Constraints: 31194
97.00/97.37 c #Conflicts: 41000 | #Constraints: 32194
97.00/97.37 c INPROCESSING
97.00/97.37 c GARBAGE COLLECT
97.00/97.37 c #Conflicts: 42000 | #Constraints: 26538
97.00/97.37 c #Conflicts: 43000 | #Constraints: 27538
97.00/97.37 c #Conflicts: 44000 | #Constraints: 28538
97.00/97.37 c #Conflicts: 45000 | #Constraints: 29538
97.00/97.37 c #Conflicts: 46000 | #Constraints: 30538
97.00/97.37 c #Conflicts: 47000 | #Constraints: 31538
97.00/97.37 c #Conflicts: 48000 | #Constraints: 32538
97.00/97.37 c #Conflicts: 49000 | #Constraints: 33538
97.00/97.37 c #Conflicts: 50000 | #Constraints: 34538
97.00/97.37 c #Conflicts: 51000 | #Constraints: 35538
97.00/97.37 c #Conflicts: 52000 | #Constraints: 36538
97.00/97.37 c #Conflicts: 53000 | #Constraints: 37538
97.00/97.37 c #Conflicts: 54000 | #Constraints: 38538
97.00/97.37 c #Conflicts: 55000 | #Constraints: 39538
97.00/97.37 c #Conflicts: 56000 | #Constraints: 40538
97.00/97.37 c INPROCESSING
97.00/97.37 c GARBAGE COLLECT
97.00/97.37 c #Conflicts: 57000 | #Constraints: 31047
97.00/97.37 c #Conflicts: 58000 | #Constraints: 32047
97.00/97.37 c #Conflicts: 59000 | #Constraints: 33047
97.00/97.37 c #Conflicts: 60000 | #Constraints: 34047
97.00/97.37 c #Conflicts: 61000 | #Constraints: 35047
97.00/97.37 c #Conflicts: 62000 | #Constraints: 36047
97.00/97.37 c INPROCESSING
97.00/97.37 c GARBAGE COLLECT
97.00/97.37 c #Conflicts: 63000 | #Constraints: 28560
97.00/97.37 c #Conflicts: 64000 | #Constraints: 29560
97.00/97.37 c #Conflicts: 65000 | #Constraints: 30560
97.00/97.37 c #Conflicts: 66000 | #Constraints: 31560
97.00/97.37 c #Conflicts: 67000 | #Constraints: 32560
97.00/97.37 c #Conflicts: 68000 | #Constraints: 33560
97.00/97.37 c #Conflicts: 69000 | #Constraints: 34560
97.00/97.37 c #Conflicts: 70000 | #Constraints: 35560
97.00/97.37 c #Conflicts: 71000 | #Constraints: 36560
97.00/97.37 c #Conflicts: 72000 | #Constraints: 37560
221.92/222.69 c #Conflicts: 73000 | #Constraints: 38560
221.92/222.69 c #Conflicts: 74000 | #Constraints: 39560
221.92/222.69 c #Conflicts: 75000 | #Constraints: 40560
221.92/222.69 c #Conflicts: 76000 | #Constraints: 41560
221.92/222.69 c #Conflicts: 77000 | #Constraints: 42560
221.92/222.69 c #Conflicts: 78000 | #Constraints: 43560
221.92/222.69 c #Conflicts: 79000 | #Constraints: 44560
221.92/222.69 c #Conflicts: 80000 | #Constraints: 45560
221.92/222.69 c INPROCESSING
221.92/222.69 c GARBAGE COLLECT
221.92/222.69 c #Conflicts: 81000 | #Constraints: 33441
221.92/222.69 c #Conflicts: 82000 | #Constraints: 34441
221.92/222.69 c #Conflicts: 83000 | #Constraints: 35441
221.92/222.69 c #Conflicts: 84000 | #Constraints: 36441
221.92/222.69 c #Conflicts: 85000 | #Constraints: 37441
221.92/222.69 c #Conflicts: 86000 | #Constraints: 38441
221.92/222.69 c #Conflicts: 87000 | #Constraints: 39441
221.92/222.69 c #Conflicts: 88000 | #Constraints: 40441
221.92/222.69 c INPROCESSING
221.92/222.69 c GARBAGE COLLECT
221.92/222.69 c #Conflicts: 89000 | #Constraints: 31123
221.92/222.69 c #Conflicts: 90000 | #Constraints: 32123
221.92/222.69 c #Conflicts: 91000 | #Constraints: 33123
221.92/222.69 c #Conflicts: 92000 | #Constraints: 34123
221.92/222.69 c #Conflicts: 93000 | #Constraints: 35123
221.92/222.69 c #Conflicts: 94000 | #Constraints: 36123
221.92/222.69 c #Conflicts: 95000 | #Constraints: 37123
221.92/222.69 c #Conflicts: 96000 | #Constraints: 38123
221.92/222.69 c #Conflicts: 97000 | #Constraints: 39123
221.92/222.69 c #Conflicts: 98000 | #Constraints: 40123
221.92/222.69 c #Conflicts: 99000 | #Constraints: 41123
221.92/222.69 c #Conflicts: 100000 | #Constraints: 42123
221.92/222.69 c #Conflicts: 101000 | #Constraints: 43124
221.92/222.69 c #Conflicts: 102000 | #Constraints: 44124
221.92/222.69 c #Conflicts: 103000 | #Constraints: 45124
221.92/222.69 c #Conflicts: 104000 | #Constraints: 46124
221.92/222.69 c #Conflicts: 105000 | #Constraints: 47124
221.92/222.69 c #Conflicts: 106000 | #Constraints: 48124
221.92/222.69 c #Conflicts: 107000 | #Constraints: 49124
221.92/222.69 c #Conflicts: 108000 | #Constraints: 50124
221.92/222.69 c #Conflicts: 109000 | #Constraints: 51124
221.92/222.69 c INPROCESSING
221.92/222.69 c GARBAGE COLLECT
221.92/222.69 c #Conflicts: 110000 | #Constraints: 36487
221.92/222.69 c #Conflicts: 111000 | #Constraints: 37487
221.92/222.69 c #Conflicts: 112000 | #Constraints: 38487
221.92/222.69 c #Conflicts: 113000 | #Constraints: 39487
221.92/222.69 c #Conflicts: 114000 | #Constraints: 40487
221.92/222.69 c #Conflicts: 115000 | #Constraints: 41487
221.92/222.69 c #Conflicts: 116000 | #Constraints: 42487
221.92/222.69 c #Conflicts: 117000 | #Constraints: 43487
221.92/222.69 c #Conflicts: 118000 | #Constraints: 44487
221.92/222.69 c INPROCESSING
221.92/222.69 c GARBAGE COLLECT
221.92/222.69 c #Conflicts: 119000 | #Constraints: 33505
221.92/222.69 c #Conflicts: 120000 | #Constraints: 34505
221.92/222.69 c #Conflicts: 121000 | #Constraints: 35505
221.92/222.69 c #Conflicts: 122000 | #Constraints: 36505
221.92/222.69 c #Conflicts: 123000 | #Constraints: 37505
221.92/222.69 c #Conflicts: 124000 | #Constraints: 38505
221.92/222.69 c #Conflicts: 125000 | #Constraints: 39505
221.92/222.69 c #Conflicts: 126000 | #Constraints: 40505
221.92/222.69 c #Conflicts: 127000 | #Constraints: 41505
221.92/222.69 c #Conflicts: 128000 | #Constraints: 42505
221.92/222.69 c #Conflicts: 129000 | #Constraints: 43505
221.92/222.69 c #Conflicts: 130000 | #Constraints: 44505
221.92/222.69 c #Conflicts: 131000 | #Constraints: 45505
221.92/222.69 c #Conflicts: 132000 | #Constraints: 46505
221.92/222.69 c #Conflicts: 133000 | #Constraints: 47505
221.92/222.69 c #Conflicts: 134000 | #Constraints: 48505
221.92/222.69 c #Conflicts: 135000 | #Constraints: 49505
221.92/222.69 c #Conflicts: 136000 | #Constraints: 50505
221.92/222.69 c #Conflicts: 137000 | #Constraints: 51505
221.92/222.69 c #Conflicts: 138000 | #Constraints: 52505
221.92/222.69 c #Conflicts: 139000 | #Constraints: 53505
221.92/222.69 c #Conflicts: 140000 | #Constraints: 54505
221.92/222.69 c #Conflicts: 141000 | #Constraints: 55505
221.92/222.69 c #Conflicts: 142000 | #Constraints: 56505
221.92/222.69 c INPROCESSING
221.92/222.69 c GARBAGE COLLECT
221.92/222.69 c #Conflicts: 143000 | #Constraints: 39137
221.92/222.69 c #Conflicts: 144000 | #Constraints: 40137
221.92/222.69 c #Conflicts: 145000 | #Constraints: 41137
221.92/222.69 c #Conflicts: 146000 | #Constraints: 42137
221.92/222.69 c #Conflicts: 147000 | #Constraints: 43137
221.92/222.69 c #Conflicts: 148000 | #Constraints: 44137
394.69/395.98 c #Conflicts: 149000 | #Constraints: 45137
394.69/395.98 c #Conflicts: 150000 | #Constraints: 46137
394.69/395.98 c #Conflicts: 151000 | #Constraints: 47137
394.69/395.98 c #Conflicts: 152000 | #Constraints: 48137
394.69/395.98 c #Conflicts: 153000 | #Constraints: 49137
394.69/395.98 c INPROCESSING
394.69/395.98 c GARBAGE COLLECT
394.69/395.98 c #Conflicts: 154000 | #Constraints: 36708
394.69/395.98 c #Conflicts: 155000 | #Constraints: 37708
394.69/395.98 c #Conflicts: 156000 | #Constraints: 38708
394.69/395.98 c #Conflicts: 157000 | #Constraints: 39708
394.69/395.98 c #Conflicts: 158000 | #Constraints: 40708
394.69/395.98 c #Conflicts: 159000 | #Constraints: 41708
394.69/395.98 c #Conflicts: 160000 | #Constraints: 42708
394.69/395.98 c #Conflicts: 161000 | #Constraints: 43708
394.69/395.98 c #Conflicts: 162000 | #Constraints: 44708
394.69/395.98 c #Conflicts: 163000 | #Constraints: 45708
394.69/395.98 c #Conflicts: 164000 | #Constraints: 46708
394.69/395.98 c #Conflicts: 165000 | #Constraints: 47708
394.69/395.98 c #Conflicts: 166000 | #Constraints: 48708
394.69/395.98 c #Conflicts: 167000 | #Constraints: 49708
394.69/395.98 c #Conflicts: 168000 | #Constraints: 50708
394.69/395.98 c #Conflicts: 169000 | #Constraints: 51708
394.69/395.98 c #Conflicts: 170000 | #Constraints: 52708
394.69/395.98 c #Conflicts: 171000 | #Constraints: 53708
394.69/395.98 c #Conflicts: 172000 | #Constraints: 54708
394.69/395.98 c #Conflicts: 173000 | #Constraints: 55708
394.69/395.98 c #Conflicts: 174000 | #Constraints: 56708
394.69/395.98 c #Conflicts: 175000 | #Constraints: 57708
394.69/395.98 c #Conflicts: 176000 | #Constraints: 58708
394.69/395.98 c #Conflicts: 177000 | #Constraints: 59708
394.69/395.98 c #Conflicts: 178000 | #Constraints: 60708
394.69/395.98 c #Conflicts: 179000 | #Constraints: 61708
394.69/395.98 c #Conflicts: 180000 | #Constraints: 62708
394.69/395.98 c INPROCESSING
394.69/395.98 c GARBAGE COLLECT
394.69/395.98 c #Conflicts: 181000 | #Constraints: 42498
394.69/395.98 c #Conflicts: 182000 | #Constraints: 43498
394.69/395.98 c #Conflicts: 183000 | #Constraints: 44498
394.69/395.98 c #Conflicts: 184000 | #Constraints: 45498
394.69/395.98 c #Conflicts: 185000 | #Constraints: 46498
394.69/395.98 c #Conflicts: 186000 | #Constraints: 47498
394.69/395.98 c #Conflicts: 187000 | #Constraints: 48498
394.69/395.98 c #Conflicts: 188000 | #Constraints: 49498
394.69/395.98 c #Conflicts: 189000 | #Constraints: 50498
394.69/395.98 c #Conflicts: 190000 | #Constraints: 51498
394.69/395.98 c #Conflicts: 191000 | #Constraints: 52498
394.69/395.98 c INPROCESSING
394.69/395.98 c GARBAGE COLLECT
394.69/395.98 c #Conflicts: 192000 | #Constraints: 38530
394.69/395.98 c #Conflicts: 193000 | #Constraints: 39530
394.69/395.98 c #Conflicts: 194000 | #Constraints: 40530
394.69/395.98 c #Conflicts: 195000 | #Constraints: 41530
394.69/395.98 c #Conflicts: 196000 | #Constraints: 42530
394.69/395.98 c #Conflicts: 197000 | #Constraints: 43530
394.69/395.98 c #Conflicts: 198000 | #Constraints: 44530
394.69/395.98 c #Conflicts: 199000 | #Constraints: 45530
394.69/395.98 c #Conflicts: 200000 | #Constraints: 46530
394.69/395.98 c #Conflicts: 201000 | #Constraints: 47530
394.69/395.98 c #Conflicts: 202000 | #Constraints: 48530
394.69/395.98 c #Conflicts: 203000 | #Constraints: 49530
394.69/395.98 c #Conflicts: 204000 | #Constraints: 50530
394.69/395.98 c #Conflicts: 205000 | #Constraints: 51530
394.69/395.98 c #Conflicts: 206000 | #Constraints: 52530
394.69/395.98 c #Conflicts: 207000 | #Constraints: 53530
394.69/395.98 c #Conflicts: 208000 | #Constraints: 54530
394.69/395.98 c #Conflicts: 209000 | #Constraints: 55530
394.69/395.98 c #Conflicts: 210000 | #Constraints: 56530
394.69/395.98 c #Conflicts: 211000 | #Constraints: 57530
394.69/395.98 c #Conflicts: 212000 | #Constraints: 58530
394.69/395.98 c #Conflicts: 213000 | #Constraints: 59530
394.69/395.98 c #Conflicts: 214000 | #Constraints: 60530
394.69/395.98 c #Conflicts: 215000 | #Constraints: 61530
394.69/395.98 c #Conflicts: 216000 | #Constraints: 62530
394.69/395.98 c #Conflicts: 217000 | #Constraints: 63530
394.69/395.98 c #Conflicts: 218000 | #Constraints: 64530
394.69/395.98 c #Conflicts: 219000 | #Constraints: 65530
394.69/395.98 c #Conflicts: 220000 | #Constraints: 66530
394.69/395.98 c #Conflicts: 221000 | #Constraints: 67530
394.69/395.98 c #Conflicts: 222000 | #Constraints: 68530
394.69/395.98 c INPROCESSING
394.69/395.98 c GARBAGE COLLECT
394.69/395.98 c #Conflicts: 223000 | #Constraints: 45464
394.69/395.98 c #Conflicts: 224000 | #Constraints: 46464
531.99/533.61 c #Conflicts: 225000 | #Constraints: 47464
531.99/533.61 c #Conflicts: 226000 | #Constraints: 48464
531.99/533.61 c #Conflicts: 227000 | #Constraints: 49464
531.99/533.61 c #Conflicts: 228000 | #Constraints: 50464
531.99/533.61 c #Conflicts: 229000 | #Constraints: 51464
531.99/533.61 c #Conflicts: 230000 | #Constraints: 52464
531.99/533.61 c #Conflicts: 231000 | #Constraints: 53464
531.99/533.61 c #Conflicts: 232000 | #Constraints: 54464
531.99/533.61 c #Conflicts: 233000 | #Constraints: 55464
531.99/533.61 c #Conflicts: 234000 | #Constraints: 56464
531.99/533.61 c #Conflicts: 235000 | #Constraints: 57464
531.99/533.61 c INPROCESSING
531.99/533.61 c GARBAGE COLLECT
531.99/533.61 c #Conflicts: 236000 | #Constraints: 41234
531.99/533.61 c #Conflicts: 237000 | #Constraints: 42234
531.99/533.61 c #Conflicts: 238000 | #Constraints: 43234
531.99/533.61 c #Conflicts: 239000 | #Constraints: 44234
531.99/533.61 c #Conflicts: 240000 | #Constraints: 45234
531.99/533.61 c #Conflicts: 241000 | #Constraints: 46234
531.99/533.61 c #Conflicts: 242000 | #Constraints: 47234
531.99/533.61 c #Conflicts: 243000 | #Constraints: 48234
531.99/533.61 c #Conflicts: 244000 | #Constraints: 49234
531.99/533.61 c #Conflicts: 245000 | #Constraints: 50234
531.99/533.61 c #Conflicts: 246000 | #Constraints: 51234
531.99/533.61 c #Conflicts: 247000 | #Constraints: 52234
531.99/533.61 c #Conflicts: 248000 | #Constraints: 53234
531.99/533.61 c #Conflicts: 249000 | #Constraints: 54234
531.99/533.61 c #Conflicts: 250000 | #Constraints: 55234
531.99/533.61 c #Conflicts: 251000 | #Constraints: 56234
531.99/533.61 c #Conflicts: 252000 | #Constraints: 57234
531.99/533.61 c #Conflicts: 253000 | #Constraints: 58234
531.99/533.61 c #Conflicts: 254000 | #Constraints: 59234
531.99/533.61 c #Conflicts: 255000 | #Constraints: 60234
531.99/533.61 c #Conflicts: 256000 | #Constraints: 61234
531.99/533.61 c #Conflicts: 257000 | #Constraints: 62234
531.99/533.61 c #Conflicts: 258000 | #Constraints: 63234
531.99/533.61 c #Conflicts: 259000 | #Constraints: 64234
531.99/533.61 c #Conflicts: 260000 | #Constraints: 65234
531.99/533.61 c #Conflicts: 261000 | #Constraints: 66234
531.99/533.61 c #Conflicts: 262000 | #Constraints: 67234
531.99/533.61 c #Conflicts: 263000 | #Constraints: 68234
531.99/533.61 c #Conflicts: 264000 | #Constraints: 69234
531.99/533.61 c #Conflicts: 265000 | #Constraints: 70234
531.99/533.61 c #Conflicts: 266000 | #Constraints: 71234
531.99/533.61 c #Conflicts: 267000 | #Constraints: 72234
531.99/533.61 c #Conflicts: 268000 | #Constraints: 73234
531.99/533.61 c INPROCESSING
531.99/533.61 c GARBAGE COLLECT
531.99/533.61 c #Conflicts: 269000 | #Constraints: 47600
531.99/533.61 c #Conflicts: 270000 | #Constraints: 48600
531.99/533.61 c #Conflicts: 271000 | #Constraints: 49600
531.99/533.61 c #Conflicts: 272000 | #Constraints: 50600
531.99/533.61 c #Conflicts: 273000 | #Constraints: 51600
531.99/533.61 c #Conflicts: 274000 | #Constraints: 52600
531.99/533.61 c #Conflicts: 275000 | #Constraints: 53600
531.99/533.61 c #Conflicts: 276000 | #Constraints: 54600
531.99/533.61 c #Conflicts: 277000 | #Constraints: 55601
531.99/533.61 c #Conflicts: 278000 | #Constraints: 56601
531.99/533.61 c #Conflicts: 279000 | #Constraints: 57601
531.99/533.61 c #Conflicts: 280000 | #Constraints: 58601
531.99/533.61 c #Conflicts: 281000 | #Constraints: 59601
531.99/533.61 c #Conflicts: 282000 | #Constraints: 60601
531.99/533.61 c INPROCESSING
531.99/533.61 c GARBAGE COLLECT
531.99/533.61 c #Conflicts: 283000 | #Constraints: 43225
531.99/533.61 c #Conflicts: 284000 | #Constraints: 44225
531.99/533.61 c #Conflicts: 285000 | #Constraints: 45225
531.99/533.61 c #Conflicts: 286000 | #Constraints: 46225
531.99/533.61 c #Conflicts: 287000 | #Constraints: 47225
531.99/533.61 c #Conflicts: 288000 | #Constraints: 48225
531.99/533.61 c #Conflicts: 289000 | #Constraints: 49225
531.99/533.61 c #Conflicts: 290000 | #Constraints: 50225
531.99/533.61 c #Conflicts: 291000 | #Constraints: 51225
531.99/533.61 c #Conflicts: 292000 | #Constraints: 52225
531.99/533.61 c #Conflicts: 293000 | #Constraints: 53225
531.99/533.61 c #Conflicts: 294000 | #Constraints: 54225
531.99/533.61 c #Conflicts: 295000 | #Constraints: 55225
531.99/533.61 c #Conflicts: 296000 | #Constraints: 56225
531.99/533.61 c #Conflicts: 297000 | #Constraints: 57225
531.99/533.61 c #Conflicts: 298000 | #Constraints: 58225
531.99/533.61 c #Conflicts: 299000 | #Constraints: 59225
531.99/533.61 c #Conflicts: 300000 | #Constraints: 60225
531.99/533.61 c #Conflicts: 301000 | #Constraints: 61225
675.71/677.79 c #Conflicts: 302000 | #Constraints: 62225
675.71/677.79 c #Conflicts: 303000 | #Constraints: 63225
675.71/677.79 c #Conflicts: 304000 | #Constraints: 64225
675.71/677.79 c #Conflicts: 305000 | #Constraints: 65225
675.71/677.79 c #Conflicts: 306000 | #Constraints: 66225
675.71/677.79 c #Conflicts: 307000 | #Constraints: 67225
675.71/677.79 c #Conflicts: 308000 | #Constraints: 68225
675.71/677.79 c #Conflicts: 309000 | #Constraints: 69225
675.71/677.79 c #Conflicts: 310000 | #Constraints: 70225
675.71/677.79 c #Conflicts: 311000 | #Constraints: 71225
675.71/677.79 c #Conflicts: 312000 | #Constraints: 72225
675.71/677.79 c #Conflicts: 313000 | #Constraints: 73225
675.71/677.79 c #Conflicts: 314000 | #Constraints: 74225
675.71/677.79 c #Conflicts: 315000 | #Constraints: 75225
675.71/677.79 c #Conflicts: 316000 | #Constraints: 76225
675.71/677.79 c #Conflicts: 317000 | #Constraints: 77225
675.71/677.79 c #Conflicts: 318000 | #Constraints: 78225
675.71/677.79 c #Conflicts: 319000 | #Constraints: 79225
675.71/677.79 c INPROCESSING
675.71/677.79 c GARBAGE COLLECT
675.71/677.79 c #Conflicts: 320000 | #Constraints: 50850
675.71/677.79 c #Conflicts: 321000 | #Constraints: 51850
675.71/677.79 c #Conflicts: 322000 | #Constraints: 52850
675.71/677.79 c #Conflicts: 323000 | #Constraints: 53850
675.71/677.79 c #Conflicts: 324000 | #Constraints: 54850
675.71/677.79 c #Conflicts: 325000 | #Constraints: 55850
675.71/677.79 c #Conflicts: 326000 | #Constraints: 56850
675.71/677.79 c #Conflicts: 327000 | #Constraints: 57850
675.71/677.79 c #Conflicts: 328000 | #Constraints: 58850
675.71/677.79 c #Conflicts: 329000 | #Constraints: 59850
675.71/677.79 c #Conflicts: 330000 | #Constraints: 60850
675.71/677.79 c #Conflicts: 331000 | #Constraints: 61850
675.71/677.79 c #Conflicts: 332000 | #Constraints: 62850
675.71/677.79 c #Conflicts: 333000 | #Constraints: 63850
675.71/677.79 c #Conflicts: 334000 | #Constraints: 64850
675.71/677.79 c #Conflicts: 335000 | #Constraints: 65850
675.71/677.79 c INPROCESSING
675.71/677.79 c GARBAGE COLLECT
675.71/677.79 c #Conflicts: 336000 | #Constraints: 46570
675.71/677.79 c #Conflicts: 337000 | #Constraints: 47570
675.71/677.79 c #Conflicts: 338000 | #Constraints: 48570
675.71/677.79 c #Conflicts: 339000 | #Constraints: 49570
675.71/677.79 c #Conflicts: 340000 | #Constraints: 50570
675.71/677.79 c #Conflicts: 341000 | #Constraints: 51570
675.71/677.79 c #Conflicts: 342000 | #Constraints: 52570
675.71/677.79 c #Conflicts: 343000 | #Constraints: 53570
675.71/677.79 c #Conflicts: 344000 | #Constraints: 54570
675.71/677.79 c #Conflicts: 345000 | #Constraints: 55570
675.71/677.79 c #Conflicts: 346000 | #Constraints: 56570
675.71/677.79 c #Conflicts: 347000 | #Constraints: 57570
675.71/677.79 c #Conflicts: 348000 | #Constraints: 58570
675.71/677.79 c #Conflicts: 349000 | #Constraints: 59570
675.71/677.79 c #Conflicts: 350000 | #Constraints: 60570
675.71/677.79 c #Conflicts: 351000 | #Constraints: 61570
675.71/677.79 c #Conflicts: 352000 | #Constraints: 62570
675.71/677.79 c #Conflicts: 353000 | #Constraints: 63570
675.71/677.79 c #Conflicts: 354000 | #Constraints: 64570
675.71/677.79 c #Conflicts: 355000 | #Constraints: 65570
675.71/677.79 c #Conflicts: 356000 | #Constraints: 66570
675.71/677.79 c #Conflicts: 357000 | #Constraints: 67570
675.71/677.79 c #Conflicts: 358000 | #Constraints: 68570
675.71/677.79 c #Conflicts: 359000 | #Constraints: 69570
675.71/677.79 c #Conflicts: 360000 | #Constraints: 70570
675.71/677.79 c #Conflicts: 361000 | #Constraints: 71570
675.71/677.79 c #Conflicts: 362000 | #Constraints: 72570
675.71/677.79 c #Conflicts: 363000 | #Constraints: 73570
675.71/677.79 c #Conflicts: 364000 | #Constraints: 74570
675.71/677.79 c #Conflicts: 365000 | #Constraints: 75570
675.71/677.79 c #Conflicts: 366000 | #Constraints: 76570
675.71/677.79 c #Conflicts: 367000 | #Constraints: 77570
675.71/677.79 c #Conflicts: 368000 | #Constraints: 78570
675.71/677.79 c #Conflicts: 369000 | #Constraints: 79570
675.71/677.79 c #Conflicts: 370000 | #Constraints: 80570
675.71/677.79 c #Conflicts: 371000 | #Constraints: 81570
675.71/677.79 c #Conflicts: 372000 | #Constraints: 82570
675.71/677.79 c #Conflicts: 373000 | #Constraints: 83570
675.71/677.79 c #Conflicts: 374000 | #Constraints: 84570
675.71/677.79 c INPROCESSING
675.71/677.79 c GARBAGE COLLECT
675.71/677.79 c #Conflicts: 375000 | #Constraints: 53452
675.71/677.79 c #Conflicts: 376000 | #Constraints: 54452
675.71/677.79 c #Conflicts: 377000 | #Constraints: 55452
675.71/677.79 c #Conflicts: 378000 | #Constraints: 56452
843.46/845.97 c #Conflicts: 379000 | #Constraints: 57452
843.46/845.97 c #Conflicts: 380000 | #Constraints: 58452
843.46/845.97 c #Conflicts: 381000 | #Constraints: 59452
843.46/845.97 c #Conflicts: 382000 | #Constraints: 60452
843.46/845.97 c #Conflicts: 383000 | #Constraints: 61452
843.46/845.97 c #Conflicts: 384000 | #Constraints: 62452
843.46/845.97 c #Conflicts: 385000 | #Constraints: 63452
843.46/845.97 c #Conflicts: 386000 | #Constraints: 64452
843.46/845.97 c #Conflicts: 387000 | #Constraints: 65452
843.46/845.97 c #Conflicts: 388000 | #Constraints: 66452
843.46/845.97 c #Conflicts: 389000 | #Constraints: 67452
843.46/845.97 c #Conflicts: 390000 | #Constraints: 68452
843.46/845.97 c #Conflicts: 391000 | #Constraints: 69452
843.46/845.97 c INPROCESSING
843.46/845.97 c GARBAGE COLLECT
843.46/845.97 c #Conflicts: 392000 | #Constraints: 49020
843.46/845.97 c #Conflicts: 393000 | #Constraints: 50020
843.46/845.97 c #Conflicts: 394000 | #Constraints: 51020
843.46/845.97 c #Conflicts: 395000 | #Constraints: 52020
843.46/845.97 c #Conflicts: 396000 | #Constraints: 53020
843.46/845.97 c #Conflicts: 397000 | #Constraints: 54020
843.46/845.97 c #Conflicts: 398000 | #Constraints: 55020
843.46/845.97 c #Conflicts: 399000 | #Constraints: 56020
843.46/845.97 c #Conflicts: 400000 | #Constraints: 57020
843.46/845.97 c #Conflicts: 401000 | #Constraints: 58020
843.46/845.97 c #Conflicts: 402000 | #Constraints: 59020
843.46/845.97 c #Conflicts: 403000 | #Constraints: 60020
843.46/845.97 c #Conflicts: 404000 | #Constraints: 61020
843.46/845.97 c #Conflicts: 405000 | #Constraints: 62020
843.46/845.97 c #Conflicts: 406000 | #Constraints: 63021
843.46/845.97 c #Conflicts: 407000 | #Constraints: 64021
843.46/845.97 c #Conflicts: 408000 | #Constraints: 65021
843.46/845.97 c #Conflicts: 409000 | #Constraints: 66021
843.46/845.97 c #Conflicts: 410000 | #Constraints: 67021
843.46/845.97 c #Conflicts: 411000 | #Constraints: 68021
843.46/845.97 c #Conflicts: 412000 | #Constraints: 69021
843.46/845.97 c #Conflicts: 413000 | #Constraints: 70021
843.46/845.97 c #Conflicts: 414000 | #Constraints: 71021
843.46/845.97 c #Conflicts: 415000 | #Constraints: 72021
843.46/845.97 c #Conflicts: 416000 | #Constraints: 73021
843.46/845.97 c #Conflicts: 417000 | #Constraints: 74021
843.46/845.97 c #Conflicts: 418000 | #Constraints: 75021
843.46/845.97 c #Conflicts: 419000 | #Constraints: 76021
843.46/845.97 c #Conflicts: 420000 | #Constraints: 77021
843.46/845.97 c #Conflicts: 421000 | #Constraints: 78021
843.46/845.97 c #Conflicts: 422000 | #Constraints: 79021
843.46/845.97 c #Conflicts: 423000 | #Constraints: 80021
843.46/845.97 c #Conflicts: 424000 | #Constraints: 81021
843.46/845.97 c #Conflicts: 425000 | #Constraints: 82021
843.46/845.97 c #Conflicts: 426000 | #Constraints: 83021
843.46/845.97 c #Conflicts: 427000 | #Constraints: 84021
843.46/845.97 c #Conflicts: 428000 | #Constraints: 85021
843.46/845.97 c #Conflicts: 429000 | #Constraints: 86021
843.46/845.97 c #Conflicts: 430000 | #Constraints: 87021
843.46/845.97 c #Conflicts: 431000 | #Constraints: 88021
843.46/845.97 c #Conflicts: 432000 | #Constraints: 89021
843.46/845.97 c #Conflicts: 433000 | #Constraints: 90021
843.46/845.97 c #Conflicts: 434000 | #Constraints: 91021
843.46/845.97 c INPROCESSING
843.46/845.97 c GARBAGE COLLECT
843.46/845.97 c #Conflicts: 435000 | #Constraints: 57037
843.46/845.97 c #Conflicts: 436000 | #Constraints: 58037
843.46/845.97 c #Conflicts: 437000 | #Constraints: 59037
843.46/845.97 c #Conflicts: 438000 | #Constraints: 60037
843.46/845.97 c #Conflicts: 439000 | #Constraints: 61037
843.46/845.97 c #Conflicts: 440000 | #Constraints: 62037
843.46/845.97 c #Conflicts: 441000 | #Constraints: 63037
843.46/845.97 c #Conflicts: 442000 | #Constraints: 64037
843.46/845.97 c #Conflicts: 443000 | #Constraints: 65037
843.46/845.97 c #Conflicts: 444000 | #Constraints: 66037
843.46/845.97 c #Conflicts: 445000 | #Constraints: 67037
843.46/845.97 c #Conflicts: 446000 | #Constraints: 68037
843.46/845.97 c #Conflicts: 447000 | #Constraints: 69037
843.46/845.97 c #Conflicts: 448000 | #Constraints: 70037
843.46/845.97 c #Conflicts: 449000 | #Constraints: 71037
843.46/845.97 c #Conflicts: 450000 | #Constraints: 72037
843.46/845.97 c #Conflicts: 451000 | #Constraints: 73037
843.46/845.97 c #Conflicts: 452000 | #Constraints: 74037
843.46/845.97 c INPROCESSING
843.46/845.97 c GARBAGE COLLECT
843.46/845.97 c #Conflicts: 453000 | #Constraints: 51749
843.46/845.97 c #Conflicts: 454000 | #Constraints: 52749
843.46/845.97 c #Conflicts: 455000 | #Constraints: 53749
991.16/994.10 c #Conflicts: 456000 | #Constraints: 54749
991.16/994.10 c #Conflicts: 457000 | #Constraints: 55749
991.16/994.10 c #Conflicts: 458000 | #Constraints: 56749
991.16/994.10 c #Conflicts: 459000 | #Constraints: 57749
991.16/994.10 c #Conflicts: 460000 | #Constraints: 58749
991.16/994.10 c #Conflicts: 461000 | #Constraints: 59749
991.16/994.10 c #Conflicts: 462000 | #Constraints: 60749
991.16/994.10 c #Conflicts: 463000 | #Constraints: 61749
991.16/994.10 c #Conflicts: 464000 | #Constraints: 62749
991.16/994.10 c #Conflicts: 465000 | #Constraints: 63749
991.16/994.10 c #Conflicts: 466000 | #Constraints: 64749
991.16/994.10 c #Conflicts: 467000 | #Constraints: 65749
991.16/994.10 c #Conflicts: 468000 | #Constraints: 66749
991.16/994.10 c #Conflicts: 469000 | #Constraints: 67749
991.16/994.10 c #Conflicts: 470000 | #Constraints: 68749
991.16/994.10 c #Conflicts: 471000 | #Constraints: 69749
991.16/994.10 c #Conflicts: 472000 | #Constraints: 70749
991.16/994.10 c #Conflicts: 473000 | #Constraints: 71749
991.16/994.10 c #Conflicts: 474000 | #Constraints: 72749
991.16/994.10 c #Conflicts: 475000 | #Constraints: 73749
991.16/994.10 c #Conflicts: 476000 | #Constraints: 74749
991.16/994.10 c #Conflicts: 477000 | #Constraints: 75749
991.16/994.10 c #Conflicts: 478000 | #Constraints: 76749
991.16/994.10 c #Conflicts: 479000 | #Constraints: 77749
991.16/994.10 c #Conflicts: 480000 | #Constraints: 78749
991.16/994.10 c #Conflicts: 481000 | #Constraints: 79749
991.16/994.10 c #Conflicts: 482000 | #Constraints: 80749
991.16/994.10 c #Conflicts: 483000 | #Constraints: 81749
991.16/994.10 c #Conflicts: 484000 | #Constraints: 82749
991.16/994.10 c #Conflicts: 485000 | #Constraints: 83749
991.16/994.10 c #Conflicts: 486000 | #Constraints: 84749
991.16/994.10 c #Conflicts: 487000 | #Constraints: 85749
991.16/994.10 c #Conflicts: 488000 | #Constraints: 86749
991.16/994.10 c #Conflicts: 489000 | #Constraints: 87749
991.16/994.10 c #Conflicts: 490000 | #Constraints: 88749
991.16/994.10 c #Conflicts: 491000 | #Constraints: 89749
991.16/994.10 c #Conflicts: 492000 | #Constraints: 90749
991.16/994.10 c #Conflicts: 493000 | #Constraints: 91749
991.16/994.10 c #Conflicts: 494000 | #Constraints: 92749
991.16/994.10 c #Conflicts: 495000 | #Constraints: 93749
991.16/994.10 c #Conflicts: 496000 | #Constraints: 94749
991.16/994.10 c #Conflicts: 497000 | #Constraints: 95749
991.16/994.10 c #Conflicts: 498000 | #Constraints: 96749
991.16/994.10 c INPROCESSING
991.16/994.10 c GARBAGE COLLECT
991.16/994.10 c #Conflicts: 499000 | #Constraints: 59944
991.16/994.10 c #Conflicts: 500000 | #Constraints: 60944
991.16/994.10 c #Conflicts: 501000 | #Constraints: 61944
991.16/994.10 c #Conflicts: 502000 | #Constraints: 62944
991.16/994.10 c #Conflicts: 503000 | #Constraints: 63944
991.16/994.10 c #Conflicts: 504000 | #Constraints: 64944
991.16/994.10 c #Conflicts: 505000 | #Constraints: 65944
991.16/994.10 c #Conflicts: 506000 | #Constraints: 66944
991.16/994.10 c #Conflicts: 507000 | #Constraints: 67944
991.16/994.10 c #Conflicts: 508000 | #Constraints: 68944
991.16/994.10 c #Conflicts: 509000 | #Constraints: 69944
991.16/994.10 c #Conflicts: 510000 | #Constraints: 70944
991.16/994.10 c #Conflicts: 511000 | #Constraints: 71944
991.16/994.10 c #Conflicts: 512000 | #Constraints: 72944
991.16/994.10 c #Conflicts: 513000 | #Constraints: 73944
991.16/994.10 c #Conflicts: 514000 | #Constraints: 74944
991.16/994.10 c #Conflicts: 515000 | #Constraints: 75944
991.16/994.10 c #Conflicts: 516000 | #Constraints: 76944
991.16/994.10 c #Conflicts: 517000 | #Constraints: 77944
991.16/994.10 c INPROCESSING
991.16/994.10 c GARBAGE COLLECT
991.16/994.10 c #Conflicts: 518000 | #Constraints: 53486
991.16/994.10 c #Conflicts: 519000 | #Constraints: 54486
991.16/994.10 c #Conflicts: 520000 | #Constraints: 55486
991.16/994.10 c #Conflicts: 521000 | #Constraints: 56486
991.16/994.10 c #Conflicts: 522000 | #Constraints: 57486
991.16/994.10 c #Conflicts: 523000 | #Constraints: 58486
991.16/994.10 c #Conflicts: 524000 | #Constraints: 59486
991.16/994.10 c #Conflicts: 525000 | #Constraints: 60486
991.16/994.10 c #Conflicts: 526000 | #Constraints: 61486
991.16/994.10 c #Conflicts: 527000 | #Constraints: 62486
991.16/994.10 c #Conflicts: 528000 | #Constraints: 63486
991.16/994.10 c #Conflicts: 529000 | #Constraints: 64486
991.16/994.10 c #Conflicts: 530000 | #Constraints: 65486
991.16/994.10 c #Conflicts: 531000 | #Constraints: 66486
991.16/994.10 c #Conflicts: 532000 | #Constraints: 67486
1121.41/1124.63 c #Conflicts: 533000 | #Constraints: 68486
1121.41/1124.63 c #Conflicts: 534000 | #Constraints: 69486
1121.41/1124.63 c #Conflicts: 535000 | #Constraints: 70486
1121.41/1124.63 c #Conflicts: 536000 | #Constraints: 71486
1121.41/1124.63 c #Conflicts: 537000 | #Constraints: 72486
1121.41/1124.63 c #Conflicts: 538000 | #Constraints: 73486
1121.41/1124.63 c #Conflicts: 539000 | #Constraints: 74486
1121.41/1124.63 c #Conflicts: 540000 | #Constraints: 75486
1121.41/1124.63 c #Conflicts: 541000 | #Constraints: 76486
1121.41/1124.63 c #Conflicts: 542000 | #Constraints: 77486
1121.41/1124.63 c #Conflicts: 543000 | #Constraints: 78486
1121.41/1124.63 c #Conflicts: 544000 | #Constraints: 79486
1121.41/1124.63 c #Conflicts: 545000 | #Constraints: 80486
1121.41/1124.63 c #Conflicts: 546000 | #Constraints: 81486
1121.41/1124.63 c #Conflicts: 547000 | #Constraints: 82486
1121.41/1124.63 c #Conflicts: 548000 | #Constraints: 83486
1121.41/1124.63 c #Conflicts: 549000 | #Constraints: 84486
1121.41/1124.63 c #Conflicts: 550000 | #Constraints: 85486
1121.41/1124.63 c #Conflicts: 551000 | #Constraints: 86486
1121.41/1124.63 c #Conflicts: 552000 | #Constraints: 87486
1121.41/1124.63 c #Conflicts: 553000 | #Constraints: 88486
1121.41/1124.63 c #Conflicts: 554000 | #Constraints: 89486
1121.41/1124.63 c #Conflicts: 555000 | #Constraints: 90486
1121.41/1124.63 c #Conflicts: 556000 | #Constraints: 91486
1121.41/1124.63 c #Conflicts: 557000 | #Constraints: 92486
1121.41/1124.63 c #Conflicts: 558000 | #Constraints: 93486
1121.41/1124.63 c #Conflicts: 559000 | #Constraints: 94486
1121.41/1124.63 c #Conflicts: 560000 | #Constraints: 95486
1121.41/1124.63 c #Conflicts: 561000 | #Constraints: 96486
1121.41/1124.63 c #Conflicts: 562000 | #Constraints: 97486
1121.41/1124.63 c #Conflicts: 563000 | #Constraints: 98486
1121.41/1124.63 c #Conflicts: 564000 | #Constraints: 99486
1121.41/1124.63 c #Conflicts: 565000 | #Constraints: 100486
1121.41/1124.63 c #Conflicts: 566000 | #Constraints: 101486
1121.41/1124.63 c INPROCESSING
1121.41/1124.63 c GARBAGE COLLECT
1121.41/1124.63 c rational objective 159
1316.29/1320.04 c #Conflicts: 567000 | #Constraints: 62078
1316.29/1320.04 c #Conflicts: 568000 | #Constraints: 63078
1316.29/1320.04 c #Conflicts: 569000 | #Constraints: 64078
1316.29/1320.04 c #Conflicts: 570000 | #Constraints: 65078
1316.29/1320.04 c #Conflicts: 571000 | #Constraints: 66078
1316.29/1320.04 c #Conflicts: 572000 | #Constraints: 67078
1316.29/1320.04 c #Conflicts: 573000 | #Constraints: 68078
1316.29/1320.04 c #Conflicts: 574000 | #Constraints: 69078
1316.29/1320.04 c #Conflicts: 575000 | #Constraints: 70078
1316.29/1320.04 c #Conflicts: 576000 | #Constraints: 71078
1316.29/1320.04 c #Conflicts: 577000 | #Constraints: 72078
1316.29/1320.04 c #Conflicts: 578000 | #Constraints: 73078
1316.29/1320.04 c #Conflicts: 579000 | #Constraints: 74078
1316.29/1320.04 c #Conflicts: 580000 | #Constraints: 75078
1316.29/1320.04 c #Conflicts: 581000 | #Constraints: 76078
1316.29/1320.04 c #Conflicts: 582000 | #Constraints: 77078
1316.29/1320.04 c #Conflicts: 583000 | #Constraints: 78078
1316.29/1320.04 c #Conflicts: 584000 | #Constraints: 79078
1316.29/1320.04 c #Conflicts: 585000 | #Constraints: 80078
1316.29/1320.04 c #Conflicts: 586000 | #Constraints: 81078
1316.29/1320.04 c #Conflicts: 587000 | #Constraints: 82078
1316.29/1320.04 c INPROCESSING
1316.29/1320.04 c GARBAGE COLLECT
1316.29/1320.04 c #Conflicts: 588000 | #Constraints: 56682
1316.29/1320.04 c #Conflicts: 589000 | #Constraints: 57682
1316.29/1320.04 c #Conflicts: 590000 | #Constraints: 58682
1316.29/1320.04 c #Conflicts: 591000 | #Constraints: 59682
1316.29/1320.04 c #Conflicts: 592000 | #Constraints: 60682
1316.29/1320.04 c #Conflicts: 593000 | #Constraints: 61682
1316.29/1320.04 c #Conflicts: 594000 | #Constraints: 62682
1316.29/1320.04 c #Conflicts: 595000 | #Constraints: 63682
1316.29/1320.04 c #Conflicts: 596000 | #Constraints: 64682
1316.29/1320.04 c #Conflicts: 597000 | #Constraints: 65682
1316.29/1320.04 c #Conflicts: 598000 | #Constraints: 66682
1316.29/1320.04 c #Conflicts: 599000 | #Constraints: 67682
1316.29/1320.04 c #Conflicts: 600000 | #Constraints: 68682
1316.29/1320.04 c #Conflicts: 601000 | #Constraints: 69682
1316.29/1320.04 c #Conflicts: 602000 | #Constraints: 70682
1316.29/1320.04 c #Conflicts: 603000 | #Constraints: 71682
1316.29/1320.04 c #Conflicts: 604000 | #Constraints: 72682
1316.29/1320.04 c #Conflicts: 605000 | #Constraints: 73682
1316.29/1320.04 c #Conflicts: 606000 | #Constraints: 74682
1316.29/1320.04 c #Conflicts: 607000 | #Constraints: 75682
1316.29/1320.04 c #Conflicts: 608000 | #Constraints: 76682
1316.29/1320.04 c #Conflicts: 609000 | #Constraints: 77682
1316.29/1320.04 c #Conflicts: 610000 | #Constraints: 78682
1316.29/1320.04 c #Conflicts: 611000 | #Constraints: 79682
1316.29/1320.04 c #Conflicts: 612000 | #Constraints: 80682
1316.29/1320.04 c #Conflicts: 613000 | #Constraints: 81682
1316.29/1320.04 c #Conflicts: 614000 | #Constraints: 82682
1316.29/1320.04 c #Conflicts: 615000 | #Constraints: 83682
1316.29/1320.04 c #Conflicts: 616000 | #Constraints: 84682
1316.29/1320.04 c #Conflicts: 617000 | #Constraints: 85682
1316.29/1320.04 c #Conflicts: 618000 | #Constraints: 86682
1316.29/1320.04 c #Conflicts: 619000 | #Constraints: 87682
1316.29/1320.04 c #Conflicts: 620000 | #Constraints: 88682
1316.29/1320.04 c #Conflicts: 621000 | #Constraints: 89682
1316.29/1320.04 c #Conflicts: 622000 | #Constraints: 90682
1316.29/1320.04 c #Conflicts: 623000 | #Constraints: 91682
1316.29/1320.04 c #Conflicts: 624000 | #Constraints: 92682
1316.29/1320.04 c #Conflicts: 625000 | #Constraints: 93682
1316.29/1320.04 c #Conflicts: 626000 | #Constraints: 94682
1316.29/1320.04 c #Conflicts: 627000 | #Constraints: 95682
1316.29/1320.04 c #Conflicts: 628000 | #Constraints: 96682
1316.29/1320.04 c #Conflicts: 629000 | #Constraints: 97682
1316.29/1320.04 c #Conflicts: 630000 | #Constraints: 98682
1316.29/1320.04 c #Conflicts: 631000 | #Constraints: 99682
1316.29/1320.04 c #Conflicts: 632000 | #Constraints: 100682
1316.29/1320.04 c #Conflicts: 633000 | #Constraints: 101682
1316.29/1320.04 c #Conflicts: 634000 | #Constraints: 102682
1316.29/1320.04 c #Conflicts: 635000 | #Constraints: 103682
1316.29/1320.04 c #Conflicts: 636000 | #Constraints: 104682
1316.29/1320.04 c #Conflicts: 637000 | #Constraints: 105682
1316.29/1320.04 c #Conflicts: 638000 | #Constraints: 106682
1316.29/1320.04 c #Conflicts: 639000 | #Constraints: 107682
1316.29/1320.04 c INPROCESSING
1316.29/1320.04 c GARBAGE COLLECT
1316.29/1320.04 c #Conflicts: 640000 | #Constraints: 65269
1316.29/1320.04 c #Conflicts: 641000 | #Constraints: 66269
1316.29/1320.04 c #Conflicts: 642000 | #Constraints: 67269
1316.29/1320.04 c #Conflicts: 643000 | #Constraints: 68269
1316.29/1320.04 c #Conflicts: 644000 | #Constraints: 69269
1477.05/1481.21 c #Conflicts: 645000 | #Constraints: 70269
1477.05/1481.21 c #Conflicts: 646000 | #Constraints: 71269
1477.05/1481.21 c #Conflicts: 647000 | #Constraints: 72269
1477.05/1481.21 c #Conflicts: 648000 | #Constraints: 73269
1477.05/1481.21 c #Conflicts: 649000 | #Constraints: 74269
1477.05/1481.21 c #Conflicts: 650000 | #Constraints: 75269
1477.05/1481.21 c #Conflicts: 651000 | #Constraints: 76269
1477.05/1481.21 c #Conflicts: 652000 | #Constraints: 77269
1477.05/1481.21 c #Conflicts: 653000 | #Constraints: 78269
1477.05/1481.21 c #Conflicts: 654000 | #Constraints: 79269
1477.05/1481.21 c #Conflicts: 655000 | #Constraints: 80269
1477.05/1481.21 c #Conflicts: 656000 | #Constraints: 81269
1477.05/1481.21 c #Conflicts: 657000 | #Constraints: 82269
1477.05/1481.21 c #Conflicts: 658000 | #Constraints: 83269
1477.05/1481.21 c #Conflicts: 659000 | #Constraints: 84269
1477.05/1481.21 c #Conflicts: 660000 | #Constraints: 85269
1477.05/1481.21 c #Conflicts: 661000 | #Constraints: 86269
1477.05/1481.21 c INPROCESSING
1477.05/1481.21 c GARBAGE COLLECT
1477.05/1481.21 c #Conflicts: 662000 | #Constraints: 59056
1477.05/1481.21 c #Conflicts: 663000 | #Constraints: 60056
1477.05/1481.21 c #Conflicts: 664000 | #Constraints: 61056
1477.05/1481.21 c #Conflicts: 665000 | #Constraints: 62056
1477.05/1481.21 c #Conflicts: 666000 | #Constraints: 63056
1477.05/1481.21 c #Conflicts: 667000 | #Constraints: 64056
1477.05/1481.21 c #Conflicts: 668000 | #Constraints: 65056
1477.05/1481.21 c #Conflicts: 669000 | #Constraints: 66056
1477.05/1481.21 c #Conflicts: 670000 | #Constraints: 67056
1477.05/1481.21 c #Conflicts: 671000 | #Constraints: 68056
1477.05/1481.21 c #Conflicts: 672000 | #Constraints: 69056
1477.05/1481.21 c #Conflicts: 673000 | #Constraints: 70056
1477.05/1481.21 c #Conflicts: 674000 | #Constraints: 71056
1477.05/1481.21 c #Conflicts: 675000 | #Constraints: 72056
1477.05/1481.21 c #Conflicts: 676000 | #Constraints: 73056
1477.05/1481.21 c #Conflicts: 677000 | #Constraints: 74056
1477.05/1481.21 c #Conflicts: 678000 | #Constraints: 75056
1477.05/1481.21 c #Conflicts: 679000 | #Constraints: 76056
1477.05/1481.21 c #Conflicts: 680000 | #Constraints: 77056
1477.05/1481.21 c #Conflicts: 681000 | #Constraints: 78056
1477.05/1481.21 c #Conflicts: 682000 | #Constraints: 79056
1477.05/1481.21 c #Conflicts: 683000 | #Constraints: 80056
1477.05/1481.21 c #Conflicts: 684000 | #Constraints: 81056
1477.05/1481.21 c #Conflicts: 685000 | #Constraints: 82056
1477.05/1481.21 c #Conflicts: 686000 | #Constraints: 83056
1477.05/1481.21 c #Conflicts: 687000 | #Constraints: 84056
1477.05/1481.21 c #Conflicts: 688000 | #Constraints: 85056
1477.05/1481.21 c #Conflicts: 689000 | #Constraints: 86056
1477.05/1481.21 c #Conflicts: 690000 | #Constraints: 87056
1477.05/1481.21 c #Conflicts: 691000 | #Constraints: 88056
1477.05/1481.21 c #Conflicts: 692000 | #Constraints: 89056
1477.05/1481.21 c #Conflicts: 693000 | #Constraints: 90056
1477.05/1481.21 c #Conflicts: 694000 | #Constraints: 91056
1477.05/1481.21 c #Conflicts: 695000 | #Constraints: 92056
1477.05/1481.21 c #Conflicts: 696000 | #Constraints: 93056
1477.05/1481.21 c #Conflicts: 697000 | #Constraints: 94056
1477.05/1481.21 c #Conflicts: 698000 | #Constraints: 95056
1477.05/1481.21 c #Conflicts: 699000 | #Constraints: 96056
1477.05/1481.21 c #Conflicts: 700000 | #Constraints: 97056
1477.05/1481.21 c #Conflicts: 701000 | #Constraints: 98056
1477.05/1481.21 c #Conflicts: 702000 | #Constraints: 99056
1477.05/1481.21 c #Conflicts: 703000 | #Constraints: 100056
1477.05/1481.21 c #Conflicts: 704000 | #Constraints: 101056
1477.05/1481.21 c #Conflicts: 705000 | #Constraints: 102056
1477.05/1481.21 c #Conflicts: 706000 | #Constraints: 103056
1477.05/1481.21 c #Conflicts: 707000 | #Constraints: 104056
1477.05/1481.21 c #Conflicts: 708000 | #Constraints: 105056
1477.05/1481.21 c #Conflicts: 709000 | #Constraints: 106056
1477.05/1481.21 c #Conflicts: 710000 | #Constraints: 107056
1477.05/1481.21 c #Conflicts: 711000 | #Constraints: 108056
1477.05/1481.21 c #Conflicts: 712000 | #Constraints: 109056
1477.05/1481.21 c #Conflicts: 713000 | #Constraints: 110056
1477.05/1481.21 c #Conflicts: 714000 | #Constraints: 111056
1477.05/1481.21 c #Conflicts: 715000 | #Constraints: 112056
1477.05/1481.21 c #Conflicts: 716000 | #Constraints: 113056
1477.05/1481.21 c INPROCESSING
1477.05/1481.21 c GARBAGE COLLECT
1477.05/1481.21 c #Conflicts: 717000 | #Constraints: 68008
1477.05/1481.21 c #Conflicts: 718000 | #Constraints: 69008
1477.05/1481.21 c #Conflicts: 719000 | #Constraints: 70008
1477.05/1481.21 c #Conflicts: 720000 | #Constraints: 71008
1477.05/1481.21 c #Conflicts: 721000 | #Constraints: 72008
1711.26/1716.14 c #Conflicts: 722000 | #Constraints: 73008
1711.26/1716.14 c #Conflicts: 723000 | #Constraints: 74008
1711.26/1716.14 c #Conflicts: 724000 | #Constraints: 75008
1711.26/1716.14 c #Conflicts: 725000 | #Constraints: 76008
1711.26/1716.14 c #Conflicts: 726000 | #Constraints: 77008
1711.26/1716.14 c #Conflicts: 727000 | #Constraints: 78008
1711.26/1716.14 c #Conflicts: 728000 | #Constraints: 79008
1711.26/1716.14 c #Conflicts: 729000 | #Constraints: 80008
1711.26/1716.14 c #Conflicts: 730000 | #Constraints: 81008
1711.26/1716.14 c #Conflicts: 731000 | #Constraints: 82008
1711.26/1716.14 c #Conflicts: 732000 | #Constraints: 83008
1711.26/1716.14 c #Conflicts: 733000 | #Constraints: 84008
1711.26/1716.14 c #Conflicts: 734000 | #Constraints: 85008
1711.26/1716.14 c #Conflicts: 735000 | #Constraints: 86008
1711.26/1716.14 c #Conflicts: 736000 | #Constraints: 87008
1711.26/1716.14 c #Conflicts: 737000 | #Constraints: 88008
1711.26/1716.14 c #Conflicts: 738000 | #Constraints: 89008
1711.26/1716.14 c #Conflicts: 739000 | #Constraints: 90008
1711.26/1716.14 c #Conflicts: 740000 | #Constraints: 91008
1711.26/1716.14 c INPROCESSING
1711.26/1716.14 c GARBAGE COLLECT
1711.26/1716.14 c #Conflicts: 741000 | #Constraints: 61965
1711.26/1716.14 c #Conflicts: 742000 | #Constraints: 62965
1711.26/1716.14 c #Conflicts: 743000 | #Constraints: 63965
1711.26/1716.14 c #Conflicts: 744000 | #Constraints: 64965
1711.26/1716.14 c #Conflicts: 745000 | #Constraints: 65965
1711.26/1716.14 c #Conflicts: 746000 | #Constraints: 66965
1711.26/1716.14 c #Conflicts: 747000 | #Constraints: 67965
1711.26/1716.14 c #Conflicts: 748000 | #Constraints: 68965
1711.26/1716.14 c #Conflicts: 749000 | #Constraints: 69965
1711.26/1716.14 c #Conflicts: 750000 | #Constraints: 70965
1711.26/1716.14 c #Conflicts: 751000 | #Constraints: 71965
1711.26/1716.14 c #Conflicts: 752000 | #Constraints: 72965
1711.26/1716.14 c #Conflicts: 753000 | #Constraints: 73965
1711.26/1716.14 c #Conflicts: 754000 | #Constraints: 74965
1711.26/1716.14 c #Conflicts: 755000 | #Constraints: 75965
1711.26/1716.14 c #Conflicts: 756000 | #Constraints: 76965
1711.26/1716.14 c #Conflicts: 757000 | #Constraints: 77965
1711.26/1716.14 c #Conflicts: 758000 | #Constraints: 78966
1711.26/1716.14 c #Conflicts: 759000 | #Constraints: 79966
1711.26/1716.14 c #Conflicts: 760000 | #Constraints: 80966
1711.26/1716.14 c #Conflicts: 761000 | #Constraints: 81966
1711.26/1716.14 c #Conflicts: 762000 | #Constraints: 82966
1711.26/1716.14 c #Conflicts: 763000 | #Constraints: 83966
1711.26/1716.14 c #Conflicts: 764000 | #Constraints: 84966
1711.26/1716.14 c #Conflicts: 765000 | #Constraints: 85966
1711.26/1716.14 c #Conflicts: 766000 | #Constraints: 86966
1711.26/1716.14 c #Conflicts: 767000 | #Constraints: 87966
1711.26/1716.14 c #Conflicts: 768000 | #Constraints: 88966
1711.26/1716.14 c #Conflicts: 769000 | #Constraints: 89966
1711.26/1716.14 c #Conflicts: 770000 | #Constraints: 90966
1711.26/1716.14 c #Conflicts: 771000 | #Constraints: 91966
1711.26/1716.14 c #Conflicts: 772000 | #Constraints: 92966
1711.26/1716.14 c #Conflicts: 773000 | #Constraints: 93966
1711.26/1716.14 c #Conflicts: 774000 | #Constraints: 94966
1711.26/1716.14 c #Conflicts: 775000 | #Constraints: 95966
1711.26/1716.14 c #Conflicts: 776000 | #Constraints: 96966
1711.26/1716.14 c #Conflicts: 777000 | #Constraints: 97966
1711.26/1716.14 c #Conflicts: 778000 | #Constraints: 98966
1711.26/1716.14 c #Conflicts: 779000 | #Constraints: 99966
1711.26/1716.14 c #Conflicts: 780000 | #Constraints: 100966
1711.26/1716.14 c #Conflicts: 781000 | #Constraints: 101966
1711.26/1716.14 c #Conflicts: 782000 | #Constraints: 102966
1711.26/1716.14 c #Conflicts: 783000 | #Constraints: 103966
1711.26/1716.14 c #Conflicts: 784000 | #Constraints: 104966
1711.26/1716.14 c #Conflicts: 785000 | #Constraints: 105966
1711.26/1716.14 c #Conflicts: 786000 | #Constraints: 106966
1711.26/1716.14 c #Conflicts: 787000 | #Constraints: 107966
1711.26/1716.14 c #Conflicts: 788000 | #Constraints: 108966
1711.26/1716.14 c #Conflicts: 789000 | #Constraints: 109966
1711.26/1716.14 c #Conflicts: 790000 | #Constraints: 110966
1711.26/1716.14 c #Conflicts: 791000 | #Constraints: 111966
1711.26/1716.14 c #Conflicts: 792000 | #Constraints: 112966
1711.26/1716.14 c #Conflicts: 793000 | #Constraints: 113966
1711.26/1716.14 c #Conflicts: 794000 | #Constraints: 114966
1711.26/1716.14 c #Conflicts: 795000 | #Constraints: 115966
1711.26/1716.14 c #Conflicts: 796000 | #Constraints: 116966
1711.26/1716.14 c #Conflicts: 797000 | #Constraints: 117966
1711.26/1716.14 c #Conflicts: 798000 | #Constraints: 118966
1711.26/1716.14 c INPROCESSING
1711.26/1716.14 c GARBAGE COLLECT
1711.26/1716.14 c #Conflicts: 799000 | #Constraints: 71186
1883.13/1888.51 c #Conflicts: 800000 | #Constraints: 72186
1883.13/1888.51 c #Conflicts: 801000 | #Constraints: 73186
1883.13/1888.51 c #Conflicts: 802000 | #Constraints: 74186
1883.13/1888.51 c #Conflicts: 803000 | #Constraints: 75186
1883.13/1888.51 c #Conflicts: 804000 | #Constraints: 76186
1883.13/1888.51 c #Conflicts: 805000 | #Constraints: 77186
1883.13/1888.51 c #Conflicts: 806000 | #Constraints: 78186
1883.13/1888.51 c #Conflicts: 807000 | #Constraints: 79186
1883.13/1888.51 c #Conflicts: 808000 | #Constraints: 80186
1883.13/1888.51 c #Conflicts: 809000 | #Constraints: 81186
1883.13/1888.51 c #Conflicts: 810000 | #Constraints: 82186
1883.13/1888.51 c #Conflicts: 811000 | #Constraints: 83186
1883.13/1888.51 c #Conflicts: 812000 | #Constraints: 84186
1883.13/1888.51 c #Conflicts: 813000 | #Constraints: 85186
1883.13/1888.51 c #Conflicts: 814000 | #Constraints: 86186
1883.13/1888.51 c #Conflicts: 815000 | #Constraints: 87186
1883.13/1888.51 c #Conflicts: 816000 | #Constraints: 88186
1883.13/1888.51 c #Conflicts: 817000 | #Constraints: 89186
1883.13/1888.51 c #Conflicts: 818000 | #Constraints: 90186
1883.13/1888.51 c #Conflicts: 819000 | #Constraints: 91186
1883.13/1888.51 c #Conflicts: 820000 | #Constraints: 92186
1883.13/1888.51 c #Conflicts: 821000 | #Constraints: 93186
1883.13/1888.51 c #Conflicts: 822000 | #Constraints: 94186
1883.13/1888.51 c INPROCESSING
1883.13/1888.51 c GARBAGE COLLECT
1883.13/1888.51 c #Conflicts: 823000 | #Constraints: 63725
1883.13/1888.51 c #Conflicts: 824000 | #Constraints: 64725
1883.13/1888.51 c #Conflicts: 825000 | #Constraints: 65725
1883.13/1888.51 c #Conflicts: 826000 | #Constraints: 66725
1883.13/1888.51 c #Conflicts: 827000 | #Constraints: 67725
1883.13/1888.51 c #Conflicts: 828000 | #Constraints: 68725
1883.13/1888.51 c #Conflicts: 829000 | #Constraints: 69725
1883.13/1888.51 c #Conflicts: 830000 | #Constraints: 70725
1883.13/1888.51 c #Conflicts: 831000 | #Constraints: 71725
1883.13/1888.51 c #Conflicts: 832000 | #Constraints: 72725
1883.13/1888.51 c #Conflicts: 833000 | #Constraints: 73725
1883.13/1888.51 c #Conflicts: 834000 | #Constraints: 74725
1883.13/1888.51 c #Conflicts: 835000 | #Constraints: 75725
1883.13/1888.51 c #Conflicts: 836000 | #Constraints: 76725
1883.13/1888.51 c #Conflicts: 837000 | #Constraints: 77725
1883.13/1888.51 c #Conflicts: 838000 | #Constraints: 78725
1883.13/1888.51 c #Conflicts: 839000 | #Constraints: 79725
1883.13/1888.51 c #Conflicts: 840000 | #Constraints: 80725
1883.13/1888.51 c #Conflicts: 841000 | #Constraints: 81725
1883.13/1888.51 c #Conflicts: 842000 | #Constraints: 82725
1883.13/1888.51 c #Conflicts: 843000 | #Constraints: 83725
1883.13/1888.51 c #Conflicts: 844000 | #Constraints: 84725
1883.13/1888.51 c #Conflicts: 845000 | #Constraints: 85725
1883.13/1888.51 c #Conflicts: 846000 | #Constraints: 86725
1883.13/1888.51 c #Conflicts: 847000 | #Constraints: 87725
1883.13/1888.51 c #Conflicts: 848000 | #Constraints: 88725
1883.13/1888.51 c #Conflicts: 849000 | #Constraints: 89725
1883.13/1888.51 c #Conflicts: 850000 | #Constraints: 90725
1883.13/1888.51 c #Conflicts: 851000 | #Constraints: 91725
1883.13/1888.51 c #Conflicts: 852000 | #Constraints: 92725
1883.13/1888.51 c #Conflicts: 853000 | #Constraints: 93725
1883.13/1888.51 c #Conflicts: 854000 | #Constraints: 94725
1883.13/1888.51 c #Conflicts: 855000 | #Constraints: 95725
1883.13/1888.51 c #Conflicts: 856000 | #Constraints: 96725
1883.13/1888.51 c #Conflicts: 857000 | #Constraints: 97725
1883.13/1888.51 c #Conflicts: 858000 | #Constraints: 98725
1883.13/1888.51 c #Conflicts: 859000 | #Constraints: 99725
1883.13/1888.51 c #Conflicts: 860000 | #Constraints: 100725
1883.13/1888.51 c #Conflicts: 861000 | #Constraints: 101725
1883.13/1888.51 c #Conflicts: 862000 | #Constraints: 102725
1883.13/1888.51 c #Conflicts: 863000 | #Constraints: 103725
1883.13/1888.51 c #Conflicts: 864000 | #Constraints: 104725
1883.13/1888.51 c #Conflicts: 865000 | #Constraints: 105725
1883.13/1888.51 c #Conflicts: 866000 | #Constraints: 106725
1883.13/1888.51 c #Conflicts: 867000 | #Constraints: 107725
1883.13/1888.51 c #Conflicts: 868000 | #Constraints: 108725
1883.13/1888.51 c #Conflicts: 869000 | #Constraints: 109725
1883.13/1888.51 c #Conflicts: 870000 | #Constraints: 110725
1883.13/1888.51 c #Conflicts: 871000 | #Constraints: 111725
1883.13/1888.51 c #Conflicts: 872000 | #Constraints: 112725
1883.13/1888.51 c #Conflicts: 873000 | #Constraints: 113725
1883.13/1888.51 c #Conflicts: 874000 | #Constraints: 114725
1883.13/1888.51 c #Conflicts: 875000 | #Constraints: 115725
1883.13/1888.51 c #Conflicts: 876000 | #Constraints: 116725
1883.13/1888.51 c #Conflicts: 877000 | #Constraints: 117725
1996.37/2002.17 c #Conflicts: 878000 | #Constraints: 118725
1996.37/2002.17 c #Conflicts: 879000 | #Constraints: 119725
1996.37/2002.17 c #Conflicts: 880000 | #Constraints: 120725
1996.37/2002.17 c #Conflicts: 881000 | #Constraints: 121725
1996.37/2002.17 c #Conflicts: 882000 | #Constraints: 122725
1996.37/2002.17 c #Conflicts: 883000 | #Constraints: 123725
1996.37/2002.17 c #Conflicts: 884000 | #Constraints: 124725
1996.37/2002.17 c INPROCESSING
1996.37/2002.17 c GARBAGE COLLECT
1996.37/2002.17 c rational objective 159
2208.85/2215.26 c #Conflicts: 885000 | #Constraints: 74087
2208.85/2215.26 c #Conflicts: 886000 | #Constraints: 75087
2208.85/2215.26 c #Conflicts: 887000 | #Constraints: 76087
2208.85/2215.26 c #Conflicts: 888000 | #Constraints: 77087
2208.85/2215.26 c #Conflicts: 889000 | #Constraints: 78087
2208.85/2215.26 c #Conflicts: 890000 | #Constraints: 79087
2208.85/2215.26 c #Conflicts: 891000 | #Constraints: 80087
2208.85/2215.26 c #Conflicts: 892000 | #Constraints: 81087
2208.85/2215.26 c #Conflicts: 893000 | #Constraints: 82087
2208.85/2215.26 c #Conflicts: 894000 | #Constraints: 83087
2208.85/2215.26 c #Conflicts: 895000 | #Constraints: 84087
2208.85/2215.26 c #Conflicts: 896000 | #Constraints: 85087
2208.85/2215.26 c #Conflicts: 897000 | #Constraints: 86087
2208.85/2215.26 c #Conflicts: 898000 | #Constraints: 87087
2208.85/2215.26 c #Conflicts: 899000 | #Constraints: 88087
2208.85/2215.26 c #Conflicts: 900000 | #Constraints: 89087
2208.85/2215.26 c #Conflicts: 901000 | #Constraints: 90087
2208.85/2215.26 c #Conflicts: 902000 | #Constraints: 91087
2208.85/2215.26 c #Conflicts: 903000 | #Constraints: 92087
2208.85/2215.26 c #Conflicts: 904000 | #Constraints: 93087
2208.85/2215.26 c #Conflicts: 905000 | #Constraints: 94087
2208.85/2215.26 c #Conflicts: 906000 | #Constraints: 95087
2208.85/2215.26 c #Conflicts: 907000 | #Constraints: 96087
2208.85/2215.26 c #Conflicts: 908000 | #Constraints: 97087
2208.85/2215.26 c #Conflicts: 909000 | #Constraints: 98087
2208.85/2215.26 c #Conflicts: 910000 | #Constraints: 99087
2208.85/2215.26 c INPROCESSING
2208.85/2215.26 c GARBAGE COLLECT
2208.85/2215.26 c #Conflicts: 911000 | #Constraints: 67187
2208.85/2215.26 c #Conflicts: 912000 | #Constraints: 68187
2208.85/2215.26 c #Conflicts: 913000 | #Constraints: 69187
2208.85/2215.26 c #Conflicts: 914000 | #Constraints: 70187
2208.85/2215.26 c #Conflicts: 915000 | #Constraints: 71187
2208.85/2215.26 c #Conflicts: 916000 | #Constraints: 72187
2208.85/2215.26 c #Conflicts: 917000 | #Constraints: 73187
2208.85/2215.26 c #Conflicts: 918000 | #Constraints: 74187
2208.85/2215.26 c #Conflicts: 919000 | #Constraints: 75187
2208.85/2215.26 c #Conflicts: 920000 | #Constraints: 76187
2208.85/2215.26 c #Conflicts: 921000 | #Constraints: 77187
2208.85/2215.26 c #Conflicts: 922000 | #Constraints: 78187
2208.85/2215.26 c #Conflicts: 923000 | #Constraints: 79187
2208.85/2215.26 c #Conflicts: 924000 | #Constraints: 80187
2208.85/2215.26 c #Conflicts: 925000 | #Constraints: 81187
2208.85/2215.26 c #Conflicts: 926000 | #Constraints: 82187
2208.85/2215.26 c #Conflicts: 927000 | #Constraints: 83187
2208.85/2215.26 c #Conflicts: 928000 | #Constraints: 84187
2208.85/2215.26 c #Conflicts: 929000 | #Constraints: 85187
2208.85/2215.26 c #Conflicts: 930000 | #Constraints: 86187
2208.85/2215.26 c #Conflicts: 931000 | #Constraints: 87187
2208.85/2215.26 c #Conflicts: 932000 | #Constraints: 88187
2208.85/2215.26 c #Conflicts: 933000 | #Constraints: 89187
2208.85/2215.26 c #Conflicts: 934000 | #Constraints: 90187
2208.85/2215.26 c #Conflicts: 935000 | #Constraints: 91187
2208.85/2215.26 c #Conflicts: 936000 | #Constraints: 92187
2208.85/2215.26 c #Conflicts: 937000 | #Constraints: 93187
2208.85/2215.26 c #Conflicts: 938000 | #Constraints: 94187
2208.85/2215.26 c #Conflicts: 939000 | #Constraints: 95187
2208.85/2215.26 c #Conflicts: 940000 | #Constraints: 96187
2208.85/2215.26 c #Conflicts: 941000 | #Constraints: 97187
2208.85/2215.26 c #Conflicts: 942000 | #Constraints: 98187
2208.85/2215.26 c #Conflicts: 943000 | #Constraints: 99187
2208.85/2215.26 c #Conflicts: 944000 | #Constraints: 100187
2208.85/2215.26 c #Conflicts: 945000 | #Constraints: 101187
2208.85/2215.26 c #Conflicts: 946000 | #Constraints: 102187
2208.85/2215.26 c #Conflicts: 947000 | #Constraints: 103188
2208.85/2215.26 c #Conflicts: 948000 | #Constraints: 104188
2208.85/2215.26 c #Conflicts: 949000 | #Constraints: 105188
2208.85/2215.26 c #Conflicts: 950000 | #Constraints: 106188
2208.85/2215.26 c #Conflicts: 951000 | #Constraints: 107188
2208.85/2215.26 c #Conflicts: 952000 | #Constraints: 108188
2208.85/2215.26 c #Conflicts: 953000 | #Constraints: 109188
2208.85/2215.26 c #Conflicts: 954000 | #Constraints: 110188
2208.85/2215.26 c #Conflicts: 955000 | #Constraints: 111188
2208.85/2215.26 c #Conflicts: 956000 | #Constraints: 112188
2208.85/2215.26 c #Conflicts: 957000 | #Constraints: 113188
2208.85/2215.26 c #Conflicts: 958000 | #Constraints: 114188
2208.85/2215.26 c #Conflicts: 959000 | #Constraints: 115188
2208.85/2215.26 c #Conflicts: 960000 | #Constraints: 116188
2208.85/2215.26 c #Conflicts: 961000 | #Constraints: 117188
2208.85/2215.26 c #Conflicts: 962000 | #Constraints: 118188
2208.85/2215.26 c #Conflicts: 963000 | #Constraints: 119188
2443.43/2450.41 c #Conflicts: 964000 | #Constraints: 120188
2443.43/2450.41 c #Conflicts: 965000 | #Constraints: 121188
2443.43/2450.41 c #Conflicts: 966000 | #Constraints: 122188
2443.43/2450.41 c #Conflicts: 967000 | #Constraints: 123188
2443.43/2450.41 c #Conflicts: 968000 | #Constraints: 124188
2443.43/2450.41 c #Conflicts: 969000 | #Constraints: 125188
2443.43/2450.41 c #Conflicts: 970000 | #Constraints: 126188
2443.43/2450.41 c #Conflicts: 971000 | #Constraints: 127188
2443.43/2450.41 c #Conflicts: 972000 | #Constraints: 128188
2443.43/2450.41 c #Conflicts: 973000 | #Constraints: 129188
2443.43/2450.41 c #Conflicts: 974000 | #Constraints: 130188
2443.43/2450.41 c INPROCESSING
2443.43/2450.41 c GARBAGE COLLECT
2443.43/2450.41 c #Conflicts: 975000 | #Constraints: 76702
2443.43/2450.41 c #Conflicts: 976000 | #Constraints: 77702
2443.43/2450.41 c #Conflicts: 977000 | #Constraints: 78702
2443.43/2450.41 c #Conflicts: 978000 | #Constraints: 79702
2443.43/2450.41 c #Conflicts: 979000 | #Constraints: 80702
2443.43/2450.41 c #Conflicts: 980000 | #Constraints: 81702
2443.43/2450.41 c #Conflicts: 981000 | #Constraints: 82702
2443.43/2450.41 c #Conflicts: 982000 | #Constraints: 83702
2443.43/2450.41 c #Conflicts: 983000 | #Constraints: 84702
2443.43/2450.41 c #Conflicts: 984000 | #Constraints: 85702
2443.43/2450.41 c #Conflicts: 985000 | #Constraints: 86702
2443.43/2450.41 c #Conflicts: 986000 | #Constraints: 87702
2443.43/2450.41 c #Conflicts: 987000 | #Constraints: 88702
2443.43/2450.41 c #Conflicts: 988000 | #Constraints: 89702
2443.43/2450.41 c #Conflicts: 989000 | #Constraints: 90702
2443.43/2450.41 c #Conflicts: 990000 | #Constraints: 91702
2443.43/2450.41 c #Conflicts: 991000 | #Constraints: 92702
2443.43/2450.41 c #Conflicts: 992000 | #Constraints: 93702
2443.43/2450.41 c #Conflicts: 993000 | #Constraints: 94702
2443.43/2450.41 c #Conflicts: 994000 | #Constraints: 95702
2443.43/2450.41 c #Conflicts: 995000 | #Constraints: 96702
2443.43/2450.41 c #Conflicts: 996000 | #Constraints: 97702
2443.43/2450.41 c #Conflicts: 997000 | #Constraints: 98702
2443.43/2450.41 c #Conflicts: 998000 | #Constraints: 99702
2443.43/2450.41 c #Conflicts: 999000 | #Constraints: 100702
2443.43/2450.41 c #Conflicts: 1000000 | #Constraints: 101702
2443.43/2450.41 c #Conflicts: 1001000 | #Constraints: 102702
2443.43/2450.41 c INPROCESSING
2443.43/2450.41 c GARBAGE COLLECT
2443.43/2450.41 c #Conflicts: 1002000 | #Constraints: 68199
2443.43/2450.41 c #Conflicts: 1003000 | #Constraints: 69199
2443.43/2450.41 c #Conflicts: 1004000 | #Constraints: 70199
2443.43/2450.41 c #Conflicts: 1005000 | #Constraints: 71199
2443.43/2450.41 c #Conflicts: 1006000 | #Constraints: 72199
2443.43/2450.41 c #Conflicts: 1007000 | #Constraints: 73199
2443.43/2450.41 c #Conflicts: 1008000 | #Constraints: 74199
2443.43/2450.41 c #Conflicts: 1009000 | #Constraints: 75199
2443.43/2450.41 c #Conflicts: 1010000 | #Constraints: 76199
2443.43/2450.41 c #Conflicts: 1011000 | #Constraints: 77199
2443.43/2450.41 c #Conflicts: 1012000 | #Constraints: 78199
2443.43/2450.41 c #Conflicts: 1013000 | #Constraints: 79199
2443.43/2450.41 c #Conflicts: 1014000 | #Constraints: 80199
2443.43/2450.41 c #Conflicts: 1015000 | #Constraints: 81199
2443.43/2450.41 c #Conflicts: 1016000 | #Constraints: 82199
2443.43/2450.41 c #Conflicts: 1017000 | #Constraints: 83199
2443.43/2450.41 c #Conflicts: 1018000 | #Constraints: 84199
2443.43/2450.41 c #Conflicts: 1019000 | #Constraints: 85199
2443.43/2450.41 c #Conflicts: 1020000 | #Constraints: 86199
2443.43/2450.41 c #Conflicts: 1021000 | #Constraints: 87199
2443.43/2450.41 c #Conflicts: 1022000 | #Constraints: 88199
2443.43/2450.41 c #Conflicts: 1023000 | #Constraints: 89199
2443.43/2450.41 c #Conflicts: 1024000 | #Constraints: 90199
2443.43/2450.41 c #Conflicts: 1025000 | #Constraints: 91199
2443.43/2450.41 c #Conflicts: 1026000 | #Constraints: 92199
2443.43/2450.41 c #Conflicts: 1027000 | #Constraints: 93199
2443.43/2450.41 c #Conflicts: 1028000 | #Constraints: 94199
2443.43/2450.41 c #Conflicts: 1029000 | #Constraints: 95199
2443.43/2450.41 c #Conflicts: 1030000 | #Constraints: 96199
2443.43/2450.41 c #Conflicts: 1031000 | #Constraints: 97199
2443.43/2450.41 c #Conflicts: 1032000 | #Constraints: 98199
2443.43/2450.41 c #Conflicts: 1033000 | #Constraints: 99199
2443.43/2450.41 c #Conflicts: 1034000 | #Constraints: 100199
2443.43/2450.41 c #Conflicts: 1035000 | #Constraints: 101199
2443.43/2450.41 c #Conflicts: 1036000 | #Constraints: 102199
2443.43/2450.41 c #Conflicts: 1037000 | #Constraints: 103199
2443.43/2450.41 c #Conflicts: 1038000 | #Constraints: 104199
2443.43/2450.41 c #Conflicts: 1039000 | #Constraints: 105199
2443.43/2450.41 c #Conflicts: 1040000 | #Constraints: 106199
2739.64/2747.48 c #Conflicts: 1041000 | #Constraints: 107199
2739.64/2747.48 c #Conflicts: 1042000 | #Constraints: 108199
2739.64/2747.48 c #Conflicts: 1043000 | #Constraints: 109199
2739.64/2747.48 c #Conflicts: 1044000 | #Constraints: 110199
2739.64/2747.48 c #Conflicts: 1045000 | #Constraints: 111199
2739.64/2747.48 c #Conflicts: 1046000 | #Constraints: 112199
2739.64/2747.48 c #Conflicts: 1047000 | #Constraints: 113199
2739.64/2747.48 c #Conflicts: 1048000 | #Constraints: 114199
2739.64/2747.48 c #Conflicts: 1049000 | #Constraints: 115199
2739.64/2747.48 c #Conflicts: 1050000 | #Constraints: 116199
2739.64/2747.48 c #Conflicts: 1051000 | #Constraints: 117199
2739.64/2747.48 c #Conflicts: 1052000 | #Constraints: 118199
2739.64/2747.48 c #Conflicts: 1053000 | #Constraints: 119199
2739.64/2747.48 c #Conflicts: 1054000 | #Constraints: 120199
2739.64/2747.48 c #Conflicts: 1055000 | #Constraints: 121199
2739.64/2747.48 c #Conflicts: 1056000 | #Constraints: 122199
2739.64/2747.48 c #Conflicts: 1057000 | #Constraints: 123199
2739.64/2747.48 c #Conflicts: 1058000 | #Constraints: 124199
2739.64/2747.48 c #Conflicts: 1059000 | #Constraints: 125199
2739.64/2747.48 c #Conflicts: 1060000 | #Constraints: 126199
2739.64/2747.48 c #Conflicts: 1061000 | #Constraints: 127199
2739.64/2747.48 c #Conflicts: 1062000 | #Constraints: 128199
2739.64/2747.48 c #Conflicts: 1063000 | #Constraints: 129199
2739.64/2747.48 c #Conflicts: 1064000 | #Constraints: 130199
2739.64/2747.48 c #Conflicts: 1065000 | #Constraints: 131199
2739.64/2747.48 c #Conflicts: 1066000 | #Constraints: 132199
2739.64/2747.48 c #Conflicts: 1067000 | #Constraints: 133199
2739.64/2747.48 c #Conflicts: 1068000 | #Constraints: 134199
2739.64/2747.48 c #Conflicts: 1069000 | #Constraints: 135199
2739.64/2747.48 c INPROCESSING
2739.64/2747.48 c GARBAGE COLLECT
2739.64/2747.48 c #Conflicts: 1070000 | #Constraints: 79339
2739.64/2747.48 c #Conflicts: 1071000 | #Constraints: 80339
2739.64/2747.48 c #Conflicts: 1072000 | #Constraints: 81339
2739.64/2747.48 c #Conflicts: 1073000 | #Constraints: 82339
2739.64/2747.48 c #Conflicts: 1074000 | #Constraints: 83339
2739.64/2747.48 c #Conflicts: 1075000 | #Constraints: 84339
2739.64/2747.48 c #Conflicts: 1076000 | #Constraints: 85339
2739.64/2747.48 c #Conflicts: 1077000 | #Constraints: 86339
2739.64/2747.48 c #Conflicts: 1078000 | #Constraints: 87339
2739.64/2747.48 c #Conflicts: 1079000 | #Constraints: 88339
2739.64/2747.48 c #Conflicts: 1080000 | #Constraints: 89339
2739.64/2747.48 c #Conflicts: 1081000 | #Constraints: 90339
2739.64/2747.48 c #Conflicts: 1082000 | #Constraints: 91339
2739.64/2747.48 c #Conflicts: 1083000 | #Constraints: 92339
2739.64/2747.48 c #Conflicts: 1084000 | #Constraints: 93339
2739.64/2747.48 c #Conflicts: 1085000 | #Constraints: 94339
2739.64/2747.48 c #Conflicts: 1086000 | #Constraints: 95339
2739.64/2747.48 c #Conflicts: 1087000 | #Constraints: 96339
2739.64/2747.48 c #Conflicts: 1088000 | #Constraints: 97339
2739.64/2747.48 c #Conflicts: 1089000 | #Constraints: 98339
2739.64/2747.48 c #Conflicts: 1090000 | #Constraints: 99339
2739.64/2747.48 c #Conflicts: 1091000 | #Constraints: 100339
2739.64/2747.48 c #Conflicts: 1092000 | #Constraints: 101339
2739.64/2747.48 c #Conflicts: 1093000 | #Constraints: 102339
2739.64/2747.48 c #Conflicts: 1094000 | #Constraints: 103339
2739.64/2747.48 c #Conflicts: 1095000 | #Constraints: 104339
2739.64/2747.48 c #Conflicts: 1096000 | #Constraints: 105339
2739.64/2747.48 c #Conflicts: 1097000 | #Constraints: 106339
2739.64/2747.48 c #Conflicts: 1098000 | #Constraints: 107339
2739.64/2747.48 c INPROCESSING
2739.64/2747.48 c GARBAGE COLLECT
2739.64/2747.48 c #Conflicts: 1099000 | #Constraints: 70238
2739.64/2747.48 c #Conflicts: 1100000 | #Constraints: 71238
2739.64/2747.48 c #Conflicts: 1101000 | #Constraints: 72238
2739.64/2747.48 c #Conflicts: 1102000 | #Constraints: 73238
2739.64/2747.48 c #Conflicts: 1103000 | #Constraints: 74238
2739.64/2747.48 c #Conflicts: 1104000 | #Constraints: 75238
2739.64/2747.48 c #Conflicts: 1105000 | #Constraints: 76238
2739.64/2747.48 c #Conflicts: 1106000 | #Constraints: 77238
2739.64/2747.48 c #Conflicts: 1107000 | #Constraints: 78238
2739.64/2747.48 c #Conflicts: 1108000 | #Constraints: 79239
2739.64/2747.48 c #Conflicts: 1109000 | #Constraints: 80239
2739.64/2747.48 c #Conflicts: 1110000 | #Constraints: 81239
2739.64/2747.48 c #Conflicts: 1111000 | #Constraints: 82239
2739.64/2747.48 c #Conflicts: 1112000 | #Constraints: 83239
2739.64/2747.48 c #Conflicts: 1113000 | #Constraints: 84239
2739.64/2747.48 c #Conflicts: 1114000 | #Constraints: 85239
2739.64/2747.48 c #Conflicts: 1115000 | #Constraints: 86239
2739.64/2747.48 c #Conflicts: 1116000 | #Constraints: 87239
2739.64/2747.48 c #Conflicts: 1117000 | #Constraints: 88239
2739.64/2747.48 c #Conflicts: 1118000 | #Constraints: 89239
2978.19/2986.61 c #Conflicts: 1119000 | #Constraints: 90239
2978.19/2986.61 c #Conflicts: 1120000 | #Constraints: 91239
2978.19/2986.61 c #Conflicts: 1121000 | #Constraints: 92239
2978.19/2986.61 c #Conflicts: 1122000 | #Constraints: 93239
2978.19/2986.61 c #Conflicts: 1123000 | #Constraints: 94239
2978.19/2986.61 c #Conflicts: 1124000 | #Constraints: 95239
2978.19/2986.61 c #Conflicts: 1125000 | #Constraints: 96239
2978.19/2986.61 c #Conflicts: 1126000 | #Constraints: 97239
2978.19/2986.61 c #Conflicts: 1127000 | #Constraints: 98239
2978.19/2986.61 c #Conflicts: 1128000 | #Constraints: 99239
2978.19/2986.61 c #Conflicts: 1129000 | #Constraints: 100239
2978.19/2986.61 c #Conflicts: 1130000 | #Constraints: 101239
2978.19/2986.61 c #Conflicts: 1131000 | #Constraints: 102239
2978.19/2986.61 c #Conflicts: 1132000 | #Constraints: 103239
2978.19/2986.61 c #Conflicts: 1133000 | #Constraints: 104239
2978.19/2986.61 c #Conflicts: 1134000 | #Constraints: 105239
2978.19/2986.61 c #Conflicts: 1135000 | #Constraints: 106239
2978.19/2986.61 c #Conflicts: 1136000 | #Constraints: 107239
2978.19/2986.61 c #Conflicts: 1137000 | #Constraints: 108239
2978.19/2986.61 c #Conflicts: 1138000 | #Constraints: 109239
2978.19/2986.61 c #Conflicts: 1139000 | #Constraints: 110239
2978.19/2986.61 c #Conflicts: 1140000 | #Constraints: 111239
2978.19/2986.61 c #Conflicts: 1141000 | #Constraints: 112239
2978.19/2986.61 c #Conflicts: 1142000 | #Constraints: 113239
2978.19/2986.61 c #Conflicts: 1143000 | #Constraints: 114239
2978.19/2986.61 c #Conflicts: 1144000 | #Constraints: 115239
2978.19/2986.61 c #Conflicts: 1145000 | #Constraints: 116239
2978.19/2986.61 c #Conflicts: 1146000 | #Constraints: 117239
2978.19/2986.61 c #Conflicts: 1147000 | #Constraints: 118239
2978.19/2986.61 c #Conflicts: 1148000 | #Constraints: 119239
2978.19/2986.61 c #Conflicts: 1149000 | #Constraints: 120239
2978.19/2986.61 c #Conflicts: 1150000 | #Constraints: 121239
2978.19/2986.61 c #Conflicts: 1151000 | #Constraints: 122239
2978.19/2986.61 c #Conflicts: 1152000 | #Constraints: 123239
2978.19/2986.61 c #Conflicts: 1153000 | #Constraints: 124239
2978.19/2986.61 c #Conflicts: 1154000 | #Constraints: 125239
2978.19/2986.61 c #Conflicts: 1155000 | #Constraints: 126239
2978.19/2986.61 c #Conflicts: 1156000 | #Constraints: 127239
2978.19/2986.61 c #Conflicts: 1157000 | #Constraints: 128239
2978.19/2986.61 c #Conflicts: 1158000 | #Constraints: 129239
2978.19/2986.61 c #Conflicts: 1159000 | #Constraints: 130239
2978.19/2986.61 c #Conflicts: 1160000 | #Constraints: 131239
2978.19/2986.61 c #Conflicts: 1161000 | #Constraints: 132239
2978.19/2986.61 c #Conflicts: 1162000 | #Constraints: 133239
2978.19/2986.61 c #Conflicts: 1163000 | #Constraints: 134239
2978.19/2986.61 c #Conflicts: 1164000 | #Constraints: 135239
2978.19/2986.61 c #Conflicts: 1165000 | #Constraints: 136239
2978.19/2986.61 c #Conflicts: 1166000 | #Constraints: 137239
2978.19/2986.61 c #Conflicts: 1167000 | #Constraints: 138239
2978.19/2986.61 c #Conflicts: 1168000 | #Constraints: 139239
2978.19/2986.61 c INPROCESSING
2978.19/2986.61 c GARBAGE COLLECT
2978.19/2986.61 c #Conflicts: 1169000 | #Constraints: 81075
2978.19/2986.61 c #Conflicts: 1170000 | #Constraints: 82075
2978.19/2986.61 c #Conflicts: 1171000 | #Constraints: 83075
2978.19/2986.61 c #Conflicts: 1172000 | #Constraints: 84075
2978.19/2986.61 c #Conflicts: 1173000 | #Constraints: 85075
2978.19/2986.61 c #Conflicts: 1174000 | #Constraints: 86075
2978.19/2986.61 c #Conflicts: 1175000 | #Constraints: 87075
2978.19/2986.61 c #Conflicts: 1176000 | #Constraints: 88075
2978.19/2986.61 c #Conflicts: 1177000 | #Constraints: 89075
2978.19/2986.61 c #Conflicts: 1178000 | #Constraints: 90075
2978.19/2986.61 c #Conflicts: 1179000 | #Constraints: 91075
2978.19/2986.61 c #Conflicts: 1180000 | #Constraints: 92075
2978.19/2986.61 c #Conflicts: 1181000 | #Constraints: 93075
2978.19/2986.61 c #Conflicts: 1182000 | #Constraints: 94075
2978.19/2986.61 c #Conflicts: 1183000 | #Constraints: 95075
2978.19/2986.61 c #Conflicts: 1184000 | #Constraints: 96075
2978.19/2986.61 c #Conflicts: 1185000 | #Constraints: 97075
2978.19/2986.61 c #Conflicts: 1186000 | #Constraints: 98075
2978.19/2986.61 c #Conflicts: 1187000 | #Constraints: 99075
2978.19/2986.61 c #Conflicts: 1188000 | #Constraints: 100075
2978.19/2986.61 c #Conflicts: 1189000 | #Constraints: 101075
2978.19/2986.61 c #Conflicts: 1190000 | #Constraints: 102075
2978.19/2986.61 c #Conflicts: 1191000 | #Constraints: 103075
2978.19/2986.61 c #Conflicts: 1192000 | #Constraints: 104075
2978.19/2986.61 c #Conflicts: 1193000 | #Constraints: 105075
2978.19/2986.61 c #Conflicts: 1194000 | #Constraints: 106075
2978.19/2986.61 c #Conflicts: 1195000 | #Constraints: 107075
2978.19/2986.61 c #Conflicts: 1196000 | #Constraints: 108075
3202.08/3211.19 c #Conflicts: 1197000 | #Constraints: 109075
3202.08/3211.19 c #Conflicts: 1198000 | #Constraints: 110075
3202.08/3211.19 c INPROCESSING
3202.08/3211.19 c GARBAGE COLLECT
3202.08/3211.19 c #Conflicts: 1199000 | #Constraints: 72053
3202.08/3211.19 c #Conflicts: 1200000 | #Constraints: 73053
3202.08/3211.19 c #Conflicts: 1201000 | #Constraints: 74053
3202.08/3211.19 c #Conflicts: 1202000 | #Constraints: 75053
3202.08/3211.19 c #Conflicts: 1203000 | #Constraints: 76053
3202.08/3211.19 c #Conflicts: 1204000 | #Constraints: 77053
3202.08/3211.19 c #Conflicts: 1205000 | #Constraints: 78053
3202.08/3211.19 c #Conflicts: 1206000 | #Constraints: 79053
3202.08/3211.19 c #Conflicts: 1207000 | #Constraints: 80053
3202.08/3211.19 c #Conflicts: 1208000 | #Constraints: 81053
3202.08/3211.19 c #Conflicts: 1209000 | #Constraints: 82053
3202.08/3211.19 c #Conflicts: 1210000 | #Constraints: 83053
3202.08/3211.19 c #Conflicts: 1211000 | #Constraints: 84053
3202.08/3211.19 c #Conflicts: 1212000 | #Constraints: 85053
3202.08/3211.19 c #Conflicts: 1213000 | #Constraints: 86053
3202.08/3211.19 c #Conflicts: 1214000 | #Constraints: 87053
3202.08/3211.19 c #Conflicts: 1215000 | #Constraints: 88053
3202.08/3211.19 c #Conflicts: 1216000 | #Constraints: 89053
3202.08/3211.19 c #Conflicts: 1217000 | #Constraints: 90053
3202.08/3211.19 c #Conflicts: 1218000 | #Constraints: 91053
3202.08/3211.19 c #Conflicts: 1219000 | #Constraints: 92053
3202.08/3211.19 c #Conflicts: 1220000 | #Constraints: 93053
3202.08/3211.19 c #Conflicts: 1221000 | #Constraints: 94053
3202.08/3211.19 c #Conflicts: 1222000 | #Constraints: 95053
3202.08/3211.19 c #Conflicts: 1223000 | #Constraints: 96053
3202.08/3211.19 c #Conflicts: 1224000 | #Constraints: 97053
3202.08/3211.19 c #Conflicts: 1225000 | #Constraints: 98053
3202.08/3211.19 c #Conflicts: 1226000 | #Constraints: 99053
3202.08/3211.19 c #Conflicts: 1227000 | #Constraints: 100053
3202.08/3211.19 c #Conflicts: 1228000 | #Constraints: 101053
3202.08/3211.19 c #Conflicts: 1229000 | #Constraints: 102053
3202.08/3211.19 c #Conflicts: 1230000 | #Constraints: 103053
3202.08/3211.19 c #Conflicts: 1231000 | #Constraints: 104053
3202.08/3211.19 c #Conflicts: 1232000 | #Constraints: 105053
3202.08/3211.19 c #Conflicts: 1233000 | #Constraints: 106053
3202.08/3211.19 c #Conflicts: 1234000 | #Constraints: 107053
3202.08/3211.19 c #Conflicts: 1235000 | #Constraints: 108053
3202.08/3211.19 c #Conflicts: 1236000 | #Constraints: 109053
3202.08/3211.19 c #Conflicts: 1237000 | #Constraints: 110053
3202.08/3211.19 c #Conflicts: 1238000 | #Constraints: 111053
3202.08/3211.19 c #Conflicts: 1239000 | #Constraints: 112053
3202.08/3211.19 c #Conflicts: 1240000 | #Constraints: 113053
3202.08/3211.19 c #Conflicts: 1241000 | #Constraints: 114053
3202.08/3211.19 c #Conflicts: 1242000 | #Constraints: 115053
3202.08/3211.19 c #Conflicts: 1243000 | #Constraints: 116053
3202.08/3211.19 c #Conflicts: 1244000 | #Constraints: 117053
3202.08/3211.19 c #Conflicts: 1245000 | #Constraints: 118053
3202.08/3211.19 c #Conflicts: 1246000 | #Constraints: 119053
3202.08/3211.19 c #Conflicts: 1247000 | #Constraints: 120053
3202.08/3211.19 c #Conflicts: 1248000 | #Constraints: 121053
3202.08/3211.19 c #Conflicts: 1249000 | #Constraints: 122053
3202.08/3211.19 c #Conflicts: 1250000 | #Constraints: 123053
3202.08/3211.19 c #Conflicts: 1251000 | #Constraints: 124053
3202.08/3211.19 c #Conflicts: 1252000 | #Constraints: 125053
3202.08/3211.19 c #Conflicts: 1253000 | #Constraints: 126053
3202.08/3211.19 c #Conflicts: 1254000 | #Constraints: 127053
3202.08/3211.19 c #Conflicts: 1255000 | #Constraints: 128053
3202.08/3211.19 c #Conflicts: 1256000 | #Constraints: 129053
3202.08/3211.19 c #Conflicts: 1257000 | #Constraints: 130053
3202.08/3211.19 c #Conflicts: 1258000 | #Constraints: 131053
3202.08/3211.19 c #Conflicts: 1259000 | #Constraints: 132053
3202.08/3211.19 c #Conflicts: 1260000 | #Constraints: 133053
3202.08/3211.19 c #Conflicts: 1261000 | #Constraints: 134053
3202.08/3211.19 c #Conflicts: 1262000 | #Constraints: 135053
3202.08/3211.19 c #Conflicts: 1263000 | #Constraints: 136053
3202.08/3211.19 c #Conflicts: 1264000 | #Constraints: 137053
3202.08/3211.19 c #Conflicts: 1265000 | #Constraints: 138053
3202.08/3211.19 c #Conflicts: 1266000 | #Constraints: 139053
3202.08/3211.19 c #Conflicts: 1267000 | #Constraints: 140053
3202.08/3211.19 c #Conflicts: 1268000 | #Constraints: 141053
3202.08/3211.19 c #Conflicts: 1269000 | #Constraints: 142053
3202.08/3211.19 c #Conflicts: 1270000 | #Constraints: 143053
3202.08/3211.19 c #Conflicts: 1271000 | #Constraints: 144053
3202.08/3211.19 c #Conflicts: 1272000 | #Constraints: 145053
3202.08/3211.19 c INPROCESSING
3202.08/3211.19 c GARBAGE COLLECT
3202.08/3211.19 c #Conflicts: 1273000 | #Constraints: 84256
3435.53/3445.25 c #Conflicts: 1274000 | #Constraints: 85256
3435.53/3445.25 c #Conflicts: 1275000 | #Constraints: 86256
3435.53/3445.25 c #Conflicts: 1276000 | #Constraints: 87256
3435.53/3445.25 c #Conflicts: 1277000 | #Constraints: 88256
3435.53/3445.25 c #Conflicts: 1278000 | #Constraints: 89256
3435.53/3445.25 c #Conflicts: 1279000 | #Constraints: 90256
3435.53/3445.25 c #Conflicts: 1280000 | #Constraints: 91256
3435.53/3445.25 c #Conflicts: 1281000 | #Constraints: 92256
3435.53/3445.25 c #Conflicts: 1282000 | #Constraints: 93256
3435.53/3445.25 c #Conflicts: 1283000 | #Constraints: 94257
3435.53/3445.25 c #Conflicts: 1284000 | #Constraints: 95257
3435.53/3445.25 c #Conflicts: 1285000 | #Constraints: 96257
3435.53/3445.25 c #Conflicts: 1286000 | #Constraints: 97257
3435.53/3445.25 c #Conflicts: 1287000 | #Constraints: 98257
3435.53/3445.25 c #Conflicts: 1288000 | #Constraints: 99257
3435.53/3445.25 c #Conflicts: 1289000 | #Constraints: 100257
3435.53/3445.25 c #Conflicts: 1290000 | #Constraints: 101257
3435.53/3445.25 c #Conflicts: 1291000 | #Constraints: 102257
3435.53/3445.25 c #Conflicts: 1292000 | #Constraints: 103257
3435.53/3445.25 c #Conflicts: 1293000 | #Constraints: 104257
3435.53/3445.25 c #Conflicts: 1294000 | #Constraints: 105257
3435.53/3445.25 c #Conflicts: 1295000 | #Constraints: 106257
3435.53/3445.25 c #Conflicts: 1296000 | #Constraints: 107257
3435.53/3445.25 c #Conflicts: 1297000 | #Constraints: 108257
3435.53/3445.25 c #Conflicts: 1298000 | #Constraints: 109257
3435.53/3445.25 c #Conflicts: 1299000 | #Constraints: 110257
3435.53/3445.25 c #Conflicts: 1300000 | #Constraints: 111257
3435.53/3445.25 c #Conflicts: 1301000 | #Constraints: 112257
3435.53/3445.25 c #Conflicts: 1302000 | #Constraints: 113257
3435.53/3445.25 c #Conflicts: 1303000 | #Constraints: 114257
3435.53/3445.25 c INPROCESSING
3435.53/3445.25 c GARBAGE COLLECT
3435.53/3445.25 c #Conflicts: 1304000 | #Constraints: 74783
3435.53/3445.25 c #Conflicts: 1305000 | #Constraints: 75783
3435.53/3445.25 c #Conflicts: 1306000 | #Constraints: 76783
3435.53/3445.25 c #Conflicts: 1307000 | #Constraints: 77783
3435.53/3445.25 c #Conflicts: 1308000 | #Constraints: 78783
3435.53/3445.25 c #Conflicts: 1309000 | #Constraints: 79783
3435.53/3445.25 c #Conflicts: 1310000 | #Constraints: 80783
3435.53/3445.25 c #Conflicts: 1311000 | #Constraints: 81783
3435.53/3445.25 c #Conflicts: 1312000 | #Constraints: 82783
3435.53/3445.25 c #Conflicts: 1313000 | #Constraints: 83783
3435.53/3445.25 c #Conflicts: 1314000 | #Constraints: 84783
3435.53/3445.25 c #Conflicts: 1315000 | #Constraints: 85783
3435.53/3445.25 c #Conflicts: 1316000 | #Constraints: 86783
3435.53/3445.25 c #Conflicts: 1317000 | #Constraints: 87783
3435.53/3445.25 c #Conflicts: 1318000 | #Constraints: 88783
3435.53/3445.25 c #Conflicts: 1319000 | #Constraints: 89783
3435.53/3445.25 c #Conflicts: 1320000 | #Constraints: 90783
3435.53/3445.25 c #Conflicts: 1321000 | #Constraints: 91783
3435.53/3445.25 c #Conflicts: 1322000 | #Constraints: 92783
3435.53/3445.25 c #Conflicts: 1323000 | #Constraints: 93783
3435.53/3445.25 c #Conflicts: 1324000 | #Constraints: 94783
3435.53/3445.25 c #Conflicts: 1325000 | #Constraints: 95783
3435.53/3445.25 c #Conflicts: 1326000 | #Constraints: 96783
3435.53/3445.25 c #Conflicts: 1327000 | #Constraints: 97783
3435.53/3445.25 c #Conflicts: 1328000 | #Constraints: 98783
3435.53/3445.25 c #Conflicts: 1329000 | #Constraints: 99783
3435.53/3445.25 c #Conflicts: 1330000 | #Constraints: 100783
3435.53/3445.25 c #Conflicts: 1331000 | #Constraints: 101783
3435.53/3445.25 c #Conflicts: 1332000 | #Constraints: 102783
3435.53/3445.25 c #Conflicts: 1333000 | #Constraints: 103783
3435.53/3445.25 c #Conflicts: 1334000 | #Constraints: 104783
3435.53/3445.25 c #Conflicts: 1335000 | #Constraints: 105783
3435.53/3445.25 c #Conflicts: 1336000 | #Constraints: 106783
3435.53/3445.25 c #Conflicts: 1337000 | #Constraints: 107783
3435.53/3445.25 c #Conflicts: 1338000 | #Constraints: 108783
3435.53/3445.25 c #Conflicts: 1339000 | #Constraints: 109783
3435.53/3445.25 c #Conflicts: 1340000 | #Constraints: 110783
3435.53/3445.25 c #Conflicts: 1341000 | #Constraints: 111783
3435.53/3445.25 c #Conflicts: 1342000 | #Constraints: 112783
3435.53/3445.25 c #Conflicts: 1343000 | #Constraints: 113783
3435.53/3445.25 c #Conflicts: 1344000 | #Constraints: 114783
3435.53/3445.25 c #Conflicts: 1345000 | #Constraints: 115783
3435.53/3445.25 c #Conflicts: 1346000 | #Constraints: 116783
3435.53/3445.25 c #Conflicts: 1347000 | #Constraints: 117783
3435.53/3445.25 c #Conflicts: 1348000 | #Constraints: 118783
3435.53/3445.25 c #Conflicts: 1349000 | #Constraints: 119783
3435.53/3445.25 c #Conflicts: 1350000 | #Constraints: 120783
3435.53/3445.25 c #Conflicts: 1351000 | #Constraints: 121783
3592.11/3602.27 c #Conflicts: 1352000 | #Constraints: 122783
3592.11/3602.27 c #Conflicts: 1353000 | #Constraints: 123783
3592.11/3602.27 c #Conflicts: 1354000 | #Constraints: 124783
3592.11/3602.27 c #Conflicts: 1355000 | #Constraints: 125783
3592.11/3602.27 c #Conflicts: 1356000 | #Constraints: 126783
3592.11/3602.27 c #Conflicts: 1357000 | #Constraints: 127783
3592.11/3602.27 c #Conflicts: 1358000 | #Constraints: 128783
3592.11/3602.27 c #Conflicts: 1359000 | #Constraints: 129783
3592.11/3602.27 c #Conflicts: 1360000 | #Constraints: 130783
3592.11/3602.27 c #Conflicts: 1361000 | #Constraints: 131783
3592.11/3602.27 c #Conflicts: 1362000 | #Constraints: 132783
3592.11/3602.27 c #Conflicts: 1363000 | #Constraints: 133783
3592.11/3602.27 c #Conflicts: 1364000 | #Constraints: 134783
3592.11/3602.27 c #Conflicts: 1365000 | #Constraints: 135783
3592.11/3602.27 c #Conflicts: 1366000 | #Constraints: 136783
3592.11/3602.27 c #Conflicts: 1367000 | #Constraints: 137783
3592.11/3602.27 c #Conflicts: 1368000 | #Constraints: 138783
3592.11/3602.27 c #Conflicts: 1369000 | #Constraints: 139783
3592.11/3602.27 c #Conflicts: 1370000 | #Constraints: 140783
3592.11/3602.27 c #Conflicts: 1371000 | #Constraints: 141783
3592.11/3602.27 c #Conflicts: 1372000 | #Constraints: 142783
3592.11/3602.27 c #Conflicts: 1373000 | #Constraints: 143783
3592.11/3602.27 c #Conflicts: 1374000 | #Constraints: 144783
3592.11/3602.27 c #Conflicts: 1375000 | #Constraints: 145783
3592.11/3602.27 c #Conflicts: 1376000 | #Constraints: 146783
3592.11/3602.27 c #Conflicts: 1377000 | #Constraints: 147783
3592.11/3602.27 c #Conflicts: 1378000 | #Constraints: 148783
3592.11/3602.27 c #Conflicts: 1379000 | #Constraints: 149783
3592.11/3602.27 c #Conflicts: 1380000 | #Constraints: 150783
3592.11/3602.27 c INPROCESSING
3592.11/3602.27 c GARBAGE COLLECT
3592.11/3602.27 c rational objective 159
3600.00/3610.10 c #Conflicts: 1381000 | #Constraints: 87348
3600.00/3610.10 c cpu time 3568.39 s
3600.00/3610.10 c deterministic time 234680654068 2.35e+11
3600.00/3610.10 c optimization time 2.10735 s
3600.00/3610.10 c total solve time 3566.18 s
3600.00/3610.10 c core-guided solve time 0 s
3600.00/3610.10 c propagation time 1783.12 s
3600.00/3610.10 c conflict analysis time 1424.09 s
3600.00/3610.10 c propagations 1362254447
3600.00/3610.10 c resolve steps 89338214
3600.00/3610.10 c decisions 27452392
3600.00/3610.10 c conflicts 1381429
3600.00/3610.10 c restarts 2635
3600.00/3610.10 c inprocessing phases 50
3600.00/3610.10 c garbage collections 50 ,( 100.00 )
3600.00/3610.10 c input clauses 19082 ,( 99.17 )
3600.00/3610.10 c input cardinalities 159 ,( 0.83 )
3600.00/3610.10 c input general constraints 0 ,( 0.00 )
3600.00/3610.10 c input average constraint length 6.43
3600.00/3610.10 c input average constraint degree 1.97
3600.00/3610.10 c learned clauses 1029744 ,( 74.54 )
3600.00/3610.10 c learned cardinalities 43377 ,( 3.14 )
3600.00/3610.10 c learned general constraints 308317 ,( 22.32 )
3600.00/3610.10 c learned average constraint length 815.51
3600.00/3610.10 c learned average constraint degree 20153375.06
3600.00/3610.10 c watched CF 32, 64, 128, Arb: 84025 , 0 , 0 , 0
3600.00/3610.10 c counting CF 32, 64, 128, Arb: 224292 , 0 , 0 , 0
3600.00/3610.10 c watched constraints 84025 ,( 27.25 )
3600.00/3610.10 c counting constraints 224292 ,( 72.75 )
3600.00/3610.10 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 1350482191 , 650667539 , 1783925977 ,( 82544285 , 1701381692 )
3600.00/3610.10 c gcd simplifications 814
3600.00/3610.10 c detected cardinalities 5936
3600.00/3610.10 c weakened non-implied lits 389868503
3600.00/3610.10 c weakened non-implying lits 240748
3600.00/3610.10 c original variables 18921
3600.00/3610.10 c clausal propagations 618989620
3600.00/3610.10 c cardinality propagations 503459417
3600.00/3610.10 c watched propagations 5200592
3600.00/3610.10 c counting propagations 222259742
3600.00/3610.10 c watch lookups 80519372815
3600.00/3610.10 c watch backjump lookups 0
3600.00/3610.10 c watch checks 38269042091
3600.00/3610.10 c propagation checks 107950078006
3600.00/3610.10 c constraint additions 5161074047
3600.00/3610.10 c trail pops 1391073382
3600.00/3610.10 c formula constraints 19241
3600.00/3610.10 c learned constraints 1381421
3600.00/3610.10 c bound constraints 0
3600.00/3610.10 c core-guided constraints 0
3600.00/3610.10 c encountered formula constraints 57672353
3600.00/3610.10 c encountered learned constraints 33046193
3600.00/3610.10 c encountered bound constraints 0
3600.00/3610.10 c encountered core-guided constraints 0
3600.00/3610.10 c LP total time 425.232 s
3600.00/3610.10 c LP solve time 406.12 s
3600.00/3610.10 c LP constraints added 19742
3600.00/3610.10 c LP constraints removed 201
3600.00/3610.10 c LP pivots internal 141886
3600.00/3610.10 c LP pivots root 165001
3600.00/3610.10 c LP calls 17
3600.00/3610.10 c LP optimalities 4
3600.00/3610.10 c LP no pivot count 0
3600.00/3610.10 c LP infeasibilities 7
3600.00/3610.10 c LP valid Farkas constraints 7
3600.00/3610.10 c LP learned Farkas constraints 7
3600.00/3610.10 c LP basis resets 0
3600.00/3610.10 c LP cycling count 0
3600.00/3610.10 c LP singular count 0
3600.00/3610.10 c LP no primal count 0
3600.00/3610.10 c LP no farkas count 0
3600.00/3610.10 c LP other issue count 0
3600.00/3610.10 c LP Gomory cuts 3
3600.00/3610.10 c LP learned cuts 638
3600.00/3610.10 c LP deleted cuts 456
3600.00/3610.10 c LP encountered Gomory constraints 0
3600.00/3610.10 c LP encountered Farkas constraints 1076
3600.00/3610.10 c LP encountered learned Farkas constraints 14
3600.00/3610.10 c CG auxiliary variables introduced 0
3600.00/3610.10 c CG solutions found 0
3600.00/3610.10 c CG cores constructed 0
3600.00/3610.10 c CG core cardinality constraints returned 0
3600.00/3610.10 c CG unit cores 0
3600.00/3610.10 c CG single cores 0
3600.00/3610.10 c CG blocks removed during cardinality reduction 0
3600.00/3610.10 c CG first core best 0
3600.00/3610.10 c CG decision core best 0
3600.00/3610.10 c CG core reduction tie 0
3600.00/3610.10 c CG core degree average 0.00
3600.00/3610.10 c CG core slack average 0.00
3600.00/3610.10 c CG core upper bound improvements 0
3600.00/3610.10 c STR number of successful calls 0
3600.00/3610.10 c STR number of unsuccessful calls 0
3600.00/3610.10 c STR number of inconclusive calls 0
3600.00/3610.10 c STR number of successful attempts 0
3600.00/3610.10 c STR number of unsuccessful attempts 0
3600.00/3610.10 c STR number of inconclusive attempts 0
3600.00/3610.10 c STR average degree increase per successful call inf
3600.00/3610.10 c STR average degree increase per successful attempt inf
3600.00/3610.10 c STR total number of conflicts for successful attempts 0
3600.00/3610.10 c STR total number of conflicts for unsuccessful attempts 0
3600.00/3610.10 c STR total number of conflicts for inconclusive attempts 0
3600.00/3610.10 c STR average number of conflicts per successful attempt inf
3600.00/3610.10 c STR average number of conflicts per unsuccessful attempt inf
3600.00/3610.10 c STR average number of conflicts per inconclusive attempt inf
3600.00/3610.10 c AVG.sumWPerc 64.75
3600.00/3610.10 c bigint constraints 0
3600.00/3610.10 s UNKNOWN
3600.00/3610.10 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 (54940 MiB free)
memory of node 1: 64507 MiB (58009 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4506977-1751176571/watcher-4506977-1751176571 -o /tmp/evaluation-result-4506977-1751176571/solver-4506977-1751176571 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1751169346-22498 --watchdog 3760 --file-size-limit 100000 run-dec-log.sh HOME/instance-4506977-1751176571.opb PROOFDIR/proof-4506977-1751176571
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=23318, runsolver pid=23315
Current StackSize limit: 8192 KiB
[startup+0.100065 s]*
/proc/loadavg: 4.11 4.13 4.12 5/272 23320
/proc/meminfo: memFree=115617376/131249996 swapFree=33010684/33010684
[pid=23318] ppid=23315 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/23318/stat : 23318 (run-dec-log.sh) S 23315 23318 22485 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 33334896 4292608 736 18446744073709551615 94870191517696 94870192412229 140731346969888 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94870192651280 94870192699024 94870208217088 140731346975009 140731346975204 140731346975204 140731346980806 0
/proc/23318/statm: 1048 736 672 219 0 110 0
[pid=23320] ppid=23318 vsize=67676 memory=22504 CPUtime=0.08 cores=5,7
/proc/23320/stat : 23320 (roundingsat) R 23318 23318 22485 0 -1 4194304 4631 0 0 0 6 2 0 0 20 0 1 0 33334897 69300224 5626 18446744073709551615 4227072 8923433 140727448377824 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 20221952 140727448381799 140727448381992 140727448381992 140727448387562 0
/proc/23320/statm: 16919 5626 2272 1147 0 4346 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 71868 KiB
Current children cumulated memory: 25448 KiB
[startup+0.205802 s]*
/proc/loadavg: 4.11 4.13 4.12 5/272 23320
/proc/meminfo: memFree=115604332/131249996 swapFree=33010684/33010684
[pid=23318] ppid=23315 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/23318/stat : 23318 (run-dec-log.sh) S 23315 23318 22485 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 33334896 4292608 736 18446744073709551615 94870191517696 94870192412229 140731346969888 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94870192651280 94870192699024 94870208217088 140731346975009 140731346975204 140731346975204 140731346980806 0
/proc/23318/statm: 1048 736 672 219 0 110 0
[pid=23320] ppid=23318 vsize=104748 memory=49732 CPUtime=0.19 cores=5,7
/proc/23320/stat : 23320 (roundingsat) R 23318 23318 22485 0 -1 4194304 9685 0 0 0 16 3 0 0 20 0 1 0 33334897 107261952 12433 18446744073709551615 4227072 8923433 140727448377824 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 20221952 140727448381799 140727448381992 140727448381992 140727448387562 0
/proc/23320/statm: 26187 12433 2272 1147 0 13614 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 108940 KiB
Current children cumulated memory: 52676 KiB
[startup+0.305678 s]*
/proc/loadavg: 4.11 4.13 4.12 5/272 23320
/proc/meminfo: memFree=115603576/131249996 swapFree=33010684/33010684
[pid=23318] ppid=23315 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/23318/stat : 23318 (run-dec-log.sh) S 23315 23318 22485 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 33334896 4292608 736 18446744073709551615 94870191517696 94870192412229 140731346969888 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94870192651280 94870192699024 94870208217088 140731346975009 140731346975204 140731346975204 140731346980806 0
/proc/23318/statm: 1048 736 672 219 0 110 0
[pid=23320] ppid=23318 vsize=105532 memory=51396 CPUtime=0.28 cores=5,7
/proc/23320/stat : 23320 (roundingsat) R 23318 23318 22485 0 -1 4194304 10076 0 0 0 25 3 0 0 20 0 1 0 33334897 108064768 12849 18446744073709551615 4227072 8923433 140727448377824 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 20221952 140727448381799 140727448381992 140727448381992 140727448387562 0
/proc/23320/statm: 26383 12849 2272 1147 0 13810 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 109724 KiB
Current children cumulated memory: 54340 KiB
[startup+0.700222 s]
/proc/loadavg: 4.11 4.13 4.12 5/272 23320
/proc/meminfo: memFree=115592488/131249996 swapFree=33010684/33010684
[pid=23318] ppid=23315 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/23318/stat : 23318 (run-dec-log.sh) S 23315 23318 22485 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 33334896 4292608 736 18446744073709551615 94870191517696 94870192412229 140731346969888 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94870192651280 94870192699024 94870208217088 140731346975009 140731346975204 140731346975204 140731346980806 0
/proc/23318/statm: 1048 736 672 219 0 110 0
[pid=23320] ppid=23318 vsize=107272 memory=53444 CPUtime=0.67 cores=5,7
/proc/23320/stat : 23320 (roundingsat) R 23318 23318 22485 0 -1 4194304 10578 0 0 0 64 3 0 0 20 0 1 0 33334897 109846528 13361 18446744073709551615 4227072 8923433 140727448377824 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 20221952 140727448381799 140727448381992 140727448381992 140727448387562 0
/proc/23320/statm: 26818 13361 2304 1147 0 14245 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 111464 KiB
Current children cumulated memory: 56388 KiB
[startup+1.50021 s]
/proc/loadavg: 4.11 4.13 4.12 5/272 23320
/proc/meminfo: memFree=115578412/131249996 swapFree=33010684/33010684
[pid=23318] ppid=23315 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/23318/stat : 23318 (run-dec-log.sh) S 23315 23318 22485 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 33334896 4292608 736 18446744073709551615 94870191517696 94870192412229 140731346969888 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94870192651280 94870192699024 94870208217088 140731346975009 140731346975204 140731346975204 140731346980806 0
/proc/23318/statm: 1048 736 672 219 0 110 0
[pid=23320] ppid=23318 vsize=109136 memory=55364 CPUtime=1.47 cores=5,7
/proc/23320/stat : 23320 (roundingsat) R 23318 23318 22485 0 -1 4194304 11045 0 0 0 143 4 0 0 20 0 1 0 33334897 111755264 13841 18446744073709551615 4227072 8923433 140727448377824 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 20221952 140727448381799 140727448381992 140727448381992 140727448387562 0
/proc/23320/statm: 27284 13841 2304 1147 0 14711 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 113328 KiB
Current children cumulated memory: 58308 KiB
[startup+3.10556 s]
/proc/loadavg: 4.10 4.13 4.12 5/272 23320
/proc/meminfo: memFree=115548920/131249996 swapFree=33010684/33010684
[pid=23318] ppid=23315 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/23318/stat : 23318 (run-dec-log.sh) S 23315 23318 22485 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 33334896 4292608 736 18446744073709551615 94870191517696 94870192412229 140731346969888 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94870192651280 94870192699024 94870208217088 140731346975009 140731346975204 140731346975204 140731346980806 0
/proc/23318/statm: 1048 736 672 219 0 110 0
[pid=23320] ppid=23318 vsize=112216 memory=62744 CPUtime=3.07 cores=5,7
/proc/23320/stat : 23320 (roundingsat) R 23318 23318 22485 0 -1 4194304 12399 0 0 0 294 13 0 0 20 0 1 0 33334897 114909184 15686 18446744073709551615 4227072 8923433 140727448377824 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 20221952 140727448381799 140727448381992 140727448381992 140727448387562 0
/proc/23320/statm: 28054 15686 2336 1147 0 15481 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 116408 KiB
Current children cumulated memory: 65688 KiB
[startup+6.3002 s]
/proc/loadavg: 4.10 4.13 4.12 5/272 23320
/proc/meminfo: memFree=115516384/131249996 swapFree=33010684/33010684
[pid=23318] ppid=23315 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/23318/stat : 23318 (run-dec-log.sh) S 23315 23318 22485 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 33334896 4292608 736 18446744073709551615 94870191517696 94870192412229 140731346969888 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94870192651280 94870192699024 94870208217088 140731346975009 140731346975204 140731346975204 140731346980806 0
/proc/23318/statm: 1048 736 672 219 0 110 0
[pid=23320] ppid=23318 vsize=121432 memory=71876 CPUtime=6.26 cores=5,7
/proc/23320/stat : 23320 (roundingsat) R 23318 23318 22485 0 -1 4194304 14166 0 0 0 602 24 0 0 20 0 1 0 33334897 124346368 17969 18446744073709551615 4227072 8923433 140727448377824 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 20221952 140727448381799 140727448381992 140727448381992 140727448387562 0
/proc/23320/statm: 30358 17969 2336 1147 0 17785 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 125624 KiB
Current children cumulated memory: 74820 KiB
[startup+12.7002 s]
/proc/loadavg: 4.09 4.12 4.11 5/272 23320
/proc/meminfo: memFree=115460920/131249996 swapFree=33010684/33010684
[pid=23318] ppid=23315 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/23318/stat : 23318 (run-dec-log.sh) S 23315 23318 22485 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 33334896 4292608 736 18446744073709551615 94870191517696 94870192412229 140731346969888 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94870192651280 94870192699024 94870208217088 140731346975009 140731346975204 140731346975204 140731346980806 0
/proc/23318/statm: 1048 736 672 219 0 110 0
[pid=23320] ppid=23318 vsize=129724 memory=79300 CPUtime=12.64 cores=5,7
/proc/23320/stat : 23320 (roundingsat) R 23318 23318 22485 0 -1 4194304 16037 0 0 0 1221 43 0 0 20 0 1 0 33334897 132837376 19825 18446744073709551615 4227072 8923433 140727448377824 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 20221952 140727448381799 140727448381992 140727448381992 140727448387562 0
/proc/23320/statm: 32431 19825 2336 1147 0 19858 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 133916 KiB
Current children cumulated memory: 82244 KiB
[startup+25.5002 s]
/proc/loadavg: 4.07 4.12 4.11 5/272 23366
/proc/meminfo: memFree=123592036/131249996 swapFree=33010684/33010684
[pid=23318] ppid=23315 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/23318/stat : 23318 (run-dec-log.sh) S 23315 23318 22485 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 33334896 4292608 736 18446744073709551615 94870191517696 94870192412229 140731346969888 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94870192651280 94870192699024 94870208217088 140731346975009 140731346975204 140731346975204 140731346980806 0
/proc/23318/statm: 1048 736 672 219 0 110 0
[pid=23320] ppid=23318 vsize=166332 memory=104184 CPUtime=25.41 cores=5,7
/proc/23320/stat : 23320 (roundingsat) R 23318 23318 22485 0 -1 4194304 20197 0 0 0 2482 59 0 0 20 0 1 0 33334897 170323968 26046 18446744073709551615 4227072 8923433 140727448377824 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 20221952 140727448381799 140727448381992 140727448381992 140727448387562 0
/proc/23320/statm: 41583 26046 2336 1147 0 29010 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 170524 KiB
Current children cumulated memory: 107128 KiB
[startup+51.1056 s]
/proc/loadavg: 4.11 4.12 4.11 5/272 23367
/proc/meminfo: memFree=123182476/131249996 swapFree=33010684/33010684
[pid=23318] ppid=23315 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/23318/stat : 23318 (run-dec-log.sh) S 23315 23318 22485 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 33334896 4292608 736 18446744073709551615 94870191517696 94870192412229 140731346969888 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94870192651280 94870192699024 94870208217088 140731346975009 140731346975204 140731346975204 140731346980806 0
/proc/23318/statm: 1048 736 672 219 0 110 0
[pid=23320] ppid=23318 vsize=182952 memory=131316 CPUtime=50.94 cores=5,7
/proc/23320/stat : 23320 (roundingsat) R 23318 23318 22485 0 -1 4194304 25015 0 0 0 4963 131 0 0 20 0 1 0 33334897 187342848 32829 18446744073709551615 4227072 8923433 140727448377824 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 20221952 140727448381799 140727448381992 140727448381992 140727448387562 0
/proc/23320/statm: 45738 32829 2336 1147 0 33165 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 187144 KiB
Current children cumulated memory: 134260 KiB
[startup+102.3 s]
/proc/loadavg: 4.11 4.12 4.11 5/272 23369
/proc/meminfo: memFree=122663092/131249996 swapFree=33010684/33010684
[pid=23318] ppid=23315 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/23318/stat : 23318 (run-dec-log.sh) S 23315 23318 22485 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 33334896 4292608 736 18446744073709551615 94870191517696 94870192412229 140731346969888 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94870192651280 94870192699024 94870208217088 140731346975009 140731346975204 140731346975204 140731346980806 0
/proc/23318/statm: 1048 736 672 219 0 110 0
[pid=23320] ppid=23318 vsize=225884 memory=162128 CPUtime=101.98 cores=5,7
/proc/23320/stat : 23320 (roundingsat) R 23318 23318 22485 0 -1 4194304 31189 0 0 0 9986 212 0 0 20 0 1 0 33334897 231305216 40532 18446744073709551615 4227072 8923433 140727448377824 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 20221952 140727448381799 140727448381992 140727448381992 140727448387562 0
/proc/23320/statm: 56471 40532 2336 1147 0 43898 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 230076 KiB
Current children cumulated memory: 165072 KiB
[startup+162.3 s]
/proc/loadavg: 4.15 4.12 4.11 5/271 23416
/proc/meminfo: memFree=128378864/131249996 swapFree=33010684/33010684
[pid=23318] ppid=23315 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/23318/stat : 23318 (run-dec-log.sh) S 23315 23318 22485 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 33334896 4292608 736 18446744073709551615 94870191517696 94870192412229 140731346969888 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94870192651280 94870192699024 94870208217088 140731346975009 140731346975204 140731346975204 140731346980806 0
/proc/23318/statm: 1048 736 672 219 0 110 0
[pid=23320] ppid=23318 vsize=273520 memory=207968 CPUtime=161.81 cores=5,7
/proc/23320/stat : 23320 (roundingsat) R 23318 23318 22485 0 -1 4194304 35970 0 0 0 15914 267 0 0 20 0 1 0 33334897 280084480 51992 18446744073709551615 4227072 8923433 140727448377824 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 20221952 140727448381799 140727448381992 140727448381992 140727448387562 0
/proc/23320/statm: 68380 51992 2368 1147 0 55807 0
Current children cumulated CPU time: 161.81 s
Current children cumulated vsize: 277712 KiB
Current children cumulated memory: 210912 KiB
[startup+222.3 s]
/proc/loadavg: 4.21 4.15 4.11 5/275 23422
/proc/meminfo: memFree=127565752/131249996 swapFree=33010684/33010684
[pid=23318] ppid=23315 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/23318/stat : 23318 (run-dec-log.sh) S 23315 23318 22485 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 33334896 4292608 736 18446744073709551615 94870191517696 94870192412229 140731346969888 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94870192651280 94870192699024 94870208217088 140731346975009 140731346975204 140731346975204 140731346980806 0
/proc/23318/statm: 1048 736 672 219 0 110 0
[pid=23320] ppid=23318 vsize=302924 memory=250428 CPUtime=221.62 cores=5,7
/proc/23320/stat : 23320 (roundingsat) R 23318 23318 22485 0 -1 4194304 43032 0 0 0 21777 385 0 0 20 0 1 0 33334897 310194176 62607 18446744073709551615 4227072 8923433 140727448377824 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 20221952 140727448381799 140727448381992 140727448381992 140727448387562 0
/proc/23320/statm: 75731 62607 2368 1147 0 63158 0
################
# More data... #
################
[pid=23320] ppid=23318 vsize=1201892 memory=1127020 CPUtime=3093.58 cores=5,7
/proc/23320/stat : 23320 (roundingsat) R 23318 23318 22485 0 -1 4194304 140309 0 0 0 306539 2819 0 0 20 0 1 0 33334897 1230737408 281755 18446744073709551615 4227072 8923433 140727448377824 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 20221952 140727448381799 140727448381992 140727448381992 140727448387562 0
/proc/23320/statm: 300473 281755 2368 1147 0 287900 0
Current children cumulated CPU time: 3093.58 s
Current children cumulated vsize: 1206084 KiB
Current children cumulated memory: 1129964 KiB
[startup+3162.3 s]
/proc/loadavg: 4.17 4.11 4.09 5/271 23575
/proc/meminfo: memFree=103509060/131249996 swapFree=33010684/33010684
[pid=23318] ppid=23315 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/23318/stat : 23318 (run-dec-log.sh) S 23315 23318 22485 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 33334896 4292608 736 18446744073709551615 94870191517696 94870192412229 140731346969888 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94870192651280 94870192699024 94870208217088 140731346975009 140731346975204 140731346975204 140731346980806 0
/proc/23318/statm: 1048 736 672 219 0 110 0
[pid=23320] ppid=23318 vsize=1208408 memory=1132524 CPUtime=3153.41 cores=5,7
/proc/23320/stat : 23320 (roundingsat) R 23318 23318 22485 0 -1 4194304 141661 0 0 0 312486 2855 0 0 20 0 1 0 33334897 1237409792 283131 18446744073709551615 4227072 8923433 140727448377824 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 20221952 140727448381799 140727448381992 140727448381992 140727448387562 0
/proc/23320/statm: 302102 283131 2368 1147 0 289529 0
Current children cumulated CPU time: 3153.41 s
Current children cumulated vsize: 1212600 KiB
Current children cumulated memory: 1135468 KiB
[startup+3222.3 s]
/proc/loadavg: 4.16 4.11 4.10 5/271 23577
/proc/meminfo: memFree=103105524/131249996 swapFree=33010684/33010684
[pid=23318] ppid=23315 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/23318/stat : 23318 (run-dec-log.sh) S 23315 23318 22485 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 33334896 4292608 736 18446744073709551615 94870191517696 94870192412229 140731346969888 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94870192651280 94870192699024 94870208217088 140731346975009 140731346975204 140731346975204 140731346980806 0
/proc/23318/statm: 1048 736 672 219 0 110 0
[pid=23320] ppid=23318 vsize=1218236 memory=1140204 CPUtime=3213.24 cores=5,7
/proc/23320/stat : 23320 (roundingsat) R 23318 23318 22485 0 -1 4194304 143598 0 0 0 318423 2901 0 0 20 0 1 0 33334897 1247473664 285051 18446744073709551615 4227072 8923433 140727448377824 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 20221952 140727448381799 140727448381992 140727448381992 140727448387562 0
/proc/23320/statm: 304559 285051 2368 1147 0 291986 0
Current children cumulated CPU time: 3213.24 s
Current children cumulated vsize: 1222428 KiB
Current children cumulated memory: 1143148 KiB
[startup+3282.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/270 23579
/proc/meminfo: memFree=102719176/131249996 swapFree=33010684/33010684
[pid=23318] ppid=23315 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/23318/stat : 23318 (run-dec-log.sh) S 23315 23318 22485 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 33334896 4292608 736 18446744073709551615 94870191517696 94870192412229 140731346969888 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94870192651280 94870192699024 94870208217088 140731346975009 140731346975204 140731346975204 140731346980806 0
/proc/23318/statm: 1048 736 672 219 0 110 0
[pid=23320] ppid=23318 vsize=1218488 memory=1140204 CPUtime=3273.07 cores=5,7
/proc/23320/stat : 23320 (roundingsat) R 23318 23318 22485 0 -1 4194304 143605 0 0 0 324346 2961 0 0 20 0 1 0 33334897 1247731712 285051 18446744073709551615 4227072 8923433 140727448377824 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 20221952 140727448381799 140727448381992 140727448381992 140727448387562 0
/proc/23320/statm: 304622 285051 2368 1147 0 292049 0
Current children cumulated CPU time: 3273.07 s
Current children cumulated vsize: 1222680 KiB
Current children cumulated memory: 1143148 KiB
[startup+3342.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/272 23583
/proc/meminfo: memFree=102317784/131249996 swapFree=33010684/33010684
[pid=23318] ppid=23315 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/23318/stat : 23318 (run-dec-log.sh) S 23315 23318 22485 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 33334896 4292608 736 18446744073709551615 94870191517696 94870192412229 140731346969888 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94870192651280 94870192699024 94870208217088 140731346975009 140731346975204 140731346975204 140731346980806 0
/proc/23318/statm: 1048 736 672 219 0 110 0
[pid=23320] ppid=23318 vsize=1218488 memory=1140204 CPUtime=3332.91 cores=5,7
/proc/23320/stat : 23320 (roundingsat) R 23318 23318 22485 0 -1 4194304 143730 0 0 0 330266 3025 0 0 20 0 1 0 33334897 1247731712 285051 18446744073709551615 4227072 8923433 140727448377824 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 20221952 140727448381799 140727448381992 140727448381992 140727448387562 0
/proc/23320/statm: 304622 285051 2368 1147 0 292049 0
Current children cumulated CPU time: 3332.91 s
Current children cumulated vsize: 1222680 KiB
Current children cumulated memory: 1143148 KiB
[startup+3402.3 s]
/proc/loadavg: 4.20 4.13 4.10 5/272 23585
/proc/meminfo: memFree=101972752/131249996 swapFree=33010684/33010684
[pid=23318] ppid=23315 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/23318/stat : 23318 (run-dec-log.sh) S 23315 23318 22485 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 33334896 4292608 736 18446744073709551615 94870191517696 94870192412229 140731346969888 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94870192651280 94870192699024 94870208217088 140731346975009 140731346975204 140731346975204 140731346980806 0
/proc/23318/statm: 1048 736 672 219 0 110 0
[pid=23320] ppid=23318 vsize=1218488 memory=1140204 CPUtime=3392.75 cores=5,7
/proc/23320/stat : 23320 (roundingsat) R 23318 23318 22485 0 -1 4194304 143818 0 0 0 336227 3048 0 0 20 0 1 0 33334897 1247731712 285051 18446744073709551615 4227072 8923433 140727448377824 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 20221952 140727448381799 140727448381992 140727448381992 140727448387562 0
/proc/23320/statm: 304622 285051 2368 1147 0 292049 0
Current children cumulated CPU time: 3392.75 s
Current children cumulated vsize: 1222680 KiB
Current children cumulated memory: 1143148 KiB
[startup+3462.3 s]
/proc/loadavg: 4.07 4.10 4.09 5/272 23587
/proc/meminfo: memFree=101551392/131249996 swapFree=33010684/33010684
[pid=23318] ppid=23315 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/23318/stat : 23318 (run-dec-log.sh) S 23315 23318 22485 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 33334896 4292608 736 18446744073709551615 94870191517696 94870192412229 140731346969888 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94870192651280 94870192699024 94870208217088 140731346975009 140731346975204 140731346975204 140731346980806 0
/proc/23318/statm: 1048 736 672 219 0 110 0
[pid=23320] ppid=23318 vsize=1218488 memory=1140204 CPUtime=3452.59 cores=5,7
/proc/23320/stat : 23320 (roundingsat) R 23318 23318 22485 0 -1 4194304 143837 0 0 0 342193 3066 0 0 20 0 1 0 33334897 1247731712 285051 18446744073709551615 4227072 8923433 140727448377824 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 20221952 140727448381799 140727448381992 140727448381992 140727448387562 0
/proc/23320/statm: 304622 285051 2368 1147 0 292049 0
Current children cumulated CPU time: 3452.59 s
Current children cumulated vsize: 1222680 KiB
Current children cumulated memory: 1143148 KiB
[startup+3522.3 s]
/proc/loadavg: 4.07 4.10 4.09 5/273 23594
/proc/meminfo: memFree=100972828/131249996 swapFree=33010684/33010684
[pid=23318] ppid=23315 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/23318/stat : 23318 (run-dec-log.sh) S 23315 23318 22485 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 33334896 4292608 736 18446744073709551615 94870191517696 94870192412229 140731346969888 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94870192651280 94870192699024 94870208217088 140731346975009 140731346975204 140731346975204 140731346980806 0
/proc/23318/statm: 1048 736 672 219 0 110 0
[pid=23320] ppid=23318 vsize=1219216 memory=1141100 CPUtime=3512.43 cores=5,7
/proc/23320/stat : 23320 (roundingsat) R 23318 23318 22485 0 -1 4194304 144107 0 0 0 348138 3105 0 0 20 0 1 0 33334897 1248477184 285275 18446744073709551615 4227072 8923433 140727448377824 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 20221952 140727448381799 140727448381992 140727448381992 140727448387562 0
/proc/23320/statm: 304804 285275 2368 1147 0 292231 0
Current children cumulated CPU time: 3512.43 s
Current children cumulated vsize: 1223408 KiB
Current children cumulated memory: 1144044 KiB
[startup+3582.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/273 23598
/proc/meminfo: memFree=100621048/131249996 swapFree=33010684/33010684
[pid=23318] ppid=23315 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/23318/stat : 23318 (run-dec-log.sh) S 23315 23318 22485 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 33334896 4292608 736 18446744073709551615 94870191517696 94870192412229 140731346969888 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94870192651280 94870192699024 94870208217088 140731346975009 140731346975204 140731346975204 140731346980806 0
/proc/23318/statm: 1048 736 672 219 0 110 0
[pid=23320] ppid=23318 vsize=1226448 memory=1147884 CPUtime=3572.27 cores=5,7
/proc/23320/stat : 23320 (roundingsat) R 23318 23318 22485 0 -1 4194304 145823 0 0 0 354083 3144 0 0 20 0 1 0 33334897 1255882752 286971 18446744073709551615 4227072 8923433 140727448377824 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 20221952 140727448381799 140727448381992 140727448381992 140727448387562 0
/proc/23320/statm: 306612 286971 2368 1147 0 294039 0
Current children cumulated CPU time: 3572.27 s
Current children cumulated vsize: 1230640 KiB
Current children cumulated memory: 1150828 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.11 s]
/proc/loadavg: 4.07 4.10 4.09 4/268 23607
/proc/meminfo: memFree=101356284/131249996 swapFree=33010684/33010684
[pid=23318] ppid=23315 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/23318/stat : 23318 (run-dec-log.sh) S 23315 23318 22485 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 33334896 4292608 736 18446744073709551615 94870191517696 94870192412229 140731346969888 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94870192651280 94870192699024 94870208217088 140731346975009 140731346975204 140731346975204 140731346980806 0
/proc/23318/statm: 1048 736 672 219 0 110 0
[pid=23320] ppid=23318 vsize=1226448 memory=1147884 CPUtime=3600 cores=5,7
/proc/23320/stat : 23320 (roundingsat) R 23318 23318 22485 0 -1 4194304 145850 0 0 0 356839 3161 0 0 20 0 1 0 33334897 1255882752 286971 18446744073709551615 4227072 8923433 140727448377824 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 20221952 140727448381799 140727448381992 140727448381992 140727448387562 0
/proc/23320/statm: 306612 286971 2368 1147 0 294039 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 1230640 KiB
Current children cumulated memory: 1150828 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.11 s]
# the end of solver process 23318 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0 s, system=0.002394 s
[startup+3610.22 s]
# the end of solver process 23320 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3568.4 s, system=31.6518 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.2 s]*
/proc/loadavg: 4.07 4.10 4.09 4/267 23607
/proc/meminfo: memFree=101392508/131249996 swapFree=33010684/33010684
[pid=23320] ppid=23315 vsize=1156060 memory=551888 CPUtime=3600.03 cores=5,7
/proc/23320/stat : 23320 (roundingsat) R 23315 23318 22485 0 -1 4194304 145857 0 0 0 356839 3164 0 0 20 0 1 0 33334897 1183805440 137972 18446744073709551615 4227072 8923433 140727448377824 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 20221952 140727448381799 140727448381992 140727448381992 140727448387562 0
/proc/23320/statm: 289015 137972 2464 1147 0 276442 0
Current cumulated CPU time of completed processes: 0.002394 s
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 1156060 KiB
Current children cumulated memory: 551888 KiB
Child status: 2
Real time (s): 3610.22
CPU time (s): 3600.05
CPU user time (s): 3568.4
CPU system time (s): 31.6518
CPU usage (%): 99.7184
Max. virtual memory (cumulated for all children) (KiB): 1230640
Max. memory (cumulated for all children) (KiB): 1150828
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3568.4
system time used= 31.6518
maximum resident set size= 1148268
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 146079
page faults= 0
swaps= 0
block input operations= 0
block output operations= 12157264
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2996
involuntary context switches= 21699
# summary of solver processes directly reported to runsolver:
# pid: 23318,23320
# total CPU time (s): 3600.05
# total CPU user time (s): 3568.4
# total CPU system time (s): 31.6518
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.3686 second user time and 10.6073 second system time
The end
Begin job on nodeC017 at 2025-06-29 07:56:11
IDJOB=4506977
IDBENCH=158311
IDSOLVER=3352
FILE ID=nodeC017/4506977-1751176571
RUNJOBID= nodeC017-1751169346-22498
SLURM_JOB_ID= 9587517
Free space on /tmp= 432988 MiB
SOLVER NAME= roundingsat-log 63f22ad
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathNG/normalized-NG_K159.opb
COMMAND LINE= run-dec-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4506977-1751176571/watcher-4506977-1751176571 -o /tmp/evaluation-result-4506977-1751176571/solver-4506977-1751176571 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1751169346-22498 --watchdog 3760 --file-size-limit 100000 run-dec-log.sh HOME/instance-4506977-1751176571.opb PROOFDIR/proof-4506977-1751176571
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 27d58ce279c297ab3aeba38d0412d1d9
RANDOM SEED=136152291
nodeC017 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 : 3600.027
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 : 7000.12
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 : 3600.080
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 : 7000.12
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 : 3600.465
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 : 7000.12
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 : 3610.836
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 : 7000.12
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 : 3600.084
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 : 7000.12
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 : 3600.058
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 : 7000.12
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 : 3600.316
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 : 7000.12
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 : 3598.629
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 : 7000.12
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 115673500 kB
MemAvailable: 127349008 kB
Buffers: 3280 kB
Cached: 12472212 kB
SwapCached: 0 kB
Active: 2757588 kB
Inactive: 12218584 kB
Active(anon): 2518840 kB
Inactive(anon): 0 kB
Active(file): 238748 kB
Inactive(file): 12218584 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 55192 kB
Writeback: 0 kB
AnonPages: 2504204 kB
Mapped: 112028 kB
Shmem: 18080 kB
KReclaimable: 114432 kB
Slab: 201892 kB
SReclaimable: 114432 kB
SUnreclaim: 87460 kB
KernelStack: 4320 kB
PageTables: 8020 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 3134384 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150552 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 2275328 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: 176852 kB
DirectMap2M: 6934528 kB
DirectMap1G: 128974848 kB
Free space on /tmp at the end= 432984 MiB
End job on nodeC017 at 2025-06-29 08:56:22