0.00/0.02 c RoundingSat 2
0.00/0.02 c branch pb25
0.00/0.02 c commit 63f22ad
0.07/0.16 c #variables 18921 #constraints 19241
133.26/133.73 c #Conflicts: 1000 | #Constraints: 20240
133.26/133.73 c #Conflicts: 2000 | #Constraints: 21240
133.26/133.73 c INPROCESSING
133.26/133.73 c GARBAGE COLLECT
133.26/133.73 c #Conflicts: 3000 | #Constraints: 20477
133.26/133.73 c #Conflicts: 4000 | #Constraints: 21477
133.26/133.73 c INPROCESSING
133.26/133.73 c GARBAGE COLLECT
133.26/133.73 c #Conflicts: 5000 | #Constraints: 20998
133.26/133.73 c #Conflicts: 6000 | #Constraints: 21998
133.26/133.73 c INPROCESSING
133.26/133.73 c GARBAGE COLLECT
133.26/133.73 c #Conflicts: 7000 | #Constraints: 21077
133.26/133.73 c #Conflicts: 8000 | #Constraints: 22077
133.26/133.73 c #Conflicts: 9000 | #Constraints: 23077
133.26/133.73 c INPROCESSING
133.26/133.73 c GARBAGE COLLECT
133.26/133.73 c #Conflicts: 10000 | #Constraints: 21827
133.26/133.73 c #Conflicts: 11000 | #Constraints: 22827
133.26/133.73 c #Conflicts: 12000 | #Constraints: 23827
133.26/133.73 c INPROCESSING
133.26/133.73 c GARBAGE COLLECT
133.26/133.73 c #Conflicts: 13000 | #Constraints: 22350
133.26/133.73 c #Conflicts: 14000 | #Constraints: 23350
133.26/133.73 c #Conflicts: 15000 | #Constraints: 24350
133.26/133.73 c #Conflicts: 16000 | #Constraints: 25350
133.26/133.73 c #Conflicts: 17000 | #Constraints: 26350
133.26/133.73 c #Conflicts: 18000 | #Constraints: 27350
133.26/133.73 c #Conflicts: 19000 | #Constraints: 28350
133.26/133.73 c #Conflicts: 20000 | #Constraints: 29350
133.26/133.73 c INPROCESSING
133.26/133.73 c GARBAGE COLLECT
133.26/133.73 c #Conflicts: 21000 | #Constraints: 24961
133.26/133.73 c #Conflicts: 22000 | #Constraints: 25961
133.26/133.73 c #Conflicts: 23000 | #Constraints: 26961
133.26/133.73 c #Conflicts: 24000 | #Constraints: 27961
133.26/133.73 c INPROCESSING
133.26/133.73 c GARBAGE COLLECT
133.26/133.73 c #Conflicts: 25000 | #Constraints: 24163
133.26/133.73 c #Conflicts: 26000 | #Constraints: 25163
133.26/133.73 c #Conflicts: 27000 | #Constraints: 26163
133.26/133.73 c #Conflicts: 28000 | #Constraints: 27163
133.26/133.73 c #Conflicts: 29000 | #Constraints: 28163
133.26/133.73 c #Conflicts: 30000 | #Constraints: 29163
133.26/133.73 c #Conflicts: 31000 | #Constraints: 30163
133.26/133.73 c #Conflicts: 32000 | #Constraints: 31163
133.26/133.73 c #Conflicts: 33000 | #Constraints: 32163
133.26/133.73 c #Conflicts: 34000 | #Constraints: 33163
133.26/133.73 c #Conflicts: 35000 | #Constraints: 34163
133.26/133.73 c #Conflicts: 36000 | #Constraints: 35163
133.26/133.73 c INPROCESSING
133.26/133.73 c GARBAGE COLLECT
133.26/133.73 c #Conflicts: 37000 | #Constraints: 28194
133.26/133.73 c #Conflicts: 38000 | #Constraints: 29194
133.26/133.73 c #Conflicts: 39000 | #Constraints: 30194
133.26/133.73 c #Conflicts: 40000 | #Constraints: 31194
133.26/133.73 c #Conflicts: 41000 | #Constraints: 32194
133.26/133.73 c INPROCESSING
133.26/133.73 c GARBAGE COLLECT
133.26/133.73 c #Conflicts: 42000 | #Constraints: 26538
133.26/133.73 c #Conflicts: 43000 | #Constraints: 27538
133.26/133.73 c #Conflicts: 44000 | #Constraints: 28538
133.26/133.73 c #Conflicts: 45000 | #Constraints: 29538
133.26/133.73 c #Conflicts: 46000 | #Constraints: 30538
133.26/133.73 c #Conflicts: 47000 | #Constraints: 31538
133.26/133.73 c #Conflicts: 48000 | #Constraints: 32538
133.26/133.73 c #Conflicts: 49000 | #Constraints: 33538
133.26/133.73 c #Conflicts: 50000 | #Constraints: 34538
133.26/133.73 c #Conflicts: 51000 | #Constraints: 35538
133.26/133.73 c #Conflicts: 52000 | #Constraints: 36538
133.26/133.73 c #Conflicts: 53000 | #Constraints: 37538
133.26/133.73 c #Conflicts: 54000 | #Constraints: 38538
133.26/133.73 c #Conflicts: 55000 | #Constraints: 39538
133.26/133.73 c #Conflicts: 56000 | #Constraints: 40538
133.26/133.73 c INPROCESSING
133.26/133.73 c GARBAGE COLLECT
133.26/133.73 c #Conflicts: 57000 | #Constraints: 31047
133.26/133.73 c #Conflicts: 58000 | #Constraints: 32047
133.26/133.73 c #Conflicts: 59000 | #Constraints: 33047
133.26/133.73 c #Conflicts: 60000 | #Constraints: 34047
133.26/133.73 c #Conflicts: 61000 | #Constraints: 35047
133.26/133.73 c #Conflicts: 62000 | #Constraints: 36047
133.26/133.73 c INPROCESSING
133.26/133.73 c GARBAGE COLLECT
133.26/133.73 c #Conflicts: 63000 | #Constraints: 28560
133.26/133.73 c #Conflicts: 64000 | #Constraints: 29560
133.26/133.73 c #Conflicts: 65000 | #Constraints: 30560
133.26/133.73 c #Conflicts: 66000 | #Constraints: 31560
133.26/133.73 c #Conflicts: 67000 | #Constraints: 32560
133.26/133.73 c #Conflicts: 68000 | #Constraints: 33560
133.26/133.73 c #Conflicts: 69000 | #Constraints: 34560
133.26/133.73 c #Conflicts: 70000 | #Constraints: 35560
133.26/133.73 c #Conflicts: 71000 | #Constraints: 36560
133.26/133.73 c #Conflicts: 72000 | #Constraints: 37560
276.34/277.20 c #Conflicts: 73000 | #Constraints: 38560
276.34/277.20 c #Conflicts: 74000 | #Constraints: 39560
276.34/277.20 c #Conflicts: 75000 | #Constraints: 40560
276.34/277.20 c #Conflicts: 76000 | #Constraints: 41560
276.34/277.20 c #Conflicts: 77000 | #Constraints: 42560
276.34/277.20 c #Conflicts: 78000 | #Constraints: 43560
276.34/277.20 c #Conflicts: 79000 | #Constraints: 44560
276.34/277.20 c #Conflicts: 80000 | #Constraints: 45560
276.34/277.20 c INPROCESSING
276.34/277.20 c GARBAGE COLLECT
276.34/277.20 c #Conflicts: 81000 | #Constraints: 33441
276.34/277.20 c #Conflicts: 82000 | #Constraints: 34441
276.34/277.20 c #Conflicts: 83000 | #Constraints: 35441
276.34/277.20 c #Conflicts: 84000 | #Constraints: 36441
276.34/277.20 c #Conflicts: 85000 | #Constraints: 37441
276.34/277.20 c #Conflicts: 86000 | #Constraints: 38441
276.34/277.20 c #Conflicts: 87000 | #Constraints: 39441
276.34/277.20 c #Conflicts: 88000 | #Constraints: 40441
276.34/277.20 c INPROCESSING
276.34/277.20 c GARBAGE COLLECT
276.34/277.20 c #Conflicts: 89000 | #Constraints: 31123
276.34/277.20 c #Conflicts: 90000 | #Constraints: 32123
276.34/277.20 c #Conflicts: 91000 | #Constraints: 33123
276.34/277.20 c #Conflicts: 92000 | #Constraints: 34123
276.34/277.20 c #Conflicts: 93000 | #Constraints: 35123
276.34/277.20 c #Conflicts: 94000 | #Constraints: 36123
276.34/277.20 c #Conflicts: 95000 | #Constraints: 37123
276.34/277.20 c #Conflicts: 96000 | #Constraints: 38123
276.34/277.20 c #Conflicts: 97000 | #Constraints: 39123
276.34/277.20 c #Conflicts: 98000 | #Constraints: 40123
276.34/277.20 c #Conflicts: 99000 | #Constraints: 41123
276.34/277.20 c #Conflicts: 100000 | #Constraints: 42123
276.34/277.20 c #Conflicts: 101000 | #Constraints: 43124
276.34/277.20 c #Conflicts: 102000 | #Constraints: 44124
276.34/277.20 c #Conflicts: 103000 | #Constraints: 45124
276.34/277.20 c #Conflicts: 104000 | #Constraints: 46124
276.34/277.20 c #Conflicts: 105000 | #Constraints: 47124
276.34/277.20 c #Conflicts: 106000 | #Constraints: 48124
276.34/277.20 c #Conflicts: 107000 | #Constraints: 49124
276.34/277.20 c #Conflicts: 108000 | #Constraints: 50124
276.34/277.20 c #Conflicts: 109000 | #Constraints: 51124
276.34/277.20 c INPROCESSING
276.34/277.20 c GARBAGE COLLECT
276.34/277.20 c #Conflicts: 110000 | #Constraints: 36487
276.34/277.20 c #Conflicts: 111000 | #Constraints: 37487
276.34/277.20 c #Conflicts: 112000 | #Constraints: 38487
276.34/277.20 c #Conflicts: 113000 | #Constraints: 39487
276.34/277.20 c #Conflicts: 114000 | #Constraints: 40487
276.34/277.20 c #Conflicts: 115000 | #Constraints: 41487
276.34/277.20 c #Conflicts: 116000 | #Constraints: 42487
276.34/277.20 c #Conflicts: 117000 | #Constraints: 43487
276.34/277.20 c #Conflicts: 118000 | #Constraints: 44487
276.34/277.20 c INPROCESSING
276.34/277.20 c GARBAGE COLLECT
276.34/277.20 c #Conflicts: 119000 | #Constraints: 33505
276.34/277.20 c #Conflicts: 120000 | #Constraints: 34505
276.34/277.20 c #Conflicts: 121000 | #Constraints: 35505
276.34/277.20 c #Conflicts: 122000 | #Constraints: 36505
276.34/277.20 c #Conflicts: 123000 | #Constraints: 37505
276.34/277.20 c #Conflicts: 124000 | #Constraints: 38505
276.34/277.20 c #Conflicts: 125000 | #Constraints: 39505
276.34/277.20 c #Conflicts: 126000 | #Constraints: 40505
276.34/277.20 c #Conflicts: 127000 | #Constraints: 41505
276.34/277.20 c #Conflicts: 128000 | #Constraints: 42505
276.34/277.20 c #Conflicts: 129000 | #Constraints: 43505
276.34/277.20 c #Conflicts: 130000 | #Constraints: 44505
276.34/277.20 c #Conflicts: 131000 | #Constraints: 45505
276.34/277.20 c #Conflicts: 132000 | #Constraints: 46505
276.34/277.20 c #Conflicts: 133000 | #Constraints: 47505
276.34/277.20 c #Conflicts: 134000 | #Constraints: 48505
276.34/277.20 c #Conflicts: 135000 | #Constraints: 49505
276.34/277.20 c #Conflicts: 136000 | #Constraints: 50505
276.34/277.20 c #Conflicts: 137000 | #Constraints: 51505
276.34/277.20 c #Conflicts: 138000 | #Constraints: 52505
276.34/277.20 c #Conflicts: 139000 | #Constraints: 53505
276.34/277.20 c #Conflicts: 140000 | #Constraints: 54505
276.34/277.20 c #Conflicts: 141000 | #Constraints: 55505
276.34/277.20 c #Conflicts: 142000 | #Constraints: 56505
276.34/277.20 c INPROCESSING
276.34/277.20 c GARBAGE COLLECT
276.34/277.20 c #Conflicts: 143000 | #Constraints: 39137
276.34/277.20 c #Conflicts: 144000 | #Constraints: 40137
276.34/277.20 c #Conflicts: 145000 | #Constraints: 41137
276.34/277.20 c #Conflicts: 146000 | #Constraints: 42137
276.34/277.20 c #Conflicts: 147000 | #Constraints: 43137
276.34/277.20 c #Conflicts: 148000 | #Constraints: 44137
458.57/459.93 c #Conflicts: 149000 | #Constraints: 45137
458.57/459.93 c #Conflicts: 150000 | #Constraints: 46137
458.57/459.93 c #Conflicts: 151000 | #Constraints: 47137
458.57/459.93 c #Conflicts: 152000 | #Constraints: 48137
458.57/459.93 c #Conflicts: 153000 | #Constraints: 49137
458.57/459.93 c INPROCESSING
458.57/459.93 c GARBAGE COLLECT
458.57/459.93 c #Conflicts: 154000 | #Constraints: 36708
458.57/459.93 c #Conflicts: 155000 | #Constraints: 37708
458.57/459.93 c #Conflicts: 156000 | #Constraints: 38708
458.57/459.93 c #Conflicts: 157000 | #Constraints: 39708
458.57/459.93 c #Conflicts: 158000 | #Constraints: 40708
458.57/459.93 c #Conflicts: 159000 | #Constraints: 41708
458.57/459.93 c #Conflicts: 160000 | #Constraints: 42708
458.57/459.93 c #Conflicts: 161000 | #Constraints: 43708
458.57/459.93 c #Conflicts: 162000 | #Constraints: 44708
458.57/459.93 c #Conflicts: 163000 | #Constraints: 45708
458.57/459.93 c #Conflicts: 164000 | #Constraints: 46708
458.57/459.93 c #Conflicts: 165000 | #Constraints: 47708
458.57/459.93 c #Conflicts: 166000 | #Constraints: 48708
458.57/459.93 c #Conflicts: 167000 | #Constraints: 49708
458.57/459.93 c #Conflicts: 168000 | #Constraints: 50708
458.57/459.93 c #Conflicts: 169000 | #Constraints: 51708
458.57/459.93 c #Conflicts: 170000 | #Constraints: 52708
458.57/459.93 c #Conflicts: 171000 | #Constraints: 53708
458.57/459.93 c #Conflicts: 172000 | #Constraints: 54708
458.57/459.93 c #Conflicts: 173000 | #Constraints: 55708
458.57/459.93 c #Conflicts: 174000 | #Constraints: 56708
458.57/459.93 c #Conflicts: 175000 | #Constraints: 57708
458.57/459.93 c #Conflicts: 176000 | #Constraints: 58708
458.57/459.93 c #Conflicts: 177000 | #Constraints: 59708
458.57/459.93 c #Conflicts: 178000 | #Constraints: 60708
458.57/459.93 c #Conflicts: 179000 | #Constraints: 61708
458.57/459.93 c #Conflicts: 180000 | #Constraints: 62708
458.57/459.93 c INPROCESSING
458.57/459.93 c GARBAGE COLLECT
458.57/459.93 c #Conflicts: 181000 | #Constraints: 42498
458.57/459.93 c #Conflicts: 182000 | #Constraints: 43498
458.57/459.93 c #Conflicts: 183000 | #Constraints: 44498
458.57/459.93 c #Conflicts: 184000 | #Constraints: 45498
458.57/459.93 c #Conflicts: 185000 | #Constraints: 46498
458.57/459.93 c #Conflicts: 186000 | #Constraints: 47498
458.57/459.93 c #Conflicts: 187000 | #Constraints: 48498
458.57/459.93 c #Conflicts: 188000 | #Constraints: 49498
458.57/459.93 c #Conflicts: 189000 | #Constraints: 50498
458.57/459.93 c #Conflicts: 190000 | #Constraints: 51498
458.57/459.93 c #Conflicts: 191000 | #Constraints: 52498
458.57/459.93 c INPROCESSING
458.57/459.93 c GARBAGE COLLECT
458.57/459.93 c #Conflicts: 192000 | #Constraints: 38530
458.57/459.93 c #Conflicts: 193000 | #Constraints: 39530
458.57/459.93 c #Conflicts: 194000 | #Constraints: 40530
458.57/459.93 c #Conflicts: 195000 | #Constraints: 41530
458.57/459.93 c #Conflicts: 196000 | #Constraints: 42530
458.57/459.93 c #Conflicts: 197000 | #Constraints: 43530
458.57/459.93 c #Conflicts: 198000 | #Constraints: 44530
458.57/459.93 c #Conflicts: 199000 | #Constraints: 45530
458.57/459.93 c #Conflicts: 200000 | #Constraints: 46530
458.57/459.93 c #Conflicts: 201000 | #Constraints: 47530
458.57/459.93 c #Conflicts: 202000 | #Constraints: 48530
458.57/459.93 c #Conflicts: 203000 | #Constraints: 49530
458.57/459.93 c #Conflicts: 204000 | #Constraints: 50530
458.57/459.93 c #Conflicts: 205000 | #Constraints: 51530
458.57/459.93 c #Conflicts: 206000 | #Constraints: 52530
458.57/459.93 c #Conflicts: 207000 | #Constraints: 53530
458.57/459.93 c #Conflicts: 208000 | #Constraints: 54530
458.57/459.93 c #Conflicts: 209000 | #Constraints: 55530
458.57/459.93 c #Conflicts: 210000 | #Constraints: 56530
458.57/459.93 c #Conflicts: 211000 | #Constraints: 57530
458.57/459.93 c #Conflicts: 212000 | #Constraints: 58530
458.57/459.93 c #Conflicts: 213000 | #Constraints: 59530
458.57/459.93 c #Conflicts: 214000 | #Constraints: 60530
458.57/459.93 c #Conflicts: 215000 | #Constraints: 61530
458.57/459.93 c #Conflicts: 216000 | #Constraints: 62530
458.57/459.93 c #Conflicts: 217000 | #Constraints: 63530
458.57/459.93 c #Conflicts: 218000 | #Constraints: 64530
458.57/459.93 c #Conflicts: 219000 | #Constraints: 65530
458.57/459.93 c #Conflicts: 220000 | #Constraints: 66530
458.57/459.93 c #Conflicts: 221000 | #Constraints: 67530
458.57/459.93 c #Conflicts: 222000 | #Constraints: 68530
458.57/459.93 c INPROCESSING
458.57/459.93 c GARBAGE COLLECT
458.57/459.93 c #Conflicts: 223000 | #Constraints: 45464
458.57/459.93 c #Conflicts: 224000 | #Constraints: 46464
607.07/608.86 c #Conflicts: 225000 | #Constraints: 47464
607.07/608.86 c #Conflicts: 226000 | #Constraints: 48464
607.07/608.86 c #Conflicts: 227000 | #Constraints: 49464
607.07/608.86 c #Conflicts: 228000 | #Constraints: 50464
607.07/608.86 c #Conflicts: 229000 | #Constraints: 51464
607.07/608.86 c #Conflicts: 230000 | #Constraints: 52464
607.07/608.86 c #Conflicts: 231000 | #Constraints: 53464
607.07/608.86 c #Conflicts: 232000 | #Constraints: 54464
607.07/608.86 c #Conflicts: 233000 | #Constraints: 55464
607.07/608.86 c #Conflicts: 234000 | #Constraints: 56464
607.07/608.86 c #Conflicts: 235000 | #Constraints: 57464
607.07/608.86 c INPROCESSING
607.07/608.86 c GARBAGE COLLECT
607.07/608.86 c #Conflicts: 236000 | #Constraints: 41234
607.07/608.86 c #Conflicts: 237000 | #Constraints: 42234
607.07/608.86 c #Conflicts: 238000 | #Constraints: 43234
607.07/608.86 c #Conflicts: 239000 | #Constraints: 44234
607.07/608.86 c #Conflicts: 240000 | #Constraints: 45234
607.07/608.86 c #Conflicts: 241000 | #Constraints: 46234
607.07/608.86 c #Conflicts: 242000 | #Constraints: 47234
607.07/608.86 c #Conflicts: 243000 | #Constraints: 48234
607.07/608.86 c #Conflicts: 244000 | #Constraints: 49234
607.07/608.86 c #Conflicts: 245000 | #Constraints: 50234
607.07/608.86 c #Conflicts: 246000 | #Constraints: 51234
607.07/608.86 c #Conflicts: 247000 | #Constraints: 52234
607.07/608.86 c #Conflicts: 248000 | #Constraints: 53234
607.07/608.86 c #Conflicts: 249000 | #Constraints: 54234
607.07/608.86 c #Conflicts: 250000 | #Constraints: 55234
607.07/608.86 c #Conflicts: 251000 | #Constraints: 56234
607.07/608.86 c #Conflicts: 252000 | #Constraints: 57234
607.07/608.86 c #Conflicts: 253000 | #Constraints: 58234
607.07/608.86 c #Conflicts: 254000 | #Constraints: 59234
607.07/608.86 c #Conflicts: 255000 | #Constraints: 60234
607.07/608.86 c #Conflicts: 256000 | #Constraints: 61234
607.07/608.86 c #Conflicts: 257000 | #Constraints: 62234
607.07/608.86 c #Conflicts: 258000 | #Constraints: 63234
607.07/608.86 c #Conflicts: 259000 | #Constraints: 64234
607.07/608.86 c #Conflicts: 260000 | #Constraints: 65234
607.07/608.86 c #Conflicts: 261000 | #Constraints: 66234
607.07/608.86 c #Conflicts: 262000 | #Constraints: 67234
607.07/608.86 c #Conflicts: 263000 | #Constraints: 68234
607.07/608.86 c #Conflicts: 264000 | #Constraints: 69234
607.07/608.86 c #Conflicts: 265000 | #Constraints: 70234
607.07/608.86 c #Conflicts: 266000 | #Constraints: 71234
607.07/608.86 c #Conflicts: 267000 | #Constraints: 72234
607.07/608.86 c #Conflicts: 268000 | #Constraints: 73234
607.07/608.86 c INPROCESSING
607.07/608.86 c GARBAGE COLLECT
607.07/608.86 c #Conflicts: 269000 | #Constraints: 47600
607.07/608.86 c #Conflicts: 270000 | #Constraints: 48600
607.07/608.86 c #Conflicts: 271000 | #Constraints: 49600
607.07/608.86 c #Conflicts: 272000 | #Constraints: 50600
607.07/608.86 c #Conflicts: 273000 | #Constraints: 51600
607.07/608.86 c #Conflicts: 274000 | #Constraints: 52600
607.07/608.86 c #Conflicts: 275000 | #Constraints: 53600
607.07/608.86 c #Conflicts: 276000 | #Constraints: 54600
607.07/608.86 c #Conflicts: 277000 | #Constraints: 55601
607.07/608.86 c #Conflicts: 278000 | #Constraints: 56601
607.07/608.86 c #Conflicts: 279000 | #Constraints: 57601
607.07/608.86 c #Conflicts: 280000 | #Constraints: 58601
607.07/608.86 c #Conflicts: 281000 | #Constraints: 59601
607.07/608.86 c #Conflicts: 282000 | #Constraints: 60601
607.07/608.86 c INPROCESSING
607.07/608.86 c GARBAGE COLLECT
607.07/608.86 c #Conflicts: 283000 | #Constraints: 43225
607.07/608.86 c #Conflicts: 284000 | #Constraints: 44225
607.07/608.86 c #Conflicts: 285000 | #Constraints: 45225
607.07/608.86 c #Conflicts: 286000 | #Constraints: 46225
607.07/608.86 c #Conflicts: 287000 | #Constraints: 47225
607.07/608.86 c #Conflicts: 288000 | #Constraints: 48225
607.07/608.86 c #Conflicts: 289000 | #Constraints: 49225
607.07/608.86 c #Conflicts: 290000 | #Constraints: 50225
607.07/608.86 c #Conflicts: 291000 | #Constraints: 51225
607.07/608.86 c #Conflicts: 292000 | #Constraints: 52225
607.07/608.86 c #Conflicts: 293000 | #Constraints: 53225
607.07/608.86 c #Conflicts: 294000 | #Constraints: 54225
607.07/608.86 c #Conflicts: 295000 | #Constraints: 55225
607.07/608.86 c #Conflicts: 296000 | #Constraints: 56225
607.07/608.86 c #Conflicts: 297000 | #Constraints: 57225
607.07/608.86 c #Conflicts: 298000 | #Constraints: 58225
607.07/608.86 c #Conflicts: 299000 | #Constraints: 59225
607.07/608.86 c #Conflicts: 300000 | #Constraints: 60225
607.07/608.86 c #Conflicts: 301000 | #Constraints: 61225
766.17/768.37 c #Conflicts: 302000 | #Constraints: 62225
766.17/768.37 c #Conflicts: 303000 | #Constraints: 63225
766.17/768.37 c #Conflicts: 304000 | #Constraints: 64225
766.17/768.37 c #Conflicts: 305000 | #Constraints: 65225
766.17/768.37 c #Conflicts: 306000 | #Constraints: 66225
766.17/768.37 c #Conflicts: 307000 | #Constraints: 67225
766.17/768.37 c #Conflicts: 308000 | #Constraints: 68225
766.17/768.37 c #Conflicts: 309000 | #Constraints: 69225
766.17/768.37 c #Conflicts: 310000 | #Constraints: 70225
766.17/768.37 c #Conflicts: 311000 | #Constraints: 71225
766.17/768.37 c #Conflicts: 312000 | #Constraints: 72225
766.17/768.37 c #Conflicts: 313000 | #Constraints: 73225
766.17/768.37 c #Conflicts: 314000 | #Constraints: 74225
766.17/768.37 c #Conflicts: 315000 | #Constraints: 75225
766.17/768.37 c #Conflicts: 316000 | #Constraints: 76225
766.17/768.37 c #Conflicts: 317000 | #Constraints: 77225
766.17/768.37 c #Conflicts: 318000 | #Constraints: 78225
766.17/768.37 c #Conflicts: 319000 | #Constraints: 79225
766.17/768.37 c INPROCESSING
766.17/768.37 c GARBAGE COLLECT
766.17/768.37 c #Conflicts: 320000 | #Constraints: 50850
766.17/768.37 c #Conflicts: 321000 | #Constraints: 51850
766.17/768.37 c #Conflicts: 322000 | #Constraints: 52850
766.17/768.37 c #Conflicts: 323000 | #Constraints: 53850
766.17/768.37 c #Conflicts: 324000 | #Constraints: 54850
766.17/768.37 c #Conflicts: 325000 | #Constraints: 55850
766.17/768.37 c #Conflicts: 326000 | #Constraints: 56850
766.17/768.37 c #Conflicts: 327000 | #Constraints: 57850
766.17/768.37 c #Conflicts: 328000 | #Constraints: 58850
766.17/768.37 c #Conflicts: 329000 | #Constraints: 59850
766.17/768.37 c #Conflicts: 330000 | #Constraints: 60850
766.17/768.37 c #Conflicts: 331000 | #Constraints: 61850
766.17/768.37 c #Conflicts: 332000 | #Constraints: 62850
766.17/768.37 c #Conflicts: 333000 | #Constraints: 63850
766.17/768.37 c #Conflicts: 334000 | #Constraints: 64850
766.17/768.37 c #Conflicts: 335000 | #Constraints: 65850
766.17/768.37 c INPROCESSING
766.17/768.37 c GARBAGE COLLECT
766.17/768.37 c #Conflicts: 336000 | #Constraints: 46570
766.17/768.37 c #Conflicts: 337000 | #Constraints: 47570
766.17/768.37 c #Conflicts: 338000 | #Constraints: 48570
766.17/768.37 c #Conflicts: 339000 | #Constraints: 49570
766.17/768.37 c #Conflicts: 340000 | #Constraints: 50570
766.17/768.37 c #Conflicts: 341000 | #Constraints: 51570
766.17/768.37 c #Conflicts: 342000 | #Constraints: 52570
766.17/768.37 c #Conflicts: 343000 | #Constraints: 53570
766.17/768.37 c #Conflicts: 344000 | #Constraints: 54570
766.17/768.37 c #Conflicts: 345000 | #Constraints: 55570
766.17/768.37 c #Conflicts: 346000 | #Constraints: 56570
766.17/768.37 c #Conflicts: 347000 | #Constraints: 57570
766.17/768.37 c #Conflicts: 348000 | #Constraints: 58570
766.17/768.37 c #Conflicts: 349000 | #Constraints: 59570
766.17/768.37 c #Conflicts: 350000 | #Constraints: 60570
766.17/768.37 c #Conflicts: 351000 | #Constraints: 61570
766.17/768.37 c #Conflicts: 352000 | #Constraints: 62570
766.17/768.37 c #Conflicts: 353000 | #Constraints: 63570
766.17/768.37 c #Conflicts: 354000 | #Constraints: 64570
766.17/768.37 c #Conflicts: 355000 | #Constraints: 65570
766.17/768.37 c #Conflicts: 356000 | #Constraints: 66570
766.17/768.37 c #Conflicts: 357000 | #Constraints: 67570
766.17/768.37 c #Conflicts: 358000 | #Constraints: 68570
766.17/768.37 c #Conflicts: 359000 | #Constraints: 69570
766.17/768.37 c #Conflicts: 360000 | #Constraints: 70570
766.17/768.37 c #Conflicts: 361000 | #Constraints: 71570
766.17/768.37 c #Conflicts: 362000 | #Constraints: 72570
766.17/768.37 c #Conflicts: 363000 | #Constraints: 73570
766.17/768.37 c #Conflicts: 364000 | #Constraints: 74570
766.17/768.37 c #Conflicts: 365000 | #Constraints: 75570
766.17/768.37 c #Conflicts: 366000 | #Constraints: 76570
766.17/768.37 c #Conflicts: 367000 | #Constraints: 77570
766.17/768.37 c #Conflicts: 368000 | #Constraints: 78570
766.17/768.37 c #Conflicts: 369000 | #Constraints: 79570
766.17/768.37 c #Conflicts: 370000 | #Constraints: 80570
766.17/768.37 c #Conflicts: 371000 | #Constraints: 81570
766.17/768.37 c #Conflicts: 372000 | #Constraints: 82570
766.17/768.37 c #Conflicts: 373000 | #Constraints: 83570
766.17/768.37 c #Conflicts: 374000 | #Constraints: 84570
766.17/768.37 c INPROCESSING
766.17/768.37 c GARBAGE COLLECT
766.17/768.37 c #Conflicts: 375000 | #Constraints: 53452
766.17/768.37 c #Conflicts: 376000 | #Constraints: 54452
766.17/768.37 c #Conflicts: 377000 | #Constraints: 55452
766.17/768.37 c #Conflicts: 378000 | #Constraints: 56452
948.90/951.58 c #Conflicts: 379000 | #Constraints: 57452
948.90/951.58 c #Conflicts: 380000 | #Constraints: 58452
948.90/951.58 c #Conflicts: 381000 | #Constraints: 59452
948.90/951.58 c #Conflicts: 382000 | #Constraints: 60452
948.90/951.58 c #Conflicts: 383000 | #Constraints: 61452
948.90/951.58 c #Conflicts: 384000 | #Constraints: 62452
948.90/951.58 c #Conflicts: 385000 | #Constraints: 63452
948.90/951.58 c #Conflicts: 386000 | #Constraints: 64452
948.90/951.58 c #Conflicts: 387000 | #Constraints: 65452
948.90/951.58 c #Conflicts: 388000 | #Constraints: 66452
948.90/951.58 c #Conflicts: 389000 | #Constraints: 67452
948.90/951.58 c #Conflicts: 390000 | #Constraints: 68452
948.90/951.58 c #Conflicts: 391000 | #Constraints: 69452
948.90/951.58 c INPROCESSING
948.90/951.58 c GARBAGE COLLECT
948.90/951.58 c #Conflicts: 392000 | #Constraints: 49020
948.90/951.58 c #Conflicts: 393000 | #Constraints: 50020
948.90/951.58 c #Conflicts: 394000 | #Constraints: 51020
948.90/951.58 c #Conflicts: 395000 | #Constraints: 52020
948.90/951.58 c #Conflicts: 396000 | #Constraints: 53020
948.90/951.58 c #Conflicts: 397000 | #Constraints: 54020
948.90/951.58 c #Conflicts: 398000 | #Constraints: 55020
948.90/951.58 c #Conflicts: 399000 | #Constraints: 56020
948.90/951.58 c #Conflicts: 400000 | #Constraints: 57020
948.90/951.58 c #Conflicts: 401000 | #Constraints: 58020
948.90/951.58 c #Conflicts: 402000 | #Constraints: 59020
948.90/951.58 c #Conflicts: 403000 | #Constraints: 60020
948.90/951.58 c #Conflicts: 404000 | #Constraints: 61020
948.90/951.58 c #Conflicts: 405000 | #Constraints: 62020
948.90/951.58 c #Conflicts: 406000 | #Constraints: 63021
948.90/951.58 c #Conflicts: 407000 | #Constraints: 64021
948.90/951.58 c #Conflicts: 408000 | #Constraints: 65021
948.90/951.58 c #Conflicts: 409000 | #Constraints: 66021
948.90/951.58 c #Conflicts: 410000 | #Constraints: 67021
948.90/951.58 c #Conflicts: 411000 | #Constraints: 68021
948.90/951.58 c #Conflicts: 412000 | #Constraints: 69021
948.90/951.58 c #Conflicts: 413000 | #Constraints: 70021
948.90/951.58 c #Conflicts: 414000 | #Constraints: 71021
948.90/951.58 c #Conflicts: 415000 | #Constraints: 72021
948.90/951.58 c #Conflicts: 416000 | #Constraints: 73021
948.90/951.58 c #Conflicts: 417000 | #Constraints: 74021
948.90/951.58 c #Conflicts: 418000 | #Constraints: 75021
948.90/951.58 c #Conflicts: 419000 | #Constraints: 76021
948.90/951.58 c #Conflicts: 420000 | #Constraints: 77021
948.90/951.58 c #Conflicts: 421000 | #Constraints: 78021
948.90/951.58 c #Conflicts: 422000 | #Constraints: 79021
948.90/951.58 c #Conflicts: 423000 | #Constraints: 80021
948.90/951.58 c #Conflicts: 424000 | #Constraints: 81021
948.90/951.58 c #Conflicts: 425000 | #Constraints: 82021
948.90/951.58 c #Conflicts: 426000 | #Constraints: 83021
948.90/951.58 c #Conflicts: 427000 | #Constraints: 84021
948.90/951.58 c #Conflicts: 428000 | #Constraints: 85021
948.90/951.58 c #Conflicts: 429000 | #Constraints: 86021
948.90/951.58 c #Conflicts: 430000 | #Constraints: 87021
948.90/951.58 c #Conflicts: 431000 | #Constraints: 88021
948.90/951.58 c #Conflicts: 432000 | #Constraints: 89021
948.90/951.58 c #Conflicts: 433000 | #Constraints: 90021
948.90/951.58 c #Conflicts: 434000 | #Constraints: 91021
948.90/951.58 c INPROCESSING
948.90/951.58 c GARBAGE COLLECT
948.90/951.58 c #Conflicts: 435000 | #Constraints: 57037
948.90/951.58 c #Conflicts: 436000 | #Constraints: 58037
948.90/951.58 c #Conflicts: 437000 | #Constraints: 59037
948.90/951.58 c #Conflicts: 438000 | #Constraints: 60037
948.90/951.58 c #Conflicts: 439000 | #Constraints: 61037
948.90/951.58 c #Conflicts: 440000 | #Constraints: 62037
948.90/951.58 c #Conflicts: 441000 | #Constraints: 63037
948.90/951.58 c #Conflicts: 442000 | #Constraints: 64037
948.90/951.58 c #Conflicts: 443000 | #Constraints: 65037
948.90/951.58 c #Conflicts: 444000 | #Constraints: 66037
948.90/951.58 c #Conflicts: 445000 | #Constraints: 67037
948.90/951.58 c #Conflicts: 446000 | #Constraints: 68037
948.90/951.58 c #Conflicts: 447000 | #Constraints: 69037
948.90/951.58 c #Conflicts: 448000 | #Constraints: 70037
948.90/951.58 c #Conflicts: 449000 | #Constraints: 71037
948.90/951.58 c #Conflicts: 450000 | #Constraints: 72037
948.90/951.58 c #Conflicts: 451000 | #Constraints: 73037
948.90/951.58 c #Conflicts: 452000 | #Constraints: 74037
948.90/951.58 c INPROCESSING
948.90/951.58 c GARBAGE COLLECT
948.90/951.58 c #Conflicts: 453000 | #Constraints: 51749
948.90/951.58 c #Conflicts: 454000 | #Constraints: 52749
948.90/951.58 c #Conflicts: 455000 | #Constraints: 53749
1110.49/1113.59 c #Conflicts: 456000 | #Constraints: 54749
1110.49/1113.59 c #Conflicts: 457000 | #Constraints: 55749
1110.49/1113.59 c #Conflicts: 458000 | #Constraints: 56749
1110.49/1113.59 c #Conflicts: 459000 | #Constraints: 57749
1110.49/1113.59 c #Conflicts: 460000 | #Constraints: 58749
1110.49/1113.59 c #Conflicts: 461000 | #Constraints: 59749
1110.49/1113.59 c #Conflicts: 462000 | #Constraints: 60749
1110.49/1113.59 c #Conflicts: 463000 | #Constraints: 61749
1110.49/1113.59 c #Conflicts: 464000 | #Constraints: 62749
1110.49/1113.59 c #Conflicts: 465000 | #Constraints: 63749
1110.49/1113.59 c #Conflicts: 466000 | #Constraints: 64749
1110.49/1113.59 c #Conflicts: 467000 | #Constraints: 65749
1110.49/1113.59 c #Conflicts: 468000 | #Constraints: 66749
1110.49/1113.59 c #Conflicts: 469000 | #Constraints: 67749
1110.49/1113.59 c #Conflicts: 470000 | #Constraints: 68749
1110.49/1113.59 c #Conflicts: 471000 | #Constraints: 69749
1110.49/1113.59 c #Conflicts: 472000 | #Constraints: 70749
1110.49/1113.59 c #Conflicts: 473000 | #Constraints: 71749
1110.49/1113.59 c #Conflicts: 474000 | #Constraints: 72749
1110.49/1113.59 c #Conflicts: 475000 | #Constraints: 73749
1110.49/1113.59 c #Conflicts: 476000 | #Constraints: 74749
1110.49/1113.59 c #Conflicts: 477000 | #Constraints: 75749
1110.49/1113.59 c #Conflicts: 478000 | #Constraints: 76749
1110.49/1113.59 c #Conflicts: 479000 | #Constraints: 77749
1110.49/1113.59 c #Conflicts: 480000 | #Constraints: 78749
1110.49/1113.59 c #Conflicts: 481000 | #Constraints: 79749
1110.49/1113.59 c #Conflicts: 482000 | #Constraints: 80749
1110.49/1113.59 c #Conflicts: 483000 | #Constraints: 81749
1110.49/1113.59 c #Conflicts: 484000 | #Constraints: 82749
1110.49/1113.59 c #Conflicts: 485000 | #Constraints: 83749
1110.49/1113.59 c #Conflicts: 486000 | #Constraints: 84749
1110.49/1113.59 c #Conflicts: 487000 | #Constraints: 85749
1110.49/1113.59 c #Conflicts: 488000 | #Constraints: 86749
1110.49/1113.59 c #Conflicts: 489000 | #Constraints: 87749
1110.49/1113.59 c #Conflicts: 490000 | #Constraints: 88749
1110.49/1113.59 c #Conflicts: 491000 | #Constraints: 89749
1110.49/1113.59 c #Conflicts: 492000 | #Constraints: 90749
1110.49/1113.59 c #Conflicts: 493000 | #Constraints: 91749
1110.49/1113.59 c #Conflicts: 494000 | #Constraints: 92749
1110.49/1113.59 c #Conflicts: 495000 | #Constraints: 93749
1110.49/1113.59 c #Conflicts: 496000 | #Constraints: 94749
1110.49/1113.59 c #Conflicts: 497000 | #Constraints: 95749
1110.49/1113.59 c #Conflicts: 498000 | #Constraints: 96749
1110.49/1113.59 c INPROCESSING
1110.49/1113.59 c GARBAGE COLLECT
1110.49/1113.59 c #Conflicts: 499000 | #Constraints: 59944
1110.49/1113.59 c #Conflicts: 500000 | #Constraints: 60944
1110.49/1113.59 c #Conflicts: 501000 | #Constraints: 61944
1110.49/1113.59 c #Conflicts: 502000 | #Constraints: 62944
1110.49/1113.59 c #Conflicts: 503000 | #Constraints: 63944
1110.49/1113.59 c #Conflicts: 504000 | #Constraints: 64944
1110.49/1113.59 c #Conflicts: 505000 | #Constraints: 65944
1110.49/1113.59 c #Conflicts: 506000 | #Constraints: 66944
1110.49/1113.59 c #Conflicts: 507000 | #Constraints: 67944
1110.49/1113.59 c #Conflicts: 508000 | #Constraints: 68944
1110.49/1113.59 c #Conflicts: 509000 | #Constraints: 69944
1110.49/1113.59 c #Conflicts: 510000 | #Constraints: 70944
1110.49/1113.59 c #Conflicts: 511000 | #Constraints: 71944
1110.49/1113.59 c #Conflicts: 512000 | #Constraints: 72944
1110.49/1113.59 c #Conflicts: 513000 | #Constraints: 73944
1110.49/1113.59 c #Conflicts: 514000 | #Constraints: 74944
1110.49/1113.59 c #Conflicts: 515000 | #Constraints: 75944
1110.49/1113.59 c #Conflicts: 516000 | #Constraints: 76944
1110.49/1113.59 c #Conflicts: 517000 | #Constraints: 77944
1110.49/1113.59 c INPROCESSING
1110.49/1113.59 c GARBAGE COLLECT
1110.49/1113.59 c #Conflicts: 518000 | #Constraints: 53486
1110.49/1113.59 c #Conflicts: 519000 | #Constraints: 54486
1110.49/1113.59 c #Conflicts: 520000 | #Constraints: 55486
1110.49/1113.59 c #Conflicts: 521000 | #Constraints: 56486
1110.49/1113.59 c #Conflicts: 522000 | #Constraints: 57486
1110.49/1113.59 c #Conflicts: 523000 | #Constraints: 58486
1110.49/1113.59 c #Conflicts: 524000 | #Constraints: 59486
1110.49/1113.59 c #Conflicts: 525000 | #Constraints: 60486
1110.49/1113.59 c #Conflicts: 526000 | #Constraints: 61486
1110.49/1113.59 c #Conflicts: 527000 | #Constraints: 62486
1110.49/1113.59 c #Conflicts: 528000 | #Constraints: 63486
1110.49/1113.59 c #Conflicts: 529000 | #Constraints: 64486
1110.49/1113.59 c #Conflicts: 530000 | #Constraints: 65486
1110.49/1113.59 c #Conflicts: 531000 | #Constraints: 66486
1110.49/1113.59 c #Conflicts: 532000 | #Constraints: 67486
1248.83/1252.25 c #Conflicts: 533000 | #Constraints: 68486
1248.83/1252.25 c #Conflicts: 534000 | #Constraints: 69486
1248.83/1252.25 c #Conflicts: 535000 | #Constraints: 70486
1248.83/1252.25 c #Conflicts: 536000 | #Constraints: 71486
1248.83/1252.25 c #Conflicts: 537000 | #Constraints: 72486
1248.83/1252.25 c #Conflicts: 538000 | #Constraints: 73486
1248.83/1252.25 c #Conflicts: 539000 | #Constraints: 74486
1248.83/1252.25 c #Conflicts: 540000 | #Constraints: 75486
1248.83/1252.25 c #Conflicts: 541000 | #Constraints: 76486
1248.83/1252.25 c #Conflicts: 542000 | #Constraints: 77486
1248.83/1252.25 c #Conflicts: 543000 | #Constraints: 78486
1248.83/1252.25 c #Conflicts: 544000 | #Constraints: 79486
1248.83/1252.25 c #Conflicts: 545000 | #Constraints: 80486
1248.83/1252.25 c #Conflicts: 546000 | #Constraints: 81486
1248.83/1252.25 c #Conflicts: 547000 | #Constraints: 82486
1248.83/1252.25 c #Conflicts: 548000 | #Constraints: 83486
1248.83/1252.25 c #Conflicts: 549000 | #Constraints: 84486
1248.83/1252.25 c #Conflicts: 550000 | #Constraints: 85486
1248.83/1252.25 c #Conflicts: 551000 | #Constraints: 86486
1248.83/1252.25 c #Conflicts: 552000 | #Constraints: 87486
1248.83/1252.25 c #Conflicts: 553000 | #Constraints: 88486
1248.83/1252.25 c #Conflicts: 554000 | #Constraints: 89486
1248.83/1252.25 c #Conflicts: 555000 | #Constraints: 90486
1248.83/1252.25 c #Conflicts: 556000 | #Constraints: 91486
1248.83/1252.25 c #Conflicts: 557000 | #Constraints: 92486
1248.83/1252.25 c #Conflicts: 558000 | #Constraints: 93486
1248.83/1252.25 c #Conflicts: 559000 | #Constraints: 94486
1248.83/1252.25 c #Conflicts: 560000 | #Constraints: 95486
1248.83/1252.25 c #Conflicts: 561000 | #Constraints: 96486
1248.83/1252.25 c #Conflicts: 562000 | #Constraints: 97486
1248.83/1252.25 c #Conflicts: 563000 | #Constraints: 98486
1248.83/1252.25 c #Conflicts: 564000 | #Constraints: 99486
1248.83/1252.25 c #Conflicts: 565000 | #Constraints: 100486
1248.83/1252.25 c #Conflicts: 566000 | #Constraints: 101486
1248.83/1252.25 c INPROCESSING
1248.83/1252.25 c GARBAGE COLLECT
1248.83/1252.25 c rational objective 159
1456.42/1460.41 c #Conflicts: 567000 | #Constraints: 62078
1456.42/1460.41 c #Conflicts: 568000 | #Constraints: 63078
1456.42/1460.41 c #Conflicts: 569000 | #Constraints: 64078
1456.42/1460.41 c #Conflicts: 570000 | #Constraints: 65078
1456.42/1460.41 c #Conflicts: 571000 | #Constraints: 66078
1456.42/1460.41 c #Conflicts: 572000 | #Constraints: 67078
1456.42/1460.41 c #Conflicts: 573000 | #Constraints: 68078
1456.42/1460.41 c #Conflicts: 574000 | #Constraints: 69078
1456.42/1460.41 c #Conflicts: 575000 | #Constraints: 70078
1456.42/1460.41 c #Conflicts: 576000 | #Constraints: 71078
1456.42/1460.41 c #Conflicts: 577000 | #Constraints: 72078
1456.42/1460.41 c #Conflicts: 578000 | #Constraints: 73078
1456.42/1460.41 c #Conflicts: 579000 | #Constraints: 74078
1456.42/1460.41 c #Conflicts: 580000 | #Constraints: 75078
1456.42/1460.41 c #Conflicts: 581000 | #Constraints: 76078
1456.42/1460.41 c #Conflicts: 582000 | #Constraints: 77078
1456.42/1460.41 c #Conflicts: 583000 | #Constraints: 78078
1456.42/1460.41 c #Conflicts: 584000 | #Constraints: 79078
1456.42/1460.41 c #Conflicts: 585000 | #Constraints: 80078
1456.42/1460.41 c #Conflicts: 586000 | #Constraints: 81078
1456.42/1460.41 c #Conflicts: 587000 | #Constraints: 82078
1456.42/1460.41 c INPROCESSING
1456.42/1460.41 c GARBAGE COLLECT
1456.42/1460.41 c #Conflicts: 588000 | #Constraints: 56682
1456.42/1460.41 c #Conflicts: 589000 | #Constraints: 57682
1456.42/1460.41 c #Conflicts: 590000 | #Constraints: 58682
1456.42/1460.41 c #Conflicts: 591000 | #Constraints: 59682
1456.42/1460.41 c #Conflicts: 592000 | #Constraints: 60682
1456.42/1460.41 c #Conflicts: 593000 | #Constraints: 61682
1456.42/1460.41 c #Conflicts: 594000 | #Constraints: 62682
1456.42/1460.41 c #Conflicts: 595000 | #Constraints: 63682
1456.42/1460.41 c #Conflicts: 596000 | #Constraints: 64682
1456.42/1460.41 c #Conflicts: 597000 | #Constraints: 65682
1456.42/1460.41 c #Conflicts: 598000 | #Constraints: 66682
1456.42/1460.41 c #Conflicts: 599000 | #Constraints: 67682
1456.42/1460.41 c #Conflicts: 600000 | #Constraints: 68682
1456.42/1460.41 c #Conflicts: 601000 | #Constraints: 69682
1456.42/1460.41 c #Conflicts: 602000 | #Constraints: 70682
1456.42/1460.41 c #Conflicts: 603000 | #Constraints: 71682
1456.42/1460.41 c #Conflicts: 604000 | #Constraints: 72682
1456.42/1460.41 c #Conflicts: 605000 | #Constraints: 73682
1456.42/1460.41 c #Conflicts: 606000 | #Constraints: 74682
1456.42/1460.41 c #Conflicts: 607000 | #Constraints: 75682
1456.42/1460.41 c #Conflicts: 608000 | #Constraints: 76682
1456.42/1460.41 c #Conflicts: 609000 | #Constraints: 77682
1456.42/1460.41 c #Conflicts: 610000 | #Constraints: 78682
1456.42/1460.41 c #Conflicts: 611000 | #Constraints: 79682
1456.42/1460.41 c #Conflicts: 612000 | #Constraints: 80682
1456.42/1460.41 c #Conflicts: 613000 | #Constraints: 81682
1456.42/1460.41 c #Conflicts: 614000 | #Constraints: 82682
1456.42/1460.41 c #Conflicts: 615000 | #Constraints: 83682
1456.42/1460.41 c #Conflicts: 616000 | #Constraints: 84682
1456.42/1460.41 c #Conflicts: 617000 | #Constraints: 85682
1456.42/1460.41 c #Conflicts: 618000 | #Constraints: 86682
1456.42/1460.41 c #Conflicts: 619000 | #Constraints: 87682
1456.42/1460.41 c #Conflicts: 620000 | #Constraints: 88682
1456.42/1460.41 c #Conflicts: 621000 | #Constraints: 89682
1456.42/1460.41 c #Conflicts: 622000 | #Constraints: 90682
1456.42/1460.41 c #Conflicts: 623000 | #Constraints: 91682
1456.42/1460.41 c #Conflicts: 624000 | #Constraints: 92682
1456.42/1460.41 c #Conflicts: 625000 | #Constraints: 93682
1456.42/1460.41 c #Conflicts: 626000 | #Constraints: 94682
1456.42/1460.41 c #Conflicts: 627000 | #Constraints: 95682
1456.42/1460.41 c #Conflicts: 628000 | #Constraints: 96682
1456.42/1460.41 c #Conflicts: 629000 | #Constraints: 97682
1456.42/1460.41 c #Conflicts: 630000 | #Constraints: 98682
1456.42/1460.41 c #Conflicts: 631000 | #Constraints: 99682
1456.42/1460.41 c #Conflicts: 632000 | #Constraints: 100682
1456.42/1460.41 c #Conflicts: 633000 | #Constraints: 101682
1456.42/1460.41 c #Conflicts: 634000 | #Constraints: 102682
1456.42/1460.41 c #Conflicts: 635000 | #Constraints: 103682
1456.42/1460.41 c #Conflicts: 636000 | #Constraints: 104682
1456.42/1460.41 c #Conflicts: 637000 | #Constraints: 105682
1456.42/1460.41 c #Conflicts: 638000 | #Constraints: 106682
1456.42/1460.41 c #Conflicts: 639000 | #Constraints: 107682
1456.42/1460.41 c INPROCESSING
1456.42/1460.41 c GARBAGE COLLECT
1456.42/1460.41 c #Conflicts: 640000 | #Constraints: 65269
1456.42/1460.41 c #Conflicts: 641000 | #Constraints: 66269
1456.42/1460.41 c #Conflicts: 642000 | #Constraints: 67269
1456.42/1460.41 c #Conflicts: 643000 | #Constraints: 68269
1456.42/1460.41 c #Conflicts: 644000 | #Constraints: 69269
1622.55/1627.05 c #Conflicts: 645000 | #Constraints: 70269
1622.55/1627.05 c #Conflicts: 646000 | #Constraints: 71269
1622.55/1627.05 c #Conflicts: 647000 | #Constraints: 72269
1622.55/1627.05 c #Conflicts: 648000 | #Constraints: 73269
1622.55/1627.05 c #Conflicts: 649000 | #Constraints: 74269
1622.55/1627.05 c #Conflicts: 650000 | #Constraints: 75269
1622.55/1627.05 c #Conflicts: 651000 | #Constraints: 76269
1622.55/1627.05 c #Conflicts: 652000 | #Constraints: 77269
1622.55/1627.05 c #Conflicts: 653000 | #Constraints: 78269
1622.55/1627.05 c #Conflicts: 654000 | #Constraints: 79269
1622.55/1627.05 c #Conflicts: 655000 | #Constraints: 80269
1622.55/1627.05 c #Conflicts: 656000 | #Constraints: 81269
1622.55/1627.05 c #Conflicts: 657000 | #Constraints: 82269
1622.55/1627.05 c #Conflicts: 658000 | #Constraints: 83269
1622.55/1627.05 c #Conflicts: 659000 | #Constraints: 84269
1622.55/1627.05 c #Conflicts: 660000 | #Constraints: 85269
1622.55/1627.05 c #Conflicts: 661000 | #Constraints: 86269
1622.55/1627.05 c INPROCESSING
1622.55/1627.05 c GARBAGE COLLECT
1622.55/1627.05 c #Conflicts: 662000 | #Constraints: 59056
1622.55/1627.05 c #Conflicts: 663000 | #Constraints: 60056
1622.55/1627.05 c #Conflicts: 664000 | #Constraints: 61056
1622.55/1627.05 c #Conflicts: 665000 | #Constraints: 62056
1622.55/1627.05 c #Conflicts: 666000 | #Constraints: 63056
1622.55/1627.05 c #Conflicts: 667000 | #Constraints: 64056
1622.55/1627.05 c #Conflicts: 668000 | #Constraints: 65056
1622.55/1627.05 c #Conflicts: 669000 | #Constraints: 66056
1622.55/1627.05 c #Conflicts: 670000 | #Constraints: 67056
1622.55/1627.05 c #Conflicts: 671000 | #Constraints: 68056
1622.55/1627.05 c #Conflicts: 672000 | #Constraints: 69056
1622.55/1627.05 c #Conflicts: 673000 | #Constraints: 70056
1622.55/1627.05 c #Conflicts: 674000 | #Constraints: 71056
1622.55/1627.05 c #Conflicts: 675000 | #Constraints: 72056
1622.55/1627.05 c #Conflicts: 676000 | #Constraints: 73056
1622.55/1627.05 c #Conflicts: 677000 | #Constraints: 74056
1622.55/1627.05 c #Conflicts: 678000 | #Constraints: 75056
1622.55/1627.05 c #Conflicts: 679000 | #Constraints: 76056
1622.55/1627.05 c #Conflicts: 680000 | #Constraints: 77056
1622.55/1627.05 c #Conflicts: 681000 | #Constraints: 78056
1622.55/1627.05 c #Conflicts: 682000 | #Constraints: 79056
1622.55/1627.05 c #Conflicts: 683000 | #Constraints: 80056
1622.55/1627.05 c #Conflicts: 684000 | #Constraints: 81056
1622.55/1627.05 c #Conflicts: 685000 | #Constraints: 82056
1622.55/1627.05 c #Conflicts: 686000 | #Constraints: 83056
1622.55/1627.05 c #Conflicts: 687000 | #Constraints: 84056
1622.55/1627.05 c #Conflicts: 688000 | #Constraints: 85056
1622.55/1627.05 c #Conflicts: 689000 | #Constraints: 86056
1622.55/1627.05 c #Conflicts: 690000 | #Constraints: 87056
1622.55/1627.05 c #Conflicts: 691000 | #Constraints: 88056
1622.55/1627.05 c #Conflicts: 692000 | #Constraints: 89056
1622.55/1627.05 c #Conflicts: 693000 | #Constraints: 90056
1622.55/1627.05 c #Conflicts: 694000 | #Constraints: 91056
1622.55/1627.05 c #Conflicts: 695000 | #Constraints: 92056
1622.55/1627.05 c #Conflicts: 696000 | #Constraints: 93056
1622.55/1627.05 c #Conflicts: 697000 | #Constraints: 94056
1622.55/1627.05 c #Conflicts: 698000 | #Constraints: 95056
1622.55/1627.05 c #Conflicts: 699000 | #Constraints: 96056
1622.55/1627.05 c #Conflicts: 700000 | #Constraints: 97056
1622.55/1627.05 c #Conflicts: 701000 | #Constraints: 98056
1622.55/1627.05 c #Conflicts: 702000 | #Constraints: 99056
1622.55/1627.05 c #Conflicts: 703000 | #Constraints: 100056
1622.55/1627.05 c #Conflicts: 704000 | #Constraints: 101056
1622.55/1627.05 c #Conflicts: 705000 | #Constraints: 102056
1622.55/1627.05 c #Conflicts: 706000 | #Constraints: 103056
1622.55/1627.05 c #Conflicts: 707000 | #Constraints: 104056
1622.55/1627.05 c #Conflicts: 708000 | #Constraints: 105056
1622.55/1627.05 c #Conflicts: 709000 | #Constraints: 106056
1622.55/1627.05 c #Conflicts: 710000 | #Constraints: 107056
1622.55/1627.05 c #Conflicts: 711000 | #Constraints: 108056
1622.55/1627.05 c #Conflicts: 712000 | #Constraints: 109056
1622.55/1627.05 c #Conflicts: 713000 | #Constraints: 110056
1622.55/1627.05 c #Conflicts: 714000 | #Constraints: 111056
1622.55/1627.05 c #Conflicts: 715000 | #Constraints: 112056
1622.55/1627.05 c #Conflicts: 716000 | #Constraints: 113056
1622.55/1627.05 c INPROCESSING
1622.55/1627.05 c GARBAGE COLLECT
1622.55/1627.05 c #Conflicts: 717000 | #Constraints: 68008
1622.55/1627.05 c #Conflicts: 718000 | #Constraints: 69008
1622.55/1627.05 c #Conflicts: 719000 | #Constraints: 70008
1622.55/1627.05 c #Conflicts: 720000 | #Constraints: 71008
1622.55/1627.05 c #Conflicts: 721000 | #Constraints: 72008
1860.13/1865.24 c #Conflicts: 722000 | #Constraints: 73008
1860.13/1865.24 c #Conflicts: 723000 | #Constraints: 74008
1860.13/1865.24 c #Conflicts: 724000 | #Constraints: 75008
1860.13/1865.24 c #Conflicts: 725000 | #Constraints: 76008
1860.13/1865.24 c #Conflicts: 726000 | #Constraints: 77008
1860.13/1865.24 c #Conflicts: 727000 | #Constraints: 78008
1860.13/1865.24 c #Conflicts: 728000 | #Constraints: 79008
1860.13/1865.24 c #Conflicts: 729000 | #Constraints: 80008
1860.13/1865.24 c #Conflicts: 730000 | #Constraints: 81008
1860.13/1865.24 c #Conflicts: 731000 | #Constraints: 82008
1860.13/1865.24 c #Conflicts: 732000 | #Constraints: 83008
1860.13/1865.24 c #Conflicts: 733000 | #Constraints: 84008
1860.13/1865.24 c #Conflicts: 734000 | #Constraints: 85008
1860.13/1865.24 c #Conflicts: 735000 | #Constraints: 86008
1860.13/1865.24 c #Conflicts: 736000 | #Constraints: 87008
1860.13/1865.24 c #Conflicts: 737000 | #Constraints: 88008
1860.13/1865.24 c #Conflicts: 738000 | #Constraints: 89008
1860.13/1865.24 c #Conflicts: 739000 | #Constraints: 90008
1860.13/1865.24 c #Conflicts: 740000 | #Constraints: 91008
1860.13/1865.24 c INPROCESSING
1860.13/1865.24 c GARBAGE COLLECT
1860.13/1865.24 c #Conflicts: 741000 | #Constraints: 61965
1860.13/1865.24 c #Conflicts: 742000 | #Constraints: 62965
1860.13/1865.24 c #Conflicts: 743000 | #Constraints: 63965
1860.13/1865.24 c #Conflicts: 744000 | #Constraints: 64965
1860.13/1865.24 c #Conflicts: 745000 | #Constraints: 65965
1860.13/1865.24 c #Conflicts: 746000 | #Constraints: 66965
1860.13/1865.24 c #Conflicts: 747000 | #Constraints: 67965
1860.13/1865.24 c #Conflicts: 748000 | #Constraints: 68965
1860.13/1865.24 c #Conflicts: 749000 | #Constraints: 69965
1860.13/1865.24 c #Conflicts: 750000 | #Constraints: 70965
1860.13/1865.24 c #Conflicts: 751000 | #Constraints: 71965
1860.13/1865.24 c #Conflicts: 752000 | #Constraints: 72965
1860.13/1865.24 c #Conflicts: 753000 | #Constraints: 73965
1860.13/1865.24 c #Conflicts: 754000 | #Constraints: 74965
1860.13/1865.24 c #Conflicts: 755000 | #Constraints: 75965
1860.13/1865.24 c #Conflicts: 756000 | #Constraints: 76965
1860.13/1865.24 c #Conflicts: 757000 | #Constraints: 77965
1860.13/1865.24 c #Conflicts: 758000 | #Constraints: 78966
1860.13/1865.24 c #Conflicts: 759000 | #Constraints: 79966
1860.13/1865.24 c #Conflicts: 760000 | #Constraints: 80966
1860.13/1865.24 c #Conflicts: 761000 | #Constraints: 81966
1860.13/1865.24 c #Conflicts: 762000 | #Constraints: 82966
1860.13/1865.24 c #Conflicts: 763000 | #Constraints: 83966
1860.13/1865.24 c #Conflicts: 764000 | #Constraints: 84966
1860.13/1865.24 c #Conflicts: 765000 | #Constraints: 85966
1860.13/1865.24 c #Conflicts: 766000 | #Constraints: 86966
1860.13/1865.24 c #Conflicts: 767000 | #Constraints: 87966
1860.13/1865.24 c #Conflicts: 768000 | #Constraints: 88966
1860.13/1865.24 c #Conflicts: 769000 | #Constraints: 89966
1860.13/1865.24 c #Conflicts: 770000 | #Constraints: 90966
1860.13/1865.24 c #Conflicts: 771000 | #Constraints: 91966
1860.13/1865.24 c #Conflicts: 772000 | #Constraints: 92966
1860.13/1865.24 c #Conflicts: 773000 | #Constraints: 93966
1860.13/1865.24 c #Conflicts: 774000 | #Constraints: 94966
1860.13/1865.24 c #Conflicts: 775000 | #Constraints: 95966
1860.13/1865.24 c #Conflicts: 776000 | #Constraints: 96966
1860.13/1865.24 c #Conflicts: 777000 | #Constraints: 97966
1860.13/1865.24 c #Conflicts: 778000 | #Constraints: 98966
1860.13/1865.24 c #Conflicts: 779000 | #Constraints: 99966
1860.13/1865.24 c #Conflicts: 780000 | #Constraints: 100966
1860.13/1865.24 c #Conflicts: 781000 | #Constraints: 101966
1860.13/1865.24 c #Conflicts: 782000 | #Constraints: 102966
1860.13/1865.24 c #Conflicts: 783000 | #Constraints: 103966
1860.13/1865.24 c #Conflicts: 784000 | #Constraints: 104966
1860.13/1865.24 c #Conflicts: 785000 | #Constraints: 105966
1860.13/1865.24 c #Conflicts: 786000 | #Constraints: 106966
1860.13/1865.24 c #Conflicts: 787000 | #Constraints: 107966
1860.13/1865.24 c #Conflicts: 788000 | #Constraints: 108966
1860.13/1865.24 c #Conflicts: 789000 | #Constraints: 109966
1860.13/1865.24 c #Conflicts: 790000 | #Constraints: 110966
1860.13/1865.24 c #Conflicts: 791000 | #Constraints: 111966
1860.13/1865.24 c #Conflicts: 792000 | #Constraints: 112966
1860.13/1865.24 c #Conflicts: 793000 | #Constraints: 113966
1860.13/1865.24 c #Conflicts: 794000 | #Constraints: 114966
1860.13/1865.24 c #Conflicts: 795000 | #Constraints: 115966
1860.13/1865.24 c #Conflicts: 796000 | #Constraints: 116966
1860.13/1865.24 c #Conflicts: 797000 | #Constraints: 117966
1860.13/1865.24 c #Conflicts: 798000 | #Constraints: 118966
1860.13/1865.24 c INPROCESSING
1860.13/1865.24 c GARBAGE COLLECT
1860.13/1865.24 c #Conflicts: 799000 | #Constraints: 71186
2033.38/2038.96 c #Conflicts: 800000 | #Constraints: 72186
2033.38/2038.96 c #Conflicts: 801000 | #Constraints: 73186
2033.38/2038.96 c #Conflicts: 802000 | #Constraints: 74186
2033.38/2038.96 c #Conflicts: 803000 | #Constraints: 75186
2033.38/2038.96 c #Conflicts: 804000 | #Constraints: 76186
2033.38/2038.96 c #Conflicts: 805000 | #Constraints: 77186
2033.38/2038.96 c #Conflicts: 806000 | #Constraints: 78186
2033.38/2038.96 c #Conflicts: 807000 | #Constraints: 79186
2033.38/2038.96 c #Conflicts: 808000 | #Constraints: 80186
2033.38/2038.96 c #Conflicts: 809000 | #Constraints: 81186
2033.38/2038.96 c #Conflicts: 810000 | #Constraints: 82186
2033.38/2038.96 c #Conflicts: 811000 | #Constraints: 83186
2033.38/2038.96 c #Conflicts: 812000 | #Constraints: 84186
2033.38/2038.96 c #Conflicts: 813000 | #Constraints: 85186
2033.38/2038.96 c #Conflicts: 814000 | #Constraints: 86186
2033.38/2038.96 c #Conflicts: 815000 | #Constraints: 87186
2033.38/2038.96 c #Conflicts: 816000 | #Constraints: 88186
2033.38/2038.96 c #Conflicts: 817000 | #Constraints: 89186
2033.38/2038.96 c #Conflicts: 818000 | #Constraints: 90186
2033.38/2038.96 c #Conflicts: 819000 | #Constraints: 91186
2033.38/2038.96 c #Conflicts: 820000 | #Constraints: 92186
2033.38/2038.96 c #Conflicts: 821000 | #Constraints: 93186
2033.38/2038.96 c #Conflicts: 822000 | #Constraints: 94186
2033.38/2038.96 c INPROCESSING
2033.38/2038.96 c GARBAGE COLLECT
2033.38/2038.96 c #Conflicts: 823000 | #Constraints: 63725
2033.38/2038.96 c #Conflicts: 824000 | #Constraints: 64725
2033.38/2038.96 c #Conflicts: 825000 | #Constraints: 65725
2033.38/2038.96 c #Conflicts: 826000 | #Constraints: 66725
2033.38/2038.96 c #Conflicts: 827000 | #Constraints: 67725
2033.38/2038.96 c #Conflicts: 828000 | #Constraints: 68725
2033.38/2038.96 c #Conflicts: 829000 | #Constraints: 69725
2033.38/2038.96 c #Conflicts: 830000 | #Constraints: 70725
2033.38/2038.96 c #Conflicts: 831000 | #Constraints: 71725
2033.38/2038.96 c #Conflicts: 832000 | #Constraints: 72725
2033.38/2038.96 c #Conflicts: 833000 | #Constraints: 73725
2033.38/2038.96 c #Conflicts: 834000 | #Constraints: 74725
2033.38/2038.96 c #Conflicts: 835000 | #Constraints: 75725
2033.38/2038.96 c #Conflicts: 836000 | #Constraints: 76725
2033.38/2038.96 c #Conflicts: 837000 | #Constraints: 77725
2033.38/2038.96 c #Conflicts: 838000 | #Constraints: 78725
2033.38/2038.96 c #Conflicts: 839000 | #Constraints: 79725
2033.38/2038.96 c #Conflicts: 840000 | #Constraints: 80725
2033.38/2038.96 c #Conflicts: 841000 | #Constraints: 81725
2033.38/2038.96 c #Conflicts: 842000 | #Constraints: 82725
2033.38/2038.96 c #Conflicts: 843000 | #Constraints: 83725
2033.38/2038.96 c #Conflicts: 844000 | #Constraints: 84725
2033.38/2038.96 c #Conflicts: 845000 | #Constraints: 85725
2033.38/2038.96 c #Conflicts: 846000 | #Constraints: 86725
2033.38/2038.96 c #Conflicts: 847000 | #Constraints: 87725
2033.38/2038.96 c #Conflicts: 848000 | #Constraints: 88725
2033.38/2038.96 c #Conflicts: 849000 | #Constraints: 89725
2033.38/2038.96 c #Conflicts: 850000 | #Constraints: 90725
2033.38/2038.96 c #Conflicts: 851000 | #Constraints: 91725
2033.38/2038.96 c #Conflicts: 852000 | #Constraints: 92725
2033.38/2038.96 c #Conflicts: 853000 | #Constraints: 93725
2033.38/2038.96 c #Conflicts: 854000 | #Constraints: 94725
2033.38/2038.96 c #Conflicts: 855000 | #Constraints: 95725
2033.38/2038.96 c #Conflicts: 856000 | #Constraints: 96725
2033.38/2038.96 c #Conflicts: 857000 | #Constraints: 97725
2033.38/2038.96 c #Conflicts: 858000 | #Constraints: 98725
2033.38/2038.96 c #Conflicts: 859000 | #Constraints: 99725
2033.38/2038.96 c #Conflicts: 860000 | #Constraints: 100725
2033.38/2038.96 c #Conflicts: 861000 | #Constraints: 101725
2033.38/2038.96 c #Conflicts: 862000 | #Constraints: 102725
2033.38/2038.96 c #Conflicts: 863000 | #Constraints: 103725
2033.38/2038.96 c #Conflicts: 864000 | #Constraints: 104725
2033.38/2038.96 c #Conflicts: 865000 | #Constraints: 105725
2033.38/2038.96 c #Conflicts: 866000 | #Constraints: 106725
2033.38/2038.96 c #Conflicts: 867000 | #Constraints: 107725
2033.38/2038.96 c #Conflicts: 868000 | #Constraints: 108725
2033.38/2038.96 c #Conflicts: 869000 | #Constraints: 109725
2033.38/2038.96 c #Conflicts: 870000 | #Constraints: 110725
2033.38/2038.96 c #Conflicts: 871000 | #Constraints: 111725
2033.38/2038.96 c #Conflicts: 872000 | #Constraints: 112725
2033.38/2038.96 c #Conflicts: 873000 | #Constraints: 113725
2033.38/2038.96 c #Conflicts: 874000 | #Constraints: 114725
2033.38/2038.96 c #Conflicts: 875000 | #Constraints: 115725
2033.38/2038.96 c #Conflicts: 876000 | #Constraints: 116725
2033.38/2038.96 c #Conflicts: 877000 | #Constraints: 117725
2147.19/2153.03 c #Conflicts: 878000 | #Constraints: 118725
2147.19/2153.03 c #Conflicts: 879000 | #Constraints: 119725
2147.19/2153.03 c #Conflicts: 880000 | #Constraints: 120725
2147.19/2153.03 c #Conflicts: 881000 | #Constraints: 121725
2147.19/2153.03 c #Conflicts: 882000 | #Constraints: 122725
2147.19/2153.03 c #Conflicts: 883000 | #Constraints: 123725
2147.19/2153.03 c #Conflicts: 884000 | #Constraints: 124725
2147.19/2153.03 c INPROCESSING
2147.19/2153.03 c GARBAGE COLLECT
2147.19/2153.03 c rational objective 159
2364.93/2371.34 c #Conflicts: 885000 | #Constraints: 74087
2364.93/2371.34 c #Conflicts: 886000 | #Constraints: 75087
2364.93/2371.34 c #Conflicts: 887000 | #Constraints: 76087
2364.93/2371.34 c #Conflicts: 888000 | #Constraints: 77087
2364.93/2371.34 c #Conflicts: 889000 | #Constraints: 78087
2364.93/2371.34 c #Conflicts: 890000 | #Constraints: 79087
2364.93/2371.34 c #Conflicts: 891000 | #Constraints: 80087
2364.93/2371.34 c #Conflicts: 892000 | #Constraints: 81087
2364.93/2371.34 c #Conflicts: 893000 | #Constraints: 82087
2364.93/2371.34 c #Conflicts: 894000 | #Constraints: 83087
2364.93/2371.34 c #Conflicts: 895000 | #Constraints: 84087
2364.93/2371.34 c #Conflicts: 896000 | #Constraints: 85087
2364.93/2371.34 c #Conflicts: 897000 | #Constraints: 86087
2364.93/2371.34 c #Conflicts: 898000 | #Constraints: 87087
2364.93/2371.34 c #Conflicts: 899000 | #Constraints: 88087
2364.93/2371.34 c #Conflicts: 900000 | #Constraints: 89087
2364.93/2371.34 c #Conflicts: 901000 | #Constraints: 90087
2364.93/2371.34 c #Conflicts: 902000 | #Constraints: 91087
2364.93/2371.34 c #Conflicts: 903000 | #Constraints: 92087
2364.93/2371.34 c #Conflicts: 904000 | #Constraints: 93087
2364.93/2371.34 c #Conflicts: 905000 | #Constraints: 94087
2364.93/2371.34 c #Conflicts: 906000 | #Constraints: 95087
2364.93/2371.34 c #Conflicts: 907000 | #Constraints: 96087
2364.93/2371.34 c #Conflicts: 908000 | #Constraints: 97087
2364.93/2371.34 c #Conflicts: 909000 | #Constraints: 98087
2364.93/2371.34 c #Conflicts: 910000 | #Constraints: 99087
2364.93/2371.34 c INPROCESSING
2364.93/2371.34 c GARBAGE COLLECT
2364.93/2371.34 c #Conflicts: 911000 | #Constraints: 67187
2364.93/2371.34 c #Conflicts: 912000 | #Constraints: 68187
2364.93/2371.34 c #Conflicts: 913000 | #Constraints: 69187
2364.93/2371.34 c #Conflicts: 914000 | #Constraints: 70187
2364.93/2371.34 c #Conflicts: 915000 | #Constraints: 71187
2364.93/2371.34 c #Conflicts: 916000 | #Constraints: 72187
2364.93/2371.34 c #Conflicts: 917000 | #Constraints: 73187
2364.93/2371.34 c #Conflicts: 918000 | #Constraints: 74187
2364.93/2371.34 c #Conflicts: 919000 | #Constraints: 75187
2364.93/2371.34 c #Conflicts: 920000 | #Constraints: 76187
2364.93/2371.34 c #Conflicts: 921000 | #Constraints: 77187
2364.93/2371.34 c #Conflicts: 922000 | #Constraints: 78187
2364.93/2371.34 c #Conflicts: 923000 | #Constraints: 79187
2364.93/2371.34 c #Conflicts: 924000 | #Constraints: 80187
2364.93/2371.34 c #Conflicts: 925000 | #Constraints: 81187
2364.93/2371.34 c #Conflicts: 926000 | #Constraints: 82187
2364.93/2371.34 c #Conflicts: 927000 | #Constraints: 83187
2364.93/2371.34 c #Conflicts: 928000 | #Constraints: 84187
2364.93/2371.34 c #Conflicts: 929000 | #Constraints: 85187
2364.93/2371.34 c #Conflicts: 930000 | #Constraints: 86187
2364.93/2371.34 c #Conflicts: 931000 | #Constraints: 87187
2364.93/2371.34 c #Conflicts: 932000 | #Constraints: 88187
2364.93/2371.34 c #Conflicts: 933000 | #Constraints: 89187
2364.93/2371.34 c #Conflicts: 934000 | #Constraints: 90187
2364.93/2371.34 c #Conflicts: 935000 | #Constraints: 91187
2364.93/2371.34 c #Conflicts: 936000 | #Constraints: 92187
2364.93/2371.34 c #Conflicts: 937000 | #Constraints: 93187
2364.93/2371.34 c #Conflicts: 938000 | #Constraints: 94187
2364.93/2371.34 c #Conflicts: 939000 | #Constraints: 95187
2364.93/2371.34 c #Conflicts: 940000 | #Constraints: 96187
2364.93/2371.34 c #Conflicts: 941000 | #Constraints: 97187
2364.93/2371.34 c #Conflicts: 942000 | #Constraints: 98187
2364.93/2371.34 c #Conflicts: 943000 | #Constraints: 99187
2364.93/2371.34 c #Conflicts: 944000 | #Constraints: 100187
2364.93/2371.34 c #Conflicts: 945000 | #Constraints: 101187
2364.93/2371.34 c #Conflicts: 946000 | #Constraints: 102187
2364.93/2371.34 c #Conflicts: 947000 | #Constraints: 103188
2364.93/2371.34 c #Conflicts: 948000 | #Constraints: 104188
2364.93/2371.34 c #Conflicts: 949000 | #Constraints: 105188
2364.93/2371.34 c #Conflicts: 950000 | #Constraints: 106188
2364.93/2371.34 c #Conflicts: 951000 | #Constraints: 107188
2364.93/2371.34 c #Conflicts: 952000 | #Constraints: 108188
2364.93/2371.34 c #Conflicts: 953000 | #Constraints: 109188
2364.93/2371.34 c #Conflicts: 954000 | #Constraints: 110188
2364.93/2371.34 c #Conflicts: 955000 | #Constraints: 111188
2364.93/2371.34 c #Conflicts: 956000 | #Constraints: 112188
2364.93/2371.34 c #Conflicts: 957000 | #Constraints: 113188
2364.93/2371.34 c #Conflicts: 958000 | #Constraints: 114188
2364.93/2371.34 c #Conflicts: 959000 | #Constraints: 115188
2364.93/2371.34 c #Conflicts: 960000 | #Constraints: 116188
2364.93/2371.34 c #Conflicts: 961000 | #Constraints: 117188
2364.93/2371.34 c #Conflicts: 962000 | #Constraints: 118188
2364.93/2371.34 c #Conflicts: 963000 | #Constraints: 119188
2607.03/2614.00 c #Conflicts: 964000 | #Constraints: 120188
2607.03/2614.00 c #Conflicts: 965000 | #Constraints: 121188
2607.03/2614.00 c #Conflicts: 966000 | #Constraints: 122188
2607.03/2614.00 c #Conflicts: 967000 | #Constraints: 123188
2607.03/2614.00 c #Conflicts: 968000 | #Constraints: 124188
2607.03/2614.00 c #Conflicts: 969000 | #Constraints: 125188
2607.03/2614.00 c #Conflicts: 970000 | #Constraints: 126188
2607.03/2614.00 c #Conflicts: 971000 | #Constraints: 127188
2607.03/2614.00 c #Conflicts: 972000 | #Constraints: 128188
2607.03/2614.00 c #Conflicts: 973000 | #Constraints: 129188
2607.03/2614.00 c #Conflicts: 974000 | #Constraints: 130188
2607.03/2614.00 c INPROCESSING
2607.03/2614.00 c GARBAGE COLLECT
2607.03/2614.00 c #Conflicts: 975000 | #Constraints: 76702
2607.03/2614.00 c #Conflicts: 976000 | #Constraints: 77702
2607.03/2614.00 c #Conflicts: 977000 | #Constraints: 78702
2607.03/2614.00 c #Conflicts: 978000 | #Constraints: 79702
2607.03/2614.00 c #Conflicts: 979000 | #Constraints: 80702
2607.03/2614.00 c #Conflicts: 980000 | #Constraints: 81702
2607.03/2614.00 c #Conflicts: 981000 | #Constraints: 82702
2607.03/2614.00 c #Conflicts: 982000 | #Constraints: 83702
2607.03/2614.00 c #Conflicts: 983000 | #Constraints: 84702
2607.03/2614.00 c #Conflicts: 984000 | #Constraints: 85702
2607.03/2614.00 c #Conflicts: 985000 | #Constraints: 86702
2607.03/2614.00 c #Conflicts: 986000 | #Constraints: 87702
2607.03/2614.00 c #Conflicts: 987000 | #Constraints: 88702
2607.03/2614.00 c #Conflicts: 988000 | #Constraints: 89702
2607.03/2614.00 c #Conflicts: 989000 | #Constraints: 90702
2607.03/2614.00 c #Conflicts: 990000 | #Constraints: 91702
2607.03/2614.00 c #Conflicts: 991000 | #Constraints: 92702
2607.03/2614.00 c #Conflicts: 992000 | #Constraints: 93702
2607.03/2614.00 c #Conflicts: 993000 | #Constraints: 94702
2607.03/2614.00 c #Conflicts: 994000 | #Constraints: 95702
2607.03/2614.00 c #Conflicts: 995000 | #Constraints: 96702
2607.03/2614.00 c #Conflicts: 996000 | #Constraints: 97702
2607.03/2614.00 c #Conflicts: 997000 | #Constraints: 98702
2607.03/2614.00 c #Conflicts: 998000 | #Constraints: 99702
2607.03/2614.00 c #Conflicts: 999000 | #Constraints: 100702
2607.03/2614.00 c #Conflicts: 1000000 | #Constraints: 101702
2607.03/2614.00 c #Conflicts: 1001000 | #Constraints: 102702
2607.03/2614.00 c INPROCESSING
2607.03/2614.00 c GARBAGE COLLECT
2607.03/2614.00 c #Conflicts: 1002000 | #Constraints: 68199
2607.03/2614.00 c #Conflicts: 1003000 | #Constraints: 69199
2607.03/2614.00 c #Conflicts: 1004000 | #Constraints: 70199
2607.03/2614.00 c #Conflicts: 1005000 | #Constraints: 71199
2607.03/2614.00 c #Conflicts: 1006000 | #Constraints: 72199
2607.03/2614.00 c #Conflicts: 1007000 | #Constraints: 73199
2607.03/2614.00 c #Conflicts: 1008000 | #Constraints: 74199
2607.03/2614.00 c #Conflicts: 1009000 | #Constraints: 75199
2607.03/2614.00 c #Conflicts: 1010000 | #Constraints: 76199
2607.03/2614.00 c #Conflicts: 1011000 | #Constraints: 77199
2607.03/2614.00 c #Conflicts: 1012000 | #Constraints: 78199
2607.03/2614.00 c #Conflicts: 1013000 | #Constraints: 79199
2607.03/2614.00 c #Conflicts: 1014000 | #Constraints: 80199
2607.03/2614.00 c #Conflicts: 1015000 | #Constraints: 81199
2607.03/2614.00 c #Conflicts: 1016000 | #Constraints: 82199
2607.03/2614.00 c #Conflicts: 1017000 | #Constraints: 83199
2607.03/2614.00 c #Conflicts: 1018000 | #Constraints: 84199
2607.03/2614.00 c #Conflicts: 1019000 | #Constraints: 85199
2607.03/2614.00 c #Conflicts: 1020000 | #Constraints: 86199
2607.03/2614.00 c #Conflicts: 1021000 | #Constraints: 87199
2607.03/2614.00 c #Conflicts: 1022000 | #Constraints: 88199
2607.03/2614.00 c #Conflicts: 1023000 | #Constraints: 89199
2607.03/2614.00 c #Conflicts: 1024000 | #Constraints: 90199
2607.03/2614.00 c #Conflicts: 1025000 | #Constraints: 91199
2607.03/2614.00 c #Conflicts: 1026000 | #Constraints: 92199
2607.03/2614.00 c #Conflicts: 1027000 | #Constraints: 93199
2607.03/2614.00 c #Conflicts: 1028000 | #Constraints: 94199
2607.03/2614.00 c #Conflicts: 1029000 | #Constraints: 95199
2607.03/2614.00 c #Conflicts: 1030000 | #Constraints: 96199
2607.03/2614.00 c #Conflicts: 1031000 | #Constraints: 97199
2607.03/2614.00 c #Conflicts: 1032000 | #Constraints: 98199
2607.03/2614.00 c #Conflicts: 1033000 | #Constraints: 99199
2607.03/2614.00 c #Conflicts: 1034000 | #Constraints: 100199
2607.03/2614.00 c #Conflicts: 1035000 | #Constraints: 101199
2607.03/2614.00 c #Conflicts: 1036000 | #Constraints: 102199
2607.03/2614.00 c #Conflicts: 1037000 | #Constraints: 103199
2607.03/2614.00 c #Conflicts: 1038000 | #Constraints: 104199
2607.03/2614.00 c #Conflicts: 1039000 | #Constraints: 105199
2607.03/2614.00 c #Conflicts: 1040000 | #Constraints: 106199
2910.97/2918.74 c #Conflicts: 1041000 | #Constraints: 107199
2910.97/2918.74 c #Conflicts: 1042000 | #Constraints: 108199
2910.97/2918.74 c #Conflicts: 1043000 | #Constraints: 109199
2910.97/2918.74 c #Conflicts: 1044000 | #Constraints: 110199
2910.97/2918.74 c #Conflicts: 1045000 | #Constraints: 111199
2910.97/2918.74 c #Conflicts: 1046000 | #Constraints: 112199
2910.97/2918.74 c #Conflicts: 1047000 | #Constraints: 113199
2910.97/2918.74 c #Conflicts: 1048000 | #Constraints: 114199
2910.97/2918.74 c #Conflicts: 1049000 | #Constraints: 115199
2910.97/2918.74 c #Conflicts: 1050000 | #Constraints: 116199
2910.97/2918.74 c #Conflicts: 1051000 | #Constraints: 117199
2910.97/2918.74 c #Conflicts: 1052000 | #Constraints: 118199
2910.97/2918.74 c #Conflicts: 1053000 | #Constraints: 119199
2910.97/2918.74 c #Conflicts: 1054000 | #Constraints: 120199
2910.97/2918.74 c #Conflicts: 1055000 | #Constraints: 121199
2910.97/2918.74 c #Conflicts: 1056000 | #Constraints: 122199
2910.97/2918.74 c #Conflicts: 1057000 | #Constraints: 123199
2910.97/2918.74 c #Conflicts: 1058000 | #Constraints: 124199
2910.97/2918.74 c #Conflicts: 1059000 | #Constraints: 125199
2910.97/2918.74 c #Conflicts: 1060000 | #Constraints: 126199
2910.97/2918.74 c #Conflicts: 1061000 | #Constraints: 127199
2910.97/2918.74 c #Conflicts: 1062000 | #Constraints: 128199
2910.97/2918.74 c #Conflicts: 1063000 | #Constraints: 129199
2910.97/2918.74 c #Conflicts: 1064000 | #Constraints: 130199
2910.97/2918.74 c #Conflicts: 1065000 | #Constraints: 131199
2910.97/2918.74 c #Conflicts: 1066000 | #Constraints: 132199
2910.97/2918.74 c #Conflicts: 1067000 | #Constraints: 133199
2910.97/2918.74 c #Conflicts: 1068000 | #Constraints: 134199
2910.97/2918.74 c #Conflicts: 1069000 | #Constraints: 135199
2910.97/2918.74 c INPROCESSING
2910.97/2918.74 c GARBAGE COLLECT
2910.97/2918.74 c #Conflicts: 1070000 | #Constraints: 79339
2910.97/2918.74 c #Conflicts: 1071000 | #Constraints: 80339
2910.97/2918.74 c #Conflicts: 1072000 | #Constraints: 81339
2910.97/2918.74 c #Conflicts: 1073000 | #Constraints: 82339
2910.97/2918.74 c #Conflicts: 1074000 | #Constraints: 83339
2910.97/2918.74 c #Conflicts: 1075000 | #Constraints: 84339
2910.97/2918.74 c #Conflicts: 1076000 | #Constraints: 85339
2910.97/2918.74 c #Conflicts: 1077000 | #Constraints: 86339
2910.97/2918.74 c #Conflicts: 1078000 | #Constraints: 87339
2910.97/2918.74 c #Conflicts: 1079000 | #Constraints: 88339
2910.97/2918.74 c #Conflicts: 1080000 | #Constraints: 89339
2910.97/2918.74 c #Conflicts: 1081000 | #Constraints: 90339
2910.97/2918.74 c #Conflicts: 1082000 | #Constraints: 91339
2910.97/2918.74 c #Conflicts: 1083000 | #Constraints: 92339
2910.97/2918.74 c #Conflicts: 1084000 | #Constraints: 93339
2910.97/2918.74 c #Conflicts: 1085000 | #Constraints: 94339
2910.97/2918.74 c #Conflicts: 1086000 | #Constraints: 95339
2910.97/2918.74 c #Conflicts: 1087000 | #Constraints: 96339
2910.97/2918.74 c #Conflicts: 1088000 | #Constraints: 97339
2910.97/2918.74 c #Conflicts: 1089000 | #Constraints: 98339
2910.97/2918.74 c #Conflicts: 1090000 | #Constraints: 99339
2910.97/2918.74 c #Conflicts: 1091000 | #Constraints: 100339
2910.97/2918.74 c #Conflicts: 1092000 | #Constraints: 101339
2910.97/2918.74 c #Conflicts: 1093000 | #Constraints: 102339
2910.97/2918.74 c #Conflicts: 1094000 | #Constraints: 103339
2910.97/2918.74 c #Conflicts: 1095000 | #Constraints: 104339
2910.97/2918.74 c #Conflicts: 1096000 | #Constraints: 105339
2910.97/2918.74 c #Conflicts: 1097000 | #Constraints: 106339
2910.97/2918.74 c #Conflicts: 1098000 | #Constraints: 107339
2910.97/2918.74 c INPROCESSING
2910.97/2918.74 c GARBAGE COLLECT
2910.97/2918.74 c #Conflicts: 1099000 | #Constraints: 70238
2910.97/2918.74 c #Conflicts: 1100000 | #Constraints: 71238
2910.97/2918.74 c #Conflicts: 1101000 | #Constraints: 72238
2910.97/2918.74 c #Conflicts: 1102000 | #Constraints: 73238
2910.97/2918.74 c #Conflicts: 1103000 | #Constraints: 74238
2910.97/2918.74 c #Conflicts: 1104000 | #Constraints: 75238
2910.97/2918.74 c #Conflicts: 1105000 | #Constraints: 76238
2910.97/2918.74 c #Conflicts: 1106000 | #Constraints: 77238
2910.97/2918.74 c #Conflicts: 1107000 | #Constraints: 78238
2910.97/2918.74 c #Conflicts: 1108000 | #Constraints: 79239
2910.97/2918.74 c #Conflicts: 1109000 | #Constraints: 80239
2910.97/2918.74 c #Conflicts: 1110000 | #Constraints: 81239
2910.97/2918.74 c #Conflicts: 1111000 | #Constraints: 82239
2910.97/2918.74 c #Conflicts: 1112000 | #Constraints: 83239
2910.97/2918.74 c #Conflicts: 1113000 | #Constraints: 84239
2910.97/2918.74 c #Conflicts: 1114000 | #Constraints: 85239
2910.97/2918.74 c #Conflicts: 1115000 | #Constraints: 86239
2910.97/2918.74 c #Conflicts: 1116000 | #Constraints: 87239
2910.97/2918.74 c #Conflicts: 1117000 | #Constraints: 88239
2910.97/2918.74 c #Conflicts: 1118000 | #Constraints: 89239
3152.85/3161.24 c #Conflicts: 1119000 | #Constraints: 90239
3152.85/3161.24 c #Conflicts: 1120000 | #Constraints: 91239
3152.85/3161.24 c #Conflicts: 1121000 | #Constraints: 92239
3152.85/3161.24 c #Conflicts: 1122000 | #Constraints: 93239
3152.85/3161.24 c #Conflicts: 1123000 | #Constraints: 94239
3152.85/3161.24 c #Conflicts: 1124000 | #Constraints: 95239
3152.85/3161.24 c #Conflicts: 1125000 | #Constraints: 96239
3152.85/3161.24 c #Conflicts: 1126000 | #Constraints: 97239
3152.85/3161.24 c #Conflicts: 1127000 | #Constraints: 98239
3152.85/3161.24 c #Conflicts: 1128000 | #Constraints: 99239
3152.85/3161.24 c #Conflicts: 1129000 | #Constraints: 100239
3152.85/3161.24 c #Conflicts: 1130000 | #Constraints: 101239
3152.85/3161.24 c #Conflicts: 1131000 | #Constraints: 102239
3152.85/3161.24 c #Conflicts: 1132000 | #Constraints: 103239
3152.85/3161.24 c #Conflicts: 1133000 | #Constraints: 104239
3152.85/3161.24 c #Conflicts: 1134000 | #Constraints: 105239
3152.85/3161.24 c #Conflicts: 1135000 | #Constraints: 106239
3152.85/3161.24 c #Conflicts: 1136000 | #Constraints: 107239
3152.85/3161.24 c #Conflicts: 1137000 | #Constraints: 108239
3152.85/3161.24 c #Conflicts: 1138000 | #Constraints: 109239
3152.85/3161.24 c #Conflicts: 1139000 | #Constraints: 110239
3152.85/3161.24 c #Conflicts: 1140000 | #Constraints: 111239
3152.85/3161.24 c #Conflicts: 1141000 | #Constraints: 112239
3152.85/3161.24 c #Conflicts: 1142000 | #Constraints: 113239
3152.85/3161.24 c #Conflicts: 1143000 | #Constraints: 114239
3152.85/3161.24 c #Conflicts: 1144000 | #Constraints: 115239
3152.85/3161.24 c #Conflicts: 1145000 | #Constraints: 116239
3152.85/3161.24 c #Conflicts: 1146000 | #Constraints: 117239
3152.85/3161.24 c #Conflicts: 1147000 | #Constraints: 118239
3152.85/3161.24 c #Conflicts: 1148000 | #Constraints: 119239
3152.85/3161.24 c #Conflicts: 1149000 | #Constraints: 120239
3152.85/3161.24 c #Conflicts: 1150000 | #Constraints: 121239
3152.85/3161.24 c #Conflicts: 1151000 | #Constraints: 122239
3152.85/3161.24 c #Conflicts: 1152000 | #Constraints: 123239
3152.85/3161.24 c #Conflicts: 1153000 | #Constraints: 124239
3152.85/3161.24 c #Conflicts: 1154000 | #Constraints: 125239
3152.85/3161.24 c #Conflicts: 1155000 | #Constraints: 126239
3152.85/3161.24 c #Conflicts: 1156000 | #Constraints: 127239
3152.85/3161.24 c #Conflicts: 1157000 | #Constraints: 128239
3152.85/3161.24 c #Conflicts: 1158000 | #Constraints: 129239
3152.85/3161.24 c #Conflicts: 1159000 | #Constraints: 130239
3152.85/3161.24 c #Conflicts: 1160000 | #Constraints: 131239
3152.85/3161.24 c #Conflicts: 1161000 | #Constraints: 132239
3152.85/3161.24 c #Conflicts: 1162000 | #Constraints: 133239
3152.85/3161.24 c #Conflicts: 1163000 | #Constraints: 134239
3152.85/3161.24 c #Conflicts: 1164000 | #Constraints: 135239
3152.85/3161.24 c #Conflicts: 1165000 | #Constraints: 136239
3152.85/3161.24 c #Conflicts: 1166000 | #Constraints: 137239
3152.85/3161.24 c #Conflicts: 1167000 | #Constraints: 138239
3152.85/3161.24 c #Conflicts: 1168000 | #Constraints: 139239
3152.85/3161.24 c INPROCESSING
3152.85/3161.24 c GARBAGE COLLECT
3152.85/3161.24 c #Conflicts: 1169000 | #Constraints: 81075
3152.85/3161.24 c #Conflicts: 1170000 | #Constraints: 82075
3152.85/3161.24 c #Conflicts: 1171000 | #Constraints: 83075
3152.85/3161.24 c #Conflicts: 1172000 | #Constraints: 84075
3152.85/3161.24 c #Conflicts: 1173000 | #Constraints: 85075
3152.85/3161.24 c #Conflicts: 1174000 | #Constraints: 86075
3152.85/3161.24 c #Conflicts: 1175000 | #Constraints: 87075
3152.85/3161.24 c #Conflicts: 1176000 | #Constraints: 88075
3152.85/3161.24 c #Conflicts: 1177000 | #Constraints: 89075
3152.85/3161.24 c #Conflicts: 1178000 | #Constraints: 90075
3152.85/3161.24 c #Conflicts: 1179000 | #Constraints: 91075
3152.85/3161.24 c #Conflicts: 1180000 | #Constraints: 92075
3152.85/3161.24 c #Conflicts: 1181000 | #Constraints: 93075
3152.85/3161.24 c #Conflicts: 1182000 | #Constraints: 94075
3152.85/3161.24 c #Conflicts: 1183000 | #Constraints: 95075
3152.85/3161.24 c #Conflicts: 1184000 | #Constraints: 96075
3152.85/3161.24 c #Conflicts: 1185000 | #Constraints: 97075
3152.85/3161.24 c #Conflicts: 1186000 | #Constraints: 98075
3152.85/3161.24 c #Conflicts: 1187000 | #Constraints: 99075
3152.85/3161.24 c #Conflicts: 1188000 | #Constraints: 100075
3152.85/3161.24 c #Conflicts: 1189000 | #Constraints: 101075
3152.85/3161.24 c #Conflicts: 1190000 | #Constraints: 102075
3152.85/3161.24 c #Conflicts: 1191000 | #Constraints: 103075
3152.85/3161.24 c #Conflicts: 1192000 | #Constraints: 104075
3152.85/3161.24 c #Conflicts: 1193000 | #Constraints: 105075
3152.85/3161.24 c #Conflicts: 1194000 | #Constraints: 106075
3152.85/3161.24 c #Conflicts: 1195000 | #Constraints: 107075
3152.85/3161.24 c #Conflicts: 1196000 | #Constraints: 108075
3379.67/3388.62 c #Conflicts: 1197000 | #Constraints: 109075
3379.67/3388.62 c #Conflicts: 1198000 | #Constraints: 110075
3379.67/3388.62 c INPROCESSING
3379.67/3388.62 c GARBAGE COLLECT
3379.67/3388.62 c #Conflicts: 1199000 | #Constraints: 72053
3379.67/3388.62 c #Conflicts: 1200000 | #Constraints: 73053
3379.67/3388.62 c #Conflicts: 1201000 | #Constraints: 74053
3379.67/3388.62 c #Conflicts: 1202000 | #Constraints: 75053
3379.67/3388.62 c #Conflicts: 1203000 | #Constraints: 76053
3379.67/3388.62 c #Conflicts: 1204000 | #Constraints: 77053
3379.67/3388.62 c #Conflicts: 1205000 | #Constraints: 78053
3379.67/3388.62 c #Conflicts: 1206000 | #Constraints: 79053
3379.67/3388.62 c #Conflicts: 1207000 | #Constraints: 80053
3379.67/3388.62 c #Conflicts: 1208000 | #Constraints: 81053
3379.67/3388.62 c #Conflicts: 1209000 | #Constraints: 82053
3379.67/3388.62 c #Conflicts: 1210000 | #Constraints: 83053
3379.67/3388.62 c #Conflicts: 1211000 | #Constraints: 84053
3379.67/3388.62 c #Conflicts: 1212000 | #Constraints: 85053
3379.67/3388.62 c #Conflicts: 1213000 | #Constraints: 86053
3379.67/3388.62 c #Conflicts: 1214000 | #Constraints: 87053
3379.67/3388.62 c #Conflicts: 1215000 | #Constraints: 88053
3379.67/3388.62 c #Conflicts: 1216000 | #Constraints: 89053
3379.67/3388.62 c #Conflicts: 1217000 | #Constraints: 90053
3379.67/3388.62 c #Conflicts: 1218000 | #Constraints: 91053
3379.67/3388.62 c #Conflicts: 1219000 | #Constraints: 92053
3379.67/3388.62 c #Conflicts: 1220000 | #Constraints: 93053
3379.67/3388.62 c #Conflicts: 1221000 | #Constraints: 94053
3379.67/3388.62 c #Conflicts: 1222000 | #Constraints: 95053
3379.67/3388.62 c #Conflicts: 1223000 | #Constraints: 96053
3379.67/3388.62 c #Conflicts: 1224000 | #Constraints: 97053
3379.67/3388.62 c #Conflicts: 1225000 | #Constraints: 98053
3379.67/3388.62 c #Conflicts: 1226000 | #Constraints: 99053
3379.67/3388.62 c #Conflicts: 1227000 | #Constraints: 100053
3379.67/3388.62 c #Conflicts: 1228000 | #Constraints: 101053
3379.67/3388.62 c #Conflicts: 1229000 | #Constraints: 102053
3379.67/3388.62 c #Conflicts: 1230000 | #Constraints: 103053
3379.67/3388.62 c #Conflicts: 1231000 | #Constraints: 104053
3379.67/3388.62 c #Conflicts: 1232000 | #Constraints: 105053
3379.67/3388.62 c #Conflicts: 1233000 | #Constraints: 106053
3379.67/3388.62 c #Conflicts: 1234000 | #Constraints: 107053
3379.67/3388.62 c #Conflicts: 1235000 | #Constraints: 108053
3379.67/3388.62 c #Conflicts: 1236000 | #Constraints: 109053
3379.67/3388.62 c #Conflicts: 1237000 | #Constraints: 110053
3379.67/3388.62 c #Conflicts: 1238000 | #Constraints: 111053
3379.67/3388.62 c #Conflicts: 1239000 | #Constraints: 112053
3379.67/3388.62 c #Conflicts: 1240000 | #Constraints: 113053
3379.67/3388.62 c #Conflicts: 1241000 | #Constraints: 114053
3379.67/3388.62 c #Conflicts: 1242000 | #Constraints: 115053
3379.67/3388.62 c #Conflicts: 1243000 | #Constraints: 116053
3379.67/3388.62 c #Conflicts: 1244000 | #Constraints: 117053
3379.67/3388.62 c #Conflicts: 1245000 | #Constraints: 118053
3379.67/3388.62 c #Conflicts: 1246000 | #Constraints: 119053
3379.67/3388.62 c #Conflicts: 1247000 | #Constraints: 120053
3379.67/3388.62 c #Conflicts: 1248000 | #Constraints: 121053
3379.67/3388.62 c #Conflicts: 1249000 | #Constraints: 122053
3379.67/3388.62 c #Conflicts: 1250000 | #Constraints: 123053
3379.67/3388.62 c #Conflicts: 1251000 | #Constraints: 124053
3379.67/3388.62 c #Conflicts: 1252000 | #Constraints: 125053
3379.67/3388.62 c #Conflicts: 1253000 | #Constraints: 126053
3379.67/3388.62 c #Conflicts: 1254000 | #Constraints: 127053
3379.67/3388.62 c #Conflicts: 1255000 | #Constraints: 128053
3379.67/3388.62 c #Conflicts: 1256000 | #Constraints: 129053
3379.67/3388.62 c #Conflicts: 1257000 | #Constraints: 130053
3379.67/3388.62 c #Conflicts: 1258000 | #Constraints: 131053
3379.67/3388.62 c #Conflicts: 1259000 | #Constraints: 132053
3379.67/3388.62 c #Conflicts: 1260000 | #Constraints: 133053
3379.67/3388.62 c #Conflicts: 1261000 | #Constraints: 134053
3379.67/3388.62 c #Conflicts: 1262000 | #Constraints: 135053
3379.67/3388.62 c #Conflicts: 1263000 | #Constraints: 136053
3379.67/3388.62 c #Conflicts: 1264000 | #Constraints: 137053
3379.67/3388.62 c #Conflicts: 1265000 | #Constraints: 138053
3379.67/3388.62 c #Conflicts: 1266000 | #Constraints: 139053
3379.67/3388.62 c #Conflicts: 1267000 | #Constraints: 140053
3379.67/3388.62 c #Conflicts: 1268000 | #Constraints: 141053
3379.67/3388.62 c #Conflicts: 1269000 | #Constraints: 142053
3379.67/3388.62 c #Conflicts: 1270000 | #Constraints: 143053
3379.67/3388.62 c #Conflicts: 1271000 | #Constraints: 144053
3379.67/3388.62 c #Conflicts: 1272000 | #Constraints: 145053
3379.67/3388.62 c INPROCESSING
3379.67/3388.62 c GARBAGE COLLECT
3379.67/3388.62 c #Conflicts: 1273000 | #Constraints: 84256
3600.00/3609.50 c #Conflicts: 1274000 | #Constraints: 85256
3600.00/3609.50 c #Conflicts: 1275000 | #Constraints: 86256
3600.00/3609.50 c #Conflicts: 1276000 | #Constraints: 87256
3600.00/3609.50 c #Conflicts: 1277000 | #Constraints: 88256
3600.00/3609.50 c #Conflicts: 1278000 | #Constraints: 89256
3600.00/3609.50 c #Conflicts: 1279000 | #Constraints: 90256
3600.00/3609.50 c #Conflicts: 1280000 | #Constraints: 91256
3600.00/3609.50 c #Conflicts: 1281000 | #Constraints: 92256
3600.00/3609.50 c #Conflicts: 1282000 | #Constraints: 93256
3600.00/3609.50 c #Conflicts: 1283000 | #Constraints: 94257
3600.00/3609.50 c #Conflicts: 1284000 | #Constraints: 95257
3600.00/3609.50 c #Conflicts: 1285000 | #Constraints: 96257
3600.00/3609.50 c #Conflicts: 1286000 | #Constraints: 97257
3600.00/3609.50 c #Conflicts: 1287000 | #Constraints: 98257
3600.00/3609.50 c #Conflicts: 1288000 | #Constraints: 99257
3600.00/3609.50 c #Conflicts: 1289000 | #Constraints: 100257
3600.00/3609.50 c #Conflicts: 1290000 | #Constraints: 101257
3600.00/3609.50 c #Conflicts: 1291000 | #Constraints: 102257
3600.00/3609.50 c #Conflicts: 1292000 | #Constraints: 103257
3600.00/3609.50 c #Conflicts: 1293000 | #Constraints: 104257
3600.00/3609.50 c #Conflicts: 1294000 | #Constraints: 105257
3600.00/3609.50 c #Conflicts: 1295000 | #Constraints: 106257
3600.00/3609.50 c #Conflicts: 1296000 | #Constraints: 107257
3600.00/3609.50 c #Conflicts: 1297000 | #Constraints: 108257
3600.00/3609.50 c #Conflicts: 1298000 | #Constraints: 109257
3600.00/3609.50 c #Conflicts: 1299000 | #Constraints: 110257
3600.00/3609.50 c #Conflicts: 1300000 | #Constraints: 111257
3600.00/3609.50 c #Conflicts: 1301000 | #Constraints: 112257
3600.00/3609.50 c #Conflicts: 1302000 | #Constraints: 113257
3600.00/3609.50 c #Conflicts: 1303000 | #Constraints: 114257
3600.00/3609.50 c INPROCESSING
3600.00/3609.50 c GARBAGE COLLECT
3600.00/3609.50 c #Conflicts: 1304000 | #Constraints: 74783
3600.00/3609.50 c #Conflicts: 1305000 | #Constraints: 75783
3600.00/3609.50 c #Conflicts: 1306000 | #Constraints: 76783
3600.00/3609.50 c #Conflicts: 1307000 | #Constraints: 77783
3600.00/3609.50 c #Conflicts: 1308000 | #Constraints: 78783
3600.00/3609.50 c #Conflicts: 1309000 | #Constraints: 79783
3600.00/3609.50 c #Conflicts: 1310000 | #Constraints: 80783
3600.00/3609.50 c #Conflicts: 1311000 | #Constraints: 81783
3600.00/3609.50 c #Conflicts: 1312000 | #Constraints: 82783
3600.00/3609.50 c #Conflicts: 1313000 | #Constraints: 83783
3600.00/3609.50 c #Conflicts: 1314000 | #Constraints: 84783
3600.00/3609.50 c #Conflicts: 1315000 | #Constraints: 85783
3600.00/3609.50 c #Conflicts: 1316000 | #Constraints: 86783
3600.00/3609.50 c #Conflicts: 1317000 | #Constraints: 87783
3600.00/3609.50 c #Conflicts: 1318000 | #Constraints: 88783
3600.00/3609.50 c #Conflicts: 1319000 | #Constraints: 89783
3600.00/3609.50 c #Conflicts: 1320000 | #Constraints: 90783
3600.00/3609.50 c #Conflicts: 1321000 | #Constraints: 91783
3600.00/3609.50 c #Conflicts: 1322000 | #Constraints: 92783
3600.00/3609.50 c #Conflicts: 1323000 | #Constraints: 93783
3600.00/3609.50 c #Conflicts: 1324000 | #Constraints: 94783
3600.00/3609.50 c #Conflicts: 1325000 | #Constraints: 95783
3600.00/3609.50 c #Conflicts: 1326000 | #Constraints: 96783
3600.00/3609.50 c #Conflicts: 1327000 | #Constraints: 97783
3600.00/3609.50 c #Conflicts: 1328000 | #Constraints: 98783
3600.00/3609.50 c #Conflicts: 1329000 | #Constraints: 99783
3600.00/3609.50 c #Conflicts: 1330000 | #Constraints: 100783
3600.00/3609.50 c #Conflicts: 1331000 | #Constraints: 101783
3600.00/3609.50 c #Conflicts: 1332000 | #Constraints: 102783
3600.00/3609.50 c #Conflicts: 1333000 | #Constraints: 103783
3600.00/3609.50 c #Conflicts: 1334000 | #Constraints: 104783
3600.00/3609.50 c #Conflicts: 1335000 | #Constraints: 105783
3600.00/3609.50 c #Conflicts: 1336000 | #Constraints: 106783
3600.00/3609.50 c #Conflicts: 1337000 | #Constraints: 107783
3600.00/3609.50 c #Conflicts: 1338000 | #Constraints: 108783
3600.00/3609.50 c #Conflicts: 1339000 | #Constraints: 109783
3600.00/3609.50 c #Conflicts: 1340000 | #Constraints: 110783
3600.00/3609.50 c #Conflicts: 1341000 | #Constraints: 111783
3600.00/3609.50 c #Conflicts: 1342000 | #Constraints: 112783
3600.00/3609.50 c #Conflicts: 1343000 | #Constraints: 113783
3600.00/3609.50 c #Conflicts: 1344000 | #Constraints: 114783
3600.00/3609.50 c #Conflicts: 1345000 | #Constraints: 115783
3600.00/3609.50 c #Conflicts: 1346000 | #Constraints: 116783
3600.00/3609.50 c #Conflicts: 1347000 | #Constraints: 117783
3600.00/3609.50 c #Conflicts: 1348000 | #Constraints: 118783
3600.00/3609.50 c cpu time 3567.74 s
3600.00/3609.50 c deterministic time 224778522796 2.25e+11
3600.00/3609.50 c optimization time 139.096 s
3600.00/3609.50 c total solve time 3428.53 s
3600.00/3609.50 c core-guided solve time 0 s
3600.00/3609.50 c propagation time 1758.22 s
3600.00/3609.50 c conflict analysis time 1403.07 s
3600.00/3609.50 c propagations 1329334705
3600.00/3609.50 c resolve steps 87073688
3600.00/3609.50 c decisions 26836153
3600.00/3609.50 c conflicts 1348810
3600.00/3609.50 c restarts 2557
3600.00/3609.50 c inprocessing phases 49
3600.00/3609.50 c garbage collections 49 ,( 100.00 )
3600.00/3609.50 c input clauses 19082 ,( 99.17 )
3600.00/3609.50 c input cardinalities 159 ,( 0.83 )
3600.00/3609.50 c input general constraints 0 ,( 0.00 )
3600.00/3609.50 c input average constraint length 6.43
3600.00/3609.50 c input average constraint degree 1.97
3600.00/3609.50 c learned clauses 1003822 ,( 74.42 )
3600.00/3609.50 c learned cardinalities 42867 ,( 3.18 )
3600.00/3609.50 c learned general constraints 302129 ,( 22.40 )
3600.00/3609.50 c learned average constraint length 798.42
3600.00/3609.50 c learned average constraint degree 20393024.21
3600.00/3609.50 c watched CF 32, 64, 128, Arb: 82261 , 0 , 0 , 0
3600.00/3609.50 c counting CF 32, 64, 128, Arb: 219868 , 0 , 0 , 0
3600.00/3609.50 c watched constraints 82261 ,( 27.23 )
3600.00/3609.50 c counting constraints 219868 ,( 72.77 )
3600.00/3609.50 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 1300761171 , 631486938 , 1714694934 ,( 79272592 , 1635422342 )
3600.00/3609.50 c gcd simplifications 802
3600.00/3609.50 c detected cardinalities 5873
3600.00/3609.50 c weakened non-implied lits 380311021
3600.00/3609.50 c weakened non-implying lits 235052
3600.00/3609.50 c original variables 18921
3600.00/3609.50 c clausal propagations 605282881
3600.00/3609.50 c cardinality propagations 491023868
3600.00/3609.50 c watched propagations 5063487
3600.00/3609.50 c counting propagations 215819965
3600.00/3609.50 c watch lookups 76490287564
3600.00/3609.50 c watch backjump lookups 0
3600.00/3609.50 c watch checks 36071470766
3600.00/3609.50 c propagation checks 104545427368
3600.00/3609.50 c constraint additions 4957382718
3600.00/3609.50 c trail pops 1357505113
3600.00/3609.50 c formula constraints 19241
3600.00/3609.50 c learned constraints 1348802
3600.00/3609.50 c bound constraints 0
3600.00/3609.50 c core-guided constraints 0
3600.00/3609.50 c encountered formula constraints 56416064
3600.00/3609.50 c encountered learned constraints 32005337
3600.00/3609.50 c encountered bound constraints 0
3600.00/3609.50 c encountered core-guided constraints 0
3600.00/3609.50 c LP total time 392.913 s
3600.00/3609.50 c LP solve time 379.47 s
3600.00/3609.50 c LP constraints added 19742
3600.00/3609.50 c LP constraints removed 201
3600.00/3609.50 c LP pivots internal 141886
3600.00/3609.50 c LP pivots root 136522
3600.00/3609.50 c LP calls 16
3600.00/3609.50 c LP optimalities 3
3600.00/3609.50 c LP no pivot count 0
3600.00/3609.50 c LP infeasibilities 7
3600.00/3609.50 c LP valid Farkas constraints 7
3600.00/3609.50 c LP learned Farkas constraints 7
3600.00/3609.50 c LP basis resets 0
3600.00/3609.50 c LP cycling count 0
3600.00/3609.50 c LP singular count 0
3600.00/3609.50 c LP no primal count 0
3600.00/3609.50 c LP no farkas count 0
3600.00/3609.50 c LP other issue count 0
3600.00/3609.50 c LP Gomory cuts 2
3600.00/3609.50 c LP learned cuts 499
3600.00/3609.50 c LP deleted cuts 201
3600.00/3609.50 c LP encountered Gomory constraints 0
3600.00/3609.50 c LP encountered Farkas constraints 1076
3600.00/3609.50 c LP encountered learned Farkas constraints 14
3600.00/3609.50 c CG auxiliary variables introduced 0
3600.00/3609.50 c CG solutions found 0
3600.00/3609.50 c CG cores constructed 0
3600.00/3609.50 c CG core cardinality constraints returned 0
3600.00/3609.50 c CG unit cores 0
3600.00/3609.50 c CG single cores 0
3600.00/3609.50 c CG blocks removed during cardinality reduction 0
3600.00/3609.50 c CG first core best 0
3600.00/3609.50 c CG decision core best 0
3600.00/3609.50 c CG core reduction tie 0
3600.00/3609.50 c CG core degree average 0.00
3600.00/3609.50 c CG core slack average 0.00
3600.00/3609.50 c CG core upper bound improvements 0
3600.00/3609.50 c STR number of successful calls 0
3600.00/3609.50 c STR number of unsuccessful calls 0
3600.00/3609.50 c STR number of inconclusive calls 0
3600.00/3609.50 c STR number of successful attempts 0
3600.00/3609.50 c STR number of unsuccessful attempts 0
3600.00/3609.50 c STR number of inconclusive attempts 0
3600.00/3609.50 c STR average degree increase per successful call inf
3600.00/3609.50 c STR average degree increase per successful attempt inf
3600.00/3609.50 c STR total number of conflicts for successful attempts 0
3600.00/3609.50 c STR total number of conflicts for unsuccessful attempts 0
3600.00/3609.50 c STR total number of conflicts for inconclusive attempts 0
3600.00/3609.50 c STR average number of conflicts per successful attempt inf
3600.00/3609.50 c STR average number of conflicts per unsuccessful attempt inf
3600.00/3609.50 c STR average number of conflicts per inconclusive attempt inf
3600.00/3609.50 c AVG.sumWPerc 64.78
3600.00/3609.50 c bigint constraints 0
3600.00/3609.50 s UNKNOWN
3600.00/3609.50 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: 63708 MiB (61496 MiB free)
memory of node 1: 64465 MiB (56266 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4506979-1751174493/watcher-4506979-1751174493 -o /tmp/evaluation-result-4506979-1751174493/solver-4506979-1751174493 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1751170667-20844 --watchdog 3760 --file-size-limit 100000 run-dec-ls-log.sh HOME/instance-4506979-1751174493.opb PROOFDIR/proof-4506979-1751174493
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=21448, runsolver pid=21445
[startup+0.100067 s]*
/proc/loadavg: 4.08 4.09 4.07 5/270 21450
/proc/meminfo: memFree=120573248/131249992 swapFree=33010672/33010684
[pid=21448] ppid=21445 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/21448/stat : 21448 (run-dec-ls-log.) S 21445 21448 20833 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 33123801 4292608 768 18446744073709551615 94270413152256 94270414046789 140727700019120 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94270414285840 94270414333584 94270432202752 140727700027675 140727700027873 140727700027873 140727700033475 0
/proc/21448/statm: 1048 768 704 219 0 110 0
[pid=21450] ppid=21448 vsize=68232 memory=21676 CPUtime=0.07 cores=4,6
/proc/21450/stat : 21450 (roundingsat) R 21448 21448 20833 0 -1 4194304 3787 0 0 0 6 1 0 0 20 0 1 0 33123802 69869568 5419 18446744073709551615 4227072 8923433 140721325531936 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 12263424 140721325537616 140721325537832 140721325537832 140721325543402 0
/proc/21450/statm: 17058 5419 1984 1147 0 4485 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 72424 KiB
Current children cumulated memory: 24748 KiB
[startup+0.205861 s]*
/proc/loadavg: 4.08 4.09 4.07 5/270 21450
/proc/meminfo: memFree=120533428/131249992 swapFree=33010672/33010684
[pid=21448] ppid=21445 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/21448/stat : 21448 (run-dec-ls-log.) S 21445 21448 20833 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 33123801 4292608 768 18446744073709551615 94270413152256 94270414046789 140727700019120 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94270414285840 94270414333584 94270432202752 140727700027675 140727700027873 140727700027873 140727700033475 0
/proc/21448/statm: 1048 768 704 219 0 110 0
[pid=21450] ppid=21448 vsize=110068 memory=57352 CPUtime=0.18 cores=4,6
/proc/21450/stat : 21450 (roundingsat) R 21448 21448 20833 0 -1 4194304 11952 0 0 0 15 3 0 0 20 0 1 0 33123802 112709632 14338 18446744073709551615 4227072 8923433 140721325531936 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 12263424 140721325537616 140721325537832 140721325537832 140721325543402 0
/proc/21450/statm: 27517 14338 2272 1147 0 14944 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 114260 KiB
Current children cumulated memory: 60424 KiB
[startup+0.305811 s]*
/proc/loadavg: 4.08 4.09 4.07 5/270 21450
/proc/meminfo: memFree=120529396/131249992 swapFree=33010672/33010684
[pid=21448] ppid=21445 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/21448/stat : 21448 (run-dec-ls-log.) S 21445 21448 20833 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 33123801 4292608 768 18446744073709551615 94270413152256 94270414046789 140727700019120 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94270414285840 94270414333584 94270432202752 140727700027675 140727700027873 140727700027873 140727700033475 0
/proc/21448/statm: 1048 768 704 219 0 110 0
[pid=21450] ppid=21448 vsize=113256 memory=58888 CPUtime=0.27 cores=4,6
/proc/21450/stat : 21450 (roundingsat) R 21448 21448 20833 0 -1 4194304 12341 0 0 0 24 3 0 0 20 0 1 0 33123802 115974144 14722 18446744073709551615 4227072 8923433 140721325531936 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 12263424 140721325537616 140721325537832 140721325537832 140721325543402 0
/proc/21450/statm: 28314 14722 2272 1147 0 15741 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 117448 KiB
Current children cumulated memory: 61960 KiB
[startup+0.700213 s]
/proc/loadavg: 4.08 4.09 4.07 5/270 21450
/proc/meminfo: memFree=120529396/131249992 swapFree=33010672/33010684
[pid=21448] ppid=21445 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/21448/stat : 21448 (run-dec-ls-log.) S 21445 21448 20833 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 33123801 4292608 768 18446744073709551615 94270413152256 94270414046789 140727700019120 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94270414285840 94270414333584 94270432202752 140727700027675 140727700027873 140727700027873 140727700033475 0
/proc/21448/statm: 1048 768 704 219 0 110 0
[pid=21450] ppid=21448 vsize=114136 memory=60296 CPUtime=0.66 cores=4,6
/proc/21450/stat : 21450 (roundingsat) R 21448 21448 20833 0 -1 4194304 12683 0 0 0 63 3 0 0 20 0 1 0 33123802 116875264 15074 18446744073709551615 4227072 8923433 140721325531936 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 12263424 140721325537616 140721325537832 140721325537832 140721325543402 0
/proc/21450/statm: 28534 15074 2272 1147 0 15961 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 118328 KiB
Current children cumulated memory: 63368 KiB
[startup+1.50021 s]
/proc/loadavg: 4.08 4.09 4.07 5/270 21450
/proc/meminfo: memFree=120529648/131249992 swapFree=33010672/33010684
[pid=21448] ppid=21445 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/21448/stat : 21448 (run-dec-ls-log.) S 21445 21448 20833 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 33123801 4292608 768 18446744073709551615 94270413152256 94270414046789 140727700019120 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94270414285840 94270414333584 94270432202752 140727700027675 140727700027873 140727700027873 140727700033475 0
/proc/21448/statm: 1048 768 704 219 0 110 0
[pid=21450] ppid=21448 vsize=114136 memory=60296 CPUtime=1.46 cores=4,6
/proc/21450/stat : 21450 (roundingsat) R 21448 21448 20833 0 -1 4194304 12683 0 0 0 143 3 0 0 20 0 1 0 33123802 116875264 15074 18446744073709551615 4227072 8923433 140721325531936 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 12263424 140721325537616 140721325537832 140721325537832 140721325543402 0
/proc/21450/statm: 28534 15074 2272 1147 0 15961 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 118328 KiB
Current children cumulated memory: 63368 KiB
[startup+3.10563 s]
/proc/loadavg: 4.08 4.09 4.07 5/270 21450
/proc/meminfo: memFree=120501396/131249992 swapFree=33010672/33010684
[pid=21448] ppid=21445 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/21448/stat : 21448 (run-dec-ls-log.) S 21445 21448 20833 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 33123801 4292608 768 18446744073709551615 94270413152256 94270414046789 140727700019120 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94270414285840 94270414333584 94270432202752 140727700027675 140727700027873 140727700027873 140727700033475 0
/proc/21448/statm: 1048 768 704 219 0 110 0
[pid=21450] ppid=21448 vsize=116492 memory=63112 CPUtime=3.06 cores=4,6
/proc/21450/stat : 21450 (roundingsat) R 21448 21448 20833 0 -1 4194304 13387 0 0 0 303 3 0 0 20 0 1 0 33123802 119287808 15778 18446744073709551615 4227072 8923433 140721325531936 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 12263424 140721325537616 140721325537832 140721325537832 140721325543402 0
/proc/21450/statm: 29123 15778 2272 1147 0 16550 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 120684 KiB
Current children cumulated memory: 66184 KiB
[startup+6.30021 s]
/proc/loadavg: 4.07 4.09 4.07 5/270 21450
/proc/meminfo: memFree=120477492/131249992 swapFree=33010672/33010684
[pid=21448] ppid=21445 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/21448/stat : 21448 (run-dec-ls-log.) S 21445 21448 20833 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 33123801 4292608 768 18446744073709551615 94270413152256 94270414046789 140727700019120 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94270414285840 94270414333584 94270432202752 140727700027675 140727700027873 140727700027873 140727700033475 0
/proc/21448/statm: 1048 768 704 219 0 110 0
[pid=21450] ppid=21448 vsize=120712 memory=71476 CPUtime=6.25 cores=4,6
/proc/21450/stat : 21450 (roundingsat) R 21448 21448 20833 0 -1 4194304 14966 0 0 0 614 11 0 0 20 0 1 0 33123802 123609088 17869 18446744073709551615 4227072 8923433 140721325531936 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 12263424 140721325537616 140721325537832 140721325537832 140721325543402 0
/proc/21450/statm: 30178 17869 2336 1147 0 17605 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 124904 KiB
Current children cumulated memory: 74548 KiB
[startup+12.7002 s]
/proc/loadavg: 4.07 4.09 4.07 5/270 21451
/proc/meminfo: memFree=120437676/131249992 swapFree=33010672/33010684
[pid=21448] ppid=21445 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/21448/stat : 21448 (run-dec-ls-log.) S 21445 21448 20833 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 33123801 4292608 768 18446744073709551615 94270413152256 94270414046789 140727700019120 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94270414285840 94270414333584 94270432202752 140727700027675 140727700027873 140727700027873 140727700033475 0
/proc/21448/statm: 1048 768 704 219 0 110 0
[pid=21450] ppid=21448 vsize=130104 memory=79412 CPUtime=12.62 cores=4,6
/proc/21450/stat : 21450 (roundingsat) R 21448 21448 20833 0 -1 4194304 16959 0 0 0 1235 27 0 0 20 0 1 0 33123802 133226496 19853 18446744073709551615 4227072 8923433 140721325531936 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 12263424 140721325537616 140721325537832 140721325537832 140721325543402 0
/proc/21450/statm: 32526 19853 2336 1147 0 19953 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 134296 KiB
Current children cumulated memory: 82484 KiB
[startup+25.5002 s]
/proc/loadavg: 4.12 4.10 4.08 5/270 21451
/proc/meminfo: memFree=120353528/131249992 swapFree=33010672/33010684
[pid=21448] ppid=21445 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/21448/stat : 21448 (run-dec-ls-log.) S 21445 21448 20833 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 33123801 4292608 768 18446744073709551615 94270413152256 94270414046789 140727700019120 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94270414285840 94270414333584 94270432202752 140727700027675 140727700027873 140727700027873 140727700033475 0
/proc/21448/statm: 1048 768 704 219 0 110 0
[pid=21450] ppid=21448 vsize=138860 memory=88756 CPUtime=25.38 cores=4,6
/proc/21450/stat : 21450 (roundingsat) R 21448 21448 20833 0 -1 4194304 19268 0 0 0 2486 52 0 0 20 0 1 0 33123802 142192640 22189 18446744073709551615 4227072 8923433 140721325531936 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 12263424 140721325537616 140721325537832 140721325537832 140721325543402 0
/proc/21450/statm: 34715 22189 2336 1147 0 22142 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 143052 KiB
Current children cumulated memory: 91828 KiB
[startup+51.1057 s]
/proc/loadavg: 4.08 4.09 4.07 5/270 21451
/proc/meminfo: memFree=120149876/131249992 swapFree=33010672/33010684
[pid=21448] ppid=21445 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/21448/stat : 21448 (run-dec-ls-log.) S 21445 21448 20833 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 33123801 4292608 768 18446744073709551615 94270413152256 94270414046789 140727700019120 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94270414285840 94270414333584 94270432202752 140727700027675 140727700027873 140727700027873 140727700033475 0
/proc/21448/statm: 1048 768 704 219 0 110 0
[pid=21450] ppid=21448 vsize=176700 memory=117676 CPUtime=50.92 cores=4,6
/proc/21450/stat : 21450 (roundingsat) R 21448 21448 20833 0 -1 4194304 24477 0 0 0 4993 99 0 0 20 0 1 0 33123802 180940800 29419 18446744073709551615 4227072 8923433 140721325531936 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 12263424 140721325537616 140721325537832 140721325537832 140721325543402 0
/proc/21450/statm: 44175 29419 2336 1147 0 31602 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 180892 KiB
Current children cumulated memory: 120748 KiB
[startup+102.3 s]
/proc/loadavg: 4.07 4.09 4.07 5/270 21456
/proc/meminfo: memFree=119807488/131249992 swapFree=33010672/33010684
[pid=21448] ppid=21445 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/21448/stat : 21448 (run-dec-ls-log.) S 21445 21448 20833 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 33123801 4292608 768 18446744073709551615 94270413152256 94270414046789 140727700019120 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94270414285840 94270414333584 94270432202752 140727700027675 140727700027873 140727700027873 140727700033475 0
/proc/21448/statm: 1048 768 704 219 0 110 0
[pid=21450] ppid=21448 vsize=226648 memory=161928 CPUtime=101.95 cores=4,6
/proc/21450/stat : 21450 (roundingsat) R 21448 21448 20833 0 -1 4194304 33045 0 0 0 10008 187 0 0 20 0 1 0 33123802 232087552 40482 18446744073709551615 4227072 8923433 140721325531936 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 12263424 140721325537616 140721325537832 140721325537832 140721325543402 0
/proc/21450/statm: 56662 40482 2336 1147 0 44089 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 230840 KiB
Current children cumulated memory: 165000 KiB
[startup+162.3 s]
/proc/loadavg: 4.06 4.08 4.07 5/271 21463
/proc/meminfo: memFree=119371760/131249992 swapFree=33010672/33010684
[pid=21448] ppid=21445 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/21448/stat : 21448 (run-dec-ls-log.) S 21445 21448 20833 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 33123801 4292608 768 18446744073709551615 94270413152256 94270414046789 140727700019120 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94270414285840 94270414333584 94270432202752 140727700027675 140727700027873 140727700027873 140727700033475 0
/proc/21448/statm: 1048 768 704 219 0 110 0
[pid=21450] ppid=21448 vsize=247484 memory=191900 CPUtime=161.76 cores=4,6
/proc/21450/stat : 21450 (roundingsat) R 21448 21448 20833 0 -1 4194304 37993 0 0 0 15894 282 0 0 20 0 1 0 33123802 253423616 47975 18446744073709551615 4227072 8923433 140721325531936 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 12263424 140721325537616 140721325537832 140721325537832 140721325543402 0
/proc/21450/statm: 61871 47975 2336 1147 0 49298 0
Current children cumulated CPU time: 161.76 s
Current children cumulated vsize: 251676 KiB
Current children cumulated memory: 194972 KiB
[startup+222.3 s]
/proc/loadavg: 4.06 4.08 4.07 5/273 21468
/proc/meminfo: memFree=119019620/131249992 swapFree=33010672/33010684
[pid=21448] ppid=21445 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/21448/stat : 21448 (run-dec-ls-log.) S 21445 21448 20833 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 33123801 4292608 768 18446744073709551615 94270413152256 94270414046789 140727700019120 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94270414285840 94270414333584 94270432202752 140727700027675 140727700027873 140727700027873 140727700033475 0
/proc/21448/statm: 1048 768 704 219 0 110 0
[pid=21450] ppid=21448 vsize=288508 memory=237320 CPUtime=221.59 cores=4,6
/proc/21450/stat : 21450 (roundingsat) R 21448 21448 20833 0 -1 4194304 41174 0 0 0 21803 356 0 0 20 0 1 0 33123802 295432192 59330 18446744073709551615 4227072 8923433 140721325531936 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 12263424 140721325537616 140721325537832 140721325537832 140721325543402 0
################
# More data... #
################
/proc/21450/statm: 302246 278198 2368 1147 0 289673 0
Current children cumulated CPU time: 3094.1 s
Current children cumulated vsize: 1213176 KiB
Current children cumulated memory: 1115864 KiB
[startup+3162.3 s]
/proc/loadavg: 4.16 4.16 4.11 5/271 21734
/proc/meminfo: memFree=104062208/131249992 swapFree=33010672/33010684
[pid=21448] ppid=21445 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/21448/stat : 21448 (run-dec-ls-log.) S 21445 21448 20833 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 33123801 4292608 768 18446744073709551615 94270413152256 94270414046789 140727700019120 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94270414285840 94270414333584 94270432202752 140727700027675 140727700027873 140727700027873 140727700033475 0
/proc/21448/statm: 1048 768 704 219 0 110 0
[pid=21450] ppid=21448 vsize=1208984 memory=1112792 CPUtime=3153.95 cores=4,6
/proc/21450/stat : 21450 (roundingsat) R 21448 21448 20833 0 -1 4194304 143111 0 0 0 312523 2872 0 0 20 0 1 0 33123802 1237999616 278198 18446744073709551615 4227072 8923433 140721325531936 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 12263424 140721325537616 140721325537832 140721325537832 140721325543402 0
/proc/21450/statm: 302246 278198 2368 1147 0 289673 0
Current children cumulated CPU time: 3153.95 s
Current children cumulated vsize: 1213176 KiB
Current children cumulated memory: 1115864 KiB
[startup+3222.3 s]
/proc/loadavg: 4.06 4.13 4.10 5/273 21742
/proc/meminfo: memFree=103614804/131249992 swapFree=33010672/33010684
[pid=21448] ppid=21445 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/21448/stat : 21448 (run-dec-ls-log.) S 21445 21448 20833 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 33123801 4292608 768 18446744073709551615 94270413152256 94270414046789 140727700019120 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94270414285840 94270414333584 94270432202752 140727700027675 140727700027873 140727700027873 140727700033475 0
/proc/21448/statm: 1048 768 704 219 0 110 0
[pid=21450] ppid=21448 vsize=1208984 memory=1112792 CPUtime=3213.79 cores=4,6
/proc/21450/stat : 21450 (roundingsat) R 21448 21448 20833 0 -1 4194304 143112 0 0 0 318451 2928 0 0 20 0 1 0 33123802 1237999616 278198 18446744073709551615 4227072 8923433 140721325531936 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 12263424 140721325537616 140721325537832 140721325537832 140721325543402 0
/proc/21450/statm: 302246 278198 2368 1147 0 289673 0
Current children cumulated CPU time: 3213.79 s
Current children cumulated vsize: 1213176 KiB
Current children cumulated memory: 1115864 KiB
[startup+3282.3 s]
/proc/loadavg: 4.13 4.13 4.10 5/272 21744
/proc/meminfo: memFree=103207900/131249992 swapFree=33010672/33010684
[pid=21448] ppid=21445 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/21448/stat : 21448 (run-dec-ls-log.) S 21445 21448 20833 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 33123801 4292608 768 18446744073709551615 94270413152256 94270414046789 140727700019120 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94270414285840 94270414333584 94270432202752 140727700027675 140727700027873 140727700027873 140727700033475 0
/proc/21448/statm: 1048 768 704 219 0 110 0
[pid=21450] ppid=21448 vsize=1210672 memory=1114200 CPUtime=3273.64 cores=4,6
/proc/21450/stat : 21450 (roundingsat) R 21448 21448 20833 0 -1 4194304 143479 0 0 0 324381 2983 0 0 20 0 1 0 33123802 1239728128 278550 18446744073709551615 4227072 8923433 140721325531936 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 12263424 140721325537616 140721325537832 140721325537832 140721325543402 0
/proc/21450/statm: 302668 278550 2368 1147 0 290095 0
Current children cumulated CPU time: 3273.64 s
Current children cumulated vsize: 1214864 KiB
Current children cumulated memory: 1117272 KiB
[startup+3342.3 s]
/proc/loadavg: 4.15 4.14 4.10 5/272 21746
/proc/meminfo: memFree=102816352/131249992 swapFree=33010672/33010684
[pid=21448] ppid=21445 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/21448/stat : 21448 (run-dec-ls-log.) S 21445 21448 20833 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 33123801 4292608 768 18446744073709551615 94270413152256 94270414046789 140727700019120 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94270414285840 94270414333584 94270432202752 140727700027675 140727700027873 140727700027873 140727700033475 0
/proc/21448/statm: 1048 768 704 219 0 110 0
[pid=21450] ppid=21448 vsize=1217412 memory=1120216 CPUtime=3333.49 cores=4,6
/proc/21450/stat : 21450 (roundingsat) R 21448 21448 20833 0 -1 4194304 144990 0 0 0 330326 3023 0 0 20 0 1 0 33123802 1246629888 280054 18446744073709551615 4227072 8923433 140721325531936 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 12263424 140721325537616 140721325537832 140721325537832 140721325543402 0
/proc/21450/statm: 304353 280054 2368 1147 0 291780 0
Current children cumulated CPU time: 3333.49 s
Current children cumulated vsize: 1221604 KiB
Current children cumulated memory: 1123288 KiB
[startup+3402.3 s]
/proc/loadavg: 4.16 4.14 4.10 5/274 21750
/proc/meminfo: memFree=102329868/131249992 swapFree=33010672/33010684
[pid=21448] ppid=21445 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/21448/stat : 21448 (run-dec-ls-log.) S 21445 21448 20833 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 33123801 4292608 768 18446744073709551615 94270413152256 94270414046789 140727700019120 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94270414285840 94270414333584 94270432202752 140727700027675 140727700027873 140727700027873 140727700033475 0
/proc/21448/statm: 1048 768 704 219 0 110 0
[pid=21450] ppid=21448 vsize=1226648 memory=1127256 CPUtime=3393.34 cores=4,6
/proc/21450/stat : 21450 (roundingsat) R 21448 21448 20833 0 -1 4194304 146732 0 0 0 336257 3077 0 0 20 0 1 0 33123802 1256087552 281814 18446744073709551615 4227072 8923433 140721325531936 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 12263424 140721325537616 140721325537832 140721325537832 140721325543402 0
/proc/21450/statm: 306662 281814 2368 1147 0 294089 0
Current children cumulated CPU time: 3393.34 s
Current children cumulated vsize: 1230840 KiB
Current children cumulated memory: 1130328 KiB
[startup+3462.3 s]
/proc/loadavg: 4.13 4.13 4.09 5/274 21798
/proc/meminfo: memFree=109567460/131249992 swapFree=33010672/33010684
[pid=21448] ppid=21445 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/21448/stat : 21448 (run-dec-ls-log.) S 21445 21448 20833 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 33123801 4292608 768 18446744073709551615 94270413152256 94270414046789 140727700019120 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94270414285840 94270414333584 94270432202752 140727700027675 140727700027873 140727700027873 140727700033475 0
/proc/21448/statm: 1048 768 704 219 0 110 0
[pid=21450] ppid=21448 vsize=1226900 memory=1127256 CPUtime=3453.17 cores=4,6
/proc/21450/stat : 21450 (roundingsat) R 21448 21448 20833 0 -1 4194304 146734 0 0 0 342180 3137 0 0 20 0 1 0 33123802 1256345600 281814 18446744073709551615 4227072 8923433 140721325531936 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 12263424 140721325537616 140721325537832 140721325537832 140721325543402 0
/proc/21450/statm: 306725 281814 2368 1147 0 294152 0
Current children cumulated CPU time: 3453.17 s
Current children cumulated vsize: 1231092 KiB
Current children cumulated memory: 1130328 KiB
[startup+3522.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/272 21800
/proc/meminfo: memFree=109074672/131249992 swapFree=33010672/33010684
[pid=21448] ppid=21445 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/21448/stat : 21448 (run-dec-ls-log.) S 21445 21448 20833 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 33123801 4292608 768 18446744073709551615 94270413152256 94270414046789 140727700019120 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94270414285840 94270414333584 94270432202752 140727700027675 140727700027873 140727700027873 140727700033475 0
/proc/21448/statm: 1048 768 704 219 0 110 0
[pid=21450] ppid=21448 vsize=1226900 memory=1127256 CPUtime=3513.02 cores=4,6
/proc/21450/stat : 21450 (roundingsat) R 21448 21448 20833 0 -1 4194304 146734 0 0 0 348105 3197 0 0 20 0 1 0 33123802 1256345600 281814 18446744073709551615 4227072 8923433 140721325531936 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 12263424 140721325537616 140721325537832 140721325537832 140721325543402 0
/proc/21450/statm: 306725 281814 2368 1147 0 294152 0
Current children cumulated CPU time: 3513.02 s
Current children cumulated vsize: 1231092 KiB
Current children cumulated memory: 1130328 KiB
[startup+3582.3 s]
/proc/loadavg: 4.39 4.20 4.12 5/272 21802
/proc/meminfo: memFree=108530132/131249992 swapFree=33010672/33010684
[pid=21448] ppid=21445 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/21448/stat : 21448 (run-dec-ls-log.) S 21445 21448 20833 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 33123801 4292608 768 18446744073709551615 94270413152256 94270414046789 140727700019120 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94270414285840 94270414333584 94270432202752 140727700027675 140727700027873 140727700027873 140727700033475 0
/proc/21448/statm: 1048 768 704 219 0 110 0
[pid=21450] ppid=21448 vsize=1226900 memory=1130328 CPUtime=3572.87 cores=4,6
/proc/21450/stat : 21450 (roundingsat) R 21448 21448 20833 0 -1 4194304 146737 0 0 0 354066 3221 0 0 20 0 1 0 33123802 1256345600 282582 18446744073709551615 4227072 8923433 140721325531936 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 12263424 140721325537616 140721325537832 140721325537832 140721325543402 0
/proc/21450/statm: 306725 282582 2368 1147 0 294152 0
Current children cumulated CPU time: 3572.87 s
Current children cumulated vsize: 1231092 KiB
Current children cumulated memory: 1133400 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.5 s]
/proc/loadavg: 4.32 4.20 4.12 5/272 21803
/proc/meminfo: memFree=108381296/131249992 swapFree=33010672/33010684
[pid=21448] ppid=21445 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/21448/stat : 21448 (run-dec-ls-log.) S 21445 21448 20833 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 33123801 4292608 768 18446744073709551615 94270413152256 94270414046789 140727700019120 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94270414285840 94270414333584 94270432202752 140727700027675 140727700027873 140727700027873 140727700033475 0
/proc/21448/statm: 1048 768 704 219 0 110 0
[pid=21450] ppid=21448 vsize=1226900 memory=1133912 CPUtime=3600 cores=4,6
/proc/21450/stat : 21450 (roundingsat) R 21448 21448 20833 0 -1 4194304 146740 0 0 0 356774 3226 0 0 20 0 1 0 33123802 1256345600 283478 18446744073709551615 4227072 8923433 140721325531936 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 12263424 140721325537616 140721325537832 140721325537832 140721325543402 0
/proc/21450/statm: 306725 283478 2368 1147 0 294152 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 1231092 KiB
Current children cumulated memory: 1136984 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.5 s]
# the end of solver process 21448 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.001191 s, system=0.001176 s
[startup+3609.54 s]
# the end of solver process 21450 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3567.76 s, system=32.2817 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+3609.5 s]
/proc/loadavg: 4.32 4.20 4.12 5/272 21803
/proc/meminfo: memFree=108381296/131249992 swapFree=33010672/33010684
[pid=21448] ppid=21445 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/21448/stat : 21448 (run-dec-ls-log.) S 21445 21448 20833 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 33123801 4292608 768 18446744073709551615 94270413152256 94270414046789 140727700019120 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94270414285840 94270414333584 94270432202752 140727700027675 140727700027873 140727700027873 140727700033475 0
/proc/21448/statm: 1048 768 704 219 0 110 0
[pid=21450] ppid=21448 vsize=1226900 memory=1133912 CPUtime=3600 cores=4,6
/proc/21450/stat : 21450 (roundingsat) R 21448 21448 20833 0 -1 4194304 146740 0 0 0 356774 3226 0 0 20 0 1 0 33123802 1256345600 283478 18446744073709551615 4227072 8923433 140721325531936 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 12263424 140721325537616 140721325537832 140721325537832 140721325543402 0
/proc/21450/statm: 306725 283478 2368 1147 0 294152 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 1231092 KiB
Current children cumulated memory: 1136984 KiB
Child status: 2
Real time (s): 3609.54
CPU time (s): 3600.04
CPU user time (s): 3567.76
CPU system time (s): 32.2817
CPU usage (%): 99.7368
Max. virtual memory (cumulated for all children) (KiB): 1231092
Max. memory (cumulated for all children) (KiB): 1136984
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3567.76
system time used= 32.2817
maximum resident set size= 1134296
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 146972
page faults= 0
swaps= 0
block input operations= 0
block output operations= 11657936
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 551
involuntary context switches= 5084
# summary of solver processes directly reported to runsolver:
# pid: 21448,21450
# total CPU time (s): 3600.04
# total CPU user time (s): 3567.76
# total CPU system time (s): 32.2817
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.45629 second user time and 16.1993 second system time
The end
Begin job on nodeC035 at 2025-06-29 07:21:33
IDJOB=4506979
IDBENCH=158311
IDSOLVER=3354
FILE ID=nodeC035/4506979-1751174493
RUNJOBID= nodeC035-1751170667-20844
SLURM_JOB_ID= 9587529
Free space on /tmp= 432996 MiB
SOLVER NAME= roundingsat-ls-log 63f22ad
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathNG/normalized-NG_K159.opb
COMMAND LINE= run-dec-ls-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4506979-1751174493/watcher-4506979-1751174493 -o /tmp/evaluation-result-4506979-1751174493/solver-4506979-1751174493 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1751170667-20844 --watchdog 3760 --file-size-limit 100000 run-dec-ls-log.sh HOME/instance-4506979-1751174493.opb PROOFDIR/proof-4506979-1751174493
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 27d58ce279c297ab3aeba38d0412d1d9
RANDOM SEED=1860366589
nodeC035 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.751
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.51
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.779
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.51
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 : 3577.375
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.51
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 : 3700.000
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.51
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.012
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.51
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.810
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.51
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.751
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.51
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.634
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.51
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249992 kB
MemFree: 120589124 kB
MemAvailable: 127267472 kB
Buffers: 2352 kB
Cached: 7473356 kB
SwapCached: 8 kB
Active: 2800148 kB
Inactive: 7274088 kB
Active(anon): 2610616 kB
Inactive(anon): 6040 kB
Active(file): 189532 kB
Inactive(file): 7268048 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010672 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 104576 kB
Writeback: 0 kB
AnonPages: 2600456 kB
Mapped: 116336 kB
Shmem: 18056 kB
KReclaimable: 120012 kB
Slab: 208844 kB
SReclaimable: 120012 kB
SUnreclaim: 88832 kB
KernelStack: 4384 kB
PageTables: 8352 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 3257200 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150648 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 2101248 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: 205524 kB
DirectMap2M: 7954432 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 433028 MiB
End job on nodeC035 at 2025-06-29 08:21:42