0.00/0.03 c RoundingSat 2
0.00/0.03 c branch pb25
0.00/0.03 c commit 63f22ad
0.28/0.34 c #variables 18921 #constraints 19241
93.41/93.72 c #Conflicts: 1000 | #Constraints: 20240
93.41/93.72 c #Conflicts: 2000 | #Constraints: 21240
93.41/93.72 c INPROCESSING
93.41/93.72 c GARBAGE COLLECT
93.41/93.72 c #Conflicts: 3000 | #Constraints: 20477
93.41/93.72 c #Conflicts: 4000 | #Constraints: 21477
93.41/93.72 c INPROCESSING
93.41/93.72 c GARBAGE COLLECT
93.41/93.72 c #Conflicts: 5000 | #Constraints: 20998
93.41/93.72 c #Conflicts: 6000 | #Constraints: 21998
93.41/93.72 c INPROCESSING
93.41/93.72 c GARBAGE COLLECT
93.41/93.72 c #Conflicts: 7000 | #Constraints: 21077
93.41/93.72 c #Conflicts: 8000 | #Constraints: 22077
93.41/93.72 c #Conflicts: 9000 | #Constraints: 23077
93.41/93.72 c INPROCESSING
93.41/93.72 c GARBAGE COLLECT
93.41/93.72 c #Conflicts: 10000 | #Constraints: 21827
93.41/93.72 c #Conflicts: 11000 | #Constraints: 22827
93.41/93.72 c #Conflicts: 12000 | #Constraints: 23827
93.41/93.72 c INPROCESSING
93.41/93.72 c GARBAGE COLLECT
93.41/93.72 c #Conflicts: 13000 | #Constraints: 22350
93.41/93.72 c #Conflicts: 14000 | #Constraints: 23350
93.41/93.72 c #Conflicts: 15000 | #Constraints: 24350
93.41/93.72 c #Conflicts: 16000 | #Constraints: 25350
93.41/93.72 c #Conflicts: 17000 | #Constraints: 26350
93.41/93.72 c #Conflicts: 18000 | #Constraints: 27350
93.41/93.72 c #Conflicts: 19000 | #Constraints: 28350
93.41/93.72 c #Conflicts: 20000 | #Constraints: 29350
93.41/93.72 c INPROCESSING
93.41/93.72 c GARBAGE COLLECT
93.41/93.72 c #Conflicts: 21000 | #Constraints: 24961
93.41/93.72 c #Conflicts: 22000 | #Constraints: 25961
93.41/93.72 c #Conflicts: 23000 | #Constraints: 26961
93.41/93.72 c #Conflicts: 24000 | #Constraints: 27961
93.41/93.72 c INPROCESSING
93.41/93.72 c GARBAGE COLLECT
93.41/93.72 c #Conflicts: 25000 | #Constraints: 24163
93.41/93.72 c #Conflicts: 26000 | #Constraints: 25163
93.41/93.72 c #Conflicts: 27000 | #Constraints: 26163
93.41/93.72 c #Conflicts: 28000 | #Constraints: 27163
93.41/93.72 c #Conflicts: 29000 | #Constraints: 28163
93.41/93.72 c #Conflicts: 30000 | #Constraints: 29163
93.41/93.72 c #Conflicts: 31000 | #Constraints: 30163
93.41/93.72 c #Conflicts: 32000 | #Constraints: 31163
93.41/93.72 c #Conflicts: 33000 | #Constraints: 32163
93.41/93.72 c #Conflicts: 34000 | #Constraints: 33163
93.41/93.72 c #Conflicts: 35000 | #Constraints: 34163
93.41/93.72 c #Conflicts: 36000 | #Constraints: 35163
93.41/93.72 c INPROCESSING
93.41/93.72 c GARBAGE COLLECT
93.41/93.72 c #Conflicts: 37000 | #Constraints: 28194
93.41/93.72 c #Conflicts: 38000 | #Constraints: 29194
93.41/93.72 c #Conflicts: 39000 | #Constraints: 30194
93.41/93.72 c #Conflicts: 40000 | #Constraints: 31194
93.41/93.72 c #Conflicts: 41000 | #Constraints: 32194
93.41/93.72 c INPROCESSING
93.41/93.72 c GARBAGE COLLECT
93.41/93.72 c #Conflicts: 42000 | #Constraints: 26538
93.41/93.72 c #Conflicts: 43000 | #Constraints: 27538
93.41/93.72 c #Conflicts: 44000 | #Constraints: 28538
93.41/93.72 c #Conflicts: 45000 | #Constraints: 29538
93.41/93.72 c #Conflicts: 46000 | #Constraints: 30538
93.41/93.72 c #Conflicts: 47000 | #Constraints: 31538
93.41/93.72 c #Conflicts: 48000 | #Constraints: 32538
93.41/93.72 c #Conflicts: 49000 | #Constraints: 33538
93.41/93.72 c #Conflicts: 50000 | #Constraints: 34538
93.41/93.72 c #Conflicts: 51000 | #Constraints: 35538
93.41/93.72 c #Conflicts: 52000 | #Constraints: 36538
93.41/93.72 c #Conflicts: 53000 | #Constraints: 37538
93.41/93.72 c #Conflicts: 54000 | #Constraints: 38538
93.41/93.72 c #Conflicts: 55000 | #Constraints: 39538
93.41/93.72 c #Conflicts: 56000 | #Constraints: 40538
93.41/93.72 c INPROCESSING
93.41/93.72 c GARBAGE COLLECT
93.41/93.72 c #Conflicts: 57000 | #Constraints: 31047
93.41/93.72 c #Conflicts: 58000 | #Constraints: 32047
93.41/93.72 c #Conflicts: 59000 | #Constraints: 33047
93.41/93.72 c #Conflicts: 60000 | #Constraints: 34047
93.41/93.72 c #Conflicts: 61000 | #Constraints: 35047
93.41/93.72 c #Conflicts: 62000 | #Constraints: 36047
93.41/93.72 c INPROCESSING
93.41/93.72 c GARBAGE COLLECT
93.41/93.72 c #Conflicts: 63000 | #Constraints: 28560
93.41/93.72 c #Conflicts: 64000 | #Constraints: 29560
93.41/93.72 c #Conflicts: 65000 | #Constraints: 30560
93.41/93.72 c #Conflicts: 66000 | #Constraints: 31560
93.41/93.72 c #Conflicts: 67000 | #Constraints: 32560
93.41/93.72 c #Conflicts: 68000 | #Constraints: 33560
93.41/93.72 c #Conflicts: 69000 | #Constraints: 34560
93.41/93.72 c #Conflicts: 70000 | #Constraints: 35560
93.41/93.72 c #Conflicts: 71000 | #Constraints: 36560
93.41/93.72 c #Conflicts: 72000 | #Constraints: 37560
209.98/210.69 c #Conflicts: 73000 | #Constraints: 38560
209.98/210.69 c #Conflicts: 74000 | #Constraints: 39560
209.98/210.69 c #Conflicts: 75000 | #Constraints: 40560
209.98/210.69 c #Conflicts: 76000 | #Constraints: 41560
209.98/210.69 c #Conflicts: 77000 | #Constraints: 42560
209.98/210.69 c #Conflicts: 78000 | #Constraints: 43560
209.98/210.69 c #Conflicts: 79000 | #Constraints: 44560
209.98/210.69 c #Conflicts: 80000 | #Constraints: 45560
209.98/210.69 c INPROCESSING
209.98/210.69 c GARBAGE COLLECT
209.98/210.69 c #Conflicts: 81000 | #Constraints: 33441
209.98/210.69 c #Conflicts: 82000 | #Constraints: 34441
209.98/210.69 c #Conflicts: 83000 | #Constraints: 35441
209.98/210.69 c #Conflicts: 84000 | #Constraints: 36441
209.98/210.69 c #Conflicts: 85000 | #Constraints: 37441
209.98/210.69 c #Conflicts: 86000 | #Constraints: 38441
209.98/210.69 c #Conflicts: 87000 | #Constraints: 39441
209.98/210.69 c #Conflicts: 88000 | #Constraints: 40441
209.98/210.69 c INPROCESSING
209.98/210.69 c GARBAGE COLLECT
209.98/210.69 c #Conflicts: 89000 | #Constraints: 31123
209.98/210.69 c #Conflicts: 90000 | #Constraints: 32123
209.98/210.69 c #Conflicts: 91000 | #Constraints: 33123
209.98/210.69 c #Conflicts: 92000 | #Constraints: 34123
209.98/210.69 c #Conflicts: 93000 | #Constraints: 35123
209.98/210.69 c #Conflicts: 94000 | #Constraints: 36123
209.98/210.69 c #Conflicts: 95000 | #Constraints: 37123
209.98/210.69 c #Conflicts: 96000 | #Constraints: 38123
209.98/210.69 c #Conflicts: 97000 | #Constraints: 39123
209.98/210.69 c #Conflicts: 98000 | #Constraints: 40123
209.98/210.69 c #Conflicts: 99000 | #Constraints: 41123
209.98/210.69 c #Conflicts: 100000 | #Constraints: 42123
209.98/210.69 c #Conflicts: 101000 | #Constraints: 43124
209.98/210.69 c #Conflicts: 102000 | #Constraints: 44124
209.98/210.69 c #Conflicts: 103000 | #Constraints: 45124
209.98/210.69 c #Conflicts: 104000 | #Constraints: 46124
209.98/210.69 c #Conflicts: 105000 | #Constraints: 47124
209.98/210.69 c #Conflicts: 106000 | #Constraints: 48124
209.98/210.69 c #Conflicts: 107000 | #Constraints: 49124
209.98/210.69 c #Conflicts: 108000 | #Constraints: 50124
209.98/210.69 c #Conflicts: 109000 | #Constraints: 51124
209.98/210.69 c INPROCESSING
209.98/210.69 c GARBAGE COLLECT
209.98/210.69 c #Conflicts: 110000 | #Constraints: 36487
209.98/210.69 c #Conflicts: 111000 | #Constraints: 37487
209.98/210.69 c #Conflicts: 112000 | #Constraints: 38487
209.98/210.69 c #Conflicts: 113000 | #Constraints: 39487
209.98/210.69 c #Conflicts: 114000 | #Constraints: 40487
209.98/210.69 c #Conflicts: 115000 | #Constraints: 41487
209.98/210.69 c #Conflicts: 116000 | #Constraints: 42487
209.98/210.69 c #Conflicts: 117000 | #Constraints: 43487
209.98/210.69 c #Conflicts: 118000 | #Constraints: 44487
209.98/210.69 c INPROCESSING
209.98/210.69 c GARBAGE COLLECT
209.98/210.69 c #Conflicts: 119000 | #Constraints: 33505
209.98/210.69 c #Conflicts: 120000 | #Constraints: 34505
209.98/210.69 c #Conflicts: 121000 | #Constraints: 35505
209.98/210.69 c #Conflicts: 122000 | #Constraints: 36505
209.98/210.69 c #Conflicts: 123000 | #Constraints: 37505
209.98/210.69 c #Conflicts: 124000 | #Constraints: 38505
209.98/210.69 c #Conflicts: 125000 | #Constraints: 39505
209.98/210.69 c #Conflicts: 126000 | #Constraints: 40505
209.98/210.69 c #Conflicts: 127000 | #Constraints: 41505
209.98/210.69 c #Conflicts: 128000 | #Constraints: 42505
209.98/210.69 c #Conflicts: 129000 | #Constraints: 43505
209.98/210.69 c #Conflicts: 130000 | #Constraints: 44505
209.98/210.69 c #Conflicts: 131000 | #Constraints: 45505
209.98/210.69 c #Conflicts: 132000 | #Constraints: 46505
209.98/210.69 c #Conflicts: 133000 | #Constraints: 47505
209.98/210.69 c #Conflicts: 134000 | #Constraints: 48505
209.98/210.69 c #Conflicts: 135000 | #Constraints: 49505
209.98/210.69 c #Conflicts: 136000 | #Constraints: 50505
209.98/210.69 c #Conflicts: 137000 | #Constraints: 51505
209.98/210.69 c #Conflicts: 138000 | #Constraints: 52505
209.98/210.69 c #Conflicts: 139000 | #Constraints: 53505
209.98/210.69 c #Conflicts: 140000 | #Constraints: 54505
209.98/210.69 c #Conflicts: 141000 | #Constraints: 55505
209.98/210.69 c #Conflicts: 142000 | #Constraints: 56505
209.98/210.69 c INPROCESSING
209.98/210.69 c GARBAGE COLLECT
209.98/210.69 c #Conflicts: 143000 | #Constraints: 39137
209.98/210.69 c #Conflicts: 144000 | #Constraints: 40137
209.98/210.69 c #Conflicts: 145000 | #Constraints: 41137
209.98/210.69 c #Conflicts: 146000 | #Constraints: 42137
209.98/210.69 c #Conflicts: 147000 | #Constraints: 43137
209.98/210.69 c #Conflicts: 148000 | #Constraints: 44137
372.67/373.76 c #Conflicts: 149000 | #Constraints: 45137
372.67/373.76 c #Conflicts: 150000 | #Constraints: 46137
372.67/373.76 c #Conflicts: 151000 | #Constraints: 47137
372.67/373.76 c #Conflicts: 152000 | #Constraints: 48137
372.67/373.76 c #Conflicts: 153000 | #Constraints: 49137
372.67/373.76 c INPROCESSING
372.67/373.76 c GARBAGE COLLECT
372.67/373.76 c #Conflicts: 154000 | #Constraints: 36708
372.67/373.76 c #Conflicts: 155000 | #Constraints: 37708
372.67/373.76 c #Conflicts: 156000 | #Constraints: 38708
372.67/373.76 c #Conflicts: 157000 | #Constraints: 39708
372.67/373.76 c #Conflicts: 158000 | #Constraints: 40708
372.67/373.76 c #Conflicts: 159000 | #Constraints: 41708
372.67/373.76 c #Conflicts: 160000 | #Constraints: 42708
372.67/373.76 c #Conflicts: 161000 | #Constraints: 43708
372.67/373.76 c #Conflicts: 162000 | #Constraints: 44708
372.67/373.76 c #Conflicts: 163000 | #Constraints: 45708
372.67/373.76 c #Conflicts: 164000 | #Constraints: 46708
372.67/373.76 c #Conflicts: 165000 | #Constraints: 47708
372.67/373.76 c #Conflicts: 166000 | #Constraints: 48708
372.67/373.76 c #Conflicts: 167000 | #Constraints: 49708
372.67/373.76 c #Conflicts: 168000 | #Constraints: 50708
372.67/373.76 c #Conflicts: 169000 | #Constraints: 51708
372.67/373.76 c #Conflicts: 170000 | #Constraints: 52708
372.67/373.76 c #Conflicts: 171000 | #Constraints: 53708
372.67/373.76 c #Conflicts: 172000 | #Constraints: 54708
372.67/373.76 c #Conflicts: 173000 | #Constraints: 55708
372.67/373.76 c #Conflicts: 174000 | #Constraints: 56708
372.67/373.76 c #Conflicts: 175000 | #Constraints: 57708
372.67/373.76 c #Conflicts: 176000 | #Constraints: 58708
372.67/373.76 c #Conflicts: 177000 | #Constraints: 59708
372.67/373.76 c #Conflicts: 178000 | #Constraints: 60708
372.67/373.76 c #Conflicts: 179000 | #Constraints: 61708
372.67/373.76 c #Conflicts: 180000 | #Constraints: 62708
372.67/373.76 c INPROCESSING
372.67/373.76 c GARBAGE COLLECT
372.67/373.76 c #Conflicts: 181000 | #Constraints: 42498
372.67/373.76 c #Conflicts: 182000 | #Constraints: 43498
372.67/373.76 c #Conflicts: 183000 | #Constraints: 44498
372.67/373.76 c #Conflicts: 184000 | #Constraints: 45498
372.67/373.76 c #Conflicts: 185000 | #Constraints: 46498
372.67/373.76 c #Conflicts: 186000 | #Constraints: 47498
372.67/373.76 c #Conflicts: 187000 | #Constraints: 48498
372.67/373.76 c #Conflicts: 188000 | #Constraints: 49498
372.67/373.76 c #Conflicts: 189000 | #Constraints: 50498
372.67/373.76 c #Conflicts: 190000 | #Constraints: 51498
372.67/373.76 c #Conflicts: 191000 | #Constraints: 52498
372.67/373.76 c INPROCESSING
372.67/373.76 c GARBAGE COLLECT
372.67/373.76 c #Conflicts: 192000 | #Constraints: 38530
372.67/373.76 c #Conflicts: 193000 | #Constraints: 39530
372.67/373.76 c #Conflicts: 194000 | #Constraints: 40530
372.67/373.76 c #Conflicts: 195000 | #Constraints: 41530
372.67/373.76 c #Conflicts: 196000 | #Constraints: 42530
372.67/373.76 c #Conflicts: 197000 | #Constraints: 43530
372.67/373.76 c #Conflicts: 198000 | #Constraints: 44530
372.67/373.76 c #Conflicts: 199000 | #Constraints: 45530
372.67/373.76 c #Conflicts: 200000 | #Constraints: 46530
372.67/373.76 c #Conflicts: 201000 | #Constraints: 47530
372.67/373.76 c #Conflicts: 202000 | #Constraints: 48530
372.67/373.76 c #Conflicts: 203000 | #Constraints: 49530
372.67/373.76 c #Conflicts: 204000 | #Constraints: 50530
372.67/373.76 c #Conflicts: 205000 | #Constraints: 51530
372.67/373.76 c #Conflicts: 206000 | #Constraints: 52530
372.67/373.76 c #Conflicts: 207000 | #Constraints: 53530
372.67/373.76 c #Conflicts: 208000 | #Constraints: 54530
372.67/373.76 c #Conflicts: 209000 | #Constraints: 55530
372.67/373.76 c #Conflicts: 210000 | #Constraints: 56530
372.67/373.76 c #Conflicts: 211000 | #Constraints: 57530
372.67/373.76 c #Conflicts: 212000 | #Constraints: 58530
372.67/373.76 c #Conflicts: 213000 | #Constraints: 59530
372.67/373.76 c #Conflicts: 214000 | #Constraints: 60530
372.67/373.76 c #Conflicts: 215000 | #Constraints: 61530
372.67/373.76 c #Conflicts: 216000 | #Constraints: 62530
372.67/373.76 c #Conflicts: 217000 | #Constraints: 63530
372.67/373.76 c #Conflicts: 218000 | #Constraints: 64530
372.67/373.76 c #Conflicts: 219000 | #Constraints: 65530
372.67/373.76 c #Conflicts: 220000 | #Constraints: 66530
372.67/373.76 c #Conflicts: 221000 | #Constraints: 67530
372.67/373.76 c #Conflicts: 222000 | #Constraints: 68530
372.67/373.76 c INPROCESSING
372.67/373.76 c GARBAGE COLLECT
372.67/373.76 c #Conflicts: 223000 | #Constraints: 45464
372.67/373.76 c #Conflicts: 224000 | #Constraints: 46464
506.83/508.20 c #Conflicts: 225000 | #Constraints: 47464
506.83/508.20 c #Conflicts: 226000 | #Constraints: 48464
506.83/508.20 c #Conflicts: 227000 | #Constraints: 49464
506.83/508.20 c #Conflicts: 228000 | #Constraints: 50464
506.83/508.20 c #Conflicts: 229000 | #Constraints: 51464
506.83/508.20 c #Conflicts: 230000 | #Constraints: 52464
506.83/508.20 c #Conflicts: 231000 | #Constraints: 53464
506.83/508.20 c #Conflicts: 232000 | #Constraints: 54464
506.83/508.20 c #Conflicts: 233000 | #Constraints: 55464
506.83/508.20 c #Conflicts: 234000 | #Constraints: 56464
506.83/508.20 c #Conflicts: 235000 | #Constraints: 57464
506.83/508.20 c INPROCESSING
506.83/508.20 c GARBAGE COLLECT
506.83/508.20 c #Conflicts: 236000 | #Constraints: 41234
506.83/508.20 c #Conflicts: 237000 | #Constraints: 42234
506.83/508.20 c #Conflicts: 238000 | #Constraints: 43234
506.83/508.20 c #Conflicts: 239000 | #Constraints: 44234
506.83/508.20 c #Conflicts: 240000 | #Constraints: 45234
506.83/508.20 c #Conflicts: 241000 | #Constraints: 46234
506.83/508.20 c #Conflicts: 242000 | #Constraints: 47234
506.83/508.20 c #Conflicts: 243000 | #Constraints: 48234
506.83/508.20 c #Conflicts: 244000 | #Constraints: 49234
506.83/508.20 c #Conflicts: 245000 | #Constraints: 50234
506.83/508.20 c #Conflicts: 246000 | #Constraints: 51234
506.83/508.20 c #Conflicts: 247000 | #Constraints: 52234
506.83/508.20 c #Conflicts: 248000 | #Constraints: 53234
506.83/508.20 c #Conflicts: 249000 | #Constraints: 54234
506.83/508.20 c #Conflicts: 250000 | #Constraints: 55234
506.83/508.20 c #Conflicts: 251000 | #Constraints: 56234
506.83/508.20 c #Conflicts: 252000 | #Constraints: 57234
506.83/508.20 c #Conflicts: 253000 | #Constraints: 58234
506.83/508.20 c #Conflicts: 254000 | #Constraints: 59234
506.83/508.20 c #Conflicts: 255000 | #Constraints: 60234
506.83/508.20 c #Conflicts: 256000 | #Constraints: 61234
506.83/508.20 c #Conflicts: 257000 | #Constraints: 62234
506.83/508.20 c #Conflicts: 258000 | #Constraints: 63234
506.83/508.20 c #Conflicts: 259000 | #Constraints: 64234
506.83/508.20 c #Conflicts: 260000 | #Constraints: 65234
506.83/508.20 c #Conflicts: 261000 | #Constraints: 66234
506.83/508.20 c #Conflicts: 262000 | #Constraints: 67234
506.83/508.20 c #Conflicts: 263000 | #Constraints: 68234
506.83/508.20 c #Conflicts: 264000 | #Constraints: 69234
506.83/508.20 c #Conflicts: 265000 | #Constraints: 70234
506.83/508.20 c #Conflicts: 266000 | #Constraints: 71234
506.83/508.20 c #Conflicts: 267000 | #Constraints: 72234
506.83/508.20 c #Conflicts: 268000 | #Constraints: 73234
506.83/508.20 c INPROCESSING
506.83/508.20 c GARBAGE COLLECT
506.83/508.20 c #Conflicts: 269000 | #Constraints: 47600
506.83/508.20 c #Conflicts: 270000 | #Constraints: 48600
506.83/508.20 c #Conflicts: 271000 | #Constraints: 49600
506.83/508.20 c #Conflicts: 272000 | #Constraints: 50600
506.83/508.20 c #Conflicts: 273000 | #Constraints: 51600
506.83/508.20 c #Conflicts: 274000 | #Constraints: 52600
506.83/508.20 c #Conflicts: 275000 | #Constraints: 53600
506.83/508.20 c #Conflicts: 276000 | #Constraints: 54600
506.83/508.20 c #Conflicts: 277000 | #Constraints: 55601
506.83/508.20 c #Conflicts: 278000 | #Constraints: 56601
506.83/508.20 c #Conflicts: 279000 | #Constraints: 57601
506.83/508.20 c #Conflicts: 280000 | #Constraints: 58601
506.83/508.20 c #Conflicts: 281000 | #Constraints: 59601
506.83/508.20 c #Conflicts: 282000 | #Constraints: 60601
506.83/508.20 c INPROCESSING
506.83/508.20 c GARBAGE COLLECT
506.83/508.20 c #Conflicts: 283000 | #Constraints: 43225
506.83/508.20 c #Conflicts: 284000 | #Constraints: 44225
506.83/508.20 c #Conflicts: 285000 | #Constraints: 45225
506.83/508.20 c #Conflicts: 286000 | #Constraints: 46225
506.83/508.20 c #Conflicts: 287000 | #Constraints: 47225
506.83/508.20 c #Conflicts: 288000 | #Constraints: 48225
506.83/508.20 c #Conflicts: 289000 | #Constraints: 49225
506.83/508.20 c #Conflicts: 290000 | #Constraints: 50225
506.83/508.20 c #Conflicts: 291000 | #Constraints: 51225
506.83/508.20 c #Conflicts: 292000 | #Constraints: 52225
506.83/508.20 c #Conflicts: 293000 | #Constraints: 53225
506.83/508.20 c #Conflicts: 294000 | #Constraints: 54225
506.83/508.20 c #Conflicts: 295000 | #Constraints: 55225
506.83/508.20 c #Conflicts: 296000 | #Constraints: 56225
506.83/508.20 c #Conflicts: 297000 | #Constraints: 57225
506.83/508.20 c #Conflicts: 298000 | #Constraints: 58225
506.83/508.20 c #Conflicts: 299000 | #Constraints: 59225
506.83/508.20 c #Conflicts: 300000 | #Constraints: 60225
506.83/508.20 c #Conflicts: 301000 | #Constraints: 61225
649.52/651.30 c #Conflicts: 302000 | #Constraints: 62225
649.52/651.30 c #Conflicts: 303000 | #Constraints: 63225
649.52/651.30 c #Conflicts: 304000 | #Constraints: 64225
649.52/651.30 c #Conflicts: 305000 | #Constraints: 65225
649.52/651.30 c #Conflicts: 306000 | #Constraints: 66225
649.52/651.30 c #Conflicts: 307000 | #Constraints: 67225
649.52/651.30 c #Conflicts: 308000 | #Constraints: 68225
649.52/651.30 c #Conflicts: 309000 | #Constraints: 69225
649.52/651.30 c #Conflicts: 310000 | #Constraints: 70225
649.52/651.30 c #Conflicts: 311000 | #Constraints: 71225
649.52/651.30 c #Conflicts: 312000 | #Constraints: 72225
649.52/651.30 c #Conflicts: 313000 | #Constraints: 73225
649.52/651.30 c #Conflicts: 314000 | #Constraints: 74225
649.52/651.30 c #Conflicts: 315000 | #Constraints: 75225
649.52/651.30 c #Conflicts: 316000 | #Constraints: 76225
649.52/651.30 c #Conflicts: 317000 | #Constraints: 77225
649.52/651.30 c #Conflicts: 318000 | #Constraints: 78225
649.52/651.30 c #Conflicts: 319000 | #Constraints: 79225
649.52/651.30 c INPROCESSING
649.52/651.30 c GARBAGE COLLECT
649.52/651.30 c #Conflicts: 320000 | #Constraints: 50850
649.52/651.31 c #Conflicts: 321000 | #Constraints: 51850
649.52/651.31 c #Conflicts: 322000 | #Constraints: 52850
649.52/651.31 c #Conflicts: 323000 | #Constraints: 53850
649.52/651.31 c #Conflicts: 324000 | #Constraints: 54850
649.52/651.31 c #Conflicts: 325000 | #Constraints: 55850
649.52/651.31 c #Conflicts: 326000 | #Constraints: 56850
649.52/651.31 c #Conflicts: 327000 | #Constraints: 57850
649.52/651.31 c #Conflicts: 328000 | #Constraints: 58850
649.52/651.31 c #Conflicts: 329000 | #Constraints: 59850
649.52/651.31 c #Conflicts: 330000 | #Constraints: 60850
649.52/651.31 c #Conflicts: 331000 | #Constraints: 61850
649.52/651.31 c #Conflicts: 332000 | #Constraints: 62850
649.52/651.31 c #Conflicts: 333000 | #Constraints: 63850
649.52/651.31 c #Conflicts: 334000 | #Constraints: 64850
649.52/651.31 c #Conflicts: 335000 | #Constraints: 65850
649.52/651.31 c INPROCESSING
649.52/651.31 c GARBAGE COLLECT
649.52/651.31 c #Conflicts: 336000 | #Constraints: 46570
649.52/651.31 c #Conflicts: 337000 | #Constraints: 47570
649.52/651.31 c #Conflicts: 338000 | #Constraints: 48570
649.52/651.31 c #Conflicts: 339000 | #Constraints: 49570
649.52/651.31 c #Conflicts: 340000 | #Constraints: 50570
649.52/651.31 c #Conflicts: 341000 | #Constraints: 51570
649.52/651.31 c #Conflicts: 342000 | #Constraints: 52570
649.52/651.31 c #Conflicts: 343000 | #Constraints: 53570
649.52/651.31 c #Conflicts: 344000 | #Constraints: 54570
649.52/651.31 c #Conflicts: 345000 | #Constraints: 55570
649.52/651.31 c #Conflicts: 346000 | #Constraints: 56570
649.52/651.31 c #Conflicts: 347000 | #Constraints: 57570
649.52/651.31 c #Conflicts: 348000 | #Constraints: 58570
649.52/651.31 c #Conflicts: 349000 | #Constraints: 59570
649.52/651.31 c #Conflicts: 350000 | #Constraints: 60570
649.52/651.31 c #Conflicts: 351000 | #Constraints: 61570
649.52/651.31 c #Conflicts: 352000 | #Constraints: 62570
649.52/651.31 c #Conflicts: 353000 | #Constraints: 63570
649.52/651.31 c #Conflicts: 354000 | #Constraints: 64570
649.52/651.31 c #Conflicts: 355000 | #Constraints: 65570
649.52/651.31 c #Conflicts: 356000 | #Constraints: 66570
649.52/651.31 c #Conflicts: 357000 | #Constraints: 67570
649.52/651.31 c #Conflicts: 358000 | #Constraints: 68570
649.52/651.31 c #Conflicts: 359000 | #Constraints: 69570
649.52/651.31 c #Conflicts: 360000 | #Constraints: 70570
649.52/651.31 c #Conflicts: 361000 | #Constraints: 71570
649.52/651.31 c #Conflicts: 362000 | #Constraints: 72570
649.52/651.31 c #Conflicts: 363000 | #Constraints: 73570
649.52/651.31 c #Conflicts: 364000 | #Constraints: 74570
649.52/651.31 c #Conflicts: 365000 | #Constraints: 75570
649.52/651.31 c #Conflicts: 366000 | #Constraints: 76570
649.52/651.31 c #Conflicts: 367000 | #Constraints: 77570
649.52/651.31 c #Conflicts: 368000 | #Constraints: 78570
649.52/651.31 c #Conflicts: 369000 | #Constraints: 79570
649.52/651.31 c #Conflicts: 370000 | #Constraints: 80570
649.52/651.31 c #Conflicts: 371000 | #Constraints: 81570
649.52/651.31 c #Conflicts: 372000 | #Constraints: 82570
649.52/651.31 c #Conflicts: 373000 | #Constraints: 83570
649.52/651.31 c #Conflicts: 374000 | #Constraints: 84570
649.52/651.31 c INPROCESSING
649.52/651.31 c GARBAGE COLLECT
649.52/651.31 c #Conflicts: 375000 | #Constraints: 53452
649.52/651.31 c #Conflicts: 376000 | #Constraints: 54452
649.52/651.31 c #Conflicts: 377000 | #Constraints: 55452
649.52/651.31 c #Conflicts: 378000 | #Constraints: 56452
814.43/816.72 c #Conflicts: 379000 | #Constraints: 57452
814.43/816.72 c #Conflicts: 380000 | #Constraints: 58452
814.43/816.72 c #Conflicts: 381000 | #Constraints: 59452
814.43/816.72 c #Conflicts: 382000 | #Constraints: 60452
814.43/816.72 c #Conflicts: 383000 | #Constraints: 61452
814.43/816.72 c #Conflicts: 384000 | #Constraints: 62452
814.43/816.72 c #Conflicts: 385000 | #Constraints: 63452
814.43/816.72 c #Conflicts: 386000 | #Constraints: 64452
814.43/816.72 c #Conflicts: 387000 | #Constraints: 65452
814.43/816.72 c #Conflicts: 388000 | #Constraints: 66452
814.43/816.72 c #Conflicts: 389000 | #Constraints: 67452
814.43/816.72 c #Conflicts: 390000 | #Constraints: 68452
814.43/816.72 c #Conflicts: 391000 | #Constraints: 69452
814.43/816.72 c INPROCESSING
814.43/816.72 c GARBAGE COLLECT
814.43/816.72 c #Conflicts: 392000 | #Constraints: 49020
814.43/816.72 c #Conflicts: 393000 | #Constraints: 50020
814.43/816.72 c #Conflicts: 394000 | #Constraints: 51020
814.43/816.72 c #Conflicts: 395000 | #Constraints: 52020
814.43/816.72 c #Conflicts: 396000 | #Constraints: 53020
814.43/816.72 c #Conflicts: 397000 | #Constraints: 54020
814.43/816.72 c #Conflicts: 398000 | #Constraints: 55020
814.43/816.72 c #Conflicts: 399000 | #Constraints: 56020
814.43/816.72 c #Conflicts: 400000 | #Constraints: 57020
814.43/816.72 c #Conflicts: 401000 | #Constraints: 58020
814.43/816.72 c #Conflicts: 402000 | #Constraints: 59020
814.43/816.72 c #Conflicts: 403000 | #Constraints: 60020
814.43/816.72 c #Conflicts: 404000 | #Constraints: 61020
814.43/816.72 c #Conflicts: 405000 | #Constraints: 62020
814.43/816.72 c #Conflicts: 406000 | #Constraints: 63021
814.43/816.72 c #Conflicts: 407000 | #Constraints: 64021
814.43/816.72 c #Conflicts: 408000 | #Constraints: 65021
814.43/816.72 c #Conflicts: 409000 | #Constraints: 66021
814.43/816.72 c #Conflicts: 410000 | #Constraints: 67021
814.43/816.72 c #Conflicts: 411000 | #Constraints: 68021
814.43/816.72 c #Conflicts: 412000 | #Constraints: 69021
814.43/816.72 c #Conflicts: 413000 | #Constraints: 70021
814.43/816.72 c #Conflicts: 414000 | #Constraints: 71021
814.43/816.72 c #Conflicts: 415000 | #Constraints: 72021
814.43/816.72 c #Conflicts: 416000 | #Constraints: 73021
814.43/816.72 c #Conflicts: 417000 | #Constraints: 74021
814.43/816.72 c #Conflicts: 418000 | #Constraints: 75021
814.43/816.72 c #Conflicts: 419000 | #Constraints: 76021
814.43/816.72 c #Conflicts: 420000 | #Constraints: 77021
814.43/816.72 c #Conflicts: 421000 | #Constraints: 78021
814.43/816.72 c #Conflicts: 422000 | #Constraints: 79021
814.43/816.72 c #Conflicts: 423000 | #Constraints: 80021
814.43/816.72 c #Conflicts: 424000 | #Constraints: 81021
814.43/816.72 c #Conflicts: 425000 | #Constraints: 82021
814.43/816.72 c #Conflicts: 426000 | #Constraints: 83021
814.43/816.72 c #Conflicts: 427000 | #Constraints: 84021
814.43/816.72 c #Conflicts: 428000 | #Constraints: 85021
814.43/816.72 c #Conflicts: 429000 | #Constraints: 86021
814.43/816.72 c #Conflicts: 430000 | #Constraints: 87021
814.43/816.72 c #Conflicts: 431000 | #Constraints: 88021
814.43/816.72 c #Conflicts: 432000 | #Constraints: 89021
814.43/816.72 c #Conflicts: 433000 | #Constraints: 90021
814.43/816.72 c #Conflicts: 434000 | #Constraints: 91021
814.43/816.72 c INPROCESSING
814.43/816.72 c GARBAGE COLLECT
814.43/816.72 c #Conflicts: 435000 | #Constraints: 57037
814.43/816.72 c #Conflicts: 436000 | #Constraints: 58037
814.43/816.72 c #Conflicts: 437000 | #Constraints: 59037
814.43/816.72 c #Conflicts: 438000 | #Constraints: 60037
814.43/816.72 c #Conflicts: 439000 | #Constraints: 61037
814.43/816.72 c #Conflicts: 440000 | #Constraints: 62037
814.43/816.72 c #Conflicts: 441000 | #Constraints: 63037
814.43/816.72 c #Conflicts: 442000 | #Constraints: 64037
814.43/816.72 c #Conflicts: 443000 | #Constraints: 65037
814.43/816.72 c #Conflicts: 444000 | #Constraints: 66037
814.43/816.72 c #Conflicts: 445000 | #Constraints: 67037
814.43/816.72 c #Conflicts: 446000 | #Constraints: 68037
814.43/816.72 c #Conflicts: 447000 | #Constraints: 69037
814.43/816.72 c #Conflicts: 448000 | #Constraints: 70037
814.43/816.72 c #Conflicts: 449000 | #Constraints: 71037
814.43/816.72 c #Conflicts: 450000 | #Constraints: 72037
814.43/816.72 c #Conflicts: 451000 | #Constraints: 73037
814.43/816.72 c #Conflicts: 452000 | #Constraints: 74037
814.43/816.72 c INPROCESSING
814.43/816.72 c GARBAGE COLLECT
814.43/816.72 c #Conflicts: 453000 | #Constraints: 51749
814.43/816.72 c #Conflicts: 454000 | #Constraints: 52749
814.43/816.72 c #Conflicts: 455000 | #Constraints: 53749
959.41/962.13 c #Conflicts: 456000 | #Constraints: 54749
959.41/962.13 c #Conflicts: 457000 | #Constraints: 55749
959.41/962.13 c #Conflicts: 458000 | #Constraints: 56749
959.41/962.13 c #Conflicts: 459000 | #Constraints: 57749
959.41/962.13 c #Conflicts: 460000 | #Constraints: 58749
959.41/962.13 c #Conflicts: 461000 | #Constraints: 59749
959.41/962.13 c #Conflicts: 462000 | #Constraints: 60749
959.41/962.13 c #Conflicts: 463000 | #Constraints: 61749
959.41/962.13 c #Conflicts: 464000 | #Constraints: 62749
959.41/962.13 c #Conflicts: 465000 | #Constraints: 63749
959.41/962.13 c #Conflicts: 466000 | #Constraints: 64749
959.41/962.13 c #Conflicts: 467000 | #Constraints: 65749
959.41/962.13 c #Conflicts: 468000 | #Constraints: 66749
959.41/962.13 c #Conflicts: 469000 | #Constraints: 67749
959.41/962.13 c #Conflicts: 470000 | #Constraints: 68749
959.41/962.13 c #Conflicts: 471000 | #Constraints: 69749
959.41/962.13 c #Conflicts: 472000 | #Constraints: 70749
959.41/962.13 c #Conflicts: 473000 | #Constraints: 71749
959.41/962.13 c #Conflicts: 474000 | #Constraints: 72749
959.41/962.13 c #Conflicts: 475000 | #Constraints: 73749
959.41/962.13 c #Conflicts: 476000 | #Constraints: 74749
959.41/962.13 c #Conflicts: 477000 | #Constraints: 75749
959.41/962.13 c #Conflicts: 478000 | #Constraints: 76749
959.41/962.13 c #Conflicts: 479000 | #Constraints: 77749
959.41/962.13 c #Conflicts: 480000 | #Constraints: 78749
959.41/962.13 c #Conflicts: 481000 | #Constraints: 79749
959.41/962.13 c #Conflicts: 482000 | #Constraints: 80749
959.41/962.13 c #Conflicts: 483000 | #Constraints: 81749
959.41/962.13 c #Conflicts: 484000 | #Constraints: 82749
959.41/962.13 c #Conflicts: 485000 | #Constraints: 83749
959.41/962.13 c #Conflicts: 486000 | #Constraints: 84749
959.41/962.13 c #Conflicts: 487000 | #Constraints: 85749
959.41/962.13 c #Conflicts: 488000 | #Constraints: 86749
959.41/962.13 c #Conflicts: 489000 | #Constraints: 87749
959.41/962.13 c #Conflicts: 490000 | #Constraints: 88749
959.41/962.13 c #Conflicts: 491000 | #Constraints: 89749
959.41/962.13 c #Conflicts: 492000 | #Constraints: 90749
959.41/962.13 c #Conflicts: 493000 | #Constraints: 91749
959.41/962.13 c #Conflicts: 494000 | #Constraints: 92749
959.41/962.13 c #Conflicts: 495000 | #Constraints: 93749
959.41/962.13 c #Conflicts: 496000 | #Constraints: 94749
959.41/962.13 c #Conflicts: 497000 | #Constraints: 95749
959.41/962.13 c #Conflicts: 498000 | #Constraints: 96749
959.41/962.13 c INPROCESSING
959.41/962.13 c GARBAGE COLLECT
959.41/962.13 c #Conflicts: 499000 | #Constraints: 59944
959.41/962.13 c #Conflicts: 500000 | #Constraints: 60944
959.41/962.13 c #Conflicts: 501000 | #Constraints: 61944
959.41/962.13 c #Conflicts: 502000 | #Constraints: 62944
959.41/962.13 c #Conflicts: 503000 | #Constraints: 63944
959.41/962.13 c #Conflicts: 504000 | #Constraints: 64944
959.41/962.13 c #Conflicts: 505000 | #Constraints: 65944
959.41/962.13 c #Conflicts: 506000 | #Constraints: 66944
959.41/962.13 c #Conflicts: 507000 | #Constraints: 67944
959.41/962.13 c #Conflicts: 508000 | #Constraints: 68944
959.41/962.13 c #Conflicts: 509000 | #Constraints: 69944
959.41/962.13 c #Conflicts: 510000 | #Constraints: 70944
959.41/962.13 c #Conflicts: 511000 | #Constraints: 71944
959.41/962.13 c #Conflicts: 512000 | #Constraints: 72944
959.41/962.13 c #Conflicts: 513000 | #Constraints: 73944
959.41/962.13 c #Conflicts: 514000 | #Constraints: 74944
959.41/962.13 c #Conflicts: 515000 | #Constraints: 75944
959.41/962.13 c #Conflicts: 516000 | #Constraints: 76944
959.41/962.13 c #Conflicts: 517000 | #Constraints: 77944
959.41/962.13 c INPROCESSING
959.41/962.13 c GARBAGE COLLECT
959.41/962.13 c #Conflicts: 518000 | #Constraints: 53486
959.41/962.13 c #Conflicts: 519000 | #Constraints: 54486
959.41/962.13 c #Conflicts: 520000 | #Constraints: 55486
959.41/962.13 c #Conflicts: 521000 | #Constraints: 56486
959.41/962.13 c #Conflicts: 522000 | #Constraints: 57486
959.41/962.13 c #Conflicts: 523000 | #Constraints: 58486
959.41/962.13 c #Conflicts: 524000 | #Constraints: 59486
959.41/962.13 c #Conflicts: 525000 | #Constraints: 60486
959.41/962.13 c #Conflicts: 526000 | #Constraints: 61486
959.41/962.13 c #Conflicts: 527000 | #Constraints: 62486
959.41/962.13 c #Conflicts: 528000 | #Constraints: 63486
959.41/962.13 c #Conflicts: 529000 | #Constraints: 64486
959.41/962.13 c #Conflicts: 530000 | #Constraints: 65486
959.41/962.13 c #Conflicts: 531000 | #Constraints: 66486
959.41/962.13 c #Conflicts: 532000 | #Constraints: 67486
1091.11/1094.27 c #Conflicts: 533000 | #Constraints: 68486
1091.11/1094.27 c #Conflicts: 534000 | #Constraints: 69486
1091.11/1094.27 c #Conflicts: 535000 | #Constraints: 70486
1091.11/1094.27 c #Conflicts: 536000 | #Constraints: 71486
1091.11/1094.27 c #Conflicts: 537000 | #Constraints: 72486
1091.11/1094.27 c #Conflicts: 538000 | #Constraints: 73486
1091.11/1094.27 c #Conflicts: 539000 | #Constraints: 74486
1091.11/1094.27 c #Conflicts: 540000 | #Constraints: 75486
1091.11/1094.27 c #Conflicts: 541000 | #Constraints: 76486
1091.11/1094.27 c #Conflicts: 542000 | #Constraints: 77486
1091.11/1094.27 c #Conflicts: 543000 | #Constraints: 78486
1091.11/1094.27 c #Conflicts: 544000 | #Constraints: 79486
1091.11/1094.27 c #Conflicts: 545000 | #Constraints: 80486
1091.11/1094.27 c #Conflicts: 546000 | #Constraints: 81486
1091.11/1094.27 c #Conflicts: 547000 | #Constraints: 82486
1091.11/1094.27 c #Conflicts: 548000 | #Constraints: 83486
1091.11/1094.27 c #Conflicts: 549000 | #Constraints: 84486
1091.11/1094.27 c #Conflicts: 550000 | #Constraints: 85486
1091.11/1094.27 c #Conflicts: 551000 | #Constraints: 86486
1091.11/1094.27 c #Conflicts: 552000 | #Constraints: 87486
1091.11/1094.27 c #Conflicts: 553000 | #Constraints: 88486
1091.11/1094.27 c #Conflicts: 554000 | #Constraints: 89486
1091.11/1094.27 c #Conflicts: 555000 | #Constraints: 90486
1091.11/1094.27 c #Conflicts: 556000 | #Constraints: 91486
1091.11/1094.27 c #Conflicts: 557000 | #Constraints: 92486
1091.11/1094.27 c #Conflicts: 558000 | #Constraints: 93486
1091.11/1094.27 c #Conflicts: 559000 | #Constraints: 94486
1091.11/1094.27 c #Conflicts: 560000 | #Constraints: 95486
1091.11/1094.27 c #Conflicts: 561000 | #Constraints: 96486
1091.11/1094.27 c #Conflicts: 562000 | #Constraints: 97486
1091.11/1094.27 c #Conflicts: 563000 | #Constraints: 98486
1091.11/1094.27 c #Conflicts: 564000 | #Constraints: 99486
1091.11/1094.27 c #Conflicts: 565000 | #Constraints: 100486
1091.11/1094.27 c #Conflicts: 566000 | #Constraints: 101486
1091.11/1094.27 c INPROCESSING
1091.11/1094.27 c GARBAGE COLLECT
1091.11/1094.27 c rational objective 159
1282.74/1286.44 c #Conflicts: 567000 | #Constraints: 62078
1282.74/1286.44 c #Conflicts: 568000 | #Constraints: 63078
1282.74/1286.44 c #Conflicts: 569000 | #Constraints: 64078
1282.74/1286.44 c #Conflicts: 570000 | #Constraints: 65078
1282.74/1286.44 c #Conflicts: 571000 | #Constraints: 66078
1282.74/1286.44 c #Conflicts: 572000 | #Constraints: 67078
1282.74/1286.44 c #Conflicts: 573000 | #Constraints: 68078
1282.74/1286.44 c #Conflicts: 574000 | #Constraints: 69078
1282.74/1286.44 c #Conflicts: 575000 | #Constraints: 70078
1282.74/1286.44 c #Conflicts: 576000 | #Constraints: 71078
1282.74/1286.44 c #Conflicts: 577000 | #Constraints: 72078
1282.74/1286.44 c #Conflicts: 578000 | #Constraints: 73078
1282.74/1286.44 c #Conflicts: 579000 | #Constraints: 74078
1282.74/1286.44 c #Conflicts: 580000 | #Constraints: 75078
1282.74/1286.44 c #Conflicts: 581000 | #Constraints: 76078
1282.74/1286.44 c #Conflicts: 582000 | #Constraints: 77078
1282.74/1286.44 c #Conflicts: 583000 | #Constraints: 78078
1282.74/1286.44 c #Conflicts: 584000 | #Constraints: 79078
1282.74/1286.44 c #Conflicts: 585000 | #Constraints: 80078
1282.74/1286.44 c #Conflicts: 586000 | #Constraints: 81078
1282.74/1286.44 c #Conflicts: 587000 | #Constraints: 82078
1282.74/1286.44 c INPROCESSING
1282.74/1286.44 c GARBAGE COLLECT
1282.74/1286.44 c #Conflicts: 588000 | #Constraints: 56682
1282.74/1286.44 c #Conflicts: 589000 | #Constraints: 57682
1282.74/1286.44 c #Conflicts: 590000 | #Constraints: 58682
1282.74/1286.44 c #Conflicts: 591000 | #Constraints: 59682
1282.74/1286.44 c #Conflicts: 592000 | #Constraints: 60682
1282.74/1286.44 c #Conflicts: 593000 | #Constraints: 61682
1282.74/1286.44 c #Conflicts: 594000 | #Constraints: 62682
1282.74/1286.44 c #Conflicts: 595000 | #Constraints: 63682
1282.74/1286.44 c #Conflicts: 596000 | #Constraints: 64682
1282.74/1286.44 c #Conflicts: 597000 | #Constraints: 65682
1282.74/1286.44 c #Conflicts: 598000 | #Constraints: 66682
1282.74/1286.44 c #Conflicts: 599000 | #Constraints: 67682
1282.74/1286.44 c #Conflicts: 600000 | #Constraints: 68682
1282.74/1286.44 c #Conflicts: 601000 | #Constraints: 69682
1282.74/1286.44 c #Conflicts: 602000 | #Constraints: 70682
1282.74/1286.44 c #Conflicts: 603000 | #Constraints: 71682
1282.74/1286.44 c #Conflicts: 604000 | #Constraints: 72682
1282.74/1286.44 c #Conflicts: 605000 | #Constraints: 73682
1282.74/1286.44 c #Conflicts: 606000 | #Constraints: 74682
1282.74/1286.44 c #Conflicts: 607000 | #Constraints: 75682
1282.74/1286.44 c #Conflicts: 608000 | #Constraints: 76682
1282.74/1286.44 c #Conflicts: 609000 | #Constraints: 77682
1282.74/1286.44 c #Conflicts: 610000 | #Constraints: 78682
1282.74/1286.44 c #Conflicts: 611000 | #Constraints: 79682
1282.74/1286.44 c #Conflicts: 612000 | #Constraints: 80682
1282.74/1286.44 c #Conflicts: 613000 | #Constraints: 81682
1282.74/1286.44 c #Conflicts: 614000 | #Constraints: 82682
1282.74/1286.44 c #Conflicts: 615000 | #Constraints: 83682
1282.74/1286.44 c #Conflicts: 616000 | #Constraints: 84682
1282.74/1286.44 c #Conflicts: 617000 | #Constraints: 85682
1282.74/1286.44 c #Conflicts: 618000 | #Constraints: 86682
1282.74/1286.44 c #Conflicts: 619000 | #Constraints: 87682
1282.74/1286.44 c #Conflicts: 620000 | #Constraints: 88682
1282.74/1286.44 c #Conflicts: 621000 | #Constraints: 89682
1282.74/1286.44 c #Conflicts: 622000 | #Constraints: 90682
1282.74/1286.44 c #Conflicts: 623000 | #Constraints: 91682
1282.74/1286.44 c #Conflicts: 624000 | #Constraints: 92682
1282.74/1286.44 c #Conflicts: 625000 | #Constraints: 93682
1282.74/1286.44 c #Conflicts: 626000 | #Constraints: 94682
1282.74/1286.44 c #Conflicts: 627000 | #Constraints: 95682
1282.74/1286.44 c #Conflicts: 628000 | #Constraints: 96682
1282.74/1286.44 c #Conflicts: 629000 | #Constraints: 97682
1282.74/1286.44 c #Conflicts: 630000 | #Constraints: 98682
1282.74/1286.44 c #Conflicts: 631000 | #Constraints: 99682
1282.74/1286.44 c #Conflicts: 632000 | #Constraints: 100682
1282.74/1286.44 c #Conflicts: 633000 | #Constraints: 101682
1282.74/1286.44 c #Conflicts: 634000 | #Constraints: 102682
1282.74/1286.44 c #Conflicts: 635000 | #Constraints: 103682
1282.74/1286.44 c #Conflicts: 636000 | #Constraints: 104682
1282.74/1286.44 c #Conflicts: 637000 | #Constraints: 105682
1282.74/1286.44 c #Conflicts: 638000 | #Constraints: 106682
1282.74/1286.44 c #Conflicts: 639000 | #Constraints: 107682
1282.74/1286.44 c INPROCESSING
1282.74/1286.44 c GARBAGE COLLECT
1282.74/1286.44 c #Conflicts: 640000 | #Constraints: 65269
1282.74/1286.44 c #Conflicts: 641000 | #Constraints: 66269
1282.74/1286.44 c #Conflicts: 642000 | #Constraints: 67269
1282.74/1286.44 c #Conflicts: 643000 | #Constraints: 68269
1282.74/1286.44 c #Conflicts: 644000 | #Constraints: 69269
1446.34/1450.57 c #Conflicts: 645000 | #Constraints: 70269
1446.34/1450.57 c #Conflicts: 646000 | #Constraints: 71269
1446.34/1450.57 c #Conflicts: 647000 | #Constraints: 72269
1446.34/1450.57 c #Conflicts: 648000 | #Constraints: 73269
1446.34/1450.57 c #Conflicts: 649000 | #Constraints: 74269
1446.34/1450.57 c #Conflicts: 650000 | #Constraints: 75269
1446.34/1450.57 c #Conflicts: 651000 | #Constraints: 76269
1446.34/1450.57 c #Conflicts: 652000 | #Constraints: 77269
1446.34/1450.57 c #Conflicts: 653000 | #Constraints: 78269
1446.34/1450.57 c #Conflicts: 654000 | #Constraints: 79269
1446.34/1450.57 c #Conflicts: 655000 | #Constraints: 80269
1446.34/1450.57 c #Conflicts: 656000 | #Constraints: 81269
1446.34/1450.57 c #Conflicts: 657000 | #Constraints: 82269
1446.34/1450.57 c #Conflicts: 658000 | #Constraints: 83269
1446.34/1450.57 c #Conflicts: 659000 | #Constraints: 84269
1446.34/1450.57 c #Conflicts: 660000 | #Constraints: 85269
1446.34/1450.57 c #Conflicts: 661000 | #Constraints: 86269
1446.34/1450.57 c INPROCESSING
1446.34/1450.57 c GARBAGE COLLECT
1446.34/1450.57 c #Conflicts: 662000 | #Constraints: 59056
1446.34/1450.57 c #Conflicts: 663000 | #Constraints: 60056
1446.34/1450.57 c #Conflicts: 664000 | #Constraints: 61056
1446.34/1450.57 c #Conflicts: 665000 | #Constraints: 62056
1446.34/1450.57 c #Conflicts: 666000 | #Constraints: 63056
1446.34/1450.57 c #Conflicts: 667000 | #Constraints: 64056
1446.34/1450.57 c #Conflicts: 668000 | #Constraints: 65056
1446.34/1450.57 c #Conflicts: 669000 | #Constraints: 66056
1446.34/1450.57 c #Conflicts: 670000 | #Constraints: 67056
1446.34/1450.57 c #Conflicts: 671000 | #Constraints: 68056
1446.34/1450.57 c #Conflicts: 672000 | #Constraints: 69056
1446.34/1450.57 c #Conflicts: 673000 | #Constraints: 70056
1446.34/1450.57 c #Conflicts: 674000 | #Constraints: 71056
1446.34/1450.57 c #Conflicts: 675000 | #Constraints: 72056
1446.34/1450.57 c #Conflicts: 676000 | #Constraints: 73056
1446.34/1450.57 c #Conflicts: 677000 | #Constraints: 74056
1446.34/1450.57 c #Conflicts: 678000 | #Constraints: 75056
1446.34/1450.57 c #Conflicts: 679000 | #Constraints: 76056
1446.34/1450.57 c #Conflicts: 680000 | #Constraints: 77056
1446.34/1450.57 c #Conflicts: 681000 | #Constraints: 78056
1446.34/1450.57 c #Conflicts: 682000 | #Constraints: 79056
1446.34/1450.57 c #Conflicts: 683000 | #Constraints: 80056
1446.34/1450.57 c #Conflicts: 684000 | #Constraints: 81056
1446.34/1450.57 c #Conflicts: 685000 | #Constraints: 82056
1446.34/1450.57 c #Conflicts: 686000 | #Constraints: 83056
1446.34/1450.57 c #Conflicts: 687000 | #Constraints: 84056
1446.34/1450.57 c #Conflicts: 688000 | #Constraints: 85056
1446.34/1450.57 c #Conflicts: 689000 | #Constraints: 86056
1446.34/1450.57 c #Conflicts: 690000 | #Constraints: 87056
1446.34/1450.57 c #Conflicts: 691000 | #Constraints: 88056
1446.34/1450.57 c #Conflicts: 692000 | #Constraints: 89056
1446.34/1450.57 c #Conflicts: 693000 | #Constraints: 90056
1446.34/1450.57 c #Conflicts: 694000 | #Constraints: 91056
1446.34/1450.57 c #Conflicts: 695000 | #Constraints: 92056
1446.34/1450.57 c #Conflicts: 696000 | #Constraints: 93056
1446.34/1450.57 c #Conflicts: 697000 | #Constraints: 94056
1446.34/1450.57 c #Conflicts: 698000 | #Constraints: 95056
1446.34/1450.57 c #Conflicts: 699000 | #Constraints: 96056
1446.34/1450.57 c #Conflicts: 700000 | #Constraints: 97056
1446.34/1450.57 c #Conflicts: 701000 | #Constraints: 98056
1446.34/1450.57 c #Conflicts: 702000 | #Constraints: 99056
1446.34/1450.57 c #Conflicts: 703000 | #Constraints: 100056
1446.34/1450.57 c #Conflicts: 704000 | #Constraints: 101056
1446.34/1450.57 c #Conflicts: 705000 | #Constraints: 102056
1446.34/1450.57 c #Conflicts: 706000 | #Constraints: 103056
1446.34/1450.57 c #Conflicts: 707000 | #Constraints: 104056
1446.34/1450.57 c #Conflicts: 708000 | #Constraints: 105056
1446.34/1450.57 c #Conflicts: 709000 | #Constraints: 106056
1446.34/1450.57 c #Conflicts: 710000 | #Constraints: 107056
1446.34/1450.57 c #Conflicts: 711000 | #Constraints: 108056
1446.34/1450.57 c #Conflicts: 712000 | #Constraints: 109056
1446.34/1450.57 c #Conflicts: 713000 | #Constraints: 110056
1446.34/1450.57 c #Conflicts: 714000 | #Constraints: 111056
1446.34/1450.57 c #Conflicts: 715000 | #Constraints: 112056
1446.34/1450.57 c #Conflicts: 716000 | #Constraints: 113056
1446.34/1450.57 c INPROCESSING
1446.34/1450.57 c GARBAGE COLLECT
1446.34/1450.57 c #Conflicts: 717000 | #Constraints: 68008
1446.34/1450.57 c #Conflicts: 718000 | #Constraints: 69008
1446.34/1450.57 c #Conflicts: 719000 | #Constraints: 70008
1446.34/1450.57 c #Conflicts: 720000 | #Constraints: 71008
1446.34/1450.57 c #Conflicts: 721000 | #Constraints: 72008
1677.40/1682.28 c #Conflicts: 722000 | #Constraints: 73008
1677.40/1682.28 c #Conflicts: 723000 | #Constraints: 74008
1677.40/1682.28 c #Conflicts: 724000 | #Constraints: 75008
1677.40/1682.28 c #Conflicts: 725000 | #Constraints: 76008
1677.40/1682.28 c #Conflicts: 726000 | #Constraints: 77008
1677.40/1682.28 c #Conflicts: 727000 | #Constraints: 78008
1677.40/1682.28 c #Conflicts: 728000 | #Constraints: 79008
1677.40/1682.28 c #Conflicts: 729000 | #Constraints: 80008
1677.40/1682.28 c #Conflicts: 730000 | #Constraints: 81008
1677.40/1682.28 c #Conflicts: 731000 | #Constraints: 82008
1677.40/1682.28 c #Conflicts: 732000 | #Constraints: 83008
1677.40/1682.28 c #Conflicts: 733000 | #Constraints: 84008
1677.40/1682.28 c #Conflicts: 734000 | #Constraints: 85008
1677.40/1682.28 c #Conflicts: 735000 | #Constraints: 86008
1677.40/1682.28 c #Conflicts: 736000 | #Constraints: 87008
1677.40/1682.28 c #Conflicts: 737000 | #Constraints: 88008
1677.40/1682.28 c #Conflicts: 738000 | #Constraints: 89008
1677.40/1682.28 c #Conflicts: 739000 | #Constraints: 90008
1677.40/1682.28 c #Conflicts: 740000 | #Constraints: 91008
1677.40/1682.28 c INPROCESSING
1677.40/1682.28 c GARBAGE COLLECT
1677.40/1682.28 c #Conflicts: 741000 | #Constraints: 61965
1677.40/1682.28 c #Conflicts: 742000 | #Constraints: 62965
1677.40/1682.28 c #Conflicts: 743000 | #Constraints: 63965
1677.40/1682.28 c #Conflicts: 744000 | #Constraints: 64965
1677.40/1682.28 c #Conflicts: 745000 | #Constraints: 65965
1677.40/1682.28 c #Conflicts: 746000 | #Constraints: 66965
1677.40/1682.28 c #Conflicts: 747000 | #Constraints: 67965
1677.40/1682.28 c #Conflicts: 748000 | #Constraints: 68965
1677.40/1682.28 c #Conflicts: 749000 | #Constraints: 69965
1677.40/1682.28 c #Conflicts: 750000 | #Constraints: 70965
1677.40/1682.28 c #Conflicts: 751000 | #Constraints: 71965
1677.40/1682.28 c #Conflicts: 752000 | #Constraints: 72965
1677.40/1682.28 c #Conflicts: 753000 | #Constraints: 73965
1677.40/1682.28 c #Conflicts: 754000 | #Constraints: 74965
1677.40/1682.28 c #Conflicts: 755000 | #Constraints: 75965
1677.40/1682.28 c #Conflicts: 756000 | #Constraints: 76965
1677.40/1682.28 c #Conflicts: 757000 | #Constraints: 77965
1677.40/1682.28 c #Conflicts: 758000 | #Constraints: 78966
1677.40/1682.28 c #Conflicts: 759000 | #Constraints: 79966
1677.40/1682.28 c #Conflicts: 760000 | #Constraints: 80966
1677.40/1682.28 c #Conflicts: 761000 | #Constraints: 81966
1677.40/1682.28 c #Conflicts: 762000 | #Constraints: 82966
1677.40/1682.28 c #Conflicts: 763000 | #Constraints: 83966
1677.40/1682.28 c #Conflicts: 764000 | #Constraints: 84966
1677.40/1682.28 c #Conflicts: 765000 | #Constraints: 85966
1677.40/1682.28 c #Conflicts: 766000 | #Constraints: 86966
1677.40/1682.28 c #Conflicts: 767000 | #Constraints: 87966
1677.40/1682.28 c #Conflicts: 768000 | #Constraints: 88966
1677.40/1682.28 c #Conflicts: 769000 | #Constraints: 89966
1677.40/1682.28 c #Conflicts: 770000 | #Constraints: 90966
1677.40/1682.28 c #Conflicts: 771000 | #Constraints: 91966
1677.40/1682.28 c #Conflicts: 772000 | #Constraints: 92966
1677.40/1682.28 c #Conflicts: 773000 | #Constraints: 93966
1677.40/1682.28 c #Conflicts: 774000 | #Constraints: 94966
1677.40/1682.28 c #Conflicts: 775000 | #Constraints: 95966
1677.40/1682.28 c #Conflicts: 776000 | #Constraints: 96966
1677.40/1682.28 c #Conflicts: 777000 | #Constraints: 97966
1677.40/1682.28 c #Conflicts: 778000 | #Constraints: 98966
1677.40/1682.28 c #Conflicts: 779000 | #Constraints: 99966
1677.40/1682.28 c #Conflicts: 780000 | #Constraints: 100966
1677.40/1682.29 c #Conflicts: 781000 | #Constraints: 101966
1677.40/1682.29 c #Conflicts: 782000 | #Constraints: 102966
1677.40/1682.29 c #Conflicts: 783000 | #Constraints: 103966
1677.40/1682.29 c #Conflicts: 784000 | #Constraints: 104966
1677.40/1682.29 c #Conflicts: 785000 | #Constraints: 105966
1677.40/1682.29 c #Conflicts: 786000 | #Constraints: 106966
1677.40/1682.29 c #Conflicts: 787000 | #Constraints: 107966
1677.40/1682.29 c #Conflicts: 788000 | #Constraints: 108966
1677.40/1682.29 c #Conflicts: 789000 | #Constraints: 109966
1677.40/1682.29 c #Conflicts: 790000 | #Constraints: 110966
1677.40/1682.29 c #Conflicts: 791000 | #Constraints: 111966
1677.40/1682.29 c #Conflicts: 792000 | #Constraints: 112966
1677.40/1682.29 c #Conflicts: 793000 | #Constraints: 113966
1677.40/1682.29 c #Conflicts: 794000 | #Constraints: 114966
1677.40/1682.29 c #Conflicts: 795000 | #Constraints: 115966
1677.40/1682.29 c #Conflicts: 796000 | #Constraints: 116966
1677.40/1682.29 c #Conflicts: 797000 | #Constraints: 117966
1677.40/1682.29 c #Conflicts: 798000 | #Constraints: 118966
1677.40/1682.29 c INPROCESSING
1677.40/1682.29 c GARBAGE COLLECT
1677.40/1682.29 c #Conflicts: 799000 | #Constraints: 71186
1844.92/1850.13 c #Conflicts: 800000 | #Constraints: 72186
1844.92/1850.13 c #Conflicts: 801000 | #Constraints: 73186
1844.92/1850.13 c #Conflicts: 802000 | #Constraints: 74186
1844.92/1850.13 c #Conflicts: 803000 | #Constraints: 75186
1844.92/1850.13 c #Conflicts: 804000 | #Constraints: 76186
1844.92/1850.13 c #Conflicts: 805000 | #Constraints: 77186
1844.92/1850.13 c #Conflicts: 806000 | #Constraints: 78186
1844.92/1850.13 c #Conflicts: 807000 | #Constraints: 79186
1844.92/1850.13 c #Conflicts: 808000 | #Constraints: 80186
1844.92/1850.13 c #Conflicts: 809000 | #Constraints: 81186
1844.92/1850.13 c #Conflicts: 810000 | #Constraints: 82186
1844.92/1850.13 c #Conflicts: 811000 | #Constraints: 83186
1844.92/1850.13 c #Conflicts: 812000 | #Constraints: 84186
1844.92/1850.13 c #Conflicts: 813000 | #Constraints: 85186
1844.92/1850.13 c #Conflicts: 814000 | #Constraints: 86186
1844.92/1850.13 c #Conflicts: 815000 | #Constraints: 87186
1844.92/1850.13 c #Conflicts: 816000 | #Constraints: 88186
1844.92/1850.13 c #Conflicts: 817000 | #Constraints: 89186
1844.92/1850.13 c #Conflicts: 818000 | #Constraints: 90186
1844.92/1850.13 c #Conflicts: 819000 | #Constraints: 91186
1844.92/1850.13 c #Conflicts: 820000 | #Constraints: 92186
1844.92/1850.13 c #Conflicts: 821000 | #Constraints: 93186
1844.92/1850.13 c #Conflicts: 822000 | #Constraints: 94186
1844.92/1850.13 c INPROCESSING
1844.92/1850.13 c GARBAGE COLLECT
1844.92/1850.13 c #Conflicts: 823000 | #Constraints: 63725
1844.92/1850.13 c #Conflicts: 824000 | #Constraints: 64725
1844.92/1850.13 c #Conflicts: 825000 | #Constraints: 65725
1844.92/1850.13 c #Conflicts: 826000 | #Constraints: 66725
1844.92/1850.13 c #Conflicts: 827000 | #Constraints: 67725
1844.92/1850.13 c #Conflicts: 828000 | #Constraints: 68725
1844.92/1850.13 c #Conflicts: 829000 | #Constraints: 69725
1844.92/1850.13 c #Conflicts: 830000 | #Constraints: 70725
1844.92/1850.13 c #Conflicts: 831000 | #Constraints: 71725
1844.92/1850.13 c #Conflicts: 832000 | #Constraints: 72725
1844.92/1850.13 c #Conflicts: 833000 | #Constraints: 73725
1844.92/1850.13 c #Conflicts: 834000 | #Constraints: 74725
1844.92/1850.13 c #Conflicts: 835000 | #Constraints: 75725
1844.92/1850.13 c #Conflicts: 836000 | #Constraints: 76725
1844.92/1850.13 c #Conflicts: 837000 | #Constraints: 77725
1844.92/1850.13 c #Conflicts: 838000 | #Constraints: 78725
1844.92/1850.13 c #Conflicts: 839000 | #Constraints: 79725
1844.92/1850.13 c #Conflicts: 840000 | #Constraints: 80725
1844.92/1850.13 c #Conflicts: 841000 | #Constraints: 81725
1844.92/1850.13 c #Conflicts: 842000 | #Constraints: 82725
1844.92/1850.13 c #Conflicts: 843000 | #Constraints: 83725
1844.92/1850.13 c #Conflicts: 844000 | #Constraints: 84725
1844.92/1850.13 c #Conflicts: 845000 | #Constraints: 85725
1844.92/1850.13 c #Conflicts: 846000 | #Constraints: 86725
1844.92/1850.13 c #Conflicts: 847000 | #Constraints: 87725
1844.92/1850.13 c #Conflicts: 848000 | #Constraints: 88725
1844.92/1850.13 c #Conflicts: 849000 | #Constraints: 89725
1844.92/1850.13 c #Conflicts: 850000 | #Constraints: 90725
1844.92/1850.13 c #Conflicts: 851000 | #Constraints: 91725
1844.92/1850.13 c #Conflicts: 852000 | #Constraints: 92725
1844.92/1850.13 c #Conflicts: 853000 | #Constraints: 93725
1844.92/1850.13 c #Conflicts: 854000 | #Constraints: 94725
1844.92/1850.13 c #Conflicts: 855000 | #Constraints: 95725
1844.92/1850.13 c #Conflicts: 856000 | #Constraints: 96725
1844.92/1850.13 c #Conflicts: 857000 | #Constraints: 97725
1844.92/1850.13 c #Conflicts: 858000 | #Constraints: 98725
1844.92/1850.13 c #Conflicts: 859000 | #Constraints: 99725
1844.92/1850.13 c #Conflicts: 860000 | #Constraints: 100725
1844.92/1850.13 c #Conflicts: 861000 | #Constraints: 101725
1844.92/1850.13 c #Conflicts: 862000 | #Constraints: 102725
1844.92/1850.13 c #Conflicts: 863000 | #Constraints: 103725
1844.92/1850.13 c #Conflicts: 864000 | #Constraints: 104725
1844.92/1850.13 c #Conflicts: 865000 | #Constraints: 105725
1844.92/1850.13 c #Conflicts: 866000 | #Constraints: 106725
1844.92/1850.13 c #Conflicts: 867000 | #Constraints: 107725
1844.92/1850.13 c #Conflicts: 868000 | #Constraints: 108725
1844.92/1850.13 c #Conflicts: 869000 | #Constraints: 109725
1844.92/1850.13 c #Conflicts: 870000 | #Constraints: 110725
1844.92/1850.13 c #Conflicts: 871000 | #Constraints: 111725
1844.92/1850.13 c #Conflicts: 872000 | #Constraints: 112725
1844.92/1850.13 c #Conflicts: 873000 | #Constraints: 113725
1844.92/1850.13 c #Conflicts: 874000 | #Constraints: 114725
1844.92/1850.13 c #Conflicts: 875000 | #Constraints: 115725
1844.92/1850.13 c #Conflicts: 876000 | #Constraints: 116725
1844.92/1850.13 c #Conflicts: 877000 | #Constraints: 117725
1959.74/1965.22 c #Conflicts: 878000 | #Constraints: 118725
1959.74/1965.22 c #Conflicts: 879000 | #Constraints: 119725
1959.74/1965.22 c #Conflicts: 880000 | #Constraints: 120725
1959.74/1965.22 c #Conflicts: 881000 | #Constraints: 121725
1959.74/1965.22 c #Conflicts: 882000 | #Constraints: 122725
1959.74/1965.22 c #Conflicts: 883000 | #Constraints: 123725
1959.74/1965.22 c #Conflicts: 884000 | #Constraints: 124725
1959.74/1965.22 c INPROCESSING
1959.74/1965.22 c GARBAGE COLLECT
1959.74/1965.22 c rational objective 159
2162.66/2168.69 c #Conflicts: 885000 | #Constraints: 74087
2162.66/2168.69 c #Conflicts: 886000 | #Constraints: 75087
2162.66/2168.69 c #Conflicts: 887000 | #Constraints: 76087
2162.66/2168.69 c #Conflicts: 888000 | #Constraints: 77087
2162.66/2168.69 c #Conflicts: 889000 | #Constraints: 78087
2162.66/2168.69 c #Conflicts: 890000 | #Constraints: 79087
2162.66/2168.69 c #Conflicts: 891000 | #Constraints: 80087
2162.66/2168.69 c #Conflicts: 892000 | #Constraints: 81087
2162.66/2168.69 c #Conflicts: 893000 | #Constraints: 82087
2162.66/2168.69 c #Conflicts: 894000 | #Constraints: 83087
2162.66/2168.69 c #Conflicts: 895000 | #Constraints: 84087
2162.66/2168.69 c #Conflicts: 896000 | #Constraints: 85087
2162.66/2168.69 c #Conflicts: 897000 | #Constraints: 86087
2162.66/2168.69 c #Conflicts: 898000 | #Constraints: 87087
2162.66/2168.69 c #Conflicts: 899000 | #Constraints: 88087
2162.66/2168.69 c #Conflicts: 900000 | #Constraints: 89087
2162.66/2168.69 c #Conflicts: 901000 | #Constraints: 90087
2162.66/2168.69 c #Conflicts: 902000 | #Constraints: 91087
2162.66/2168.69 c #Conflicts: 903000 | #Constraints: 92087
2162.66/2168.69 c #Conflicts: 904000 | #Constraints: 93087
2162.66/2168.69 c #Conflicts: 905000 | #Constraints: 94087
2162.66/2168.69 c #Conflicts: 906000 | #Constraints: 95087
2162.66/2168.69 c #Conflicts: 907000 | #Constraints: 96087
2162.66/2168.69 c #Conflicts: 908000 | #Constraints: 97087
2162.66/2168.69 c #Conflicts: 909000 | #Constraints: 98087
2162.66/2168.69 c #Conflicts: 910000 | #Constraints: 99087
2162.66/2168.69 c INPROCESSING
2162.66/2168.69 c GARBAGE COLLECT
2162.66/2168.69 c #Conflicts: 911000 | #Constraints: 67187
2162.66/2168.69 c #Conflicts: 912000 | #Constraints: 68187
2162.66/2168.69 c #Conflicts: 913000 | #Constraints: 69187
2162.66/2168.69 c #Conflicts: 914000 | #Constraints: 70187
2162.66/2168.69 c #Conflicts: 915000 | #Constraints: 71187
2162.66/2168.69 c #Conflicts: 916000 | #Constraints: 72187
2162.66/2168.69 c #Conflicts: 917000 | #Constraints: 73187
2162.66/2168.69 c #Conflicts: 918000 | #Constraints: 74187
2162.66/2168.69 c #Conflicts: 919000 | #Constraints: 75187
2162.66/2168.69 c #Conflicts: 920000 | #Constraints: 76187
2162.66/2168.69 c #Conflicts: 921000 | #Constraints: 77187
2162.66/2168.69 c #Conflicts: 922000 | #Constraints: 78187
2162.66/2168.69 c #Conflicts: 923000 | #Constraints: 79187
2162.66/2168.69 c #Conflicts: 924000 | #Constraints: 80187
2162.66/2168.69 c #Conflicts: 925000 | #Constraints: 81187
2162.66/2168.69 c #Conflicts: 926000 | #Constraints: 82187
2162.66/2168.69 c #Conflicts: 927000 | #Constraints: 83187
2162.66/2168.69 c #Conflicts: 928000 | #Constraints: 84187
2162.66/2168.69 c #Conflicts: 929000 | #Constraints: 85187
2162.66/2168.69 c #Conflicts: 930000 | #Constraints: 86187
2162.66/2168.69 c #Conflicts: 931000 | #Constraints: 87187
2162.66/2168.69 c #Conflicts: 932000 | #Constraints: 88187
2162.66/2168.69 c #Conflicts: 933000 | #Constraints: 89187
2162.66/2168.69 c #Conflicts: 934000 | #Constraints: 90187
2162.66/2168.69 c #Conflicts: 935000 | #Constraints: 91187
2162.66/2168.69 c #Conflicts: 936000 | #Constraints: 92187
2162.66/2168.69 c #Conflicts: 937000 | #Constraints: 93187
2162.66/2168.69 c #Conflicts: 938000 | #Constraints: 94187
2162.66/2168.69 c #Conflicts: 939000 | #Constraints: 95187
2162.66/2168.69 c #Conflicts: 940000 | #Constraints: 96187
2162.66/2168.69 c #Conflicts: 941000 | #Constraints: 97187
2162.66/2168.69 c #Conflicts: 942000 | #Constraints: 98187
2162.66/2168.69 c #Conflicts: 943000 | #Constraints: 99187
2162.66/2168.69 c #Conflicts: 944000 | #Constraints: 100187
2162.66/2168.69 c #Conflicts: 945000 | #Constraints: 101187
2162.66/2168.69 c #Conflicts: 946000 | #Constraints: 102187
2162.66/2168.69 c #Conflicts: 947000 | #Constraints: 103188
2162.66/2168.69 c #Conflicts: 948000 | #Constraints: 104188
2162.66/2168.69 c #Conflicts: 949000 | #Constraints: 105188
2162.66/2168.69 c #Conflicts: 950000 | #Constraints: 106188
2162.66/2168.69 c #Conflicts: 951000 | #Constraints: 107188
2162.66/2168.69 c #Conflicts: 952000 | #Constraints: 108188
2162.66/2168.69 c #Conflicts: 953000 | #Constraints: 109188
2162.66/2168.69 c #Conflicts: 954000 | #Constraints: 110188
2162.66/2168.69 c #Conflicts: 955000 | #Constraints: 111188
2162.66/2168.69 c #Conflicts: 956000 | #Constraints: 112188
2162.66/2168.69 c #Conflicts: 957000 | #Constraints: 113188
2162.66/2168.69 c #Conflicts: 958000 | #Constraints: 114188
2162.66/2168.69 c #Conflicts: 959000 | #Constraints: 115188
2162.66/2168.69 c #Conflicts: 960000 | #Constraints: 116188
2162.66/2168.69 c #Conflicts: 961000 | #Constraints: 117188
2162.66/2168.69 c #Conflicts: 962000 | #Constraints: 118188
2162.66/2168.69 c #Conflicts: 963000 | #Constraints: 119188
2391.02/2397.56 c #Conflicts: 964000 | #Constraints: 120188
2391.02/2397.56 c #Conflicts: 965000 | #Constraints: 121188
2391.02/2397.56 c #Conflicts: 966000 | #Constraints: 122188
2391.02/2397.56 c #Conflicts: 967000 | #Constraints: 123188
2391.02/2397.56 c #Conflicts: 968000 | #Constraints: 124188
2391.02/2397.56 c #Conflicts: 969000 | #Constraints: 125188
2391.02/2397.56 c #Conflicts: 970000 | #Constraints: 126188
2391.02/2397.56 c #Conflicts: 971000 | #Constraints: 127188
2391.02/2397.56 c #Conflicts: 972000 | #Constraints: 128188
2391.02/2397.56 c #Conflicts: 973000 | #Constraints: 129188
2391.02/2397.56 c #Conflicts: 974000 | #Constraints: 130188
2391.02/2397.56 c INPROCESSING
2391.02/2397.56 c GARBAGE COLLECT
2391.02/2397.56 c #Conflicts: 975000 | #Constraints: 76702
2391.02/2397.56 c #Conflicts: 976000 | #Constraints: 77702
2391.02/2397.56 c #Conflicts: 977000 | #Constraints: 78702
2391.02/2397.56 c #Conflicts: 978000 | #Constraints: 79702
2391.02/2397.56 c #Conflicts: 979000 | #Constraints: 80702
2391.02/2397.56 c #Conflicts: 980000 | #Constraints: 81702
2391.02/2397.56 c #Conflicts: 981000 | #Constraints: 82702
2391.02/2397.56 c #Conflicts: 982000 | #Constraints: 83702
2391.02/2397.56 c #Conflicts: 983000 | #Constraints: 84702
2391.02/2397.56 c #Conflicts: 984000 | #Constraints: 85702
2391.02/2397.56 c #Conflicts: 985000 | #Constraints: 86702
2391.02/2397.56 c #Conflicts: 986000 | #Constraints: 87702
2391.02/2397.56 c #Conflicts: 987000 | #Constraints: 88702
2391.02/2397.56 c #Conflicts: 988000 | #Constraints: 89702
2391.02/2397.56 c #Conflicts: 989000 | #Constraints: 90702
2391.02/2397.56 c #Conflicts: 990000 | #Constraints: 91702
2391.02/2397.56 c #Conflicts: 991000 | #Constraints: 92702
2391.02/2397.56 c #Conflicts: 992000 | #Constraints: 93702
2391.02/2397.56 c #Conflicts: 993000 | #Constraints: 94702
2391.02/2397.56 c #Conflicts: 994000 | #Constraints: 95702
2391.02/2397.56 c #Conflicts: 995000 | #Constraints: 96702
2391.02/2397.56 c #Conflicts: 996000 | #Constraints: 97702
2391.02/2397.56 c #Conflicts: 997000 | #Constraints: 98702
2391.02/2397.56 c #Conflicts: 998000 | #Constraints: 99702
2391.02/2397.56 c #Conflicts: 999000 | #Constraints: 100702
2391.02/2397.56 c #Conflicts: 1000000 | #Constraints: 101702
2391.02/2397.56 c #Conflicts: 1001000 | #Constraints: 102702
2391.02/2397.56 c INPROCESSING
2391.02/2397.56 c GARBAGE COLLECT
2391.02/2397.56 c #Conflicts: 1002000 | #Constraints: 68199
2391.02/2397.56 c #Conflicts: 1003000 | #Constraints: 69199
2391.02/2397.56 c #Conflicts: 1004000 | #Constraints: 70199
2391.02/2397.56 c #Conflicts: 1005000 | #Constraints: 71199
2391.02/2397.56 c #Conflicts: 1006000 | #Constraints: 72199
2391.02/2397.56 c #Conflicts: 1007000 | #Constraints: 73199
2391.02/2397.56 c #Conflicts: 1008000 | #Constraints: 74199
2391.02/2397.56 c #Conflicts: 1009000 | #Constraints: 75199
2391.02/2397.56 c #Conflicts: 1010000 | #Constraints: 76199
2391.02/2397.56 c #Conflicts: 1011000 | #Constraints: 77199
2391.02/2397.56 c #Conflicts: 1012000 | #Constraints: 78199
2391.02/2397.56 c #Conflicts: 1013000 | #Constraints: 79199
2391.02/2397.56 c #Conflicts: 1014000 | #Constraints: 80199
2391.02/2397.56 c #Conflicts: 1015000 | #Constraints: 81199
2391.02/2397.56 c #Conflicts: 1016000 | #Constraints: 82199
2391.02/2397.56 c #Conflicts: 1017000 | #Constraints: 83199
2391.02/2397.56 c #Conflicts: 1018000 | #Constraints: 84199
2391.02/2397.56 c #Conflicts: 1019000 | #Constraints: 85199
2391.02/2397.56 c #Conflicts: 1020000 | #Constraints: 86199
2391.02/2397.56 c #Conflicts: 1021000 | #Constraints: 87199
2391.02/2397.56 c #Conflicts: 1022000 | #Constraints: 88199
2391.02/2397.56 c #Conflicts: 1023000 | #Constraints: 89199
2391.02/2397.56 c #Conflicts: 1024000 | #Constraints: 90199
2391.02/2397.56 c #Conflicts: 1025000 | #Constraints: 91199
2391.02/2397.56 c #Conflicts: 1026000 | #Constraints: 92199
2391.02/2397.56 c #Conflicts: 1027000 | #Constraints: 93199
2391.02/2397.56 c #Conflicts: 1028000 | #Constraints: 94199
2391.02/2397.56 c #Conflicts: 1029000 | #Constraints: 95199
2391.02/2397.56 c #Conflicts: 1030000 | #Constraints: 96199
2391.02/2397.56 c #Conflicts: 1031000 | #Constraints: 97199
2391.02/2397.56 c #Conflicts: 1032000 | #Constraints: 98199
2391.02/2397.56 c #Conflicts: 1033000 | #Constraints: 99199
2391.02/2397.56 c #Conflicts: 1034000 | #Constraints: 100199
2391.02/2397.56 c #Conflicts: 1035000 | #Constraints: 101199
2391.02/2397.56 c #Conflicts: 1036000 | #Constraints: 102199
2391.02/2397.56 c #Conflicts: 1037000 | #Constraints: 103199
2391.02/2397.56 c #Conflicts: 1038000 | #Constraints: 104199
2391.02/2397.56 c #Conflicts: 1039000 | #Constraints: 105199
2391.02/2397.56 c #Conflicts: 1040000 | #Constraints: 106199
2680.52/2687.71 c #Conflicts: 1041000 | #Constraints: 107199
2680.52/2687.71 c #Conflicts: 1042000 | #Constraints: 108199
2680.52/2687.71 c #Conflicts: 1043000 | #Constraints: 109199
2680.52/2687.71 c #Conflicts: 1044000 | #Constraints: 110199
2680.52/2687.71 c #Conflicts: 1045000 | #Constraints: 111199
2680.52/2687.71 c #Conflicts: 1046000 | #Constraints: 112199
2680.52/2687.71 c #Conflicts: 1047000 | #Constraints: 113199
2680.52/2687.71 c #Conflicts: 1048000 | #Constraints: 114199
2680.52/2687.71 c #Conflicts: 1049000 | #Constraints: 115199
2680.52/2687.71 c #Conflicts: 1050000 | #Constraints: 116199
2680.52/2687.71 c #Conflicts: 1051000 | #Constraints: 117199
2680.52/2687.71 c #Conflicts: 1052000 | #Constraints: 118199
2680.52/2687.71 c #Conflicts: 1053000 | #Constraints: 119199
2680.52/2687.71 c #Conflicts: 1054000 | #Constraints: 120199
2680.52/2687.71 c #Conflicts: 1055000 | #Constraints: 121199
2680.52/2687.71 c #Conflicts: 1056000 | #Constraints: 122199
2680.52/2687.71 c #Conflicts: 1057000 | #Constraints: 123199
2680.52/2687.71 c #Conflicts: 1058000 | #Constraints: 124199
2680.52/2687.71 c #Conflicts: 1059000 | #Constraints: 125199
2680.52/2687.71 c #Conflicts: 1060000 | #Constraints: 126199
2680.52/2687.71 c #Conflicts: 1061000 | #Constraints: 127199
2680.52/2687.71 c #Conflicts: 1062000 | #Constraints: 128199
2680.52/2687.71 c #Conflicts: 1063000 | #Constraints: 129199
2680.52/2687.71 c #Conflicts: 1064000 | #Constraints: 130199
2680.52/2687.71 c #Conflicts: 1065000 | #Constraints: 131199
2680.52/2687.71 c #Conflicts: 1066000 | #Constraints: 132199
2680.52/2687.71 c #Conflicts: 1067000 | #Constraints: 133199
2680.52/2687.71 c #Conflicts: 1068000 | #Constraints: 134199
2680.52/2687.71 c #Conflicts: 1069000 | #Constraints: 135199
2680.52/2687.71 c INPROCESSING
2680.52/2687.71 c GARBAGE COLLECT
2680.52/2687.71 c #Conflicts: 1070000 | #Constraints: 79339
2680.52/2687.71 c #Conflicts: 1071000 | #Constraints: 80339
2680.52/2687.71 c #Conflicts: 1072000 | #Constraints: 81339
2680.52/2687.71 c #Conflicts: 1073000 | #Constraints: 82339
2680.52/2687.71 c #Conflicts: 1074000 | #Constraints: 83339
2680.52/2687.71 c #Conflicts: 1075000 | #Constraints: 84339
2680.52/2687.71 c #Conflicts: 1076000 | #Constraints: 85339
2680.52/2687.71 c #Conflicts: 1077000 | #Constraints: 86339
2680.52/2687.71 c #Conflicts: 1078000 | #Constraints: 87339
2680.52/2687.71 c #Conflicts: 1079000 | #Constraints: 88339
2680.52/2687.71 c #Conflicts: 1080000 | #Constraints: 89339
2680.52/2687.71 c #Conflicts: 1081000 | #Constraints: 90339
2680.52/2687.71 c #Conflicts: 1082000 | #Constraints: 91339
2680.52/2687.71 c #Conflicts: 1083000 | #Constraints: 92339
2680.52/2687.71 c #Conflicts: 1084000 | #Constraints: 93339
2680.52/2687.71 c #Conflicts: 1085000 | #Constraints: 94339
2680.52/2687.71 c #Conflicts: 1086000 | #Constraints: 95339
2680.52/2687.71 c #Conflicts: 1087000 | #Constraints: 96339
2680.52/2687.71 c #Conflicts: 1088000 | #Constraints: 97339
2680.52/2687.71 c #Conflicts: 1089000 | #Constraints: 98339
2680.52/2687.71 c #Conflicts: 1090000 | #Constraints: 99339
2680.52/2687.71 c #Conflicts: 1091000 | #Constraints: 100339
2680.52/2687.71 c #Conflicts: 1092000 | #Constraints: 101339
2680.52/2687.71 c #Conflicts: 1093000 | #Constraints: 102339
2680.52/2687.71 c #Conflicts: 1094000 | #Constraints: 103339
2680.52/2687.71 c #Conflicts: 1095000 | #Constraints: 104339
2680.52/2687.71 c #Conflicts: 1096000 | #Constraints: 105339
2680.52/2687.71 c #Conflicts: 1097000 | #Constraints: 106339
2680.52/2687.71 c #Conflicts: 1098000 | #Constraints: 107339
2680.52/2687.71 c INPROCESSING
2680.52/2687.71 c GARBAGE COLLECT
2680.52/2687.71 c #Conflicts: 1099000 | #Constraints: 70238
2680.52/2687.71 c #Conflicts: 1100000 | #Constraints: 71238
2680.52/2687.71 c #Conflicts: 1101000 | #Constraints: 72238
2680.52/2687.71 c #Conflicts: 1102000 | #Constraints: 73238
2680.52/2687.71 c #Conflicts: 1103000 | #Constraints: 74238
2680.52/2687.71 c #Conflicts: 1104000 | #Constraints: 75238
2680.52/2687.71 c #Conflicts: 1105000 | #Constraints: 76238
2680.52/2687.71 c #Conflicts: 1106000 | #Constraints: 77238
2680.52/2687.71 c #Conflicts: 1107000 | #Constraints: 78238
2680.52/2687.71 c #Conflicts: 1108000 | #Constraints: 79239
2680.52/2687.71 c #Conflicts: 1109000 | #Constraints: 80239
2680.52/2687.71 c #Conflicts: 1110000 | #Constraints: 81239
2680.52/2687.71 c #Conflicts: 1111000 | #Constraints: 82239
2680.52/2687.71 c #Conflicts: 1112000 | #Constraints: 83239
2680.52/2687.71 c #Conflicts: 1113000 | #Constraints: 84239
2680.52/2687.71 c #Conflicts: 1114000 | #Constraints: 85239
2680.52/2687.71 c #Conflicts: 1115000 | #Constraints: 86239
2680.52/2687.71 c #Conflicts: 1116000 | #Constraints: 87239
2680.52/2687.71 c #Conflicts: 1117000 | #Constraints: 88239
2680.52/2687.71 c #Conflicts: 1118000 | #Constraints: 89239
2915.43/2923.20 c #Conflicts: 1119000 | #Constraints: 90239
2915.43/2923.20 c #Conflicts: 1120000 | #Constraints: 91239
2915.43/2923.20 c #Conflicts: 1121000 | #Constraints: 92239
2915.43/2923.20 c #Conflicts: 1122000 | #Constraints: 93239
2915.43/2923.20 c #Conflicts: 1123000 | #Constraints: 94239
2915.43/2923.20 c #Conflicts: 1124000 | #Constraints: 95239
2915.43/2923.20 c #Conflicts: 1125000 | #Constraints: 96239
2915.43/2923.20 c #Conflicts: 1126000 | #Constraints: 97239
2915.43/2923.20 c #Conflicts: 1127000 | #Constraints: 98239
2915.43/2923.20 c #Conflicts: 1128000 | #Constraints: 99239
2915.43/2923.20 c #Conflicts: 1129000 | #Constraints: 100239
2915.43/2923.20 c #Conflicts: 1130000 | #Constraints: 101239
2915.43/2923.20 c #Conflicts: 1131000 | #Constraints: 102239
2915.43/2923.20 c #Conflicts: 1132000 | #Constraints: 103239
2915.43/2923.20 c #Conflicts: 1133000 | #Constraints: 104239
2915.43/2923.20 c #Conflicts: 1134000 | #Constraints: 105239
2915.43/2923.20 c #Conflicts: 1135000 | #Constraints: 106239
2915.43/2923.20 c #Conflicts: 1136000 | #Constraints: 107239
2915.43/2923.20 c #Conflicts: 1137000 | #Constraints: 108239
2915.43/2923.20 c #Conflicts: 1138000 | #Constraints: 109239
2915.43/2923.20 c #Conflicts: 1139000 | #Constraints: 110239
2915.43/2923.20 c #Conflicts: 1140000 | #Constraints: 111239
2915.43/2923.20 c #Conflicts: 1141000 | #Constraints: 112239
2915.43/2923.20 c #Conflicts: 1142000 | #Constraints: 113239
2915.43/2923.20 c #Conflicts: 1143000 | #Constraints: 114239
2915.43/2923.20 c #Conflicts: 1144000 | #Constraints: 115239
2915.43/2923.20 c #Conflicts: 1145000 | #Constraints: 116239
2915.43/2923.20 c #Conflicts: 1146000 | #Constraints: 117239
2915.43/2923.20 c #Conflicts: 1147000 | #Constraints: 118239
2915.43/2923.20 c #Conflicts: 1148000 | #Constraints: 119239
2915.43/2923.20 c #Conflicts: 1149000 | #Constraints: 120239
2915.43/2923.20 c #Conflicts: 1150000 | #Constraints: 121239
2915.43/2923.20 c #Conflicts: 1151000 | #Constraints: 122239
2915.43/2923.20 c #Conflicts: 1152000 | #Constraints: 123239
2915.43/2923.20 c #Conflicts: 1153000 | #Constraints: 124239
2915.43/2923.20 c #Conflicts: 1154000 | #Constraints: 125239
2915.43/2923.20 c #Conflicts: 1155000 | #Constraints: 126239
2915.43/2923.20 c #Conflicts: 1156000 | #Constraints: 127239
2915.43/2923.20 c #Conflicts: 1157000 | #Constraints: 128239
2915.43/2923.20 c #Conflicts: 1158000 | #Constraints: 129239
2915.43/2923.20 c #Conflicts: 1159000 | #Constraints: 130239
2915.43/2923.20 c #Conflicts: 1160000 | #Constraints: 131239
2915.43/2923.20 c #Conflicts: 1161000 | #Constraints: 132239
2915.43/2923.20 c #Conflicts: 1162000 | #Constraints: 133239
2915.43/2923.20 c #Conflicts: 1163000 | #Constraints: 134239
2915.43/2923.20 c #Conflicts: 1164000 | #Constraints: 135239
2915.43/2923.20 c #Conflicts: 1165000 | #Constraints: 136239
2915.43/2923.20 c #Conflicts: 1166000 | #Constraints: 137239
2915.43/2923.20 c #Conflicts: 1167000 | #Constraints: 138239
2915.43/2923.20 c #Conflicts: 1168000 | #Constraints: 139239
2915.43/2923.20 c INPROCESSING
2915.43/2923.20 c GARBAGE COLLECT
2915.43/2923.20 c #Conflicts: 1169000 | #Constraints: 81075
2915.43/2923.20 c #Conflicts: 1170000 | #Constraints: 82075
2915.43/2923.20 c #Conflicts: 1171000 | #Constraints: 83075
2915.43/2923.20 c #Conflicts: 1172000 | #Constraints: 84075
2915.43/2923.20 c #Conflicts: 1173000 | #Constraints: 85075
2915.43/2923.20 c #Conflicts: 1174000 | #Constraints: 86075
2915.43/2923.20 c #Conflicts: 1175000 | #Constraints: 87075
2915.43/2923.20 c #Conflicts: 1176000 | #Constraints: 88075
2915.43/2923.20 c #Conflicts: 1177000 | #Constraints: 89075
2915.43/2923.20 c #Conflicts: 1178000 | #Constraints: 90075
2915.43/2923.20 c #Conflicts: 1179000 | #Constraints: 91075
2915.43/2923.20 c #Conflicts: 1180000 | #Constraints: 92075
2915.43/2923.20 c #Conflicts: 1181000 | #Constraints: 93075
2915.43/2923.20 c #Conflicts: 1182000 | #Constraints: 94075
2915.43/2923.20 c #Conflicts: 1183000 | #Constraints: 95075
2915.43/2923.20 c #Conflicts: 1184000 | #Constraints: 96075
2915.43/2923.20 c #Conflicts: 1185000 | #Constraints: 97075
2915.43/2923.20 c #Conflicts: 1186000 | #Constraints: 98075
2915.43/2923.20 c #Conflicts: 1187000 | #Constraints: 99075
2915.43/2923.20 c #Conflicts: 1188000 | #Constraints: 100075
2915.43/2923.20 c #Conflicts: 1189000 | #Constraints: 101075
2915.43/2923.20 c #Conflicts: 1190000 | #Constraints: 102075
2915.43/2923.20 c #Conflicts: 1191000 | #Constraints: 103075
2915.43/2923.20 c #Conflicts: 1192000 | #Constraints: 104075
2915.43/2923.20 c #Conflicts: 1193000 | #Constraints: 105075
2915.43/2923.20 c #Conflicts: 1194000 | #Constraints: 106075
2915.43/2923.20 c #Conflicts: 1195000 | #Constraints: 107075
2915.43/2923.20 c #Conflicts: 1196000 | #Constraints: 108075
3136.16/3144.58 c #Conflicts: 1197000 | #Constraints: 109075
3136.16/3144.58 c #Conflicts: 1198000 | #Constraints: 110075
3136.16/3144.58 c INPROCESSING
3136.16/3144.58 c GARBAGE COLLECT
3136.16/3144.58 c #Conflicts: 1199000 | #Constraints: 72053
3136.16/3144.58 c #Conflicts: 1200000 | #Constraints: 73053
3136.16/3144.58 c #Conflicts: 1201000 | #Constraints: 74053
3136.16/3144.58 c #Conflicts: 1202000 | #Constraints: 75053
3136.16/3144.58 c #Conflicts: 1203000 | #Constraints: 76053
3136.16/3144.58 c #Conflicts: 1204000 | #Constraints: 77053
3136.16/3144.58 c #Conflicts: 1205000 | #Constraints: 78053
3136.16/3144.58 c #Conflicts: 1206000 | #Constraints: 79053
3136.16/3144.58 c #Conflicts: 1207000 | #Constraints: 80053
3136.16/3144.58 c #Conflicts: 1208000 | #Constraints: 81053
3136.16/3144.58 c #Conflicts: 1209000 | #Constraints: 82053
3136.16/3144.58 c #Conflicts: 1210000 | #Constraints: 83053
3136.16/3144.58 c #Conflicts: 1211000 | #Constraints: 84053
3136.16/3144.58 c #Conflicts: 1212000 | #Constraints: 85053
3136.16/3144.58 c #Conflicts: 1213000 | #Constraints: 86053
3136.16/3144.58 c #Conflicts: 1214000 | #Constraints: 87053
3136.16/3144.58 c #Conflicts: 1215000 | #Constraints: 88053
3136.16/3144.58 c #Conflicts: 1216000 | #Constraints: 89053
3136.16/3144.58 c #Conflicts: 1217000 | #Constraints: 90053
3136.16/3144.58 c #Conflicts: 1218000 | #Constraints: 91053
3136.16/3144.58 c #Conflicts: 1219000 | #Constraints: 92053
3136.16/3144.58 c #Conflicts: 1220000 | #Constraints: 93053
3136.16/3144.58 c #Conflicts: 1221000 | #Constraints: 94053
3136.16/3144.58 c #Conflicts: 1222000 | #Constraints: 95053
3136.16/3144.58 c #Conflicts: 1223000 | #Constraints: 96053
3136.16/3144.58 c #Conflicts: 1224000 | #Constraints: 97053
3136.16/3144.58 c #Conflicts: 1225000 | #Constraints: 98053
3136.16/3144.58 c #Conflicts: 1226000 | #Constraints: 99053
3136.16/3144.58 c #Conflicts: 1227000 | #Constraints: 100053
3136.16/3144.58 c #Conflicts: 1228000 | #Constraints: 101053
3136.16/3144.58 c #Conflicts: 1229000 | #Constraints: 102053
3136.16/3144.58 c #Conflicts: 1230000 | #Constraints: 103053
3136.16/3144.58 c #Conflicts: 1231000 | #Constraints: 104053
3136.16/3144.58 c #Conflicts: 1232000 | #Constraints: 105053
3136.16/3144.58 c #Conflicts: 1233000 | #Constraints: 106053
3136.16/3144.58 c #Conflicts: 1234000 | #Constraints: 107053
3136.16/3144.58 c #Conflicts: 1235000 | #Constraints: 108053
3136.16/3144.58 c #Conflicts: 1236000 | #Constraints: 109053
3136.16/3144.58 c #Conflicts: 1237000 | #Constraints: 110053
3136.16/3144.58 c #Conflicts: 1238000 | #Constraints: 111053
3136.16/3144.58 c #Conflicts: 1239000 | #Constraints: 112053
3136.16/3144.58 c #Conflicts: 1240000 | #Constraints: 113053
3136.16/3144.58 c #Conflicts: 1241000 | #Constraints: 114053
3136.16/3144.58 c #Conflicts: 1242000 | #Constraints: 115053
3136.16/3144.58 c #Conflicts: 1243000 | #Constraints: 116053
3136.16/3144.58 c #Conflicts: 1244000 | #Constraints: 117053
3136.16/3144.58 c #Conflicts: 1245000 | #Constraints: 118053
3136.16/3144.58 c #Conflicts: 1246000 | #Constraints: 119053
3136.16/3144.58 c #Conflicts: 1247000 | #Constraints: 120053
3136.16/3144.58 c #Conflicts: 1248000 | #Constraints: 121053
3136.16/3144.58 c #Conflicts: 1249000 | #Constraints: 122053
3136.16/3144.58 c #Conflicts: 1250000 | #Constraints: 123053
3136.16/3144.58 c #Conflicts: 1251000 | #Constraints: 124053
3136.16/3144.58 c #Conflicts: 1252000 | #Constraints: 125053
3136.16/3144.58 c #Conflicts: 1253000 | #Constraints: 126053
3136.16/3144.58 c #Conflicts: 1254000 | #Constraints: 127053
3136.16/3144.58 c #Conflicts: 1255000 | #Constraints: 128053
3136.16/3144.58 c #Conflicts: 1256000 | #Constraints: 129053
3136.16/3144.58 c #Conflicts: 1257000 | #Constraints: 130053
3136.16/3144.58 c #Conflicts: 1258000 | #Constraints: 131053
3136.16/3144.58 c #Conflicts: 1259000 | #Constraints: 132053
3136.16/3144.58 c #Conflicts: 1260000 | #Constraints: 133053
3136.16/3144.58 c #Conflicts: 1261000 | #Constraints: 134053
3136.16/3144.58 c #Conflicts: 1262000 | #Constraints: 135053
3136.16/3144.58 c #Conflicts: 1263000 | #Constraints: 136053
3136.16/3144.58 c #Conflicts: 1264000 | #Constraints: 137053
3136.16/3144.58 c #Conflicts: 1265000 | #Constraints: 138053
3136.16/3144.58 c #Conflicts: 1266000 | #Constraints: 139053
3136.16/3144.58 c #Conflicts: 1267000 | #Constraints: 140053
3136.16/3144.58 c #Conflicts: 1268000 | #Constraints: 141053
3136.16/3144.58 c #Conflicts: 1269000 | #Constraints: 142053
3136.16/3144.58 c #Conflicts: 1270000 | #Constraints: 143053
3136.16/3144.58 c #Conflicts: 1271000 | #Constraints: 144053
3136.16/3144.58 c #Conflicts: 1272000 | #Constraints: 145053
3136.16/3144.58 c INPROCESSING
3136.16/3144.58 c GARBAGE COLLECT
3136.16/3144.58 c #Conflicts: 1273000 | #Constraints: 84256
3363.00/3371.91 c #Conflicts: 1274000 | #Constraints: 85256
3363.00/3371.91 c #Conflicts: 1275000 | #Constraints: 86256
3363.00/3371.91 c #Conflicts: 1276000 | #Constraints: 87256
3363.00/3371.91 c #Conflicts: 1277000 | #Constraints: 88256
3363.00/3371.91 c #Conflicts: 1278000 | #Constraints: 89256
3363.00/3371.91 c #Conflicts: 1279000 | #Constraints: 90256
3363.00/3371.91 c #Conflicts: 1280000 | #Constraints: 91256
3363.00/3371.91 c #Conflicts: 1281000 | #Constraints: 92256
3363.00/3371.91 c #Conflicts: 1282000 | #Constraints: 93256
3363.00/3371.91 c #Conflicts: 1283000 | #Constraints: 94257
3363.00/3371.91 c #Conflicts: 1284000 | #Constraints: 95257
3363.00/3371.91 c #Conflicts: 1285000 | #Constraints: 96257
3363.00/3371.91 c #Conflicts: 1286000 | #Constraints: 97257
3363.00/3371.91 c #Conflicts: 1287000 | #Constraints: 98257
3363.00/3371.91 c #Conflicts: 1288000 | #Constraints: 99257
3363.00/3371.91 c #Conflicts: 1289000 | #Constraints: 100257
3363.00/3371.91 c #Conflicts: 1290000 | #Constraints: 101257
3363.00/3371.91 c #Conflicts: 1291000 | #Constraints: 102257
3363.00/3371.91 c #Conflicts: 1292000 | #Constraints: 103257
3363.00/3371.91 c #Conflicts: 1293000 | #Constraints: 104257
3363.00/3371.91 c #Conflicts: 1294000 | #Constraints: 105257
3363.00/3371.91 c #Conflicts: 1295000 | #Constraints: 106257
3363.00/3371.91 c #Conflicts: 1296000 | #Constraints: 107257
3363.00/3371.91 c #Conflicts: 1297000 | #Constraints: 108257
3363.00/3371.91 c #Conflicts: 1298000 | #Constraints: 109257
3363.00/3371.91 c #Conflicts: 1299000 | #Constraints: 110257
3363.00/3371.91 c #Conflicts: 1300000 | #Constraints: 111257
3363.00/3371.91 c #Conflicts: 1301000 | #Constraints: 112257
3363.00/3371.91 c #Conflicts: 1302000 | #Constraints: 113257
3363.00/3371.91 c #Conflicts: 1303000 | #Constraints: 114257
3363.00/3371.91 c INPROCESSING
3363.00/3371.91 c GARBAGE COLLECT
3363.00/3371.91 c #Conflicts: 1304000 | #Constraints: 74783
3363.00/3371.91 c #Conflicts: 1305000 | #Constraints: 75783
3363.00/3371.91 c #Conflicts: 1306000 | #Constraints: 76783
3363.00/3371.91 c #Conflicts: 1307000 | #Constraints: 77783
3363.00/3371.91 c #Conflicts: 1308000 | #Constraints: 78783
3363.00/3371.91 c #Conflicts: 1309000 | #Constraints: 79783
3363.00/3371.91 c #Conflicts: 1310000 | #Constraints: 80783
3363.00/3371.91 c #Conflicts: 1311000 | #Constraints: 81783
3363.00/3371.91 c #Conflicts: 1312000 | #Constraints: 82783
3363.00/3371.91 c #Conflicts: 1313000 | #Constraints: 83783
3363.00/3371.91 c #Conflicts: 1314000 | #Constraints: 84783
3363.00/3371.91 c #Conflicts: 1315000 | #Constraints: 85783
3363.00/3371.91 c #Conflicts: 1316000 | #Constraints: 86783
3363.00/3371.91 c #Conflicts: 1317000 | #Constraints: 87783
3363.00/3371.91 c #Conflicts: 1318000 | #Constraints: 88783
3363.00/3371.91 c #Conflicts: 1319000 | #Constraints: 89783
3363.00/3371.91 c #Conflicts: 1320000 | #Constraints: 90783
3363.00/3371.91 c #Conflicts: 1321000 | #Constraints: 91783
3363.00/3371.91 c #Conflicts: 1322000 | #Constraints: 92783
3363.00/3371.91 c #Conflicts: 1323000 | #Constraints: 93783
3363.00/3371.91 c #Conflicts: 1324000 | #Constraints: 94783
3363.00/3371.91 c #Conflicts: 1325000 | #Constraints: 95783
3363.00/3371.91 c #Conflicts: 1326000 | #Constraints: 96783
3363.00/3371.91 c #Conflicts: 1327000 | #Constraints: 97783
3363.00/3371.91 c #Conflicts: 1328000 | #Constraints: 98783
3363.00/3371.91 c #Conflicts: 1329000 | #Constraints: 99783
3363.00/3371.91 c #Conflicts: 1330000 | #Constraints: 100783
3363.00/3371.91 c #Conflicts: 1331000 | #Constraints: 101783
3363.00/3371.91 c #Conflicts: 1332000 | #Constraints: 102783
3363.00/3371.91 c #Conflicts: 1333000 | #Constraints: 103783
3363.00/3371.91 c #Conflicts: 1334000 | #Constraints: 104783
3363.00/3371.91 c #Conflicts: 1335000 | #Constraints: 105783
3363.00/3371.91 c #Conflicts: 1336000 | #Constraints: 106783
3363.00/3371.91 c #Conflicts: 1337000 | #Constraints: 107783
3363.00/3371.91 c #Conflicts: 1338000 | #Constraints: 108783
3363.00/3371.91 c #Conflicts: 1339000 | #Constraints: 109783
3363.00/3371.91 c #Conflicts: 1340000 | #Constraints: 110783
3363.00/3371.91 c #Conflicts: 1341000 | #Constraints: 111783
3363.00/3371.91 c #Conflicts: 1342000 | #Constraints: 112783
3363.00/3371.91 c #Conflicts: 1343000 | #Constraints: 113783
3363.00/3371.91 c #Conflicts: 1344000 | #Constraints: 114783
3363.00/3371.91 c #Conflicts: 1345000 | #Constraints: 115783
3363.00/3371.91 c #Conflicts: 1346000 | #Constraints: 116783
3363.00/3371.91 c #Conflicts: 1347000 | #Constraints: 117783
3363.00/3371.91 c #Conflicts: 1348000 | #Constraints: 118783
3363.00/3371.91 c #Conflicts: 1349000 | #Constraints: 119783
3363.00/3371.91 c #Conflicts: 1350000 | #Constraints: 120783
3363.00/3371.91 c #Conflicts: 1351000 | #Constraints: 121783
3519.32/3528.61 c #Conflicts: 1352000 | #Constraints: 122783
3519.32/3528.61 c #Conflicts: 1353000 | #Constraints: 123783
3519.32/3528.61 c #Conflicts: 1354000 | #Constraints: 124783
3519.32/3528.61 c #Conflicts: 1355000 | #Constraints: 125783
3519.32/3528.61 c #Conflicts: 1356000 | #Constraints: 126783
3519.32/3528.61 c #Conflicts: 1357000 | #Constraints: 127783
3519.32/3528.61 c #Conflicts: 1358000 | #Constraints: 128783
3519.32/3528.61 c #Conflicts: 1359000 | #Constraints: 129783
3519.32/3528.61 c #Conflicts: 1360000 | #Constraints: 130783
3519.32/3528.61 c #Conflicts: 1361000 | #Constraints: 131783
3519.32/3528.61 c #Conflicts: 1362000 | #Constraints: 132783
3519.32/3528.61 c #Conflicts: 1363000 | #Constraints: 133783
3519.32/3528.61 c #Conflicts: 1364000 | #Constraints: 134783
3519.32/3528.61 c #Conflicts: 1365000 | #Constraints: 135783
3519.32/3528.61 c #Conflicts: 1366000 | #Constraints: 136783
3519.32/3528.61 c #Conflicts: 1367000 | #Constraints: 137783
3519.32/3528.61 c #Conflicts: 1368000 | #Constraints: 138783
3519.32/3528.61 c #Conflicts: 1369000 | #Constraints: 139783
3519.32/3528.61 c #Conflicts: 1370000 | #Constraints: 140783
3519.32/3528.61 c #Conflicts: 1371000 | #Constraints: 141783
3519.32/3528.61 c #Conflicts: 1372000 | #Constraints: 142783
3519.32/3528.61 c #Conflicts: 1373000 | #Constraints: 143783
3519.32/3528.61 c #Conflicts: 1374000 | #Constraints: 144783
3519.32/3528.61 c #Conflicts: 1375000 | #Constraints: 145783
3519.32/3528.61 c #Conflicts: 1376000 | #Constraints: 146783
3519.32/3528.61 c #Conflicts: 1377000 | #Constraints: 147783
3519.32/3528.61 c #Conflicts: 1378000 | #Constraints: 148783
3519.32/3528.61 c #Conflicts: 1379000 | #Constraints: 149783
3519.32/3528.61 c #Conflicts: 1380000 | #Constraints: 150783
3519.32/3528.61 c INPROCESSING
3519.32/3528.61 c GARBAGE COLLECT
3519.32/3528.61 c rational objective 159
3600.00/3609.50 c #Conflicts: 1381000 | #Constraints: 87348
3600.00/3609.50 c #Conflicts: 1382000 | #Constraints: 88348
3600.00/3609.50 c #Conflicts: 1383000 | #Constraints: 89348
3600.00/3609.50 c #Conflicts: 1384000 | #Constraints: 90348
3600.00/3609.50 c #Conflicts: 1385000 | #Constraints: 91348
3600.00/3609.50 c #Conflicts: 1386000 | #Constraints: 92348
3600.00/3609.50 c #Conflicts: 1387000 | #Constraints: 93348
3600.00/3609.50 c #Conflicts: 1388000 | #Constraints: 94348
3600.00/3609.50 c #Conflicts: 1389000 | #Constraints: 95348
3600.00/3609.50 c #Conflicts: 1390000 | #Constraints: 96348
3600.00/3609.50 c #Conflicts: 1391000 | #Constraints: 97348
3600.00/3609.50 c #Conflicts: 1392000 | #Constraints: 98348
3600.00/3609.50 c #Conflicts: 1393000 | #Constraints: 99348
3600.00/3609.50 c #Conflicts: 1394000 | #Constraints: 100348
3600.00/3609.50 c #Conflicts: 1395000 | #Constraints: 101348
3600.00/3609.50 c #Conflicts: 1396000 | #Constraints: 102348
3600.00/3609.50 c #Conflicts: 1397000 | #Constraints: 103348
3600.00/3609.50 c #Conflicts: 1398000 | #Constraints: 104348
3600.00/3609.50 c #Conflicts: 1399000 | #Constraints: 105348
3600.00/3609.50 c #Conflicts: 1400000 | #Constraints: 106348
3600.00/3609.50 c #Conflicts: 1401000 | #Constraints: 107348
3600.00/3609.50 c #Conflicts: 1402000 | #Constraints: 108348
3600.00/3609.50 c #Conflicts: 1403000 | #Constraints: 109348
3600.00/3609.50 c #Conflicts: 1404000 | #Constraints: 110348
3600.00/3609.50 c #Conflicts: 1405000 | #Constraints: 111348
3600.00/3609.50 c #Conflicts: 1406000 | #Constraints: 112348
3600.00/3609.50 c #Conflicts: 1407000 | #Constraints: 113348
3600.00/3609.50 c #Conflicts: 1408000 | #Constraints: 114348
3600.00/3609.50 c #Conflicts: 1409000 | #Constraints: 115348
3600.00/3609.50 c #Conflicts: 1410000 | #Constraints: 116348
3600.00/3609.50 c #Conflicts: 1411000 | #Constraints: 117348
3600.00/3609.50 c #Conflicts: 1412000 | #Constraints: 118348
3600.00/3609.50 c INPROCESSING
3600.00/3609.50 c GARBAGE COLLECT
3600.00/3609.50 c #Conflicts: 1413000 | #Constraints: 76532
3600.00/3609.50 c #Conflicts: 1414000 | #Constraints: 77532
3600.00/3609.50 c #Conflicts: 1415000 | #Constraints: 78532
3600.00/3609.50 c #Conflicts: 1416000 | #Constraints: 79532
3600.00/3609.50 c #Conflicts: 1417000 | #Constraints: 80532
3600.00/3609.50 c cpu time 3572.52 s
3600.00/3609.50 c deterministic time 241143248546 2.41e+11
3600.00/3609.50 c optimization time 6.79614 s
3600.00/3609.50 c total solve time 3565.49 s
3600.00/3609.50 c core-guided solve time 0 s
3600.00/3609.50 c propagation time 1819.74 s
3600.00/3609.50 c conflict analysis time 1392.19 s
3600.00/3609.50 c propagations 1398950803
3600.00/3609.50 c resolve steps 91459094
3600.00/3609.50 c decisions 28253146
3600.00/3609.50 c conflicts 1417209
3600.00/3609.50 c restarts 2742
3600.00/3609.50 c inprocessing phases 51
3600.00/3609.50 c garbage collections 51 ,( 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 1057698 ,( 74.63 )
3600.00/3609.50 c learned cardinalities 43988 ,( 3.10 )
3600.00/3609.50 c learned general constraints 315532 ,( 22.26 )
3600.00/3609.50 c learned average constraint length 811.04
3600.00/3609.50 c learned average constraint degree 19863731.59
3600.00/3609.50 c watched CF 32, 64, 128, Arb: 85933 , 0 , 0 , 0
3600.00/3609.50 c counting CF 32, 64, 128, Arb: 229599 , 0 , 0 , 0
3600.00/3609.50 c watched constraints 85933 ,( 27.23 )
3600.00/3609.50 c counting constraints 229599 ,( 72.77 )
3600.00/3609.50 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 1384042840 , 672531588 , 1828632896 ,( 84183449 , 1744449447 )
3600.00/3609.50 c gcd simplifications 834
3600.00/3609.50 c detected cardinalities 6001
3600.00/3609.50 c weakened non-implied lits 400649695
3600.00/3609.50 c weakened non-implying lits 247389
3600.00/3609.50 c original variables 18921
3600.00/3609.50 c clausal propagations 634120564
3600.00/3609.50 c cardinality propagations 517705689
3600.00/3609.50 c watched propagations 5300807
3600.00/3609.50 c counting propagations 229239656
3600.00/3609.50 c watch lookups 82292773293
3600.00/3609.50 c watch backjump lookups 0
3600.00/3609.50 c watch checks 39007510506
3600.00/3609.50 c propagation checks 111701728729
3600.00/3609.50 c constraint additions 5285119271
3600.00/3609.50 c trail pops 1428605910
3600.00/3609.50 c formula constraints 19241
3600.00/3609.50 c learned constraints 1417201
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 58868219
3600.00/3609.50 c encountered learned constraints 34006987
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 425.409 s
3600.00/3609.50 c LP solve time 416.16 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 165001
3600.00/3609.50 c LP calls 17
3600.00/3609.50 c LP optimalities 4
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 3
3600.00/3609.50 c LP learned cuts 638
3600.00/3609.50 c LP deleted cuts 456
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.75
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: 63837 MiB (63337 MiB free)
memory of node 1: 64465 MiB (63957 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4506976-1751182246/watcher-4506976-1751182246 -o /tmp/evaluation-result-4506976-1751182246/solver-4506976-1751182246 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1751182246-21366 --watchdog 3760 run-dec.sh HOME/instance-4506976-1751182246.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=21412, runsolver pid=21406
Current StackSize limit: 8192 KiB
[startup+0.100069 s]*
/proc/loadavg: 1.09 1.29 1.77 5/256 21429
/proc/meminfo: memFree=130322720/131382120 swapFree=33010684/33010684
[pid=21412] ppid=21406 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/21412/stat : 21412 (run-dec.sh) S 21406 21412 21352 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 33903781 4292608 736 18446744073709551615 94027387019264 94027387913797 140722092184224 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94027388152848 94027388200592 94027397386240 140722092190061 140722092190184 140722092190184 140722092195786 0
/proc/21412/statm: 1048 736 672 219 0 110 0
[pid=21426] ppid=21412 vsize=59612 memory=12672 CPUtime=0.07 cores=4,6
/proc/21426/stat : 21426 (roundingsat) R 21412 21412 21352 0 -1 4194304 1504 0 0 0 5 2 0 0 20 0 1 0 33903783 61042688 3168 18446744073709551615 4227072 8923433 140737099087824 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 26959872 140737099094455 140737099094568 140737099094568 140737099100138 0
/proc/21426/statm: 14903 3168 1888 1147 0 2330 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 63804 KiB
Current children cumulated memory: 15616 KiB
[startup+0.214691 s]*
/proc/loadavg: 1.09 1.29 1.77 5/256 21429
/proc/meminfo: memFree=130314160/131382120 swapFree=33010684/33010684
[pid=21412] ppid=21406 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/21412/stat : 21412 (run-dec.sh) S 21406 21412 21352 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 33903781 4292608 736 18446744073709551615 94027387019264 94027387913797 140722092184224 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94027388152848 94027388200592 94027397386240 140722092190061 140722092190184 140722092190184 140722092195786 0
/proc/21412/statm: 1048 736 672 219 0 110 0
[pid=21426] ppid=21412 vsize=61048 memory=14720 CPUtime=0.18 cores=4,6
/proc/21426/stat : 21426 (roundingsat) R 21412 21412 21352 0 -1 4194304 2034 0 0 0 14 4 0 0 20 0 1 0 33903783 62513152 3680 18446744073709551615 4227072 8923433 140737099087824 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 26959872 140737099094455 140737099094568 140737099094568 140737099100138 0
/proc/21426/statm: 15262 3680 1888 1147 0 2689 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 65240 KiB
Current children cumulated memory: 17664 KiB
[startup+0.314156 s]*
/proc/loadavg: 1.09 1.29 1.77 5/256 21429
/proc/meminfo: memFree=130249140/131382120 swapFree=33010684/33010684
[pid=21412] ppid=21406 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/21412/stat : 21412 (run-dec.sh) S 21406 21412 21352 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 33903781 4292608 736 18446744073709551615 94027387019264 94027387913797 140722092184224 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94027388152848 94027388200592 94027397386240 140722092190061 140722092190184 140722092190184 140722092195786 0
/proc/21412/statm: 1048 736 672 219 0 110 0
[pid=21426] ppid=21412 vsize=94012 memory=41984 CPUtime=0.28 cores=4,6
/proc/21426/stat : 21426 (roundingsat) R 21412 21412 21352 0 -1 4194304 6404 0 0 0 22 6 0 0 20 0 1 0 33903783 96268288 10496 18446744073709551615 4227072 8923433 140737099087824 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 26959872 140737099094455 140737099094568 140737099094568 140737099100138 0
/proc/21426/statm: 23503 10496 2208 1147 0 10930 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 98204 KiB
Current children cumulated memory: 44928 KiB
[startup+0.70044 s]
/proc/loadavg: 1.09 1.29 1.77 5/256 21429
/proc/meminfo: memFree=130189096/131382120 swapFree=33010684/33010684
[pid=21412] ppid=21406 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/21412/stat : 21412 (run-dec.sh) S 21406 21412 21352 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 33903781 4292608 736 18446744073709551615 94027387019264 94027387913797 140722092184224 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94027388152848 94027388200592 94027397386240 140722092190061 140722092190184 140722092190184 140722092195786 0
/proc/21412/statm: 1048 736 672 219 0 110 0
[pid=21426] ppid=21412 vsize=104692 memory=50928 CPUtime=0.65 cores=4,6
/proc/21426/stat : 21426 (roundingsat) R 21412 21412 21352 0 -1 4194304 10426 0 0 0 56 9 0 0 20 0 1 0 33903783 107204608 12732 18446744073709551615 4227072 8923433 140737099087824 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 26959872 140737099094455 140737099094568 140737099094568 140737099100138 0
/proc/21426/statm: 26173 12732 2240 1147 0 13600 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 108884 KiB
Current children cumulated memory: 53872 KiB
[startup+1.50041 s]
/proc/loadavg: 1.09 1.29 1.77 5/256 21429
/proc/meminfo: memFree=130181032/131382120 swapFree=33010684/33010684
[pid=21412] ppid=21406 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/21412/stat : 21412 (run-dec.sh) S 21406 21412 21352 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 33903781 4292608 736 18446744073709551615 94027387019264 94027387913797 140722092184224 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94027388152848 94027388200592 94027397386240 140722092190061 140722092190184 140722092190184 140722092195786 0
/proc/21412/statm: 1048 736 672 219 0 110 0
[pid=21426] ppid=21412 vsize=106436 memory=53488 CPUtime=1.45 cores=4,6
/proc/21426/stat : 21426 (roundingsat) R 21412 21412 21352 0 -1 4194304 11060 0 0 0 135 10 0 0 20 0 1 0 33903783 108990464 13372 18446744073709551615 4227072 8923433 140737099087824 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 26959872 140737099094455 140737099094568 140737099094568 140737099100138 0
/proc/21426/statm: 26609 13372 2240 1147 0 14036 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 110628 KiB
Current children cumulated memory: 56432 KiB
[startup+3.11352 s]
/proc/loadavg: 1.09 1.29 1.77 5/256 21429
/proc/meminfo: memFree=130157980/131382120 swapFree=33010684/33010684
[pid=21412] ppid=21406 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/21412/stat : 21412 (run-dec.sh) S 21406 21412 21352 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 33903781 4292608 736 18446744073709551615 94027387019264 94027387913797 140722092184224 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94027388152848 94027388200592 94027397386240 140722092190061 140722092190184 140722092190184 140722092195786 0
/proc/21412/statm: 1048 736 672 219 0 110 0
[pid=21426] ppid=21412 vsize=108296 memory=59116 CPUtime=3.06 cores=4,6
/proc/21426/stat : 21426 (roundingsat) R 21412 21412 21352 0 -1 4194304 11919 0 0 0 290 16 0 0 20 0 1 0 33903783 110895104 14779 18446744073709551615 4227072 8923433 140737099087824 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 26959872 140737099094455 140737099094568 140737099094568 140737099100138 0
/proc/21426/statm: 27074 14779 2304 1147 0 14501 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 112488 KiB
Current children cumulated memory: 62060 KiB
[startup+6.30036 s]
/proc/loadavg: 1.32 1.33 1.78 5/256 21429
/proc/meminfo: memFree=130133036/131382120 swapFree=33010684/33010684
[pid=21412] ppid=21406 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/21412/stat : 21412 (run-dec.sh) S 21406 21412 21352 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 33903781 4292608 736 18446744073709551615 94027387019264 94027387913797 140722092184224 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94027388152848 94027388200592 94027397386240 140722092190061 140722092190184 140722092190184 140722092195786 0
/proc/21412/statm: 1048 736 672 219 0 110 0
[pid=21426] ppid=21412 vsize=118632 memory=68588 CPUtime=6.24 cores=4,6
/proc/21426/stat : 21426 (roundingsat) R 21412 21412 21352 0 -1 4194304 14284 0 0 0 594 30 0 0 20 0 1 0 33903783 121479168 17147 18446744073709551615 4227072 8923433 140737099087824 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 26959872 140737099094455 140737099094568 140737099094568 140737099100138 0
/proc/21426/statm: 29658 17147 2304 1147 0 17085 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 122824 KiB
Current children cumulated memory: 71532 KiB
[startup+12.7004 s]
/proc/loadavg: 1.54 1.38 1.79 5/256 21429
/proc/meminfo: memFree=130077552/131382120 swapFree=33010684/33010684
[pid=21412] ppid=21406 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/21412/stat : 21412 (run-dec.sh) S 21406 21412 21352 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 33903781 4292608 736 18446744073709551615 94027387019264 94027387913797 140722092184224 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94027388152848 94027388200592 94027397386240 140722092190061 140722092190184 140722092190184 140722092195786 0
/proc/21412/statm: 1048 736 672 219 0 110 0
[pid=21426] ppid=21412 vsize=127152 memory=77548 CPUtime=12.62 cores=4,6
/proc/21426/stat : 21426 (roundingsat) R 21412 21412 21352 0 -1 4194304 16522 0 0 0 1215 47 0 0 20 0 1 0 33903783 130203648 19387 18446744073709551615 4227072 8923433 140737099087824 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 26959872 140737099094455 140737099094568 140737099094568 140737099100138 0
/proc/21426/statm: 31788 19387 2304 1147 0 19215 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 131344 KiB
Current children cumulated memory: 80492 KiB
[startup+25.5004 s]
/proc/loadavg: 1.92 1.46 1.82 5/255 21430
/proc/meminfo: memFree=130004284/131382120 swapFree=33010684/33010684
[pid=21412] ppid=21406 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/21412/stat : 21412 (run-dec.sh) S 21406 21412 21352 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 33903781 4292608 736 18446744073709551615 94027387019264 94027387913797 140722092184224 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94027388152848 94027388200592 94027397386240 140722092190061 140722092190184 140722092190184 140722092195786 0
/proc/21412/statm: 1048 736 672 219 0 110 0
[pid=21426] ppid=21412 vsize=163556 memory=102416 CPUtime=25.38 cores=4,6
/proc/21426/stat : 21426 (roundingsat) R 21412 21412 21352 0 -1 4194304 21195 0 0 0 2477 61 0 0 20 0 1 0 33903783 167481344 25604 18446744073709551615 4227072 8923433 140737099087824 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 26959872 140737099094455 140737099094568 140737099094568 140737099100138 0
/proc/21426/statm: 40889 25604 2304 1147 0 28316 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 167748 KiB
Current children cumulated memory: 105360 KiB
[startup+51.1135 s]
/proc/loadavg: 2.74 1.71 1.89 5/255 21430
/proc/meminfo: memFree=129842872/131382120 swapFree=33010684/33010684
[pid=21412] ppid=21406 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/21412/stat : 21412 (run-dec.sh) S 21406 21412 21352 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 33903781 4292608 736 18446744073709551615 94027387019264 94027387913797 140722092184224 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94027388152848 94027388200592 94027397386240 140722092190061 140722092190184 140722092190184 140722092195786 0
/proc/21412/statm: 1048 736 672 219 0 110 0
[pid=21426] ppid=21412 vsize=181464 memory=131092 CPUtime=50.93 cores=4,6
/proc/21426/stat : 21426 (roundingsat) R 21412 21412 21352 0 -1 4194304 25884 0 0 0 4958 135 0 0 20 0 1 0 33903783 185819136 32773 18446744073709551615 4227072 8923433 140737099087824 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 26959872 140737099094455 140737099094568 140737099094568 140737099100138 0
/proc/21426/statm: 45366 32773 2304 1147 0 32793 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 185656 KiB
Current children cumulated memory: 134036 KiB
[startup+102.3 s]
/proc/loadavg: 3.57 2.09 2.01 5/255 21432
/proc/meminfo: memFree=129716192/131382120 swapFree=33010684/33010684
[pid=21412] ppid=21406 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/21412/stat : 21412 (run-dec.sh) S 21406 21412 21352 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 33903781 4292608 736 18446744073709551615 94027387019264 94027387913797 140722092184224 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94027388152848 94027388200592 94027397386240 140722092190061 140722092190184 140722092190184 140722092195786 0
/proc/21412/statm: 1048 736 672 219 0 110 0
[pid=21426] ppid=21412 vsize=226904 memory=167860 CPUtime=101.99 cores=4,6
/proc/21426/stat : 21426 (roundingsat) R 21412 21412 21352 0 -1 4194304 32547 0 0 0 9988 211 0 0 20 0 1 0 33903783 232349696 41965 18446744073709551615 4227072 8923433 140737099087824 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 26959872 140737099094455 140737099094568 140737099094568 140737099100138 0
/proc/21426/statm: 56726 41965 2304 1147 0 44153 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 231096 KiB
Current children cumulated memory: 170804 KiB
[startup+162.3 s]
/proc/loadavg: 3.91 2.46 2.14 5/255 21434
/proc/meminfo: memFree=129545728/131382120 swapFree=33010684/33010684
[pid=21412] ppid=21406 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/21412/stat : 21412 (run-dec.sh) S 21406 21412 21352 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 33903781 4292608 736 18446744073709551615 94027387019264 94027387913797 140722092184224 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94027388152848 94027388200592 94027397386240 140722092190061 140722092190184 140722092190184 140722092195786 0
/proc/21412/statm: 1048 736 672 219 0 110 0
[pid=21426] ppid=21412 vsize=272648 memory=219672 CPUtime=161.82 cores=4,6
/proc/21426/stat : 21426 (roundingsat) R 21412 21412 21352 0 -1 4194304 36860 0 0 0 15920 262 0 0 20 0 1 0 33903783 279191552 54918 18446744073709551615 4227072 8923433 140737099087824 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 26959872 140737099094455 140737099094568 140737099094568 140737099100138 0
/proc/21426/statm: 68162 54918 2336 1147 0 55589 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 276840 KiB
Current children cumulated memory: 222616 KiB
[startup+222.3 s]
/proc/loadavg: 4.01 2.76 2.27 5/255 21436
/proc/meminfo: memFree=129332956/131382120 swapFree=33010684/33010684
[pid=21412] ppid=21406 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/21412/stat : 21412 (run-dec.sh) S 21406 21412 21352 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 33903781 4292608 736 18446744073709551615 94027387019264 94027387913797 140722092184224 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94027388152848 94027388200592 94027397386240 140722092190061 140722092190184 140722092190184 140722092195786 0
/proc/21412/statm: 1048 736 672 219 0 110 0
[pid=21426] ppid=21412 vsize=299064 memory=251960 CPUtime=221.64 cores=4,6
/proc/21426/stat : 21426 (roundingsat) R 21412 21412 21352 0 -1 4194304 43238 0 0 0 21785 379 0 0 20 0 1 0 33903783 306241536 62990 18446744073709551615 4227072 8923433 140737099087824 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 26959872 140737099094455 140737099094568 140737099094568 140737099100138 0
/proc/21426/statm: 74766 62990 2336 1147 0 62193 0
Current children cumulated CPU time: 221.64 s
################
# More data... #
################
/proc/21426/statm: 281938 261121 2336 1147 0 269365 0
Current children cumulated CPU time: 3094.07 s
Current children cumulated vsize: 1131944 KiB
Current children cumulated memory: 1047428 KiB
[startup+3162.3 s]
/proc/loadavg: 4.14 4.12 4.04 5/255 21591
/proc/meminfo: memFree=126255068/131382120 swapFree=33010684/33010684
[pid=21412] ppid=21406 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/21412/stat : 21412 (run-dec.sh) S 21406 21412 21352 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 33903781 4292608 736 18446744073709551615 94027387019264 94027387913797 140722092184224 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94027388152848 94027388200592 94027397386240 140722092190061 140722092190184 140722092190184 140722092195786 0
/proc/21412/statm: 1048 736 672 219 0 110 0
[pid=21426] ppid=21412 vsize=1137080 memory=1051268 CPUtime=3153.92 cores=4,6
/proc/21426/stat : 21426 (roundingsat) R 21412 21412 21352 0 -1 4194304 126261 0 0 0 312913 2479 0 0 20 0 1 0 33903783 1164369920 262817 18446744073709551615 4227072 8923433 140737099087824 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 26959872 140737099094455 140737099094568 140737099094568 140737099100138 0
/proc/21426/statm: 284270 262817 2336 1147 0 271697 0
Current children cumulated CPU time: 3153.92 s
Current children cumulated vsize: 1141272 KiB
Current children cumulated memory: 1054212 KiB
[startup+3222.3 s]
/proc/loadavg: 4.11 4.11 4.04 5/254 21593
/proc/meminfo: memFree=126240900/131382120 swapFree=33010684/33010684
[pid=21412] ppid=21406 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/21412/stat : 21412 (run-dec.sh) S 21406 21412 21352 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 33903781 4292608 736 18446744073709551615 94027387019264 94027387913797 140722092184224 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94027388152848 94027388200592 94027397386240 140722092190061 140722092190184 140722092190184 140722092195786 0
/proc/21412/statm: 1048 736 672 219 0 110 0
[pid=21426] ppid=21412 vsize=1137080 memory=1051268 CPUtime=3213.77 cores=4,6
/proc/21426/stat : 21426 (roundingsat) R 21412 21412 21352 0 -1 4194304 126261 0 0 0 318848 2529 0 0 20 0 1 0 33903783 1164369920 262817 18446744073709551615 4227072 8923433 140737099087824 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 26959872 140737099094455 140737099094568 140737099094568 140737099100138 0
/proc/21426/statm: 284270 262817 2336 1147 0 271697 0
Current children cumulated CPU time: 3213.77 s
Current children cumulated vsize: 1141272 KiB
Current children cumulated memory: 1054212 KiB
[startup+3282.3 s]
/proc/loadavg: 4.16 4.12 4.04 5/255 21598
/proc/meminfo: memFree=126228764/131382120 swapFree=33010684/33010684
[pid=21412] ppid=21406 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/21412/stat : 21412 (run-dec.sh) S 21406 21412 21352 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 33903781 4292608 736 18446744073709551615 94027387019264 94027387913797 140722092184224 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94027388152848 94027388200592 94027397386240 140722092190061 140722092190184 140722092190184 140722092195786 0
/proc/21412/statm: 1048 736 672 219 0 110 0
[pid=21426] ppid=21412 vsize=1137080 memory=1051268 CPUtime=3273.62 cores=4,6
/proc/21426/stat : 21426 (roundingsat) R 21412 21412 21352 0 -1 4194304 126261 0 0 0 324781 2581 0 0 20 0 1 0 33903783 1164369920 262817 18446744073709551615 4227072 8923433 140737099087824 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 26959872 140737099094455 140737099094568 140737099094568 140737099100138 0
/proc/21426/statm: 284270 262817 2336 1147 0 271697 0
Current children cumulated CPU time: 3273.62 s
Current children cumulated vsize: 1141272 KiB
Current children cumulated memory: 1054212 KiB
[startup+3342.3 s]
/proc/loadavg: 4.12 4.11 4.04 5/255 21603
/proc/meminfo: memFree=126210340/131382120 swapFree=33010684/33010684
[pid=21412] ppid=21406 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/21412/stat : 21412 (run-dec.sh) S 21406 21412 21352 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 33903781 4292608 736 18446744073709551615 94027387019264 94027387913797 140722092184224 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94027388152848 94027388200592 94027397386240 140722092190061 140722092190184 140722092190184 140722092195786 0
/proc/21412/statm: 1048 736 672 219 0 110 0
[pid=21426] ppid=21412 vsize=1137080 memory=1051268 CPUtime=3333.47 cores=4,6
/proc/21426/stat : 21426 (roundingsat) R 21412 21412 21352 0 -1 4194304 126263 0 0 0 330754 2593 0 0 20 0 1 0 33903783 1164369920 262817 18446744073709551615 4227072 8923433 140737099087824 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 26959872 140737099094455 140737099094568 140737099094568 140737099100138 0
/proc/21426/statm: 284270 262817 2336 1147 0 271697 0
Current children cumulated CPU time: 3333.47 s
Current children cumulated vsize: 1141272 KiB
Current children cumulated memory: 1054212 KiB
[startup+3402.3 s]
/proc/loadavg: 4.09 4.11 4.04 5/255 21605
/proc/meminfo: memFree=126208812/131382120 swapFree=33010684/33010684
[pid=21412] ppid=21406 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/21412/stat : 21412 (run-dec.sh) S 21406 21412 21352 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 33903781 4292608 736 18446744073709551615 94027387019264 94027387913797 140722092184224 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94027388152848 94027388200592 94027397386240 140722092190061 140722092190184 140722092190184 140722092195786 0
/proc/21412/statm: 1048 736 672 219 0 110 0
[pid=21426] ppid=21412 vsize=1137080 memory=1051396 CPUtime=3393.32 cores=4,6
/proc/21426/stat : 21426 (roundingsat) R 21412 21412 21352 0 -1 4194304 126321 0 0 0 336732 2600 0 0 20 0 1 0 33903783 1164369920 262849 18446744073709551615 4227072 8923433 140737099087824 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 26959872 140737099094455 140737099094568 140737099094568 140737099100138 0
/proc/21426/statm: 284270 262849 2336 1147 0 271697 0
Current children cumulated CPU time: 3393.32 s
Current children cumulated vsize: 1141272 KiB
Current children cumulated memory: 1054340 KiB
[startup+3462.3 s]
/proc/loadavg: 4.15 4.12 4.05 5/255 21607
/proc/meminfo: memFree=126208476/131382120 swapFree=33010684/33010684
[pid=21412] ppid=21406 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/21412/stat : 21412 (run-dec.sh) S 21406 21412 21352 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 33903781 4292608 736 18446744073709551615 94027387019264 94027387913797 140722092184224 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94027388152848 94027388200592 94027397386240 140722092190061 140722092190184 140722092190184 140722092195786 0
/proc/21412/statm: 1048 736 672 219 0 110 0
[pid=21426] ppid=21412 vsize=1138428 memory=1052676 CPUtime=3453.17 cores=4,6
/proc/21426/stat : 21426 (roundingsat) R 21412 21412 21352 0 -1 4194304 126681 0 0 0 342681 2636 0 0 20 0 1 0 33903783 1165750272 263169 18446744073709551615 4227072 8923433 140737099087824 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 26959872 140737099094455 140737099094568 140737099094568 140737099100138 0
/proc/21426/statm: 284607 263169 2336 1147 0 272034 0
Current children cumulated CPU time: 3453.17 s
Current children cumulated vsize: 1142620 KiB
Current children cumulated memory: 1055620 KiB
[startup+3522.3 s]
/proc/loadavg: 4.05 4.09 4.04 5/255 21609
/proc/meminfo: memFree=126191756/131382120 swapFree=33010684/33010684
[pid=21412] ppid=21406 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/21412/stat : 21412 (run-dec.sh) S 21406 21412 21352 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 33903781 4292608 736 18446744073709551615 94027387019264 94027387913797 140722092184224 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94027388152848 94027388200592 94027397386240 140722092190061 140722092190184 140722092190184 140722092195786 0
/proc/21412/statm: 1048 736 672 219 0 110 0
[pid=21426] ppid=21412 vsize=1144988 memory=1058820 CPUtime=3513.02 cores=4,6
/proc/21426/stat : 21426 (roundingsat) R 21412 21412 21352 0 -1 4194304 128270 0 0 0 348635 2667 0 0 20 0 1 0 33903783 1172467712 264705 18446744073709551615 4227072 8923433 140737099087824 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 26959872 140737099094455 140737099094568 140737099094568 140737099100138 0
/proc/21426/statm: 286247 264705 2336 1147 0 273674 0
Current children cumulated CPU time: 3513.02 s
Current children cumulated vsize: 1149180 KiB
Current children cumulated memory: 1061764 KiB
[startup+3582.3 s]
/proc/loadavg: 4.06 4.09 4.04 5/254 21611
/proc/meminfo: memFree=126182900/131382120 swapFree=33010684/33010684
[pid=21412] ppid=21406 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/21412/stat : 21412 (run-dec.sh) S 21406 21412 21352 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 33903781 4292608 736 18446744073709551615 94027387019264 94027387913797 140722092184224 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94027388152848 94027388200592 94027397386240 140722092190061 140722092190184 140722092190184 140722092195786 0
/proc/21412/statm: 1048 736 672 219 0 110 0
[pid=21426] ppid=21412 vsize=1144988 memory=1058820 CPUtime=3572.88 cores=4,6
/proc/21426/stat : 21426 (roundingsat) R 21412 21412 21352 0 -1 4194304 128422 0 0 0 354568 2720 0 0 20 0 1 0 33903783 1172467712 264705 18446744073709551615 4227072 8923433 140737099087824 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 26959872 140737099094455 140737099094568 140737099094568 140737099100138 0
/proc/21426/statm: 286247 264705 2336 1147 0 273674 0
Current children cumulated CPU time: 3572.88 s
Current children cumulated vsize: 1149180 KiB
Current children cumulated memory: 1061764 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.5 s]
/proc/loadavg: 4.10 4.09 4.04 5/254 21615
/proc/meminfo: memFree=126183876/131382120 swapFree=33010684/33010684
[pid=21412] ppid=21406 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/21412/stat : 21412 (run-dec.sh) S 21406 21412 21352 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 33903781 4292608 736 18446744073709551615 94027387019264 94027387913797 140722092184224 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94027388152848 94027388200592 94027397386240 140722092190061 140722092190184 140722092190184 140722092195786 0
/proc/21412/statm: 1048 736 672 219 0 110 0
[pid=21426] ppid=21412 vsize=1146448 memory=1060100 CPUtime=3600 cores=4,6
/proc/21426/stat : 21426 (roundingsat) R 21412 21412 21352 0 -1 4194304 128756 0 0 0 357251 2749 0 0 20 0 1 0 33903783 1173962752 265025 18446744073709551615 4227072 8923433 140737099087824 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 26959872 140737099094455 140737099094568 140737099094568 140737099100138 0
/proc/21426/statm: 286612 265025 2336 1147 0 274039 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 1150640 KiB
Current children cumulated memory: 1063044 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.51 s]
# the end of solver process 21412 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.002241 s, system=0.003384 s
[startup+3609.52 s]
# the end of solver process 21426 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3572.53 s, system=27.5158 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.10 4.09 4.04 5/254 21615
/proc/meminfo: memFree=126183876/131382120 swapFree=33010684/33010684
[pid=21412] ppid=21406 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/21412/stat : 21412 (run-dec.sh) S 21406 21412 21352 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 33903781 4292608 736 18446744073709551615 94027387019264 94027387913797 140722092184224 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94027388152848 94027388200592 94027397386240 140722092190061 140722092190184 140722092190184 140722092195786 0
/proc/21412/statm: 1048 736 672 219 0 110 0
[pid=21426] ppid=21412 vsize=1146448 memory=1060100 CPUtime=3600 cores=4,6
/proc/21426/stat : 21426 (roundingsat) R 21412 21412 21352 0 -1 4194304 128756 0 0 0 357251 2749 0 0 20 0 1 0 33903783 1173962752 265025 18446744073709551615 4227072 8923433 140737099087824 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 26959872 140737099094455 140737099094568 140737099094568 140737099100138 0
/proc/21426/statm: 286612 265025 2336 1147 0 274039 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 1150640 KiB
Current children cumulated memory: 1063044 KiB
Child status: 2
Real time (s): 3609.52
CPU time (s): 3600.04
CPU user time (s): 3572.53
CPU system time (s): 27.5158
CPU usage (%): 99.7374
Max. virtual memory (cumulated for all children) (KiB): 1150640
Max. memory (cumulated for all children) (KiB): 1063044
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3572.53
system time used= 27.5158
maximum resident set size= 1060228
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 128986
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 370
involuntary context switches= 2990
# summary of solver processes directly reported to runsolver:
# pid: 21412,21426
# total CPU time (s): 3600.04
# total CPU user time (s): 3572.53
# total CPU system time (s): 27.5158
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.4228 second user time and 37.3549 second system time
The end
Begin job on nodeC008 at 2025-06-29 09:30:46
IDJOB=4506976
IDBENCH=158311
IDSOLVER=3349
FILE ID=nodeC008/4506976-1751182246
RUNJOBID= nodeC008-1751182246-21366
SLURM_JOB_ID= 9587557
Free space on /tmp= 433056 MiB
SOLVER NAME= roundingsat 63f22ad
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathNG/normalized-NG_K159.opb
COMMAND LINE= run-dec.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4506976-1751182246/watcher-4506976-1751182246 -o /tmp/evaluation-result-4506976-1751182246/solver-4506976-1751182246 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1751182246-21366 --watchdog 3760 run-dec.sh HOME/instance-4506976-1751182246.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 27d58ce279c297ab3aeba38d0412d1d9
RANDOM SEED=423299313
nodeC008 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.524
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.72
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.225
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.72
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.210
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.72
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.557
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.72
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.215
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.72
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.209
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.72
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.390
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.72
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.185
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.72
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382120 kB
MemFree: 130312380 kB
MemAvailable: 129955612 kB
Buffers: 3280 kB
Cached: 451972 kB
SwapCached: 0 kB
Active: 287040 kB
Inactive: 238712 kB
Active(anon): 88456 kB
Inactive(anon): 0 kB
Active(file): 198584 kB
Inactive(file): 238712 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 33704 kB
Writeback: 0 kB
AnonPages: 73568 kB
Mapped: 101960 kB
Shmem: 17956 kB
KReclaimable: 85048 kB
Slab: 163448 kB
SReclaimable: 85048 kB
SUnreclaim: 78400 kB
KernelStack: 3716 kB
PageTables: 2324 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701744 kB
Committed_AS: 329028 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149240 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 16384 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: 181064 kB
DirectMap2M: 9158656 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 433028 MiB
End job on nodeC008 at 2025-06-29 10:30:56