0.00/0.02 c RoundingSat 2
0.00/0.02 c branch pb25
0.00/0.02 c commit 63f22ad
0.09/0.13 c #variables 18921 #constraints 19241
112.15/112.58 c #Conflicts: 1000 | #Constraints: 20240
112.15/112.58 c #Conflicts: 2000 | #Constraints: 21240
112.15/112.58 c INPROCESSING
112.15/112.58 c GARBAGE COLLECT
112.15/112.58 c #Conflicts: 3000 | #Constraints: 20477
112.15/112.58 c #Conflicts: 4000 | #Constraints: 21477
112.15/112.58 c INPROCESSING
112.15/112.58 c GARBAGE COLLECT
112.15/112.58 c #Conflicts: 5000 | #Constraints: 20998
112.15/112.58 c #Conflicts: 6000 | #Constraints: 21998
112.15/112.58 c INPROCESSING
112.15/112.58 c GARBAGE COLLECT
112.15/112.58 c #Conflicts: 7000 | #Constraints: 21077
112.15/112.58 c #Conflicts: 8000 | #Constraints: 22077
112.15/112.58 c #Conflicts: 9000 | #Constraints: 23077
112.15/112.58 c INPROCESSING
112.15/112.58 c GARBAGE COLLECT
112.15/112.58 c #Conflicts: 10000 | #Constraints: 21827
112.15/112.58 c #Conflicts: 11000 | #Constraints: 22827
112.15/112.58 c #Conflicts: 12000 | #Constraints: 23827
112.15/112.58 c INPROCESSING
112.15/112.58 c GARBAGE COLLECT
112.15/112.58 c #Conflicts: 13000 | #Constraints: 22350
112.15/112.58 c #Conflicts: 14000 | #Constraints: 23350
112.15/112.58 c #Conflicts: 15000 | #Constraints: 24350
112.15/112.58 c #Conflicts: 16000 | #Constraints: 25350
112.15/112.58 c #Conflicts: 17000 | #Constraints: 26350
112.15/112.58 c #Conflicts: 18000 | #Constraints: 27350
112.15/112.58 c #Conflicts: 19000 | #Constraints: 28350
112.15/112.58 c #Conflicts: 20000 | #Constraints: 29350
112.15/112.58 c INPROCESSING
112.15/112.58 c GARBAGE COLLECT
112.15/112.58 c #Conflicts: 21000 | #Constraints: 24961
112.15/112.58 c #Conflicts: 22000 | #Constraints: 25961
112.15/112.58 c #Conflicts: 23000 | #Constraints: 26961
112.15/112.58 c #Conflicts: 24000 | #Constraints: 27961
112.15/112.58 c INPROCESSING
112.15/112.58 c GARBAGE COLLECT
112.15/112.58 c #Conflicts: 25000 | #Constraints: 24163
112.15/112.58 c #Conflicts: 26000 | #Constraints: 25163
112.15/112.58 c #Conflicts: 27000 | #Constraints: 26163
112.15/112.58 c #Conflicts: 28000 | #Constraints: 27163
112.15/112.58 c #Conflicts: 29000 | #Constraints: 28163
112.15/112.58 c #Conflicts: 30000 | #Constraints: 29163
112.15/112.58 c #Conflicts: 31000 | #Constraints: 30163
112.15/112.58 c #Conflicts: 32000 | #Constraints: 31163
112.15/112.58 c #Conflicts: 33000 | #Constraints: 32163
112.15/112.58 c #Conflicts: 34000 | #Constraints: 33163
112.15/112.58 c #Conflicts: 35000 | #Constraints: 34163
112.15/112.58 c #Conflicts: 36000 | #Constraints: 35163
112.15/112.58 c INPROCESSING
112.15/112.58 c GARBAGE COLLECT
112.15/112.58 c #Conflicts: 37000 | #Constraints: 28194
112.15/112.58 c #Conflicts: 38000 | #Constraints: 29194
112.15/112.58 c #Conflicts: 39000 | #Constraints: 30194
112.15/112.58 c #Conflicts: 40000 | #Constraints: 31194
112.15/112.58 c #Conflicts: 41000 | #Constraints: 32194
112.15/112.58 c INPROCESSING
112.15/112.58 c GARBAGE COLLECT
112.15/112.58 c #Conflicts: 42000 | #Constraints: 26538
112.15/112.58 c #Conflicts: 43000 | #Constraints: 27538
112.15/112.58 c #Conflicts: 44000 | #Constraints: 28538
112.15/112.58 c #Conflicts: 45000 | #Constraints: 29538
112.15/112.58 c #Conflicts: 46000 | #Constraints: 30538
112.15/112.58 c #Conflicts: 47000 | #Constraints: 31538
112.15/112.58 c #Conflicts: 48000 | #Constraints: 32538
112.15/112.58 c #Conflicts: 49000 | #Constraints: 33538
112.15/112.58 c #Conflicts: 50000 | #Constraints: 34538
112.15/112.58 c #Conflicts: 51000 | #Constraints: 35538
112.15/112.58 c #Conflicts: 52000 | #Constraints: 36538
112.15/112.58 c #Conflicts: 53000 | #Constraints: 37538
112.15/112.58 c #Conflicts: 54000 | #Constraints: 38538
112.15/112.58 c #Conflicts: 55000 | #Constraints: 39538
112.15/112.58 c #Conflicts: 56000 | #Constraints: 40538
112.15/112.58 c INPROCESSING
112.15/112.58 c GARBAGE COLLECT
112.15/112.58 c #Conflicts: 57000 | #Constraints: 31047
112.15/112.58 c #Conflicts: 58000 | #Constraints: 32047
112.15/112.58 c #Conflicts: 59000 | #Constraints: 33047
112.15/112.58 c #Conflicts: 60000 | #Constraints: 34047
112.15/112.58 c #Conflicts: 61000 | #Constraints: 35047
112.15/112.58 c #Conflicts: 62000 | #Constraints: 36047
112.15/112.58 c INPROCESSING
112.15/112.58 c GARBAGE COLLECT
112.15/112.58 c #Conflicts: 63000 | #Constraints: 28560
112.15/112.58 c #Conflicts: 64000 | #Constraints: 29560
112.15/112.58 c #Conflicts: 65000 | #Constraints: 30560
112.15/112.58 c #Conflicts: 66000 | #Constraints: 31560
112.15/112.58 c #Conflicts: 67000 | #Constraints: 32560
112.15/112.58 c #Conflicts: 68000 | #Constraints: 33560
112.15/112.58 c #Conflicts: 69000 | #Constraints: 34560
112.15/112.58 c #Conflicts: 70000 | #Constraints: 35560
112.15/112.58 c #Conflicts: 71000 | #Constraints: 36560
112.15/112.58 c #Conflicts: 72000 | #Constraints: 37560
240.18/240.99 c #Conflicts: 73000 | #Constraints: 38560
240.18/240.99 c #Conflicts: 74000 | #Constraints: 39560
240.18/240.99 c #Conflicts: 75000 | #Constraints: 40560
240.18/240.99 c #Conflicts: 76000 | #Constraints: 41560
240.18/240.99 c #Conflicts: 77000 | #Constraints: 42560
240.18/240.99 c #Conflicts: 78000 | #Constraints: 43560
240.18/240.99 c #Conflicts: 79000 | #Constraints: 44560
240.18/240.99 c #Conflicts: 80000 | #Constraints: 45560
240.18/240.99 c INPROCESSING
240.18/240.99 c GARBAGE COLLECT
240.18/240.99 c #Conflicts: 81000 | #Constraints: 33441
240.18/240.99 c #Conflicts: 82000 | #Constraints: 34441
240.18/240.99 c #Conflicts: 83000 | #Constraints: 35441
240.18/240.99 c #Conflicts: 84000 | #Constraints: 36441
240.18/240.99 c #Conflicts: 85000 | #Constraints: 37441
240.18/240.99 c #Conflicts: 86000 | #Constraints: 38441
240.18/240.99 c #Conflicts: 87000 | #Constraints: 39441
240.18/240.99 c #Conflicts: 88000 | #Constraints: 40441
240.18/240.99 c INPROCESSING
240.18/240.99 c GARBAGE COLLECT
240.18/240.99 c #Conflicts: 89000 | #Constraints: 31123
240.18/240.99 c #Conflicts: 90000 | #Constraints: 32123
240.18/240.99 c #Conflicts: 91000 | #Constraints: 33123
240.18/240.99 c #Conflicts: 92000 | #Constraints: 34123
240.18/240.99 c #Conflicts: 93000 | #Constraints: 35123
240.18/240.99 c #Conflicts: 94000 | #Constraints: 36123
240.18/240.99 c #Conflicts: 95000 | #Constraints: 37123
240.18/240.99 c #Conflicts: 96000 | #Constraints: 38123
240.18/240.99 c #Conflicts: 97000 | #Constraints: 39123
240.18/240.99 c #Conflicts: 98000 | #Constraints: 40123
240.18/240.99 c #Conflicts: 99000 | #Constraints: 41123
240.18/240.99 c #Conflicts: 100000 | #Constraints: 42123
240.18/240.99 c #Conflicts: 101000 | #Constraints: 43124
240.18/240.99 c #Conflicts: 102000 | #Constraints: 44124
240.18/240.99 c #Conflicts: 103000 | #Constraints: 45124
240.18/240.99 c #Conflicts: 104000 | #Constraints: 46124
240.18/240.99 c #Conflicts: 105000 | #Constraints: 47124
240.18/240.99 c #Conflicts: 106000 | #Constraints: 48124
240.18/240.99 c #Conflicts: 107000 | #Constraints: 49124
240.18/240.99 c #Conflicts: 108000 | #Constraints: 50124
240.18/240.99 c #Conflicts: 109000 | #Constraints: 51124
240.18/240.99 c INPROCESSING
240.18/240.99 c GARBAGE COLLECT
240.18/240.99 c #Conflicts: 110000 | #Constraints: 36487
240.18/240.99 c #Conflicts: 111000 | #Constraints: 37487
240.18/240.99 c #Conflicts: 112000 | #Constraints: 38487
240.18/240.99 c #Conflicts: 113000 | #Constraints: 39487
240.18/240.99 c #Conflicts: 114000 | #Constraints: 40487
240.18/240.99 c #Conflicts: 115000 | #Constraints: 41487
240.18/240.99 c #Conflicts: 116000 | #Constraints: 42487
240.18/240.99 c #Conflicts: 117000 | #Constraints: 43487
240.18/240.99 c #Conflicts: 118000 | #Constraints: 44487
240.18/240.99 c INPROCESSING
240.18/240.99 c GARBAGE COLLECT
240.18/240.99 c #Conflicts: 119000 | #Constraints: 33505
240.18/240.99 c #Conflicts: 120000 | #Constraints: 34505
240.18/240.99 c #Conflicts: 121000 | #Constraints: 35505
240.18/240.99 c #Conflicts: 122000 | #Constraints: 36505
240.18/240.99 c #Conflicts: 123000 | #Constraints: 37505
240.18/240.99 c #Conflicts: 124000 | #Constraints: 38505
240.18/240.99 c #Conflicts: 125000 | #Constraints: 39505
240.18/240.99 c #Conflicts: 126000 | #Constraints: 40505
240.18/240.99 c #Conflicts: 127000 | #Constraints: 41505
240.18/240.99 c #Conflicts: 128000 | #Constraints: 42505
240.18/240.99 c #Conflicts: 129000 | #Constraints: 43505
240.18/240.99 c #Conflicts: 130000 | #Constraints: 44505
240.18/240.99 c #Conflicts: 131000 | #Constraints: 45505
240.18/240.99 c #Conflicts: 132000 | #Constraints: 46505
240.18/240.99 c #Conflicts: 133000 | #Constraints: 47505
240.18/240.99 c #Conflicts: 134000 | #Constraints: 48505
240.18/240.99 c #Conflicts: 135000 | #Constraints: 49505
240.18/240.99 c #Conflicts: 136000 | #Constraints: 50505
240.18/240.99 c #Conflicts: 137000 | #Constraints: 51505
240.18/240.99 c #Conflicts: 138000 | #Constraints: 52505
240.18/240.99 c #Conflicts: 139000 | #Constraints: 53505
240.18/240.99 c #Conflicts: 140000 | #Constraints: 54505
240.18/240.99 c #Conflicts: 141000 | #Constraints: 55505
240.18/240.99 c #Conflicts: 142000 | #Constraints: 56505
240.18/240.99 c INPROCESSING
240.18/240.99 c GARBAGE COLLECT
240.18/240.99 c #Conflicts: 143000 | #Constraints: 39137
240.18/240.99 c #Conflicts: 144000 | #Constraints: 40137
240.18/240.99 c #Conflicts: 145000 | #Constraints: 41137
240.18/240.99 c #Conflicts: 146000 | #Constraints: 42137
240.18/240.99 c #Conflicts: 147000 | #Constraints: 43137
240.18/240.99 c #Conflicts: 148000 | #Constraints: 44137
416.97/418.21 c #Conflicts: 149000 | #Constraints: 45137
416.97/418.21 c #Conflicts: 150000 | #Constraints: 46137
416.97/418.21 c #Conflicts: 151000 | #Constraints: 47137
416.97/418.21 c #Conflicts: 152000 | #Constraints: 48137
416.97/418.21 c #Conflicts: 153000 | #Constraints: 49137
416.97/418.21 c INPROCESSING
416.97/418.21 c GARBAGE COLLECT
416.97/418.21 c #Conflicts: 154000 | #Constraints: 36708
416.97/418.21 c #Conflicts: 155000 | #Constraints: 37708
416.97/418.21 c #Conflicts: 156000 | #Constraints: 38708
416.97/418.21 c #Conflicts: 157000 | #Constraints: 39708
416.97/418.21 c #Conflicts: 158000 | #Constraints: 40708
416.97/418.21 c #Conflicts: 159000 | #Constraints: 41708
416.97/418.21 c #Conflicts: 160000 | #Constraints: 42708
416.97/418.21 c #Conflicts: 161000 | #Constraints: 43708
416.97/418.21 c #Conflicts: 162000 | #Constraints: 44708
416.97/418.21 c #Conflicts: 163000 | #Constraints: 45708
416.97/418.21 c #Conflicts: 164000 | #Constraints: 46708
416.97/418.21 c #Conflicts: 165000 | #Constraints: 47708
416.97/418.21 c #Conflicts: 166000 | #Constraints: 48708
416.97/418.21 c #Conflicts: 167000 | #Constraints: 49708
416.97/418.21 c #Conflicts: 168000 | #Constraints: 50708
416.97/418.21 c #Conflicts: 169000 | #Constraints: 51708
416.97/418.21 c #Conflicts: 170000 | #Constraints: 52708
416.97/418.21 c #Conflicts: 171000 | #Constraints: 53708
416.97/418.21 c #Conflicts: 172000 | #Constraints: 54708
416.97/418.21 c #Conflicts: 173000 | #Constraints: 55708
416.97/418.21 c #Conflicts: 174000 | #Constraints: 56708
416.97/418.21 c #Conflicts: 175000 | #Constraints: 57708
416.97/418.21 c #Conflicts: 176000 | #Constraints: 58708
416.97/418.21 c #Conflicts: 177000 | #Constraints: 59708
416.97/418.21 c #Conflicts: 178000 | #Constraints: 60708
416.97/418.21 c #Conflicts: 179000 | #Constraints: 61708
416.97/418.21 c #Conflicts: 180000 | #Constraints: 62708
416.97/418.21 c INPROCESSING
416.97/418.21 c GARBAGE COLLECT
416.97/418.21 c #Conflicts: 181000 | #Constraints: 42498
416.97/418.21 c #Conflicts: 182000 | #Constraints: 43498
416.97/418.21 c #Conflicts: 183000 | #Constraints: 44498
416.97/418.21 c #Conflicts: 184000 | #Constraints: 45498
416.97/418.21 c #Conflicts: 185000 | #Constraints: 46498
416.97/418.21 c #Conflicts: 186000 | #Constraints: 47498
416.97/418.21 c #Conflicts: 187000 | #Constraints: 48498
416.97/418.21 c #Conflicts: 188000 | #Constraints: 49498
416.97/418.21 c #Conflicts: 189000 | #Constraints: 50498
416.97/418.21 c #Conflicts: 190000 | #Constraints: 51498
416.97/418.21 c #Conflicts: 191000 | #Constraints: 52498
416.97/418.21 c INPROCESSING
416.97/418.21 c GARBAGE COLLECT
416.97/418.21 c #Conflicts: 192000 | #Constraints: 38530
416.97/418.21 c #Conflicts: 193000 | #Constraints: 39530
416.97/418.21 c #Conflicts: 194000 | #Constraints: 40530
416.97/418.21 c #Conflicts: 195000 | #Constraints: 41530
416.97/418.21 c #Conflicts: 196000 | #Constraints: 42530
416.97/418.21 c #Conflicts: 197000 | #Constraints: 43530
416.97/418.21 c #Conflicts: 198000 | #Constraints: 44530
416.97/418.21 c #Conflicts: 199000 | #Constraints: 45530
416.97/418.21 c #Conflicts: 200000 | #Constraints: 46530
416.97/418.21 c #Conflicts: 201000 | #Constraints: 47530
416.97/418.21 c #Conflicts: 202000 | #Constraints: 48530
416.97/418.21 c #Conflicts: 203000 | #Constraints: 49530
416.97/418.21 c #Conflicts: 204000 | #Constraints: 50530
416.97/418.21 c #Conflicts: 205000 | #Constraints: 51530
416.97/418.21 c #Conflicts: 206000 | #Constraints: 52530
416.97/418.21 c #Conflicts: 207000 | #Constraints: 53530
416.97/418.21 c #Conflicts: 208000 | #Constraints: 54530
416.97/418.21 c #Conflicts: 209000 | #Constraints: 55530
416.97/418.21 c #Conflicts: 210000 | #Constraints: 56530
416.97/418.21 c #Conflicts: 211000 | #Constraints: 57530
416.97/418.21 c #Conflicts: 212000 | #Constraints: 58530
416.97/418.21 c #Conflicts: 213000 | #Constraints: 59530
416.97/418.21 c #Conflicts: 214000 | #Constraints: 60530
416.97/418.21 c #Conflicts: 215000 | #Constraints: 61530
416.97/418.21 c #Conflicts: 216000 | #Constraints: 62530
416.97/418.21 c #Conflicts: 217000 | #Constraints: 63530
416.97/418.21 c #Conflicts: 218000 | #Constraints: 64530
416.97/418.21 c #Conflicts: 219000 | #Constraints: 65530
416.97/418.21 c #Conflicts: 220000 | #Constraints: 66530
416.97/418.21 c #Conflicts: 221000 | #Constraints: 67530
416.97/418.21 c #Conflicts: 222000 | #Constraints: 68530
416.97/418.21 c INPROCESSING
416.97/418.21 c GARBAGE COLLECT
416.97/418.21 c #Conflicts: 223000 | #Constraints: 45464
416.97/418.21 c #Conflicts: 224000 | #Constraints: 46464
561.65/563.38 c #Conflicts: 225000 | #Constraints: 47464
561.65/563.38 c #Conflicts: 226000 | #Constraints: 48464
561.65/563.38 c #Conflicts: 227000 | #Constraints: 49464
561.65/563.38 c #Conflicts: 228000 | #Constraints: 50464
561.65/563.38 c #Conflicts: 229000 | #Constraints: 51464
561.65/563.38 c #Conflicts: 230000 | #Constraints: 52464
561.65/563.38 c #Conflicts: 231000 | #Constraints: 53464
561.65/563.38 c #Conflicts: 232000 | #Constraints: 54464
561.65/563.38 c #Conflicts: 233000 | #Constraints: 55464
561.65/563.38 c #Conflicts: 234000 | #Constraints: 56464
561.65/563.38 c #Conflicts: 235000 | #Constraints: 57464
561.65/563.38 c INPROCESSING
561.65/563.38 c GARBAGE COLLECT
561.65/563.38 c #Conflicts: 236000 | #Constraints: 41234
561.65/563.38 c #Conflicts: 237000 | #Constraints: 42234
561.65/563.38 c #Conflicts: 238000 | #Constraints: 43234
561.65/563.38 c #Conflicts: 239000 | #Constraints: 44234
561.65/563.38 c #Conflicts: 240000 | #Constraints: 45234
561.65/563.38 c #Conflicts: 241000 | #Constraints: 46234
561.65/563.38 c #Conflicts: 242000 | #Constraints: 47234
561.65/563.38 c #Conflicts: 243000 | #Constraints: 48234
561.65/563.38 c #Conflicts: 244000 | #Constraints: 49234
561.65/563.38 c #Conflicts: 245000 | #Constraints: 50234
561.65/563.38 c #Conflicts: 246000 | #Constraints: 51234
561.65/563.38 c #Conflicts: 247000 | #Constraints: 52234
561.65/563.38 c #Conflicts: 248000 | #Constraints: 53234
561.65/563.38 c #Conflicts: 249000 | #Constraints: 54234
561.65/563.38 c #Conflicts: 250000 | #Constraints: 55234
561.65/563.38 c #Conflicts: 251000 | #Constraints: 56234
561.65/563.38 c #Conflicts: 252000 | #Constraints: 57234
561.65/563.38 c #Conflicts: 253000 | #Constraints: 58234
561.65/563.38 c #Conflicts: 254000 | #Constraints: 59234
561.65/563.38 c #Conflicts: 255000 | #Constraints: 60234
561.65/563.38 c #Conflicts: 256000 | #Constraints: 61234
561.65/563.38 c #Conflicts: 257000 | #Constraints: 62234
561.65/563.38 c #Conflicts: 258000 | #Constraints: 63234
561.65/563.38 c #Conflicts: 259000 | #Constraints: 64234
561.65/563.38 c #Conflicts: 260000 | #Constraints: 65234
561.65/563.38 c #Conflicts: 261000 | #Constraints: 66234
561.65/563.38 c #Conflicts: 262000 | #Constraints: 67234
561.65/563.38 c #Conflicts: 263000 | #Constraints: 68234
561.65/563.38 c #Conflicts: 264000 | #Constraints: 69234
561.65/563.38 c #Conflicts: 265000 | #Constraints: 70234
561.65/563.38 c #Conflicts: 266000 | #Constraints: 71234
561.65/563.38 c #Conflicts: 267000 | #Constraints: 72234
561.65/563.38 c #Conflicts: 268000 | #Constraints: 73234
561.65/563.38 c INPROCESSING
561.65/563.38 c GARBAGE COLLECT
561.65/563.38 c #Conflicts: 269000 | #Constraints: 47600
561.65/563.38 c #Conflicts: 270000 | #Constraints: 48600
561.65/563.38 c #Conflicts: 271000 | #Constraints: 49600
561.65/563.38 c #Conflicts: 272000 | #Constraints: 50600
561.65/563.38 c #Conflicts: 273000 | #Constraints: 51600
561.65/563.38 c #Conflicts: 274000 | #Constraints: 52600
561.65/563.38 c #Conflicts: 275000 | #Constraints: 53600
561.65/563.38 c #Conflicts: 276000 | #Constraints: 54600
561.65/563.38 c #Conflicts: 277000 | #Constraints: 55601
561.65/563.38 c #Conflicts: 278000 | #Constraints: 56601
561.65/563.38 c #Conflicts: 279000 | #Constraints: 57601
561.65/563.38 c #Conflicts: 280000 | #Constraints: 58601
561.65/563.38 c #Conflicts: 281000 | #Constraints: 59601
561.65/563.38 c #Conflicts: 282000 | #Constraints: 60601
561.65/563.38 c INPROCESSING
561.65/563.38 c GARBAGE COLLECT
561.65/563.38 c #Conflicts: 283000 | #Constraints: 43225
561.65/563.38 c #Conflicts: 284000 | #Constraints: 44225
561.65/563.38 c #Conflicts: 285000 | #Constraints: 45225
561.65/563.38 c #Conflicts: 286000 | #Constraints: 46225
561.65/563.38 c #Conflicts: 287000 | #Constraints: 47225
561.65/563.38 c #Conflicts: 288000 | #Constraints: 48225
561.65/563.38 c #Conflicts: 289000 | #Constraints: 49225
561.65/563.38 c #Conflicts: 290000 | #Constraints: 50225
561.65/563.38 c #Conflicts: 291000 | #Constraints: 51225
561.65/563.38 c #Conflicts: 292000 | #Constraints: 52225
561.65/563.38 c #Conflicts: 293000 | #Constraints: 53225
561.65/563.38 c #Conflicts: 294000 | #Constraints: 54225
561.65/563.38 c #Conflicts: 295000 | #Constraints: 55225
561.65/563.38 c #Conflicts: 296000 | #Constraints: 56225
561.65/563.38 c #Conflicts: 297000 | #Constraints: 57225
561.65/563.38 c #Conflicts: 298000 | #Constraints: 58225
561.65/563.38 c #Conflicts: 299000 | #Constraints: 59225
561.65/563.38 c #Conflicts: 300000 | #Constraints: 60225
561.65/563.38 c #Conflicts: 301000 | #Constraints: 61225
713.91/716.04 c #Conflicts: 302000 | #Constraints: 62225
713.91/716.04 c #Conflicts: 303000 | #Constraints: 63225
713.91/716.04 c #Conflicts: 304000 | #Constraints: 64225
713.91/716.04 c #Conflicts: 305000 | #Constraints: 65225
713.91/716.04 c #Conflicts: 306000 | #Constraints: 66225
713.91/716.04 c #Conflicts: 307000 | #Constraints: 67225
713.91/716.04 c #Conflicts: 308000 | #Constraints: 68225
713.91/716.04 c #Conflicts: 309000 | #Constraints: 69225
713.91/716.04 c #Conflicts: 310000 | #Constraints: 70225
713.91/716.04 c #Conflicts: 311000 | #Constraints: 71225
713.91/716.04 c #Conflicts: 312000 | #Constraints: 72225
713.91/716.04 c #Conflicts: 313000 | #Constraints: 73225
713.91/716.04 c #Conflicts: 314000 | #Constraints: 74225
713.91/716.04 c #Conflicts: 315000 | #Constraints: 75225
713.91/716.04 c #Conflicts: 316000 | #Constraints: 76225
713.91/716.04 c #Conflicts: 317000 | #Constraints: 77225
713.91/716.04 c #Conflicts: 318000 | #Constraints: 78225
713.91/716.04 c #Conflicts: 319000 | #Constraints: 79225
713.91/716.04 c INPROCESSING
713.91/716.04 c GARBAGE COLLECT
713.91/716.04 c #Conflicts: 320000 | #Constraints: 50850
713.91/716.04 c #Conflicts: 321000 | #Constraints: 51850
713.91/716.04 c #Conflicts: 322000 | #Constraints: 52850
713.91/716.04 c #Conflicts: 323000 | #Constraints: 53850
713.91/716.04 c #Conflicts: 324000 | #Constraints: 54850
713.91/716.04 c #Conflicts: 325000 | #Constraints: 55850
713.91/716.04 c #Conflicts: 326000 | #Constraints: 56850
713.91/716.04 c #Conflicts: 327000 | #Constraints: 57850
713.91/716.04 c #Conflicts: 328000 | #Constraints: 58850
713.91/716.04 c #Conflicts: 329000 | #Constraints: 59850
713.91/716.04 c #Conflicts: 330000 | #Constraints: 60850
713.91/716.04 c #Conflicts: 331000 | #Constraints: 61850
713.91/716.04 c #Conflicts: 332000 | #Constraints: 62850
713.91/716.04 c #Conflicts: 333000 | #Constraints: 63850
713.91/716.04 c #Conflicts: 334000 | #Constraints: 64850
713.91/716.04 c #Conflicts: 335000 | #Constraints: 65850
713.91/716.04 c INPROCESSING
713.91/716.04 c GARBAGE COLLECT
713.91/716.04 c #Conflicts: 336000 | #Constraints: 46570
713.91/716.04 c #Conflicts: 337000 | #Constraints: 47570
713.91/716.04 c #Conflicts: 338000 | #Constraints: 48570
713.91/716.04 c #Conflicts: 339000 | #Constraints: 49570
713.91/716.04 c #Conflicts: 340000 | #Constraints: 50570
713.91/716.04 c #Conflicts: 341000 | #Constraints: 51570
713.91/716.04 c #Conflicts: 342000 | #Constraints: 52570
713.91/716.04 c #Conflicts: 343000 | #Constraints: 53570
713.91/716.04 c #Conflicts: 344000 | #Constraints: 54570
713.91/716.04 c #Conflicts: 345000 | #Constraints: 55570
713.91/716.04 c #Conflicts: 346000 | #Constraints: 56570
713.91/716.04 c #Conflicts: 347000 | #Constraints: 57570
713.91/716.04 c #Conflicts: 348000 | #Constraints: 58570
713.91/716.04 c #Conflicts: 349000 | #Constraints: 59570
713.91/716.04 c #Conflicts: 350000 | #Constraints: 60570
713.91/716.04 c #Conflicts: 351000 | #Constraints: 61570
713.91/716.04 c #Conflicts: 352000 | #Constraints: 62570
713.91/716.04 c #Conflicts: 353000 | #Constraints: 63570
713.91/716.04 c #Conflicts: 354000 | #Constraints: 64570
713.91/716.04 c #Conflicts: 355000 | #Constraints: 65570
713.91/716.04 c #Conflicts: 356000 | #Constraints: 66570
713.91/716.04 c #Conflicts: 357000 | #Constraints: 67570
713.91/716.04 c #Conflicts: 358000 | #Constraints: 68570
713.91/716.04 c #Conflicts: 359000 | #Constraints: 69570
713.91/716.04 c #Conflicts: 360000 | #Constraints: 70570
713.91/716.04 c #Conflicts: 361000 | #Constraints: 71570
713.91/716.04 c #Conflicts: 362000 | #Constraints: 72570
713.91/716.04 c #Conflicts: 363000 | #Constraints: 73570
713.91/716.04 c #Conflicts: 364000 | #Constraints: 74570
713.91/716.04 c #Conflicts: 365000 | #Constraints: 75570
713.91/716.04 c #Conflicts: 366000 | #Constraints: 76570
713.91/716.04 c #Conflicts: 367000 | #Constraints: 77570
713.91/716.04 c #Conflicts: 368000 | #Constraints: 78570
713.91/716.04 c #Conflicts: 369000 | #Constraints: 79570
713.91/716.04 c #Conflicts: 370000 | #Constraints: 80570
713.91/716.04 c #Conflicts: 371000 | #Constraints: 81570
713.91/716.04 c #Conflicts: 372000 | #Constraints: 82570
713.91/716.04 c #Conflicts: 373000 | #Constraints: 83570
713.91/716.04 c #Conflicts: 374000 | #Constraints: 84570
713.91/716.04 c INPROCESSING
713.91/716.04 c GARBAGE COLLECT
713.91/716.04 c #Conflicts: 375000 | #Constraints: 53452
713.91/716.04 c #Conflicts: 376000 | #Constraints: 54452
713.91/716.04 c #Conflicts: 377000 | #Constraints: 55452
713.91/716.04 c #Conflicts: 378000 | #Constraints: 56452
889.70/892.38 c #Conflicts: 379000 | #Constraints: 57452
889.70/892.38 c #Conflicts: 380000 | #Constraints: 58452
889.70/892.38 c #Conflicts: 381000 | #Constraints: 59452
889.70/892.38 c #Conflicts: 382000 | #Constraints: 60452
889.70/892.38 c #Conflicts: 383000 | #Constraints: 61452
889.70/892.38 c #Conflicts: 384000 | #Constraints: 62452
889.70/892.38 c #Conflicts: 385000 | #Constraints: 63452
889.70/892.38 c #Conflicts: 386000 | #Constraints: 64452
889.70/892.38 c #Conflicts: 387000 | #Constraints: 65452
889.70/892.38 c #Conflicts: 388000 | #Constraints: 66452
889.70/892.38 c #Conflicts: 389000 | #Constraints: 67452
889.70/892.38 c #Conflicts: 390000 | #Constraints: 68452
889.70/892.38 c #Conflicts: 391000 | #Constraints: 69452
889.70/892.38 c INPROCESSING
889.70/892.38 c GARBAGE COLLECT
889.70/892.38 c #Conflicts: 392000 | #Constraints: 49020
889.70/892.38 c #Conflicts: 393000 | #Constraints: 50020
889.70/892.38 c #Conflicts: 394000 | #Constraints: 51020
889.70/892.38 c #Conflicts: 395000 | #Constraints: 52020
889.70/892.38 c #Conflicts: 396000 | #Constraints: 53020
889.70/892.38 c #Conflicts: 397000 | #Constraints: 54020
889.70/892.38 c #Conflicts: 398000 | #Constraints: 55020
889.70/892.38 c #Conflicts: 399000 | #Constraints: 56020
889.70/892.38 c #Conflicts: 400000 | #Constraints: 57020
889.70/892.38 c #Conflicts: 401000 | #Constraints: 58020
889.70/892.38 c #Conflicts: 402000 | #Constraints: 59020
889.70/892.38 c #Conflicts: 403000 | #Constraints: 60020
889.70/892.38 c #Conflicts: 404000 | #Constraints: 61020
889.70/892.38 c #Conflicts: 405000 | #Constraints: 62020
889.70/892.38 c #Conflicts: 406000 | #Constraints: 63021
889.70/892.38 c #Conflicts: 407000 | #Constraints: 64021
889.70/892.38 c #Conflicts: 408000 | #Constraints: 65021
889.70/892.38 c #Conflicts: 409000 | #Constraints: 66021
889.70/892.38 c #Conflicts: 410000 | #Constraints: 67021
889.70/892.38 c #Conflicts: 411000 | #Constraints: 68021
889.70/892.38 c #Conflicts: 412000 | #Constraints: 69021
889.70/892.38 c #Conflicts: 413000 | #Constraints: 70021
889.70/892.38 c #Conflicts: 414000 | #Constraints: 71021
889.70/892.38 c #Conflicts: 415000 | #Constraints: 72021
889.70/892.38 c #Conflicts: 416000 | #Constraints: 73021
889.70/892.38 c #Conflicts: 417000 | #Constraints: 74021
889.70/892.38 c #Conflicts: 418000 | #Constraints: 75021
889.70/892.38 c #Conflicts: 419000 | #Constraints: 76021
889.70/892.38 c #Conflicts: 420000 | #Constraints: 77021
889.70/892.38 c #Conflicts: 421000 | #Constraints: 78021
889.70/892.38 c #Conflicts: 422000 | #Constraints: 79021
889.70/892.38 c #Conflicts: 423000 | #Constraints: 80021
889.70/892.38 c #Conflicts: 424000 | #Constraints: 81021
889.70/892.38 c #Conflicts: 425000 | #Constraints: 82021
889.70/892.38 c #Conflicts: 426000 | #Constraints: 83021
889.70/892.38 c #Conflicts: 427000 | #Constraints: 84021
889.70/892.38 c #Conflicts: 428000 | #Constraints: 85021
889.70/892.38 c #Conflicts: 429000 | #Constraints: 86021
889.70/892.38 c #Conflicts: 430000 | #Constraints: 87021
889.70/892.38 c #Conflicts: 431000 | #Constraints: 88021
889.70/892.38 c #Conflicts: 432000 | #Constraints: 89021
889.70/892.38 c #Conflicts: 433000 | #Constraints: 90021
889.70/892.38 c #Conflicts: 434000 | #Constraints: 91021
889.70/892.38 c INPROCESSING
889.70/892.38 c GARBAGE COLLECT
889.70/892.38 c #Conflicts: 435000 | #Constraints: 57037
889.70/892.38 c #Conflicts: 436000 | #Constraints: 58037
889.70/892.38 c #Conflicts: 437000 | #Constraints: 59037
889.70/892.38 c #Conflicts: 438000 | #Constraints: 60037
889.70/892.38 c #Conflicts: 439000 | #Constraints: 61037
889.70/892.38 c #Conflicts: 440000 | #Constraints: 62037
889.70/892.38 c #Conflicts: 441000 | #Constraints: 63037
889.70/892.38 c #Conflicts: 442000 | #Constraints: 64037
889.70/892.38 c #Conflicts: 443000 | #Constraints: 65037
889.70/892.38 c #Conflicts: 444000 | #Constraints: 66037
889.70/892.38 c #Conflicts: 445000 | #Constraints: 67037
889.70/892.38 c #Conflicts: 446000 | #Constraints: 68037
889.70/892.38 c #Conflicts: 447000 | #Constraints: 69037
889.70/892.38 c #Conflicts: 448000 | #Constraints: 70037
889.70/892.38 c #Conflicts: 449000 | #Constraints: 71037
889.70/892.38 c #Conflicts: 450000 | #Constraints: 72037
889.70/892.38 c #Conflicts: 451000 | #Constraints: 73037
889.70/892.38 c #Conflicts: 452000 | #Constraints: 74037
889.70/892.38 c INPROCESSING
889.70/892.38 c GARBAGE COLLECT
889.70/892.38 c #Conflicts: 453000 | #Constraints: 51749
889.70/892.38 c #Conflicts: 454000 | #Constraints: 52749
889.70/892.38 c #Conflicts: 455000 | #Constraints: 53749
1044.45/1047.52 c #Conflicts: 456000 | #Constraints: 54749
1044.45/1047.52 c #Conflicts: 457000 | #Constraints: 55749
1044.45/1047.52 c #Conflicts: 458000 | #Constraints: 56749
1044.45/1047.52 c #Conflicts: 459000 | #Constraints: 57749
1044.45/1047.52 c #Conflicts: 460000 | #Constraints: 58749
1044.45/1047.52 c #Conflicts: 461000 | #Constraints: 59749
1044.45/1047.52 c #Conflicts: 462000 | #Constraints: 60749
1044.45/1047.52 c #Conflicts: 463000 | #Constraints: 61749
1044.45/1047.52 c #Conflicts: 464000 | #Constraints: 62749
1044.45/1047.52 c #Conflicts: 465000 | #Constraints: 63749
1044.45/1047.52 c #Conflicts: 466000 | #Constraints: 64749
1044.45/1047.52 c #Conflicts: 467000 | #Constraints: 65749
1044.45/1047.52 c #Conflicts: 468000 | #Constraints: 66749
1044.45/1047.52 c #Conflicts: 469000 | #Constraints: 67749
1044.45/1047.52 c #Conflicts: 470000 | #Constraints: 68749
1044.45/1047.52 c #Conflicts: 471000 | #Constraints: 69749
1044.45/1047.52 c #Conflicts: 472000 | #Constraints: 70749
1044.45/1047.52 c #Conflicts: 473000 | #Constraints: 71749
1044.45/1047.52 c #Conflicts: 474000 | #Constraints: 72749
1044.45/1047.52 c #Conflicts: 475000 | #Constraints: 73749
1044.45/1047.52 c #Conflicts: 476000 | #Constraints: 74749
1044.45/1047.52 c #Conflicts: 477000 | #Constraints: 75749
1044.45/1047.52 c #Conflicts: 478000 | #Constraints: 76749
1044.45/1047.52 c #Conflicts: 479000 | #Constraints: 77749
1044.45/1047.52 c #Conflicts: 480000 | #Constraints: 78749
1044.45/1047.52 c #Conflicts: 481000 | #Constraints: 79749
1044.45/1047.52 c #Conflicts: 482000 | #Constraints: 80749
1044.45/1047.52 c #Conflicts: 483000 | #Constraints: 81749
1044.45/1047.52 c #Conflicts: 484000 | #Constraints: 82749
1044.45/1047.52 c #Conflicts: 485000 | #Constraints: 83749
1044.45/1047.52 c #Conflicts: 486000 | #Constraints: 84749
1044.45/1047.52 c #Conflicts: 487000 | #Constraints: 85749
1044.45/1047.52 c #Conflicts: 488000 | #Constraints: 86749
1044.45/1047.52 c #Conflicts: 489000 | #Constraints: 87749
1044.45/1047.52 c #Conflicts: 490000 | #Constraints: 88749
1044.45/1047.52 c #Conflicts: 491000 | #Constraints: 89749
1044.45/1047.52 c #Conflicts: 492000 | #Constraints: 90749
1044.45/1047.52 c #Conflicts: 493000 | #Constraints: 91749
1044.45/1047.52 c #Conflicts: 494000 | #Constraints: 92749
1044.45/1047.52 c #Conflicts: 495000 | #Constraints: 93749
1044.45/1047.52 c #Conflicts: 496000 | #Constraints: 94749
1044.45/1047.52 c #Conflicts: 497000 | #Constraints: 95749
1044.45/1047.52 c #Conflicts: 498000 | #Constraints: 96749
1044.45/1047.52 c INPROCESSING
1044.45/1047.52 c GARBAGE COLLECT
1044.45/1047.52 c #Conflicts: 499000 | #Constraints: 59944
1044.45/1047.52 c #Conflicts: 500000 | #Constraints: 60944
1044.45/1047.52 c #Conflicts: 501000 | #Constraints: 61944
1044.45/1047.52 c #Conflicts: 502000 | #Constraints: 62944
1044.45/1047.52 c #Conflicts: 503000 | #Constraints: 63944
1044.45/1047.52 c #Conflicts: 504000 | #Constraints: 64944
1044.45/1047.52 c #Conflicts: 505000 | #Constraints: 65944
1044.45/1047.52 c #Conflicts: 506000 | #Constraints: 66944
1044.45/1047.52 c #Conflicts: 507000 | #Constraints: 67944
1044.45/1047.52 c #Conflicts: 508000 | #Constraints: 68944
1044.45/1047.52 c #Conflicts: 509000 | #Constraints: 69944
1044.45/1047.52 c #Conflicts: 510000 | #Constraints: 70944
1044.45/1047.52 c #Conflicts: 511000 | #Constraints: 71944
1044.45/1047.52 c #Conflicts: 512000 | #Constraints: 72944
1044.45/1047.52 c #Conflicts: 513000 | #Constraints: 73944
1044.45/1047.52 c #Conflicts: 514000 | #Constraints: 74944
1044.45/1047.52 c #Conflicts: 515000 | #Constraints: 75944
1044.45/1047.52 c #Conflicts: 516000 | #Constraints: 76944
1044.45/1047.52 c #Conflicts: 517000 | #Constraints: 77944
1044.45/1047.52 c INPROCESSING
1044.45/1047.52 c GARBAGE COLLECT
1044.45/1047.52 c #Conflicts: 518000 | #Constraints: 53486
1044.45/1047.52 c #Conflicts: 519000 | #Constraints: 54486
1044.45/1047.52 c #Conflicts: 520000 | #Constraints: 55486
1044.45/1047.52 c #Conflicts: 521000 | #Constraints: 56486
1044.45/1047.52 c #Conflicts: 522000 | #Constraints: 57486
1044.45/1047.52 c #Conflicts: 523000 | #Constraints: 58486
1044.45/1047.52 c #Conflicts: 524000 | #Constraints: 59486
1044.45/1047.52 c #Conflicts: 525000 | #Constraints: 60486
1044.45/1047.52 c #Conflicts: 526000 | #Constraints: 61486
1044.45/1047.52 c #Conflicts: 527000 | #Constraints: 62486
1044.45/1047.52 c #Conflicts: 528000 | #Constraints: 63486
1044.45/1047.52 c #Conflicts: 529000 | #Constraints: 64486
1044.45/1047.52 c #Conflicts: 530000 | #Constraints: 65486
1044.45/1047.52 c #Conflicts: 531000 | #Constraints: 66486
1044.45/1047.52 c #Conflicts: 532000 | #Constraints: 67486
1181.57/1185.05 c #Conflicts: 533000 | #Constraints: 68486
1181.57/1185.05 c #Conflicts: 534000 | #Constraints: 69486
1181.57/1185.05 c #Conflicts: 535000 | #Constraints: 70486
1181.57/1185.05 c #Conflicts: 536000 | #Constraints: 71486
1181.57/1185.05 c #Conflicts: 537000 | #Constraints: 72486
1181.57/1185.05 c #Conflicts: 538000 | #Constraints: 73486
1181.57/1185.05 c #Conflicts: 539000 | #Constraints: 74486
1181.57/1185.05 c #Conflicts: 540000 | #Constraints: 75486
1181.57/1185.05 c #Conflicts: 541000 | #Constraints: 76486
1181.57/1185.05 c #Conflicts: 542000 | #Constraints: 77486
1181.57/1185.05 c #Conflicts: 543000 | #Constraints: 78486
1181.57/1185.05 c #Conflicts: 544000 | #Constraints: 79486
1181.57/1185.05 c #Conflicts: 545000 | #Constraints: 80486
1181.57/1185.05 c #Conflicts: 546000 | #Constraints: 81486
1181.57/1185.05 c #Conflicts: 547000 | #Constraints: 82486
1181.57/1185.05 c #Conflicts: 548000 | #Constraints: 83486
1181.57/1185.05 c #Conflicts: 549000 | #Constraints: 84486
1181.57/1185.05 c #Conflicts: 550000 | #Constraints: 85486
1181.57/1185.05 c #Conflicts: 551000 | #Constraints: 86486
1181.57/1185.05 c #Conflicts: 552000 | #Constraints: 87486
1181.57/1185.05 c #Conflicts: 553000 | #Constraints: 88486
1181.57/1185.05 c #Conflicts: 554000 | #Constraints: 89486
1181.57/1185.05 c #Conflicts: 555000 | #Constraints: 90486
1181.57/1185.05 c #Conflicts: 556000 | #Constraints: 91486
1181.57/1185.05 c #Conflicts: 557000 | #Constraints: 92486
1181.57/1185.05 c #Conflicts: 558000 | #Constraints: 93486
1181.57/1185.05 c #Conflicts: 559000 | #Constraints: 94486
1181.57/1185.05 c #Conflicts: 560000 | #Constraints: 95486
1181.57/1185.05 c #Conflicts: 561000 | #Constraints: 96486
1181.57/1185.05 c #Conflicts: 562000 | #Constraints: 97486
1181.57/1185.05 c #Conflicts: 563000 | #Constraints: 98486
1181.57/1185.05 c #Conflicts: 564000 | #Constraints: 99486
1181.57/1185.05 c #Conflicts: 565000 | #Constraints: 100486
1181.57/1185.05 c #Conflicts: 566000 | #Constraints: 101486
1181.57/1185.05 c INPROCESSING
1181.57/1185.05 c GARBAGE COLLECT
1181.57/1185.05 c rational objective 159
1385.47/1389.59 c #Conflicts: 567000 | #Constraints: 62078
1385.47/1389.59 c #Conflicts: 568000 | #Constraints: 63078
1385.47/1389.59 c #Conflicts: 569000 | #Constraints: 64078
1385.47/1389.59 c #Conflicts: 570000 | #Constraints: 65078
1385.47/1389.59 c #Conflicts: 571000 | #Constraints: 66078
1385.47/1389.59 c #Conflicts: 572000 | #Constraints: 67078
1385.47/1389.59 c #Conflicts: 573000 | #Constraints: 68078
1385.47/1389.59 c #Conflicts: 574000 | #Constraints: 69078
1385.47/1389.59 c #Conflicts: 575000 | #Constraints: 70078
1385.47/1389.59 c #Conflicts: 576000 | #Constraints: 71078
1385.47/1389.59 c #Conflicts: 577000 | #Constraints: 72078
1385.47/1389.59 c #Conflicts: 578000 | #Constraints: 73078
1385.47/1389.59 c #Conflicts: 579000 | #Constraints: 74078
1385.47/1389.59 c #Conflicts: 580000 | #Constraints: 75078
1385.47/1389.59 c #Conflicts: 581000 | #Constraints: 76078
1385.47/1389.59 c #Conflicts: 582000 | #Constraints: 77078
1385.47/1389.59 c #Conflicts: 583000 | #Constraints: 78078
1385.47/1389.59 c #Conflicts: 584000 | #Constraints: 79078
1385.47/1389.59 c #Conflicts: 585000 | #Constraints: 80078
1385.47/1389.59 c #Conflicts: 586000 | #Constraints: 81078
1385.47/1389.59 c #Conflicts: 587000 | #Constraints: 82078
1385.47/1389.59 c INPROCESSING
1385.47/1389.59 c GARBAGE COLLECT
1385.47/1389.59 c #Conflicts: 588000 | #Constraints: 56682
1385.47/1389.59 c #Conflicts: 589000 | #Constraints: 57682
1385.47/1389.59 c #Conflicts: 590000 | #Constraints: 58682
1385.47/1389.59 c #Conflicts: 591000 | #Constraints: 59682
1385.47/1389.59 c #Conflicts: 592000 | #Constraints: 60682
1385.47/1389.59 c #Conflicts: 593000 | #Constraints: 61682
1385.47/1389.59 c #Conflicts: 594000 | #Constraints: 62682
1385.47/1389.59 c #Conflicts: 595000 | #Constraints: 63682
1385.47/1389.59 c #Conflicts: 596000 | #Constraints: 64682
1385.47/1389.59 c #Conflicts: 597000 | #Constraints: 65682
1385.47/1389.59 c #Conflicts: 598000 | #Constraints: 66682
1385.47/1389.59 c #Conflicts: 599000 | #Constraints: 67682
1385.47/1389.59 c #Conflicts: 600000 | #Constraints: 68682
1385.47/1389.59 c #Conflicts: 601000 | #Constraints: 69682
1385.47/1389.59 c #Conflicts: 602000 | #Constraints: 70682
1385.47/1389.59 c #Conflicts: 603000 | #Constraints: 71682
1385.47/1389.59 c #Conflicts: 604000 | #Constraints: 72682
1385.47/1389.59 c #Conflicts: 605000 | #Constraints: 73682
1385.47/1389.59 c #Conflicts: 606000 | #Constraints: 74682
1385.47/1389.59 c #Conflicts: 607000 | #Constraints: 75682
1385.47/1389.59 c #Conflicts: 608000 | #Constraints: 76682
1385.47/1389.59 c #Conflicts: 609000 | #Constraints: 77682
1385.47/1389.59 c #Conflicts: 610000 | #Constraints: 78682
1385.47/1389.59 c #Conflicts: 611000 | #Constraints: 79682
1385.47/1389.59 c #Conflicts: 612000 | #Constraints: 80682
1385.47/1389.59 c #Conflicts: 613000 | #Constraints: 81682
1385.47/1389.59 c #Conflicts: 614000 | #Constraints: 82682
1385.47/1389.59 c #Conflicts: 615000 | #Constraints: 83682
1385.47/1389.59 c #Conflicts: 616000 | #Constraints: 84682
1385.47/1389.59 c #Conflicts: 617000 | #Constraints: 85682
1385.47/1389.59 c #Conflicts: 618000 | #Constraints: 86682
1385.47/1389.59 c #Conflicts: 619000 | #Constraints: 87682
1385.47/1389.59 c #Conflicts: 620000 | #Constraints: 88682
1385.47/1389.59 c #Conflicts: 621000 | #Constraints: 89682
1385.47/1389.59 c #Conflicts: 622000 | #Constraints: 90682
1385.47/1389.59 c #Conflicts: 623000 | #Constraints: 91682
1385.47/1389.59 c #Conflicts: 624000 | #Constraints: 92682
1385.47/1389.59 c #Conflicts: 625000 | #Constraints: 93682
1385.47/1389.59 c #Conflicts: 626000 | #Constraints: 94682
1385.47/1389.59 c #Conflicts: 627000 | #Constraints: 95682
1385.47/1389.59 c #Conflicts: 628000 | #Constraints: 96682
1385.47/1389.59 c #Conflicts: 629000 | #Constraints: 97682
1385.47/1389.59 c #Conflicts: 630000 | #Constraints: 98682
1385.47/1389.59 c #Conflicts: 631000 | #Constraints: 99682
1385.47/1389.59 c #Conflicts: 632000 | #Constraints: 100682
1385.47/1389.59 c #Conflicts: 633000 | #Constraints: 101682
1385.47/1389.59 c #Conflicts: 634000 | #Constraints: 102682
1385.47/1389.59 c #Conflicts: 635000 | #Constraints: 103682
1385.47/1389.59 c #Conflicts: 636000 | #Constraints: 104682
1385.47/1389.59 c #Conflicts: 637000 | #Constraints: 105682
1385.47/1389.59 c #Conflicts: 638000 | #Constraints: 106682
1385.47/1389.59 c #Conflicts: 639000 | #Constraints: 107682
1385.47/1389.59 c INPROCESSING
1385.47/1389.59 c GARBAGE COLLECT
1385.47/1389.59 c #Conflicts: 640000 | #Constraints: 65269
1385.47/1389.59 c #Conflicts: 641000 | #Constraints: 66269
1385.47/1389.59 c #Conflicts: 642000 | #Constraints: 67269
1385.47/1389.59 c #Conflicts: 643000 | #Constraints: 68269
1385.47/1389.59 c #Conflicts: 644000 | #Constraints: 69269
1552.58/1557.27 c #Conflicts: 645000 | #Constraints: 70269
1552.58/1557.27 c #Conflicts: 646000 | #Constraints: 71269
1552.58/1557.27 c #Conflicts: 647000 | #Constraints: 72269
1552.58/1557.27 c #Conflicts: 648000 | #Constraints: 73269
1552.58/1557.27 c #Conflicts: 649000 | #Constraints: 74269
1552.58/1557.27 c #Conflicts: 650000 | #Constraints: 75269
1552.58/1557.27 c #Conflicts: 651000 | #Constraints: 76269
1552.58/1557.27 c #Conflicts: 652000 | #Constraints: 77269
1552.58/1557.27 c #Conflicts: 653000 | #Constraints: 78269
1552.58/1557.27 c #Conflicts: 654000 | #Constraints: 79269
1552.58/1557.27 c #Conflicts: 655000 | #Constraints: 80269
1552.58/1557.27 c #Conflicts: 656000 | #Constraints: 81269
1552.58/1557.27 c #Conflicts: 657000 | #Constraints: 82269
1552.58/1557.27 c #Conflicts: 658000 | #Constraints: 83269
1552.58/1557.27 c #Conflicts: 659000 | #Constraints: 84269
1552.58/1557.27 c #Conflicts: 660000 | #Constraints: 85269
1552.58/1557.27 c #Conflicts: 661000 | #Constraints: 86269
1552.58/1557.27 c INPROCESSING
1552.58/1557.27 c GARBAGE COLLECT
1552.58/1557.27 c #Conflicts: 662000 | #Constraints: 59056
1552.58/1557.27 c #Conflicts: 663000 | #Constraints: 60056
1552.58/1557.27 c #Conflicts: 664000 | #Constraints: 61056
1552.58/1557.27 c #Conflicts: 665000 | #Constraints: 62056
1552.58/1557.27 c #Conflicts: 666000 | #Constraints: 63056
1552.58/1557.27 c #Conflicts: 667000 | #Constraints: 64056
1552.58/1557.27 c #Conflicts: 668000 | #Constraints: 65056
1552.58/1557.27 c #Conflicts: 669000 | #Constraints: 66056
1552.58/1557.27 c #Conflicts: 670000 | #Constraints: 67056
1552.58/1557.27 c #Conflicts: 671000 | #Constraints: 68056
1552.58/1557.27 c #Conflicts: 672000 | #Constraints: 69056
1552.58/1557.27 c #Conflicts: 673000 | #Constraints: 70056
1552.58/1557.27 c #Conflicts: 674000 | #Constraints: 71056
1552.58/1557.27 c #Conflicts: 675000 | #Constraints: 72056
1552.58/1557.27 c #Conflicts: 676000 | #Constraints: 73056
1552.58/1557.27 c #Conflicts: 677000 | #Constraints: 74056
1552.58/1557.27 c #Conflicts: 678000 | #Constraints: 75056
1552.58/1557.27 c #Conflicts: 679000 | #Constraints: 76056
1552.58/1557.27 c #Conflicts: 680000 | #Constraints: 77056
1552.58/1557.27 c #Conflicts: 681000 | #Constraints: 78056
1552.58/1557.27 c #Conflicts: 682000 | #Constraints: 79056
1552.58/1557.27 c #Conflicts: 683000 | #Constraints: 80056
1552.58/1557.27 c #Conflicts: 684000 | #Constraints: 81056
1552.58/1557.27 c #Conflicts: 685000 | #Constraints: 82056
1552.58/1557.27 c #Conflicts: 686000 | #Constraints: 83056
1552.58/1557.27 c #Conflicts: 687000 | #Constraints: 84056
1552.58/1557.27 c #Conflicts: 688000 | #Constraints: 85056
1552.58/1557.27 c #Conflicts: 689000 | #Constraints: 86056
1552.58/1557.27 c #Conflicts: 690000 | #Constraints: 87056
1552.58/1557.27 c #Conflicts: 691000 | #Constraints: 88056
1552.58/1557.27 c #Conflicts: 692000 | #Constraints: 89056
1552.58/1557.27 c #Conflicts: 693000 | #Constraints: 90056
1552.58/1557.27 c #Conflicts: 694000 | #Constraints: 91056
1552.58/1557.27 c #Conflicts: 695000 | #Constraints: 92056
1552.58/1557.27 c #Conflicts: 696000 | #Constraints: 93056
1552.58/1557.27 c #Conflicts: 697000 | #Constraints: 94056
1552.58/1557.27 c #Conflicts: 698000 | #Constraints: 95056
1552.58/1557.27 c #Conflicts: 699000 | #Constraints: 96056
1552.58/1557.27 c #Conflicts: 700000 | #Constraints: 97056
1552.58/1557.27 c #Conflicts: 701000 | #Constraints: 98056
1552.58/1557.27 c #Conflicts: 702000 | #Constraints: 99056
1552.58/1557.27 c #Conflicts: 703000 | #Constraints: 100056
1552.58/1557.27 c #Conflicts: 704000 | #Constraints: 101056
1552.58/1557.27 c #Conflicts: 705000 | #Constraints: 102056
1552.58/1557.27 c #Conflicts: 706000 | #Constraints: 103056
1552.58/1557.27 c #Conflicts: 707000 | #Constraints: 104056
1552.58/1557.27 c #Conflicts: 708000 | #Constraints: 105056
1552.58/1557.27 c #Conflicts: 709000 | #Constraints: 106056
1552.58/1557.27 c #Conflicts: 710000 | #Constraints: 107056
1552.58/1557.27 c #Conflicts: 711000 | #Constraints: 108056
1552.58/1557.27 c #Conflicts: 712000 | #Constraints: 109056
1552.58/1557.27 c #Conflicts: 713000 | #Constraints: 110056
1552.58/1557.27 c #Conflicts: 714000 | #Constraints: 111056
1552.58/1557.27 c #Conflicts: 715000 | #Constraints: 112056
1552.58/1557.27 c #Conflicts: 716000 | #Constraints: 113056
1552.58/1557.27 c INPROCESSING
1552.58/1557.27 c GARBAGE COLLECT
1552.58/1557.27 c #Conflicts: 717000 | #Constraints: 68008
1552.58/1557.27 c #Conflicts: 718000 | #Constraints: 69008
1552.58/1557.27 c #Conflicts: 719000 | #Constraints: 70008
1552.58/1557.27 c #Conflicts: 720000 | #Constraints: 71008
1552.58/1557.27 c #Conflicts: 721000 | #Constraints: 72008
1785.89/1791.26 c #Conflicts: 722000 | #Constraints: 73008
1785.89/1791.26 c #Conflicts: 723000 | #Constraints: 74008
1785.89/1791.26 c #Conflicts: 724000 | #Constraints: 75008
1785.89/1791.26 c #Conflicts: 725000 | #Constraints: 76008
1785.89/1791.26 c #Conflicts: 726000 | #Constraints: 77008
1785.89/1791.26 c #Conflicts: 727000 | #Constraints: 78008
1785.89/1791.26 c #Conflicts: 728000 | #Constraints: 79008
1785.89/1791.26 c #Conflicts: 729000 | #Constraints: 80008
1785.89/1791.26 c #Conflicts: 730000 | #Constraints: 81008
1785.89/1791.26 c #Conflicts: 731000 | #Constraints: 82008
1785.89/1791.26 c #Conflicts: 732000 | #Constraints: 83008
1785.89/1791.26 c #Conflicts: 733000 | #Constraints: 84008
1785.89/1791.26 c #Conflicts: 734000 | #Constraints: 85008
1785.89/1791.26 c #Conflicts: 735000 | #Constraints: 86008
1785.89/1791.26 c #Conflicts: 736000 | #Constraints: 87008
1785.89/1791.26 c #Conflicts: 737000 | #Constraints: 88008
1785.89/1791.26 c #Conflicts: 738000 | #Constraints: 89008
1785.89/1791.26 c #Conflicts: 739000 | #Constraints: 90008
1785.89/1791.26 c #Conflicts: 740000 | #Constraints: 91008
1785.89/1791.26 c INPROCESSING
1785.89/1791.26 c GARBAGE COLLECT
1785.89/1791.26 c #Conflicts: 741000 | #Constraints: 61965
1785.89/1791.26 c #Conflicts: 742000 | #Constraints: 62965
1785.89/1791.26 c #Conflicts: 743000 | #Constraints: 63965
1785.89/1791.26 c #Conflicts: 744000 | #Constraints: 64965
1785.89/1791.26 c #Conflicts: 745000 | #Constraints: 65965
1785.89/1791.26 c #Conflicts: 746000 | #Constraints: 66965
1785.89/1791.26 c #Conflicts: 747000 | #Constraints: 67965
1785.89/1791.26 c #Conflicts: 748000 | #Constraints: 68965
1785.89/1791.26 c #Conflicts: 749000 | #Constraints: 69965
1785.89/1791.26 c #Conflicts: 750000 | #Constraints: 70965
1785.89/1791.26 c #Conflicts: 751000 | #Constraints: 71965
1785.89/1791.26 c #Conflicts: 752000 | #Constraints: 72965
1785.89/1791.26 c #Conflicts: 753000 | #Constraints: 73965
1785.89/1791.26 c #Conflicts: 754000 | #Constraints: 74965
1785.89/1791.26 c #Conflicts: 755000 | #Constraints: 75965
1785.89/1791.26 c #Conflicts: 756000 | #Constraints: 76965
1785.89/1791.26 c #Conflicts: 757000 | #Constraints: 77965
1785.89/1791.26 c #Conflicts: 758000 | #Constraints: 78966
1785.89/1791.26 c #Conflicts: 759000 | #Constraints: 79966
1785.89/1791.26 c #Conflicts: 760000 | #Constraints: 80966
1785.89/1791.26 c #Conflicts: 761000 | #Constraints: 81966
1785.89/1791.26 c #Conflicts: 762000 | #Constraints: 82966
1785.89/1791.26 c #Conflicts: 763000 | #Constraints: 83966
1785.89/1791.26 c #Conflicts: 764000 | #Constraints: 84966
1785.89/1791.26 c #Conflicts: 765000 | #Constraints: 85966
1785.89/1791.26 c #Conflicts: 766000 | #Constraints: 86966
1785.89/1791.26 c #Conflicts: 767000 | #Constraints: 87966
1785.89/1791.26 c #Conflicts: 768000 | #Constraints: 88966
1785.89/1791.26 c #Conflicts: 769000 | #Constraints: 89966
1785.89/1791.26 c #Conflicts: 770000 | #Constraints: 90966
1785.89/1791.26 c #Conflicts: 771000 | #Constraints: 91966
1785.89/1791.26 c #Conflicts: 772000 | #Constraints: 92966
1785.89/1791.26 c #Conflicts: 773000 | #Constraints: 93966
1785.89/1791.26 c #Conflicts: 774000 | #Constraints: 94966
1785.89/1791.26 c #Conflicts: 775000 | #Constraints: 95966
1785.89/1791.26 c #Conflicts: 776000 | #Constraints: 96966
1785.89/1791.26 c #Conflicts: 777000 | #Constraints: 97966
1785.89/1791.26 c #Conflicts: 778000 | #Constraints: 98966
1785.89/1791.26 c #Conflicts: 779000 | #Constraints: 99966
1785.89/1791.26 c #Conflicts: 780000 | #Constraints: 100966
1785.89/1791.26 c #Conflicts: 781000 | #Constraints: 101966
1785.89/1791.26 c #Conflicts: 782000 | #Constraints: 102966
1785.89/1791.26 c #Conflicts: 783000 | #Constraints: 103966
1785.89/1791.26 c #Conflicts: 784000 | #Constraints: 104966
1785.89/1791.26 c #Conflicts: 785000 | #Constraints: 105966
1785.89/1791.26 c #Conflicts: 786000 | #Constraints: 106966
1785.89/1791.26 c #Conflicts: 787000 | #Constraints: 107966
1785.89/1791.26 c #Conflicts: 788000 | #Constraints: 108966
1785.89/1791.26 c #Conflicts: 789000 | #Constraints: 109966
1785.89/1791.26 c #Conflicts: 790000 | #Constraints: 110966
1785.89/1791.26 c #Conflicts: 791000 | #Constraints: 111966
1785.89/1791.26 c #Conflicts: 792000 | #Constraints: 112966
1785.89/1791.26 c #Conflicts: 793000 | #Constraints: 113966
1785.89/1791.26 c #Conflicts: 794000 | #Constraints: 114966
1785.89/1791.26 c #Conflicts: 795000 | #Constraints: 115966
1785.89/1791.26 c #Conflicts: 796000 | #Constraints: 116966
1785.89/1791.26 c #Conflicts: 797000 | #Constraints: 117966
1785.89/1791.26 c #Conflicts: 798000 | #Constraints: 118966
1785.89/1791.26 c INPROCESSING
1785.89/1791.26 c GARBAGE COLLECT
1785.89/1791.26 c #Conflicts: 799000 | #Constraints: 71186
1955.24/1961.03 c #Conflicts: 800000 | #Constraints: 72186
1955.24/1961.03 c #Conflicts: 801000 | #Constraints: 73186
1955.24/1961.03 c #Conflicts: 802000 | #Constraints: 74186
1955.24/1961.03 c #Conflicts: 803000 | #Constraints: 75186
1955.24/1961.03 c #Conflicts: 804000 | #Constraints: 76186
1955.24/1961.03 c #Conflicts: 805000 | #Constraints: 77186
1955.24/1961.03 c #Conflicts: 806000 | #Constraints: 78186
1955.24/1961.03 c #Conflicts: 807000 | #Constraints: 79186
1955.24/1961.03 c #Conflicts: 808000 | #Constraints: 80186
1955.24/1961.03 c #Conflicts: 809000 | #Constraints: 81186
1955.24/1961.03 c #Conflicts: 810000 | #Constraints: 82186
1955.24/1961.03 c #Conflicts: 811000 | #Constraints: 83186
1955.24/1961.03 c #Conflicts: 812000 | #Constraints: 84186
1955.24/1961.03 c #Conflicts: 813000 | #Constraints: 85186
1955.24/1961.03 c #Conflicts: 814000 | #Constraints: 86186
1955.24/1961.03 c #Conflicts: 815000 | #Constraints: 87186
1955.24/1961.03 c #Conflicts: 816000 | #Constraints: 88186
1955.24/1961.03 c #Conflicts: 817000 | #Constraints: 89186
1955.24/1961.03 c #Conflicts: 818000 | #Constraints: 90186
1955.24/1961.03 c #Conflicts: 819000 | #Constraints: 91186
1955.24/1961.03 c #Conflicts: 820000 | #Constraints: 92186
1955.24/1961.03 c #Conflicts: 821000 | #Constraints: 93186
1955.24/1961.03 c #Conflicts: 822000 | #Constraints: 94186
1955.24/1961.03 c INPROCESSING
1955.24/1961.03 c GARBAGE COLLECT
1955.24/1961.03 c #Conflicts: 823000 | #Constraints: 63725
1955.24/1961.03 c #Conflicts: 824000 | #Constraints: 64725
1955.24/1961.03 c #Conflicts: 825000 | #Constraints: 65725
1955.24/1961.03 c #Conflicts: 826000 | #Constraints: 66725
1955.24/1961.03 c #Conflicts: 827000 | #Constraints: 67725
1955.24/1961.03 c #Conflicts: 828000 | #Constraints: 68725
1955.24/1961.03 c #Conflicts: 829000 | #Constraints: 69725
1955.24/1961.03 c #Conflicts: 830000 | #Constraints: 70725
1955.24/1961.03 c #Conflicts: 831000 | #Constraints: 71725
1955.24/1961.03 c #Conflicts: 832000 | #Constraints: 72725
1955.24/1961.03 c #Conflicts: 833000 | #Constraints: 73725
1955.24/1961.03 c #Conflicts: 834000 | #Constraints: 74725
1955.24/1961.03 c #Conflicts: 835000 | #Constraints: 75725
1955.24/1961.03 c #Conflicts: 836000 | #Constraints: 76725
1955.24/1961.03 c #Conflicts: 837000 | #Constraints: 77725
1955.24/1961.03 c #Conflicts: 838000 | #Constraints: 78725
1955.24/1961.03 c #Conflicts: 839000 | #Constraints: 79725
1955.24/1961.03 c #Conflicts: 840000 | #Constraints: 80725
1955.24/1961.03 c #Conflicts: 841000 | #Constraints: 81725
1955.24/1961.03 c #Conflicts: 842000 | #Constraints: 82725
1955.24/1961.03 c #Conflicts: 843000 | #Constraints: 83725
1955.24/1961.03 c #Conflicts: 844000 | #Constraints: 84725
1955.24/1961.03 c #Conflicts: 845000 | #Constraints: 85725
1955.24/1961.03 c #Conflicts: 846000 | #Constraints: 86725
1955.24/1961.03 c #Conflicts: 847000 | #Constraints: 87725
1955.24/1961.03 c #Conflicts: 848000 | #Constraints: 88725
1955.24/1961.03 c #Conflicts: 849000 | #Constraints: 89725
1955.24/1961.03 c #Conflicts: 850000 | #Constraints: 90725
1955.24/1961.03 c #Conflicts: 851000 | #Constraints: 91725
1955.24/1961.03 c #Conflicts: 852000 | #Constraints: 92725
1955.24/1961.03 c #Conflicts: 853000 | #Constraints: 93725
1955.24/1961.03 c #Conflicts: 854000 | #Constraints: 94725
1955.24/1961.03 c #Conflicts: 855000 | #Constraints: 95725
1955.24/1961.03 c #Conflicts: 856000 | #Constraints: 96725
1955.24/1961.03 c #Conflicts: 857000 | #Constraints: 97725
1955.24/1961.03 c #Conflicts: 858000 | #Constraints: 98725
1955.24/1961.03 c #Conflicts: 859000 | #Constraints: 99725
1955.24/1961.03 c #Conflicts: 860000 | #Constraints: 100725
1955.24/1961.03 c #Conflicts: 861000 | #Constraints: 101725
1955.24/1961.03 c #Conflicts: 862000 | #Constraints: 102725
1955.24/1961.03 c #Conflicts: 863000 | #Constraints: 103725
1955.24/1961.03 c #Conflicts: 864000 | #Constraints: 104725
1955.24/1961.03 c #Conflicts: 865000 | #Constraints: 105725
1955.24/1961.03 c #Conflicts: 866000 | #Constraints: 106725
1955.24/1961.03 c #Conflicts: 867000 | #Constraints: 107725
1955.24/1961.03 c #Conflicts: 868000 | #Constraints: 108725
1955.24/1961.03 c #Conflicts: 869000 | #Constraints: 109725
1955.24/1961.03 c #Conflicts: 870000 | #Constraints: 110725
1955.24/1961.03 c #Conflicts: 871000 | #Constraints: 111725
1955.24/1961.03 c #Conflicts: 872000 | #Constraints: 112725
1955.24/1961.03 c #Conflicts: 873000 | #Constraints: 113725
1955.24/1961.03 c #Conflicts: 874000 | #Constraints: 114725
1955.24/1961.03 c #Conflicts: 875000 | #Constraints: 115725
1955.24/1961.03 c #Conflicts: 876000 | #Constraints: 116725
1955.24/1961.03 c #Conflicts: 877000 | #Constraints: 117725
2069.51/2075.67 c #Conflicts: 878000 | #Constraints: 118725
2069.51/2075.67 c #Conflicts: 879000 | #Constraints: 119725
2069.51/2075.67 c #Conflicts: 880000 | #Constraints: 120725
2069.51/2075.67 c #Conflicts: 881000 | #Constraints: 121725
2069.51/2075.67 c #Conflicts: 882000 | #Constraints: 122725
2069.51/2075.67 c #Conflicts: 883000 | #Constraints: 123725
2069.51/2075.67 c #Conflicts: 884000 | #Constraints: 124725
2069.51/2075.67 c INPROCESSING
2069.51/2075.67 c GARBAGE COLLECT
2069.51/2075.67 c rational objective 159
2276.14/2282.87 c #Conflicts: 885000 | #Constraints: 74087
2276.14/2282.87 c #Conflicts: 886000 | #Constraints: 75087
2276.14/2282.87 c #Conflicts: 887000 | #Constraints: 76087
2276.14/2282.87 c #Conflicts: 888000 | #Constraints: 77087
2276.14/2282.87 c #Conflicts: 889000 | #Constraints: 78087
2276.14/2282.87 c #Conflicts: 890000 | #Constraints: 79087
2276.14/2282.87 c #Conflicts: 891000 | #Constraints: 80087
2276.14/2282.87 c #Conflicts: 892000 | #Constraints: 81087
2276.14/2282.87 c #Conflicts: 893000 | #Constraints: 82087
2276.14/2282.87 c #Conflicts: 894000 | #Constraints: 83087
2276.14/2282.87 c #Conflicts: 895000 | #Constraints: 84087
2276.14/2282.87 c #Conflicts: 896000 | #Constraints: 85087
2276.14/2282.87 c #Conflicts: 897000 | #Constraints: 86087
2276.14/2282.87 c #Conflicts: 898000 | #Constraints: 87087
2276.14/2282.87 c #Conflicts: 899000 | #Constraints: 88087
2276.14/2282.87 c #Conflicts: 900000 | #Constraints: 89087
2276.14/2282.87 c #Conflicts: 901000 | #Constraints: 90087
2276.14/2282.87 c #Conflicts: 902000 | #Constraints: 91087
2276.14/2282.87 c #Conflicts: 903000 | #Constraints: 92087
2276.14/2282.87 c #Conflicts: 904000 | #Constraints: 93087
2276.14/2282.87 c #Conflicts: 905000 | #Constraints: 94087
2276.14/2282.87 c #Conflicts: 906000 | #Constraints: 95087
2276.14/2282.87 c #Conflicts: 907000 | #Constraints: 96087
2276.14/2282.87 c #Conflicts: 908000 | #Constraints: 97087
2276.14/2282.87 c #Conflicts: 909000 | #Constraints: 98087
2276.14/2282.87 c #Conflicts: 910000 | #Constraints: 99087
2276.14/2282.87 c INPROCESSING
2276.14/2282.87 c GARBAGE COLLECT
2276.14/2282.87 c #Conflicts: 911000 | #Constraints: 67187
2276.14/2282.87 c #Conflicts: 912000 | #Constraints: 68187
2276.14/2282.87 c #Conflicts: 913000 | #Constraints: 69187
2276.14/2282.87 c #Conflicts: 914000 | #Constraints: 70187
2276.14/2282.87 c #Conflicts: 915000 | #Constraints: 71187
2276.14/2282.87 c #Conflicts: 916000 | #Constraints: 72187
2276.14/2282.87 c #Conflicts: 917000 | #Constraints: 73187
2276.14/2282.87 c #Conflicts: 918000 | #Constraints: 74187
2276.14/2282.87 c #Conflicts: 919000 | #Constraints: 75187
2276.14/2282.87 c #Conflicts: 920000 | #Constraints: 76187
2276.14/2282.87 c #Conflicts: 921000 | #Constraints: 77187
2276.14/2282.87 c #Conflicts: 922000 | #Constraints: 78187
2276.14/2282.87 c #Conflicts: 923000 | #Constraints: 79187
2276.14/2282.87 c #Conflicts: 924000 | #Constraints: 80187
2276.14/2282.87 c #Conflicts: 925000 | #Constraints: 81187
2276.14/2282.87 c #Conflicts: 926000 | #Constraints: 82187
2276.14/2282.87 c #Conflicts: 927000 | #Constraints: 83187
2276.14/2282.87 c #Conflicts: 928000 | #Constraints: 84187
2276.14/2282.87 c #Conflicts: 929000 | #Constraints: 85187
2276.14/2282.87 c #Conflicts: 930000 | #Constraints: 86187
2276.14/2282.87 c #Conflicts: 931000 | #Constraints: 87187
2276.14/2282.87 c #Conflicts: 932000 | #Constraints: 88187
2276.14/2282.87 c #Conflicts: 933000 | #Constraints: 89187
2276.14/2282.87 c #Conflicts: 934000 | #Constraints: 90187
2276.14/2282.87 c #Conflicts: 935000 | #Constraints: 91187
2276.14/2282.87 c #Conflicts: 936000 | #Constraints: 92187
2276.14/2282.87 c #Conflicts: 937000 | #Constraints: 93187
2276.14/2282.87 c #Conflicts: 938000 | #Constraints: 94187
2276.14/2282.87 c #Conflicts: 939000 | #Constraints: 95187
2276.14/2282.87 c #Conflicts: 940000 | #Constraints: 96187
2276.14/2282.87 c #Conflicts: 941000 | #Constraints: 97187
2276.14/2282.87 c #Conflicts: 942000 | #Constraints: 98187
2276.14/2282.87 c #Conflicts: 943000 | #Constraints: 99187
2276.14/2282.87 c #Conflicts: 944000 | #Constraints: 100187
2276.14/2282.87 c #Conflicts: 945000 | #Constraints: 101187
2276.14/2282.87 c #Conflicts: 946000 | #Constraints: 102187
2276.14/2282.87 c #Conflicts: 947000 | #Constraints: 103188
2276.14/2282.87 c #Conflicts: 948000 | #Constraints: 104188
2276.14/2282.87 c #Conflicts: 949000 | #Constraints: 105188
2276.14/2282.87 c #Conflicts: 950000 | #Constraints: 106188
2276.14/2282.87 c #Conflicts: 951000 | #Constraints: 107188
2276.14/2282.87 c #Conflicts: 952000 | #Constraints: 108188
2276.14/2282.87 c #Conflicts: 953000 | #Constraints: 109188
2276.14/2282.87 c #Conflicts: 954000 | #Constraints: 110188
2276.14/2282.87 c #Conflicts: 955000 | #Constraints: 111188
2276.14/2282.87 c #Conflicts: 956000 | #Constraints: 112188
2276.14/2282.87 c #Conflicts: 957000 | #Constraints: 113188
2276.14/2282.87 c #Conflicts: 958000 | #Constraints: 114188
2276.14/2282.87 c #Conflicts: 959000 | #Constraints: 115188
2276.14/2282.87 c #Conflicts: 960000 | #Constraints: 116188
2276.14/2282.87 c #Conflicts: 961000 | #Constraints: 117188
2276.14/2282.87 c #Conflicts: 962000 | #Constraints: 118188
2276.14/2282.87 c #Conflicts: 963000 | #Constraints: 119188
2505.31/2512.62 c #Conflicts: 964000 | #Constraints: 120188
2505.31/2512.62 c #Conflicts: 965000 | #Constraints: 121188
2505.31/2512.62 c #Conflicts: 966000 | #Constraints: 122188
2505.31/2512.62 c #Conflicts: 967000 | #Constraints: 123188
2505.31/2512.62 c #Conflicts: 968000 | #Constraints: 124188
2505.31/2512.62 c #Conflicts: 969000 | #Constraints: 125188
2505.31/2512.62 c #Conflicts: 970000 | #Constraints: 126188
2505.31/2512.62 c #Conflicts: 971000 | #Constraints: 127188
2505.31/2512.62 c #Conflicts: 972000 | #Constraints: 128188
2505.31/2512.62 c #Conflicts: 973000 | #Constraints: 129188
2505.31/2512.62 c #Conflicts: 974000 | #Constraints: 130188
2505.31/2512.62 c INPROCESSING
2505.31/2512.62 c GARBAGE COLLECT
2505.31/2512.62 c #Conflicts: 975000 | #Constraints: 76702
2505.31/2512.62 c #Conflicts: 976000 | #Constraints: 77702
2505.31/2512.62 c #Conflicts: 977000 | #Constraints: 78702
2505.31/2512.62 c #Conflicts: 978000 | #Constraints: 79702
2505.31/2512.62 c #Conflicts: 979000 | #Constraints: 80702
2505.31/2512.62 c #Conflicts: 980000 | #Constraints: 81702
2505.31/2512.62 c #Conflicts: 981000 | #Constraints: 82702
2505.31/2512.62 c #Conflicts: 982000 | #Constraints: 83702
2505.31/2512.62 c #Conflicts: 983000 | #Constraints: 84702
2505.31/2512.62 c #Conflicts: 984000 | #Constraints: 85702
2505.31/2512.62 c #Conflicts: 985000 | #Constraints: 86702
2505.31/2512.62 c #Conflicts: 986000 | #Constraints: 87702
2505.31/2512.62 c #Conflicts: 987000 | #Constraints: 88702
2505.31/2512.62 c #Conflicts: 988000 | #Constraints: 89702
2505.31/2512.62 c #Conflicts: 989000 | #Constraints: 90702
2505.31/2512.62 c #Conflicts: 990000 | #Constraints: 91702
2505.31/2512.62 c #Conflicts: 991000 | #Constraints: 92702
2505.31/2512.62 c #Conflicts: 992000 | #Constraints: 93702
2505.31/2512.62 c #Conflicts: 993000 | #Constraints: 94702
2505.31/2512.62 c #Conflicts: 994000 | #Constraints: 95702
2505.31/2512.62 c #Conflicts: 995000 | #Constraints: 96702
2505.31/2512.62 c #Conflicts: 996000 | #Constraints: 97702
2505.31/2512.62 c #Conflicts: 997000 | #Constraints: 98702
2505.31/2512.62 c #Conflicts: 998000 | #Constraints: 99702
2505.31/2512.62 c #Conflicts: 999000 | #Constraints: 100702
2505.31/2512.62 c #Conflicts: 1000000 | #Constraints: 101702
2505.31/2512.62 c #Conflicts: 1001000 | #Constraints: 102702
2505.31/2512.62 c INPROCESSING
2505.31/2512.62 c GARBAGE COLLECT
2505.31/2512.62 c #Conflicts: 1002000 | #Constraints: 68199
2505.31/2512.62 c #Conflicts: 1003000 | #Constraints: 69199
2505.31/2512.62 c #Conflicts: 1004000 | #Constraints: 70199
2505.31/2512.62 c #Conflicts: 1005000 | #Constraints: 71199
2505.31/2512.62 c #Conflicts: 1006000 | #Constraints: 72199
2505.31/2512.62 c #Conflicts: 1007000 | #Constraints: 73199
2505.31/2512.62 c #Conflicts: 1008000 | #Constraints: 74199
2505.31/2512.62 c #Conflicts: 1009000 | #Constraints: 75199
2505.31/2512.62 c #Conflicts: 1010000 | #Constraints: 76199
2505.31/2512.62 c #Conflicts: 1011000 | #Constraints: 77199
2505.31/2512.62 c #Conflicts: 1012000 | #Constraints: 78199
2505.31/2512.62 c #Conflicts: 1013000 | #Constraints: 79199
2505.31/2512.62 c #Conflicts: 1014000 | #Constraints: 80199
2505.31/2512.62 c #Conflicts: 1015000 | #Constraints: 81199
2505.31/2512.62 c #Conflicts: 1016000 | #Constraints: 82199
2505.31/2512.62 c #Conflicts: 1017000 | #Constraints: 83199
2505.31/2512.62 c #Conflicts: 1018000 | #Constraints: 84199
2505.31/2512.62 c #Conflicts: 1019000 | #Constraints: 85199
2505.31/2512.62 c #Conflicts: 1020000 | #Constraints: 86199
2505.31/2512.62 c #Conflicts: 1021000 | #Constraints: 87199
2505.31/2512.62 c #Conflicts: 1022000 | #Constraints: 88199
2505.31/2512.62 c #Conflicts: 1023000 | #Constraints: 89199
2505.31/2512.62 c #Conflicts: 1024000 | #Constraints: 90199
2505.31/2512.62 c #Conflicts: 1025000 | #Constraints: 91199
2505.31/2512.62 c #Conflicts: 1026000 | #Constraints: 92199
2505.31/2512.62 c #Conflicts: 1027000 | #Constraints: 93199
2505.31/2512.62 c #Conflicts: 1028000 | #Constraints: 94199
2505.31/2512.62 c #Conflicts: 1029000 | #Constraints: 95199
2505.31/2512.62 c #Conflicts: 1030000 | #Constraints: 96199
2505.31/2512.62 c #Conflicts: 1031000 | #Constraints: 97199
2505.31/2512.62 c #Conflicts: 1032000 | #Constraints: 98199
2505.31/2512.62 c #Conflicts: 1033000 | #Constraints: 99199
2505.31/2512.62 c #Conflicts: 1034000 | #Constraints: 100199
2505.31/2512.62 c #Conflicts: 1035000 | #Constraints: 101199
2505.31/2512.62 c #Conflicts: 1036000 | #Constraints: 102199
2505.31/2512.62 c #Conflicts: 1037000 | #Constraints: 103199
2505.31/2512.62 c #Conflicts: 1038000 | #Constraints: 104199
2505.31/2512.62 c #Conflicts: 1039000 | #Constraints: 105199
2505.31/2512.62 c #Conflicts: 1040000 | #Constraints: 106199
2800.58/2808.79 c #Conflicts: 1041000 | #Constraints: 107199
2800.58/2808.79 c #Conflicts: 1042000 | #Constraints: 108199
2800.58/2808.79 c #Conflicts: 1043000 | #Constraints: 109199
2800.58/2808.79 c #Conflicts: 1044000 | #Constraints: 110199
2800.58/2808.79 c #Conflicts: 1045000 | #Constraints: 111199
2800.58/2808.79 c #Conflicts: 1046000 | #Constraints: 112199
2800.58/2808.79 c #Conflicts: 1047000 | #Constraints: 113199
2800.58/2808.79 c #Conflicts: 1048000 | #Constraints: 114199
2800.58/2808.79 c #Conflicts: 1049000 | #Constraints: 115199
2800.58/2808.79 c #Conflicts: 1050000 | #Constraints: 116199
2800.58/2808.79 c #Conflicts: 1051000 | #Constraints: 117199
2800.58/2808.79 c #Conflicts: 1052000 | #Constraints: 118199
2800.58/2808.79 c #Conflicts: 1053000 | #Constraints: 119199
2800.58/2808.79 c #Conflicts: 1054000 | #Constraints: 120199
2800.58/2808.79 c #Conflicts: 1055000 | #Constraints: 121199
2800.58/2808.79 c #Conflicts: 1056000 | #Constraints: 122199
2800.58/2808.79 c #Conflicts: 1057000 | #Constraints: 123199
2800.58/2808.79 c #Conflicts: 1058000 | #Constraints: 124199
2800.58/2808.79 c #Conflicts: 1059000 | #Constraints: 125199
2800.58/2808.79 c #Conflicts: 1060000 | #Constraints: 126199
2800.58/2808.79 c #Conflicts: 1061000 | #Constraints: 127199
2800.58/2808.79 c #Conflicts: 1062000 | #Constraints: 128199
2800.58/2808.79 c #Conflicts: 1063000 | #Constraints: 129199
2800.58/2808.79 c #Conflicts: 1064000 | #Constraints: 130199
2800.58/2808.79 c #Conflicts: 1065000 | #Constraints: 131199
2800.58/2808.79 c #Conflicts: 1066000 | #Constraints: 132199
2800.58/2808.79 c #Conflicts: 1067000 | #Constraints: 133199
2800.58/2808.79 c #Conflicts: 1068000 | #Constraints: 134199
2800.58/2808.79 c #Conflicts: 1069000 | #Constraints: 135199
2800.58/2808.79 c INPROCESSING
2800.58/2808.79 c GARBAGE COLLECT
2800.58/2808.79 c #Conflicts: 1070000 | #Constraints: 79339
2800.58/2808.79 c #Conflicts: 1071000 | #Constraints: 80339
2800.58/2808.79 c #Conflicts: 1072000 | #Constraints: 81339
2800.58/2808.79 c #Conflicts: 1073000 | #Constraints: 82339
2800.58/2808.79 c #Conflicts: 1074000 | #Constraints: 83339
2800.58/2808.79 c #Conflicts: 1075000 | #Constraints: 84339
2800.58/2808.79 c #Conflicts: 1076000 | #Constraints: 85339
2800.58/2808.79 c #Conflicts: 1077000 | #Constraints: 86339
2800.58/2808.79 c #Conflicts: 1078000 | #Constraints: 87339
2800.58/2808.79 c #Conflicts: 1079000 | #Constraints: 88339
2800.58/2808.79 c #Conflicts: 1080000 | #Constraints: 89339
2800.58/2808.79 c #Conflicts: 1081000 | #Constraints: 90339
2800.58/2808.79 c #Conflicts: 1082000 | #Constraints: 91339
2800.58/2808.79 c #Conflicts: 1083000 | #Constraints: 92339
2800.58/2808.79 c #Conflicts: 1084000 | #Constraints: 93339
2800.58/2808.79 c #Conflicts: 1085000 | #Constraints: 94339
2800.58/2808.79 c #Conflicts: 1086000 | #Constraints: 95339
2800.58/2808.79 c #Conflicts: 1087000 | #Constraints: 96339
2800.58/2808.79 c #Conflicts: 1088000 | #Constraints: 97339
2800.58/2808.79 c #Conflicts: 1089000 | #Constraints: 98339
2800.58/2808.79 c #Conflicts: 1090000 | #Constraints: 99339
2800.58/2808.79 c #Conflicts: 1091000 | #Constraints: 100339
2800.58/2808.79 c #Conflicts: 1092000 | #Constraints: 101339
2800.58/2808.79 c #Conflicts: 1093000 | #Constraints: 102339
2800.58/2808.79 c #Conflicts: 1094000 | #Constraints: 103339
2800.58/2808.79 c #Conflicts: 1095000 | #Constraints: 104339
2800.58/2808.79 c #Conflicts: 1096000 | #Constraints: 105339
2800.58/2808.79 c #Conflicts: 1097000 | #Constraints: 106339
2800.58/2808.79 c #Conflicts: 1098000 | #Constraints: 107339
2800.58/2808.79 c INPROCESSING
2800.58/2808.79 c GARBAGE COLLECT
2800.58/2808.79 c #Conflicts: 1099000 | #Constraints: 70238
2800.58/2808.79 c #Conflicts: 1100000 | #Constraints: 71238
2800.58/2808.79 c #Conflicts: 1101000 | #Constraints: 72238
2800.58/2808.79 c #Conflicts: 1102000 | #Constraints: 73238
2800.58/2808.79 c #Conflicts: 1103000 | #Constraints: 74238
2800.58/2808.79 c #Conflicts: 1104000 | #Constraints: 75238
2800.58/2808.79 c #Conflicts: 1105000 | #Constraints: 76238
2800.58/2808.79 c #Conflicts: 1106000 | #Constraints: 77238
2800.58/2808.79 c #Conflicts: 1107000 | #Constraints: 78238
2800.58/2808.79 c #Conflicts: 1108000 | #Constraints: 79239
2800.58/2808.79 c #Conflicts: 1109000 | #Constraints: 80239
2800.58/2808.79 c #Conflicts: 1110000 | #Constraints: 81239
2800.58/2808.79 c #Conflicts: 1111000 | #Constraints: 82239
2800.58/2808.79 c #Conflicts: 1112000 | #Constraints: 83239
2800.58/2808.79 c #Conflicts: 1113000 | #Constraints: 84239
2800.58/2808.79 c #Conflicts: 1114000 | #Constraints: 85239
2800.58/2808.79 c #Conflicts: 1115000 | #Constraints: 86239
2800.58/2808.79 c #Conflicts: 1116000 | #Constraints: 87239
2800.58/2808.79 c #Conflicts: 1117000 | #Constraints: 88239
2800.58/2808.79 c #Conflicts: 1118000 | #Constraints: 89239
3037.58/3046.46 c #Conflicts: 1119000 | #Constraints: 90239
3037.58/3046.46 c #Conflicts: 1120000 | #Constraints: 91239
3037.58/3046.46 c #Conflicts: 1121000 | #Constraints: 92239
3037.58/3046.46 c #Conflicts: 1122000 | #Constraints: 93239
3037.58/3046.46 c #Conflicts: 1123000 | #Constraints: 94239
3037.58/3046.46 c #Conflicts: 1124000 | #Constraints: 95239
3037.58/3046.46 c #Conflicts: 1125000 | #Constraints: 96239
3037.58/3046.46 c #Conflicts: 1126000 | #Constraints: 97239
3037.58/3046.46 c #Conflicts: 1127000 | #Constraints: 98239
3037.58/3046.46 c #Conflicts: 1128000 | #Constraints: 99239
3037.58/3046.46 c #Conflicts: 1129000 | #Constraints: 100239
3037.58/3046.46 c #Conflicts: 1130000 | #Constraints: 101239
3037.58/3046.46 c #Conflicts: 1131000 | #Constraints: 102239
3037.58/3046.46 c #Conflicts: 1132000 | #Constraints: 103239
3037.58/3046.46 c #Conflicts: 1133000 | #Constraints: 104239
3037.58/3046.46 c #Conflicts: 1134000 | #Constraints: 105239
3037.58/3046.46 c #Conflicts: 1135000 | #Constraints: 106239
3037.58/3046.46 c #Conflicts: 1136000 | #Constraints: 107239
3037.58/3046.46 c #Conflicts: 1137000 | #Constraints: 108239
3037.58/3046.46 c #Conflicts: 1138000 | #Constraints: 109239
3037.58/3046.46 c #Conflicts: 1139000 | #Constraints: 110239
3037.58/3046.46 c #Conflicts: 1140000 | #Constraints: 111239
3037.58/3046.46 c #Conflicts: 1141000 | #Constraints: 112239
3037.58/3046.46 c #Conflicts: 1142000 | #Constraints: 113239
3037.58/3046.46 c #Conflicts: 1143000 | #Constraints: 114239
3037.58/3046.46 c #Conflicts: 1144000 | #Constraints: 115239
3037.58/3046.46 c #Conflicts: 1145000 | #Constraints: 116239
3037.58/3046.46 c #Conflicts: 1146000 | #Constraints: 117239
3037.58/3046.46 c #Conflicts: 1147000 | #Constraints: 118239
3037.58/3046.46 c #Conflicts: 1148000 | #Constraints: 119239
3037.58/3046.46 c #Conflicts: 1149000 | #Constraints: 120239
3037.58/3046.46 c #Conflicts: 1150000 | #Constraints: 121239
3037.58/3046.46 c #Conflicts: 1151000 | #Constraints: 122239
3037.58/3046.46 c #Conflicts: 1152000 | #Constraints: 123239
3037.58/3046.46 c #Conflicts: 1153000 | #Constraints: 124239
3037.58/3046.46 c #Conflicts: 1154000 | #Constraints: 125239
3037.58/3046.46 c #Conflicts: 1155000 | #Constraints: 126239
3037.58/3046.46 c #Conflicts: 1156000 | #Constraints: 127239
3037.58/3046.46 c #Conflicts: 1157000 | #Constraints: 128239
3037.58/3046.46 c #Conflicts: 1158000 | #Constraints: 129239
3037.58/3046.46 c #Conflicts: 1159000 | #Constraints: 130239
3037.58/3046.46 c #Conflicts: 1160000 | #Constraints: 131239
3037.58/3046.46 c #Conflicts: 1161000 | #Constraints: 132239
3037.58/3046.46 c #Conflicts: 1162000 | #Constraints: 133239
3037.58/3046.46 c #Conflicts: 1163000 | #Constraints: 134239
3037.58/3046.46 c #Conflicts: 1164000 | #Constraints: 135239
3037.58/3046.46 c #Conflicts: 1165000 | #Constraints: 136239
3037.58/3046.46 c #Conflicts: 1166000 | #Constraints: 137239
3037.58/3046.46 c #Conflicts: 1167000 | #Constraints: 138239
3037.58/3046.46 c #Conflicts: 1168000 | #Constraints: 139239
3037.58/3046.46 c INPROCESSING
3037.58/3046.46 c GARBAGE COLLECT
3037.58/3046.46 c #Conflicts: 1169000 | #Constraints: 81075
3037.58/3046.46 c #Conflicts: 1170000 | #Constraints: 82075
3037.58/3046.46 c #Conflicts: 1171000 | #Constraints: 83075
3037.58/3046.46 c #Conflicts: 1172000 | #Constraints: 84075
3037.58/3046.46 c #Conflicts: 1173000 | #Constraints: 85075
3037.58/3046.46 c #Conflicts: 1174000 | #Constraints: 86075
3037.58/3046.46 c #Conflicts: 1175000 | #Constraints: 87075
3037.58/3046.46 c #Conflicts: 1176000 | #Constraints: 88075
3037.58/3046.46 c #Conflicts: 1177000 | #Constraints: 89075
3037.58/3046.46 c #Conflicts: 1178000 | #Constraints: 90075
3037.58/3046.46 c #Conflicts: 1179000 | #Constraints: 91075
3037.58/3046.46 c #Conflicts: 1180000 | #Constraints: 92075
3037.58/3046.46 c #Conflicts: 1181000 | #Constraints: 93075
3037.58/3046.46 c #Conflicts: 1182000 | #Constraints: 94075
3037.58/3046.46 c #Conflicts: 1183000 | #Constraints: 95075
3037.58/3046.46 c #Conflicts: 1184000 | #Constraints: 96075
3037.58/3046.46 c #Conflicts: 1185000 | #Constraints: 97075
3037.58/3046.46 c #Conflicts: 1186000 | #Constraints: 98075
3037.58/3046.46 c #Conflicts: 1187000 | #Constraints: 99075
3037.58/3046.46 c #Conflicts: 1188000 | #Constraints: 100075
3037.58/3046.46 c #Conflicts: 1189000 | #Constraints: 101075
3037.58/3046.46 c #Conflicts: 1190000 | #Constraints: 102075
3037.58/3046.46 c #Conflicts: 1191000 | #Constraints: 103075
3037.58/3046.46 c #Conflicts: 1192000 | #Constraints: 104075
3037.58/3046.46 c #Conflicts: 1193000 | #Constraints: 105075
3037.58/3046.46 c #Conflicts: 1194000 | #Constraints: 106075
3037.58/3046.46 c #Conflicts: 1195000 | #Constraints: 107075
3037.58/3046.46 c #Conflicts: 1196000 | #Constraints: 108075
3261.43/3270.95 c #Conflicts: 1197000 | #Constraints: 109075
3261.43/3270.95 c #Conflicts: 1198000 | #Constraints: 110075
3261.43/3270.95 c INPROCESSING
3261.43/3270.95 c GARBAGE COLLECT
3261.43/3270.95 c #Conflicts: 1199000 | #Constraints: 72053
3261.43/3270.95 c #Conflicts: 1200000 | #Constraints: 73053
3261.43/3270.95 c #Conflicts: 1201000 | #Constraints: 74053
3261.43/3270.95 c #Conflicts: 1202000 | #Constraints: 75053
3261.43/3270.95 c #Conflicts: 1203000 | #Constraints: 76053
3261.43/3270.95 c #Conflicts: 1204000 | #Constraints: 77053
3261.43/3270.95 c #Conflicts: 1205000 | #Constraints: 78053
3261.43/3270.95 c #Conflicts: 1206000 | #Constraints: 79053
3261.43/3270.95 c #Conflicts: 1207000 | #Constraints: 80053
3261.43/3270.95 c #Conflicts: 1208000 | #Constraints: 81053
3261.43/3270.95 c #Conflicts: 1209000 | #Constraints: 82053
3261.43/3270.95 c #Conflicts: 1210000 | #Constraints: 83053
3261.43/3270.95 c #Conflicts: 1211000 | #Constraints: 84053
3261.43/3270.95 c #Conflicts: 1212000 | #Constraints: 85053
3261.43/3270.95 c #Conflicts: 1213000 | #Constraints: 86053
3261.43/3270.95 c #Conflicts: 1214000 | #Constraints: 87053
3261.43/3270.95 c #Conflicts: 1215000 | #Constraints: 88053
3261.43/3270.95 c #Conflicts: 1216000 | #Constraints: 89053
3261.43/3270.95 c #Conflicts: 1217000 | #Constraints: 90053
3261.43/3270.95 c #Conflicts: 1218000 | #Constraints: 91053
3261.43/3270.95 c #Conflicts: 1219000 | #Constraints: 92053
3261.43/3270.95 c #Conflicts: 1220000 | #Constraints: 93053
3261.43/3270.95 c #Conflicts: 1221000 | #Constraints: 94053
3261.43/3270.95 c #Conflicts: 1222000 | #Constraints: 95053
3261.43/3270.95 c #Conflicts: 1223000 | #Constraints: 96053
3261.43/3270.95 c #Conflicts: 1224000 | #Constraints: 97053
3261.43/3270.95 c #Conflicts: 1225000 | #Constraints: 98053
3261.43/3270.95 c #Conflicts: 1226000 | #Constraints: 99053
3261.43/3270.95 c #Conflicts: 1227000 | #Constraints: 100053
3261.43/3270.95 c #Conflicts: 1228000 | #Constraints: 101053
3261.43/3270.95 c #Conflicts: 1229000 | #Constraints: 102053
3261.43/3270.95 c #Conflicts: 1230000 | #Constraints: 103053
3261.43/3270.95 c #Conflicts: 1231000 | #Constraints: 104053
3261.43/3270.95 c #Conflicts: 1232000 | #Constraints: 105053
3261.43/3270.95 c #Conflicts: 1233000 | #Constraints: 106053
3261.43/3270.95 c #Conflicts: 1234000 | #Constraints: 107053
3261.43/3270.95 c #Conflicts: 1235000 | #Constraints: 108053
3261.43/3270.95 c #Conflicts: 1236000 | #Constraints: 109053
3261.43/3270.95 c #Conflicts: 1237000 | #Constraints: 110053
3261.43/3270.95 c #Conflicts: 1238000 | #Constraints: 111053
3261.43/3270.95 c #Conflicts: 1239000 | #Constraints: 112053
3261.43/3270.95 c #Conflicts: 1240000 | #Constraints: 113053
3261.43/3270.95 c #Conflicts: 1241000 | #Constraints: 114053
3261.43/3270.95 c #Conflicts: 1242000 | #Constraints: 115053
3261.43/3270.95 c #Conflicts: 1243000 | #Constraints: 116053
3261.43/3270.95 c #Conflicts: 1244000 | #Constraints: 117053
3261.43/3270.95 c #Conflicts: 1245000 | #Constraints: 118053
3261.43/3270.95 c #Conflicts: 1246000 | #Constraints: 119053
3261.43/3270.95 c #Conflicts: 1247000 | #Constraints: 120053
3261.43/3270.95 c #Conflicts: 1248000 | #Constraints: 121053
3261.43/3270.95 c #Conflicts: 1249000 | #Constraints: 122053
3261.43/3270.95 c #Conflicts: 1250000 | #Constraints: 123053
3261.43/3270.95 c #Conflicts: 1251000 | #Constraints: 124053
3261.43/3270.95 c #Conflicts: 1252000 | #Constraints: 125053
3261.43/3270.95 c #Conflicts: 1253000 | #Constraints: 126053
3261.43/3270.95 c #Conflicts: 1254000 | #Constraints: 127053
3261.43/3270.95 c #Conflicts: 1255000 | #Constraints: 128053
3261.43/3270.95 c #Conflicts: 1256000 | #Constraints: 129053
3261.43/3270.95 c #Conflicts: 1257000 | #Constraints: 130053
3261.43/3270.95 c #Conflicts: 1258000 | #Constraints: 131053
3261.43/3270.95 c #Conflicts: 1259000 | #Constraints: 132053
3261.43/3270.95 c #Conflicts: 1260000 | #Constraints: 133053
3261.43/3270.95 c #Conflicts: 1261000 | #Constraints: 134053
3261.43/3270.95 c #Conflicts: 1262000 | #Constraints: 135053
3261.43/3270.95 c #Conflicts: 1263000 | #Constraints: 136053
3261.43/3270.95 c #Conflicts: 1264000 | #Constraints: 137053
3261.43/3270.95 c #Conflicts: 1265000 | #Constraints: 138053
3261.43/3270.95 c #Conflicts: 1266000 | #Constraints: 139053
3261.43/3270.95 c #Conflicts: 1267000 | #Constraints: 140053
3261.43/3270.95 c #Conflicts: 1268000 | #Constraints: 141053
3261.43/3270.95 c #Conflicts: 1269000 | #Constraints: 142053
3261.43/3270.95 c #Conflicts: 1270000 | #Constraints: 143053
3261.43/3270.95 c #Conflicts: 1271000 | #Constraints: 144053
3261.43/3270.95 c #Conflicts: 1272000 | #Constraints: 145053
3261.43/3270.95 c INPROCESSING
3261.43/3270.95 c GARBAGE COLLECT
3261.43/3270.95 c #Conflicts: 1273000 | #Constraints: 84256
3486.22/3496.34 c #Conflicts: 1274000 | #Constraints: 85256
3486.22/3496.34 c #Conflicts: 1275000 | #Constraints: 86256
3486.22/3496.34 c #Conflicts: 1276000 | #Constraints: 87256
3486.22/3496.34 c #Conflicts: 1277000 | #Constraints: 88256
3486.22/3496.34 c #Conflicts: 1278000 | #Constraints: 89256
3486.22/3496.34 c #Conflicts: 1279000 | #Constraints: 90256
3486.22/3496.34 c #Conflicts: 1280000 | #Constraints: 91256
3486.22/3496.34 c #Conflicts: 1281000 | #Constraints: 92256
3486.22/3496.34 c #Conflicts: 1282000 | #Constraints: 93256
3486.22/3496.34 c #Conflicts: 1283000 | #Constraints: 94257
3486.22/3496.34 c #Conflicts: 1284000 | #Constraints: 95257
3486.22/3496.34 c #Conflicts: 1285000 | #Constraints: 96257
3486.22/3496.34 c #Conflicts: 1286000 | #Constraints: 97257
3486.22/3496.34 c #Conflicts: 1287000 | #Constraints: 98257
3486.22/3496.34 c #Conflicts: 1288000 | #Constraints: 99257
3486.22/3496.34 c #Conflicts: 1289000 | #Constraints: 100257
3486.22/3496.34 c #Conflicts: 1290000 | #Constraints: 101257
3486.22/3496.34 c #Conflicts: 1291000 | #Constraints: 102257
3486.22/3496.34 c #Conflicts: 1292000 | #Constraints: 103257
3486.22/3496.34 c #Conflicts: 1293000 | #Constraints: 104257
3486.22/3496.34 c #Conflicts: 1294000 | #Constraints: 105257
3486.22/3496.34 c #Conflicts: 1295000 | #Constraints: 106257
3486.22/3496.34 c #Conflicts: 1296000 | #Constraints: 107257
3486.22/3496.34 c #Conflicts: 1297000 | #Constraints: 108257
3486.22/3496.34 c #Conflicts: 1298000 | #Constraints: 109257
3486.22/3496.34 c #Conflicts: 1299000 | #Constraints: 110257
3486.22/3496.34 c #Conflicts: 1300000 | #Constraints: 111257
3486.22/3496.34 c #Conflicts: 1301000 | #Constraints: 112257
3486.22/3496.34 c #Conflicts: 1302000 | #Constraints: 113257
3486.22/3496.34 c #Conflicts: 1303000 | #Constraints: 114257
3486.22/3496.34 c INPROCESSING
3486.22/3496.34 c GARBAGE COLLECT
3486.22/3496.34 c #Conflicts: 1304000 | #Constraints: 74783
3486.22/3496.34 c #Conflicts: 1305000 | #Constraints: 75783
3486.22/3496.34 c #Conflicts: 1306000 | #Constraints: 76783
3486.22/3496.34 c #Conflicts: 1307000 | #Constraints: 77783
3486.22/3496.34 c #Conflicts: 1308000 | #Constraints: 78783
3486.22/3496.34 c #Conflicts: 1309000 | #Constraints: 79783
3486.22/3496.34 c #Conflicts: 1310000 | #Constraints: 80783
3486.22/3496.34 c #Conflicts: 1311000 | #Constraints: 81783
3486.22/3496.34 c #Conflicts: 1312000 | #Constraints: 82783
3486.22/3496.34 c #Conflicts: 1313000 | #Constraints: 83783
3486.22/3496.34 c #Conflicts: 1314000 | #Constraints: 84783
3486.22/3496.34 c #Conflicts: 1315000 | #Constraints: 85783
3486.22/3496.34 c #Conflicts: 1316000 | #Constraints: 86783
3486.22/3496.34 c #Conflicts: 1317000 | #Constraints: 87783
3486.22/3496.34 c #Conflicts: 1318000 | #Constraints: 88783
3486.22/3496.34 c #Conflicts: 1319000 | #Constraints: 89783
3486.22/3496.34 c #Conflicts: 1320000 | #Constraints: 90783
3486.22/3496.34 c #Conflicts: 1321000 | #Constraints: 91783
3486.22/3496.34 c #Conflicts: 1322000 | #Constraints: 92783
3486.22/3496.34 c #Conflicts: 1323000 | #Constraints: 93783
3486.22/3496.34 c #Conflicts: 1324000 | #Constraints: 94783
3486.22/3496.34 c #Conflicts: 1325000 | #Constraints: 95783
3486.22/3496.34 c #Conflicts: 1326000 | #Constraints: 96783
3486.22/3496.34 c #Conflicts: 1327000 | #Constraints: 97783
3486.22/3496.34 c #Conflicts: 1328000 | #Constraints: 98783
3486.22/3496.34 c #Conflicts: 1329000 | #Constraints: 99783
3486.22/3496.34 c #Conflicts: 1330000 | #Constraints: 100783
3486.22/3496.34 c #Conflicts: 1331000 | #Constraints: 101783
3486.22/3496.34 c #Conflicts: 1332000 | #Constraints: 102783
3486.22/3496.34 c #Conflicts: 1333000 | #Constraints: 103783
3486.22/3496.34 c #Conflicts: 1334000 | #Constraints: 104783
3486.22/3496.34 c #Conflicts: 1335000 | #Constraints: 105783
3486.22/3496.34 c #Conflicts: 1336000 | #Constraints: 106783
3486.22/3496.34 c #Conflicts: 1337000 | #Constraints: 107783
3486.22/3496.34 c #Conflicts: 1338000 | #Constraints: 108783
3486.22/3496.34 c #Conflicts: 1339000 | #Constraints: 109783
3486.22/3496.34 c #Conflicts: 1340000 | #Constraints: 110783
3486.22/3496.34 c #Conflicts: 1341000 | #Constraints: 111783
3486.22/3496.34 c #Conflicts: 1342000 | #Constraints: 112783
3486.22/3496.34 c #Conflicts: 1343000 | #Constraints: 113783
3486.22/3496.34 c #Conflicts: 1344000 | #Constraints: 114783
3486.22/3496.34 c #Conflicts: 1345000 | #Constraints: 115783
3486.22/3496.34 c #Conflicts: 1346000 | #Constraints: 116783
3486.22/3496.34 c #Conflicts: 1347000 | #Constraints: 117783
3486.22/3496.34 c #Conflicts: 1348000 | #Constraints: 118783
3486.22/3496.34 c #Conflicts: 1349000 | #Constraints: 119783
3486.22/3496.34 c #Conflicts: 1350000 | #Constraints: 120783
3486.22/3496.34 c #Conflicts: 1351000 | #Constraints: 121783
3601.90/3612.31 c #Conflicts: 1352000 | #Constraints: 122783
3601.90/3612.31 c #Conflicts: 1353000 | #Constraints: 123783
3601.90/3612.31 c #Conflicts: 1354000 | #Constraints: 124783
3601.90/3612.31 c #Conflicts: 1355000 | #Constraints: 125783
3601.90/3612.31 c #Conflicts: 1356000 | #Constraints: 126783
3601.90/3612.31 c #Conflicts: 1357000 | #Constraints: 127783
3601.90/3612.31 c #Conflicts: 1358000 | #Constraints: 128783
3601.90/3612.31 c #Conflicts: 1359000 | #Constraints: 129783
3601.90/3612.31 c #Conflicts: 1360000 | #Constraints: 130783
3601.90/3612.31 c #Conflicts: 1361000 | #Constraints: 131783
3601.90/3612.31 c #Conflicts: 1362000 | #Constraints: 132783
3601.90/3612.31 c #Conflicts: 1363000 | #Constraints: 133783
3601.90/3612.31 c #Conflicts: 1364000 | #Constraints: 134783
3601.90/3612.31 c #Conflicts: 1365000 | #Constraints: 135783
3601.90/3612.31 c #Conflicts: 1366000 | #Constraints: 136783
3601.90/3612.31 c #Conflicts: 1367000 | #Constraints: 137783
3601.90/3612.31 c #Conflicts: 1368000 | #Constraints: 138783
3601.90/3612.31 c #Conflicts: 1369000 | #Constraints: 139783
3601.90/3612.31 c #Conflicts: 1370000 | #Constraints: 140783
3601.90/3612.31 c #Conflicts: 1371000 | #Constraints: 141783
3601.90/3612.31 c #Conflicts: 1372000 | #Constraints: 142783
3601.90/3612.31 c #Conflicts: 1373000 | #Constraints: 143783
3601.90/3612.31 c #Conflicts: 1374000 | #Constraints: 144783
3601.90/3612.31 c #Conflicts: 1375000 | #Constraints: 145783
3601.90/3612.31 c #Conflicts: 1376000 | #Constraints: 146783
3601.90/3612.31 c #Conflicts: 1377000 | #Constraints: 147783
3601.90/3612.31 c #Conflicts: 1378000 | #Constraints: 148783
3601.90/3612.31 c #Conflicts: 1379000 | #Constraints: 149783
3601.90/3612.31 c #Conflicts: 1380000 | #Constraints: 150783
3601.90/3612.31 c INPROCESSING
3601.90/3612.31 c GARBAGE COLLECT
3601.90/3612.31 c Disabling crashed LP
3601.90/3612.31 c cpu time 3575.48 s
3601.90/3612.31 c deterministic time 234476420478 2.34e+11
3601.90/3612.31 c optimization time 0.003151 s
3601.90/3612.31 c total solve time 3575.39 s
3601.90/3612.31 c core-guided solve time 0 s
3601.90/3612.31 c propagation time 1793.14 s
3601.90/3612.31 c conflict analysis time 1379.94 s
3601.90/3612.31 c propagations 1360804385
3601.90/3612.31 c resolve steps 89266005
3601.90/3612.31 c decisions 27416075
3601.90/3612.31 c conflicts 1380001
3601.90/3612.31 c restarts 2630
3601.90/3612.31 c inprocessing phases 50
3601.90/3612.31 c garbage collections 50 ,( 100.00 )
3601.90/3612.31 c input clauses 19082 ,( 99.17 )
3601.90/3612.31 c input cardinalities 159 ,( 0.83 )
3601.90/3612.31 c input general constraints 0 ,( 0.00 )
3601.90/3612.31 c input average constraint length 6.43
3601.90/3612.31 c input average constraint degree 1.97
3601.90/3612.31 c learned clauses 1028673 ,( 74.54 )
3601.90/3612.31 c learned cardinalities 43341 ,( 3.14 )
3601.90/3612.31 c learned general constraints 307996 ,( 22.32 )
3601.90/3612.31 c learned average constraint length 815.85
3601.90/3612.31 c learned average constraint degree 20159100.08
3601.90/3612.31 c watched CF 32, 64, 128, Arb: 83955 , 0 , 0 , 0
3601.90/3612.31 c counting CF 32, 64, 128, Arb: 224041 , 0 , 0 , 0
3601.90/3612.31 c watched constraints 83955 ,( 27.26 )
3601.90/3612.31 c counting constraints 224041 ,( 72.74 )
3601.90/3612.31 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 1349420775 , 649755764 , 1782713955 ,( 82527539 , 1700186416 )
3601.90/3612.31 c gcd simplifications 814
3601.90/3612.31 c detected cardinalities 5935
3601.90/3612.31 c weakened non-implied lits 389425757
3601.90/3612.31 c weakened non-implying lits 240727
3601.90/3612.31 c original variables 18921
3601.90/3612.31 c clausal propagations 618392401
3601.90/3612.31 c cardinality propagations 502886441
3601.90/3612.31 c watched propagations 5197412
3601.90/3612.31 c counting propagations 221995046
3601.90/3612.31 c watch lookups 80488968452
3601.90/3612.31 c watch backjump lookups 0
3601.90/3612.31 c watch checks 38255560320
3601.90/3612.31 c propagation checks 107796740123
3601.90/3612.31 c constraint additions 5157053223
3601.90/3612.31 c trail pops 1389599491
3601.90/3612.31 c formula constraints 19241
3601.90/3612.31 c learned constraints 1379994
3601.90/3612.31 c bound constraints 0
3601.90/3612.31 c core-guided constraints 0
3601.90/3612.31 c encountered formula constraints 57631716
3601.90/3612.31 c encountered learned constraints 33013193
3601.90/3612.31 c encountered bound constraints 0
3601.90/3612.31 c encountered core-guided constraints 0
3601.90/3612.31 c LP total time 383.638 s
3601.90/3612.31 c LP solve time 377.01 s
3601.90/3612.31 c LP constraints added 19742
3601.90/3612.31 c LP constraints removed 201
3601.90/3612.31 c LP pivots internal 141886
3601.90/3612.31 c LP pivots root 136522
3601.90/3612.31 c LP calls 16
3601.90/3612.31 c LP optimalities 3
3601.90/3612.31 c LP no pivot count 0
3601.90/3612.31 c LP infeasibilities 7
3601.90/3612.31 c LP valid Farkas constraints 7
3601.90/3612.31 c LP learned Farkas constraints 7
3601.90/3612.31 c LP basis resets 0
3601.90/3612.31 c LP cycling count 0
3601.90/3612.31 c LP singular count 0
3601.90/3612.31 c LP no primal count 0
3601.90/3612.31 c LP no farkas count 0
3601.90/3612.31 c LP other issue count 0
3601.90/3612.31 c LP Gomory cuts 2
3601.90/3612.31 c LP learned cuts 499
3601.90/3612.31 c LP deleted cuts 201
3601.90/3612.31 c LP encountered Gomory constraints 0
3601.90/3612.31 c LP encountered Farkas constraints 1076
3601.90/3612.31 c LP encountered learned Farkas constraints 14
3601.90/3612.31 c CG auxiliary variables introduced 0
3601.90/3612.31 c CG solutions found 0
3601.90/3612.31 c CG cores constructed 0
3601.90/3612.31 c CG core cardinality constraints returned 0
3601.90/3612.31 c CG unit cores 0
3601.90/3612.31 c CG single cores 0
3601.90/3612.31 c CG blocks removed during cardinality reduction 0
3601.90/3612.31 c CG first core best 0
3601.90/3612.31 c CG decision core best 0
3601.90/3612.31 c CG core reduction tie 0
3601.90/3612.31 c CG core degree average 0.00
3601.90/3612.31 c CG core slack average 0.00
3601.90/3612.31 c CG core upper bound improvements 0
3601.90/3612.31 c STR number of successful calls 0
3601.90/3612.31 c STR number of unsuccessful calls 0
3601.90/3612.31 c STR number of inconclusive calls 0
3601.90/3612.31 c STR number of successful attempts 0
3601.90/3612.31 c STR number of unsuccessful attempts 0
3601.90/3612.31 c STR number of inconclusive attempts 0
3601.90/3612.31 c STR average degree increase per successful call inf
3601.90/3612.31 c STR average degree increase per successful attempt inf
3601.90/3612.31 c STR total number of conflicts for successful attempts 0
3601.90/3612.31 c STR total number of conflicts for unsuccessful attempts 0
3601.90/3612.31 c STR total number of conflicts for inconclusive attempts 0
3601.90/3612.31 c STR average number of conflicts per successful attempt inf
3601.90/3612.31 c STR average number of conflicts per unsuccessful attempt inf
3601.90/3612.31 c STR average number of conflicts per inconclusive attempt inf
3601.90/3612.31 c AVG.sumWPerc 64.75
3601.90/3612.31 c bigint constraints 0
3601.90/3612.31 s UNKNOWN
3601.90/3612.31 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: 63794 MiB (63046 MiB free)
memory of node 1: 64507 MiB (61700 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4506978-1751174649/watcher-4506978-1751174649 -o /tmp/evaluation-result-4506978-1751174649/solver-4506978-1751174649 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1751170846-20068 --watchdog 3760 run-dec-ls.sh HOME/instance-4506978-1751174649.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=20650, runsolver pid=20647
[startup+0.1001 s]*
/proc/loadavg: 4.77 4.39 4.19 5/256 20652
/proc/meminfo: memFree=127715592/131382120 swapFree=33010684/33010684
[pid=20650] ppid=20647 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/20650/stat : 20650 (run-dec-ls.sh) S 20647 20650 20058 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 33144326 4292608 768 18446744073709551615 94414305574912 94414306469445 140737264804384 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94414306708496 94414306756240 94414317039616 140737264806247 140737264806373 140737264806373 140737264811975 0
/proc/20650/statm: 1048 768 704 219 0 110 0
[pid=20652] ppid=20650 vsize=80192 memory=34700 CPUtime=0.09 cores=0,2
/proc/20652/stat : 20652 (roundingsat) R 20650 20650 20058 0 -1 4194304 7024 0 0 0 7 2 0 0 20 0 1 0 33144327 82116608 8675 18446744073709551615 4227072 8923433 140727251529168 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 38068224 140727251536288 140727251536424 140727251536424 140727251541994 0
/proc/20652/statm: 20048 8675 2272 1147 0 7475 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 84384 KiB
Current children cumulated memory: 37772 KiB
[startup+0.213815 s]*
/proc/loadavg: 4.77 4.39 4.19 5/256 20652
/proc/meminfo: memFree=127694736/131382120 swapFree=33010684/33010684
[pid=20650] ppid=20647 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/20650/stat : 20650 (run-dec-ls.sh) S 20647 20650 20058 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 33144326 4292608 768 18446744073709551615 94414305574912 94414306469445 140737264804384 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94414306708496 94414306756240 94414317039616 140737264806247 140737264806373 140737264806373 140737264811975 0
/proc/20650/statm: 1048 768 704 219 0 110 0
[pid=20652] ppid=20650 vsize=111660 memory=56104 CPUtime=0.2 cores=0,2
/proc/20652/stat : 20652 (roundingsat) R 20650 20650 20058 0 -1 4194304 11606 0 0 0 17 3 0 0 20 0 1 0 33144327 114339840 14026 18446744073709551615 4227072 8923433 140727251529168 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 38068224 140727251536288 140727251536424 140727251536424 140727251541994 0
/proc/20652/statm: 27915 14026 2272 1147 0 15342 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 115852 KiB
Current children cumulated memory: 59176 KiB
[startup+0.313934 s]*
/proc/loadavg: 4.77 4.39 4.19 5/256 20652
/proc/meminfo: memFree=127693728/131382120 swapFree=33010684/33010684
[pid=20650] ppid=20647 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/20650/stat : 20650 (run-dec-ls.sh) S 20647 20650 20058 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 33144326 4292608 768 18446744073709551615 94414305574912 94414306469445 140737264804384 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94414306708496 94414306756240 94414317039616 140737264806247 140737264806373 140737264806373 140737264811975 0
/proc/20650/statm: 1048 768 704 219 0 110 0
[pid=20652] ppid=20650 vsize=112204 memory=56872 CPUtime=0.3 cores=0,2
/proc/20652/stat : 20652 (roundingsat) R 20650 20650 20058 0 -1 4194304 11807 0 0 0 27 3 0 0 20 0 1 0 33144327 114896896 14218 18446744073709551615 4227072 8923433 140727251529168 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 38068224 140727251536288 140727251536424 140727251536424 140727251541994 0
/proc/20652/statm: 28051 14218 2272 1147 0 15478 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 116396 KiB
Current children cumulated memory: 59944 KiB
[startup+0.700365 s]
/proc/loadavg: 4.77 4.39 4.19 5/256 20652
/proc/meminfo: memFree=127691712/131382120 swapFree=33010684/33010684
[pid=20650] ppid=20647 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/20650/stat : 20650 (run-dec-ls.sh) S 20647 20650 20058 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 33144326 4292608 768 18446744073709551615 94414305574912 94414306469445 140737264804384 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94414306708496 94414306756240 94414317039616 140737264806247 140737264806373 140737264806373 140737264811975 0
/proc/20650/statm: 1048 768 704 219 0 110 0
[pid=20652] ppid=20650 vsize=113080 memory=58024 CPUtime=0.67 cores=0,2
/proc/20652/stat : 20652 (roundingsat) R 20650 20650 20058 0 -1 4194304 12077 0 0 0 64 3 0 0 20 0 1 0 33144327 115793920 14506 18446744073709551615 4227072 8923433 140727251529168 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 38068224 140727251536288 140727251536424 140727251536424 140727251541994 0
/proc/20652/statm: 28270 14506 2304 1147 0 15697 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 117272 KiB
Current children cumulated memory: 61096 KiB
[startup+1.50034 s]
/proc/loadavg: 4.77 4.39 4.19 6/256 20652
/proc/meminfo: memFree=127692364/131382120 swapFree=33010684/33010684
[pid=20650] ppid=20647 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/20650/stat : 20650 (run-dec-ls.sh) S 20647 20650 20058 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 33144326 4292608 768 18446744073709551615 94414305574912 94414306469445 140737264804384 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94414306708496 94414306756240 94414317039616 140737264806247 140737264806373 140737264806373 140737264811975 0
/proc/20650/statm: 1048 768 704 219 0 110 0
[pid=20652] ppid=20650 vsize=113080 memory=58024 CPUtime=1.47 cores=0,2
/proc/20652/stat : 20652 (roundingsat) R 20650 20650 20058 0 -1 4194304 12077 0 0 0 144 3 0 0 20 0 1 0 33144327 115793920 14506 18446744073709551615 4227072 8923433 140727251529168 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 38068224 140727251536288 140727251536424 140727251536424 140727251541994 0
/proc/20652/statm: 28270 14506 2304 1147 0 15697 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 117272 KiB
Current children cumulated memory: 61096 KiB
[startup+3.11322 s]
/proc/loadavg: 4.77 4.39 4.19 5/256 20652
/proc/meminfo: memFree=127680140/131382120 swapFree=33010684/33010684
[pid=20650] ppid=20647 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/20650/stat : 20650 (run-dec-ls.sh) S 20647 20650 20058 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 33144326 4292608 768 18446744073709551615 94414305574912 94414306469445 140737264804384 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94414306708496 94414306756240 94414317039616 140737264806247 140737264806373 140737264806373 140737264811975 0
/proc/20650/statm: 1048 768 704 219 0 110 0
[pid=20652] ppid=20650 vsize=115716 memory=61352 CPUtime=3.08 cores=0,2
/proc/20652/stat : 20652 (roundingsat) R 20650 20650 20058 0 -1 4194304 12906 0 0 0 304 4 0 0 20 0 1 0 33144327 118493184 15338 18446744073709551615 4227072 8923433 140727251529168 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 38068224 140727251536288 140727251536424 140727251536424 140727251541994 0
/proc/20652/statm: 28929 15338 2304 1147 0 16356 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 119908 KiB
Current children cumulated memory: 64424 KiB
[startup+6.30035 s]
/proc/loadavg: 4.79 4.40 4.20 5/256 20652
/proc/meminfo: memFree=127664136/131382120 swapFree=33010684/33010684
[pid=20650] ppid=20647 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/20650/stat : 20650 (run-dec-ls.sh) S 20647 20650 20058 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 33144326 4292608 768 18446744073709551615 94414305574912 94414306469445 140737264804384 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94414306708496 94414306756240 94414317039616 140737264806247 140737264806373 140737264806373 140737264811975 0
/proc/20650/statm: 1048 768 704 219 0 110 0
[pid=20652] ppid=20650 vsize=119660 memory=69532 CPUtime=6.26 cores=0,2
/proc/20652/stat : 20652 (roundingsat) R 20650 20650 20058 0 -1 4194304 14367 0 0 0 612 14 0 0 20 0 1 0 33144327 122531840 17383 18446744073709551615 4227072 8923433 140727251529168 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 38068224 140727251536288 140727251536424 140727251536424 140727251541994 0
/proc/20652/statm: 29915 17383 2368 1147 0 17342 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 123852 KiB
Current children cumulated memory: 72604 KiB
[startup+12.7004 s]
/proc/loadavg: 4.80 4.41 4.20 5/257 20653
/proc/meminfo: memFree=127611396/131382120 swapFree=33010684/33010684
[pid=20650] ppid=20647 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/20650/stat : 20650 (run-dec-ls.sh) S 20647 20650 20058 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 33144326 4292608 768 18446744073709551615 94414305574912 94414306469445 140737264804384 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94414306708496 94414306756240 94414317039616 140737264806247 140737264806373 140737264806373 140737264811975 0
/proc/20650/statm: 1048 768 704 219 0 110 0
[pid=20652] ppid=20650 vsize=129032 memory=77468 CPUtime=12.64 cores=0,2
/proc/20652/stat : 20652 (roundingsat) R 20650 20650 20058 0 -1 4194304 16350 0 0 0 1239 25 0 0 20 0 1 0 33144327 132128768 19367 18446744073709551615 4227072 8923433 140727251529168 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 38068224 140727251536288 140727251536424 140727251536424 140727251541994 0
/proc/20652/statm: 32258 19367 2368 1147 0 19685 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 133224 KiB
Current children cumulated memory: 80540 KiB
[startup+25.5004 s]
/proc/loadavg: 4.85 4.44 4.21 5/257 20653
/proc/meminfo: memFree=127553760/131382120 swapFree=33010684/33010684
[pid=20650] ppid=20647 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/20650/stat : 20650 (run-dec-ls.sh) S 20647 20650 20058 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 33144326 4292608 768 18446744073709551615 94414305574912 94414306469445 140737264804384 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94414306708496 94414306756240 94414317039616 140737264806247 140737264806373 140737264806373 140737264811975 0
/proc/20650/statm: 1048 768 704 219 0 110 0
[pid=20652] ppid=20650 vsize=151788 memory=99172 CPUtime=25.4 cores=0,2
/proc/20652/stat : 20652 (roundingsat) R 20650 20650 20058 0 -1 4194304 20238 0 0 0 2490 50 0 0 20 0 1 0 33144327 155430912 24793 18446744073709551615 4227072 8923433 140727251529168 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 38068224 140727251536288 140727251536424 140727251536424 140727251541994 0
/proc/20652/statm: 37947 24793 2368 1147 0 25374 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 155980 KiB
Current children cumulated memory: 102244 KiB
[startup+51.1135 s]
/proc/loadavg: 4.63 4.42 4.21 5/256 20653
/proc/meminfo: memFree=127484512/131382120 swapFree=33010684/33010684
[pid=20650] ppid=20647 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/20650/stat : 20650 (run-dec-ls.sh) S 20647 20650 20058 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 33144326 4292608 768 18446744073709551615 94414305574912 94414306469445 140737264804384 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94414306708496 94414306756240 94414317039616 140737264806247 140737264806373 140737264806373 140737264811975 0
/proc/20650/statm: 1048 768 704 219 0 110 0
[pid=20652] ppid=20650 vsize=184696 memory=130948 CPUtime=50.94 cores=0,2
/proc/20652/stat : 20652 (roundingsat) R 20650 20650 20058 0 -1 4194304 25706 0 0 0 4995 99 0 0 20 0 1 0 33144327 189128704 32737 18446744073709551615 4227072 8923433 140727251529168 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 38068224 140727251536288 140727251536424 140727251536424 140727251541994 0
/proc/20652/statm: 46174 32737 2368 1147 0 33601 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 188888 KiB
Current children cumulated memory: 134020 KiB
[startup+102.3 s]
/proc/loadavg: 4.34 4.37 4.20 5/256 20655
/proc/meminfo: memFree=127392112/131382120 swapFree=33010684/33010684
[pid=20650] ppid=20647 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/20650/stat : 20650 (run-dec-ls.sh) S 20647 20650 20058 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 33144326 4292608 768 18446744073709551615 94414305574912 94414306469445 140737264804384 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94414306708496 94414306756240 94414317039616 140737264806247 140737264806373 140737264806373 140737264811975 0
/proc/20650/statm: 1048 768 704 219 0 110 0
[pid=20652] ppid=20650 vsize=227328 memory=162968 CPUtime=101.98 cores=0,2
/proc/20652/stat : 20652 (roundingsat) R 20650 20650 20058 0 -1 4194304 31689 0 0 0 10031 167 0 0 20 0 1 0 33144327 232783872 40742 18446744073709551615 4227072 8923433 140727251529168 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 38068224 140727251536288 140727251536424 140727251536424 140727251541994 0
/proc/20652/statm: 56832 40742 2368 1147 0 44259 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 231520 KiB
Current children cumulated memory: 166040 KiB
[startup+162.3 s]
/proc/loadavg: 4.18 4.32 4.19 5/256 20657
/proc/meminfo: memFree=127343700/131382120 swapFree=33010684/33010684
[pid=20650] ppid=20647 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/20650/stat : 20650 (run-dec-ls.sh) S 20647 20650 20058 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 33144326 4292608 768 18446744073709551615 94414305574912 94414306469445 140737264804384 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94414306708496 94414306756240 94414317039616 140737264806247 140737264806373 140737264806373 140737264811975 0
/proc/20650/statm: 1048 768 704 219 0 110 0
[pid=20652] ppid=20650 vsize=279740 memory=197824 CPUtime=161.8 cores=0,2
/proc/20652/stat : 20652 (roundingsat) R 20650 20650 20058 0 -1 4194304 37317 0 0 0 15937 243 0 0 20 0 1 0 33144327 286453760 49456 18446744073709551615 4227072 8923433 140727251529168 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 38068224 140727251536288 140727251536424 140727251536424 140727251541994 0
/proc/20652/statm: 69935 49456 2368 1147 0 57362 0
Current children cumulated CPU time: 161.8 s
Current children cumulated vsize: 283932 KiB
Current children cumulated memory: 200896 KiB
[startup+222.3 s]
/proc/loadavg: 4.17 4.29 4.18 5/256 20659
/proc/meminfo: memFree=127272212/131382120 swapFree=33010684/33010684
[pid=20650] ppid=20647 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/20650/stat : 20650 (run-dec-ls.sh) S 20647 20650 20058 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 33144326 4292608 768 18446744073709551615 94414305574912 94414306469445 140737264804384 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94414306708496 94414306756240 94414317039616 140737264806247 140737264806373 140737264806373 140737264811975 0
/proc/20650/statm: 1048 768 704 219 0 110 0
[pid=20652] ppid=20650 vsize=294220 memory=242008 CPUtime=221.64 cores=0,2
/proc/20652/stat : 20652 (roundingsat) R 20650 20650 20058 0 -1 4194304 41217 0 0 0 21833 331 0 0 20 0 1 0 33144327 301281280 60502 18446744073709551615 4227072 8923433 140727251529168 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 38068224 140727251536288 140727251536424 140727251536424 140727251541994 0
/proc/20652/statm: 73555 60502 2368 1147 0 60982 0
Current children cumulated CPU time: 221.64 s
################
# More data... #
################
[startup+3282.3 s]
/proc/loadavg: 4.16 4.18 4.16 5/254 20912
/proc/meminfo: memFree=126579308/131382120 swapFree=33010684/33010684
[pid=20650] ppid=20647 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/20650/stat : 20650 (run-dec-ls.sh) S 20647 20650 20058 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 33144326 4292608 768 18446744073709551615 94414305574912 94414306469445 140737264804384 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94414306708496 94414306756240 94414317039616 140737264806247 140737264806373 140737264806373 140737264811975 0
/proc/20650/statm: 1048 768 704 219 0 110 0
[pid=20652] ppid=20650 vsize=1146900 memory=1060380 CPUtime=3272.8 cores=0,2
/proc/20652/stat : 20652 (roundingsat) R 20650 20650 20058 0 -1 4194304 130677 0 0 0 324823 2457 0 0 20 0 1 0 33144327 1174425600 265095 18446744073709551615 4227072 8923433 140727251529168 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 38068224 140727251536288 140727251536424 140727251536424 140727251541994 0
/proc/20652/statm: 286725 265095 2368 1147 0 274152 0
Current children cumulated CPU time: 3272.8 s
Current children cumulated vsize: 1151092 KiB
Current children cumulated memory: 1063452 KiB
[startup+3342.3 s]
/proc/loadavg: 4.11 4.16 4.15 5/254 20914
/proc/meminfo: memFree=126590476/131382120 swapFree=33010684/33010684
[pid=20650] ppid=20647 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/20650/stat : 20650 (run-dec-ls.sh) S 20647 20650 20058 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 33144326 4292608 768 18446744073709551615 94414305574912 94414306469445 140737264804384 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94414306708496 94414306756240 94414317039616 140737264806247 140737264806373 140737264806373 140737264811975 0
/proc/20650/statm: 1048 768 704 219 0 110 0
[pid=20652] ppid=20650 vsize=1147152 memory=1060380 CPUtime=3332.64 cores=0,2
/proc/20652/stat : 20652 (roundingsat) R 20650 20650 20058 0 -1 4194304 130681 0 0 0 330748 2516 0 0 20 0 1 0 33144327 1174683648 265095 18446744073709551615 4227072 8923433 140727251529168 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 38068224 140727251536288 140727251536424 140727251536424 140727251541994 0
/proc/20652/statm: 286788 265095 2368 1147 0 274215 0
Current children cumulated CPU time: 3332.64 s
Current children cumulated vsize: 1151344 KiB
Current children cumulated memory: 1063452 KiB
[startup+3402.3 s]
/proc/loadavg: 4.42 4.22 4.17 5/255 20919
/proc/meminfo: memFree=126566608/131382120 swapFree=33010684/33010684
[pid=20650] ppid=20647 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/20650/stat : 20650 (run-dec-ls.sh) S 20647 20650 20058 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 33144326 4292608 768 18446744073709551615 94414305574912 94414306469445 140737264804384 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94414306708496 94414306756240 94414317039616 140737264806247 140737264806373 140737264806373 140737264811975 0
/proc/20650/statm: 1048 768 704 219 0 110 0
[pid=20652] ppid=20650 vsize=1147152 memory=1060380 CPUtime=3392.47 cores=0,2
/proc/20652/stat : 20652 (roundingsat) R 20650 20650 20058 0 -1 4194304 130681 0 0 0 336679 2568 0 0 20 0 1 0 33144327 1174683648 265095 18446744073709551615 4227072 8923433 140727251529168 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 38068224 140727251536288 140727251536424 140727251536424 140727251541994 0
/proc/20652/statm: 286788 265095 2368 1147 0 274215 0
Current children cumulated CPU time: 3392.47 s
Current children cumulated vsize: 1151344 KiB
Current children cumulated memory: 1063452 KiB
[startup+3462.3 s]
/proc/loadavg: 4.43 4.28 4.20 5/255 20969
/proc/meminfo: memFree=127381852/131382120 swapFree=33010684/33010684
[pid=20650] ppid=20647 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/20650/stat : 20650 (run-dec-ls.sh) S 20647 20650 20058 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 33144326 4292608 768 18446744073709551615 94414305574912 94414306469445 140737264804384 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94414306708496 94414306756240 94414317039616 140737264806247 140737264806373 140737264806373 140737264811975 0
/proc/20650/statm: 1048 768 704 219 0 110 0
[pid=20652] ppid=20650 vsize=1147152 memory=1060380 CPUtime=3452.31 cores=0,2
/proc/20652/stat : 20652 (roundingsat) R 20650 20650 20058 0 -1 4194304 130808 0 0 0 342648 2583 0 0 20 0 1 0 33144327 1174683648 265095 18446744073709551615 4227072 8923433 140727251529168 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 38068224 140727251536288 140727251536424 140727251536424 140727251541994 0
/proc/20652/statm: 286788 265095 2368 1147 0 274215 0
Current children cumulated CPU time: 3452.31 s
Current children cumulated vsize: 1151344 KiB
Current children cumulated memory: 1063452 KiB
[startup+3522.3 s]
/proc/loadavg: 4.26 4.26 4.19 5/256 20974
/proc/meminfo: memFree=127321604/131382120 swapFree=33010684/33010684
[pid=20650] ppid=20647 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/20650/stat : 20650 (run-dec-ls.sh) S 20647 20650 20058 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 33144326 4292608 768 18446744073709551615 94414305574912 94414306469445 140737264804384 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94414306708496 94414306756240 94414317039616 140737264806247 140737264806373 140737264806373 140737264811975 0
/proc/20650/statm: 1048 768 704 219 0 110 0
[pid=20652] ppid=20650 vsize=1147152 memory=1060508 CPUtime=3512.14 cores=0,2
/proc/20652/stat : 20652 (roundingsat) R 20650 20650 20058 0 -1 4194304 130906 0 0 0 348622 2592 0 0 20 0 1 0 33144327 1174683648 265127 18446744073709551615 4227072 8923433 140727251529168 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 38068224 140727251536288 140727251536424 140727251536424 140727251541994 0
/proc/20652/statm: 286788 265127 2368 1147 0 274215 0
Current children cumulated CPU time: 3512.14 s
Current children cumulated vsize: 1151344 KiB
Current children cumulated memory: 1063580 KiB
[startup+3582.3 s]
/proc/loadavg: 4.20 4.24 4.18 5/256 20976
/proc/meminfo: memFree=127260868/131382120 swapFree=33010684/33010684
[pid=20650] ppid=20647 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/20650/stat : 20650 (run-dec-ls.sh) S 20647 20650 20058 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 33144326 4292608 768 18446744073709551615 94414305574912 94414306469445 140737264804384 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94414306708496 94414306756240 94414317039616 140737264806247 140737264806373 140737264806373 140737264811975 0
/proc/20650/statm: 1048 768 704 219 0 110 0
[pid=20652] ppid=20650 vsize=1148116 memory=1061660 CPUtime=3571.97 cores=0,2
/proc/20652/stat : 20652 (roundingsat) R 20650 20650 20058 0 -1 4194304 131225 0 0 0 354570 2627 0 0 20 0 1 0 33144327 1175670784 265415 18446744073709551615 4227072 8923433 140727251529168 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 38068224 140727251536288 140727251536424 140727251536424 140727251541994 0
/proc/20652/statm: 287029 265415 2368 1147 0 274456 0
Current children cumulated CPU time: 3571.97 s
Current children cumulated vsize: 1152308 KiB
Current children cumulated memory: 1064732 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.5 s]
/proc/loadavg: 4.12 4.22 4.18 5/256 20978
/proc/meminfo: memFree=127219000/131382120 swapFree=33010684/33010684
[pid=20650] ppid=20647 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/20650/stat : 20650 (run-dec-ls.sh) S 20647 20650 20058 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 33144326 4292608 768 18446744073709551615 94414305574912 94414306469445 140737264804384 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94414306708496 94414306756240 94414317039616 140737264806247 140737264806373 140737264806373 140737264811975 0
/proc/20650/statm: 1048 768 704 219 0 110 0
[pid=20652] ppid=20650 vsize=1155080 memory=1068188 CPUtime=3600.09 cores=0,2
/proc/20652/stat : 20652 (roundingsat) R 20650 20650 20058 0 -1 4194304 132868 0 0 0 357368 2641 0 0 20 0 1 0 33144327 1182801920 267047 18446744073709551615 4227072 8923433 140727251529168 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 38068224 140727251536288 140727251536424 140727251536424 140727251541994 0
/proc/20652/statm: 288770 267047 2368 1147 0 276197 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 1159272 KiB
Current children cumulated memory: 1071260 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3610.51 s]
# the end of solver process 20650 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.000638 s, system=0.004454 s
Sleeping 2 seconds
[startup+3612.34 s]
# the end of solver process 20652 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3575.49 s, system=26.4542 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+3611.2 s]
/proc/loadavg: 4.12 4.22 4.18 5/255 20978
/proc/meminfo: memFree=127219000/131382120 swapFree=33010684/33010684
[pid=20652] ppid=20647 vsize=1155080 memory=1068188 CPUtime=3600.79 cores=0,2
/proc/20652/stat : 20652 (roundingsat) R 20647 20650 20058 0 -1 4194304 132868 0 0 0 357438 2641 0 0 20 0 1 0 33144327 1182801920 267047 18446744073709551615 4227072 8923433 140727251529168 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 38068224 140727251536288 140727251536424 140727251536424 140727251541994 0
/proc/20652/statm: 288770 267047 2368 1147 0 276197 0
Current cumulated CPU time of completed processes: 0.005092 s
Current children cumulated CPU time: 3600.79 s
Current children cumulated vsize: 1155080 KiB
Current children cumulated memory: 1068188 KiB
[startup+3612 s]*
/proc/loadavg: 4.12 4.22 4.18 5/255 20978
/proc/meminfo: memFree=127219000/131382120 swapFree=33010684/33010684
[pid=20652] ppid=20647 vsize=1155080 memory=1068188 CPUtime=3601.61 cores=0,2
/proc/20652/stat : 20652 (roundingsat) R 20647 20650 20058 0 -1 4194304 132868 0 0 0 357518 2643 0 0 20 0 1 0 33144327 1182801920 267047 18446744073709551615 4227072 8923433 140727251529168 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 38068224 140727251536288 140727251536424 140727251536424 140727251541994 0
/proc/20652/statm: 288770 267047 2368 1147 0 276197 0
Current cumulated CPU time of completed processes: 0.005092 s
Current children cumulated CPU time: 3601.61 s
Current children cumulated vsize: 1155080 KiB
Current children cumulated memory: 1068188 KiB
[startup+3612.2 s]
/proc/loadavg: 4.12 4.22 4.18 5/255 20978
/proc/meminfo: memFree=127219000/131382120 swapFree=33010684/33010684
[pid=20652] ppid=20647 vsize=1155080 memory=1068188 CPUtime=3601.79 cores=0,2
/proc/20652/stat : 20652 (roundingsat) R 20647 20650 20058 0 -1 4194304 132868 0 0 0 357536 2643 0 0 20 0 1 0 33144327 1182801920 267047 18446744073709551615 4227072 8923433 140727251529168 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 38068224 140727251536288 140727251536424 140727251536424 140727251541994 0
/proc/20652/statm: 288770 267047 2368 1147 0 276197 0
Current cumulated CPU time of completed processes: 0.005092 s
Current children cumulated CPU time: 3601.79 s
Current children cumulated vsize: 1155080 KiB
Current children cumulated memory: 1068188 KiB
[startup+3612.3 s]
/proc/loadavg: 4.12 4.22 4.18 5/255 20978
/proc/meminfo: memFree=127219000/131382120 swapFree=33010684/33010684
[pid=20652] ppid=20647 vsize=1155080 memory=1068188 CPUtime=3601.89 cores=0,2
/proc/20652/stat : 20652 (roundingsat) R 20647 20650 20058 0 -1 4194304 132868 0 0 0 357546 2643 0 0 20 0 1 0 33144327 1182801920 267047 18446744073709551615 4227072 8923433 140727251529168 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 38068224 140727251536288 140727251536424 140727251536424 140727251541994 0
/proc/20652/statm: 288770 267047 2368 1147 0 276197 0
Current cumulated CPU time of completed processes: 0.005092 s
Current children cumulated CPU time: 3601.89 s
Current children cumulated vsize: 1155080 KiB
Current children cumulated memory: 1068188 KiB
Child status: 2
Real time (s): 3612.34
CPU time (s): 3601.94
CPU user time (s): 3575.49
CPU system time (s): 26.4542
CPU usage (%): 99.7122
Max. virtual memory (cumulated for all children) (KiB): 1159272
Max. memory (cumulated for all children) (KiB): 1071260
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3575.49
system time used= 26.4542
maximum resident set size= 1068572
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 133112
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= 317
involuntary context switches= 9241
# summary of solver processes directly reported to runsolver:
# pid: 20650,20652
# total CPU time (s): 3601.94
# total CPU user time (s): 3575.49
# total CPU system time (s): 26.4542
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.3545 second user time and 36.8082 second system time
The end
Begin job on nodeC006 at 2025-06-29 07:24:10
IDJOB=4506978
IDBENCH=158311
IDSOLVER=3353
FILE ID=nodeC006/4506978-1751174649
RUNJOBID= nodeC006-1751170846-20068
SLURM_JOB_ID= 9587530
Free space on /tmp= 432992 MiB
SOLVER NAME= roundingsat-ls 63f22ad
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathNG/normalized-NG_K159.opb
COMMAND LINE= run-dec-ls.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4506978-1751174649/watcher-4506978-1751174649 -o /tmp/evaluation-result-4506978-1751174649/solver-4506978-1751174649 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1751170846-20068 --watchdog 3760 run-dec-ls.sh HOME/instance-4506978-1751174649.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 27d58ce279c297ab3aeba38d0412d1d9
RANDOM SEED=1150127522
nodeC006 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 : 3493.000
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.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3691.156
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.32
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.135
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.32
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.504
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.32
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 : 3664.502
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.32
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 : 3691.174
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.32
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.697
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.32
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 : 3700.000
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.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382120 kB
MemFree: 127741236 kB
MemAvailable: 127428224 kB
Buffers: 3280 kB
Cached: 498452 kB
SwapCached: 0 kB
Active: 2829524 kB
Inactive: 250688 kB
Active(anon): 2596440 kB
Inactive(anon): 0 kB
Active(file): 233084 kB
Inactive(file): 250688 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 8644 kB
Writeback: 48 kB
AnonPages: 2580600 kB
Mapped: 115648 kB
Shmem: 17960 kB
KReclaimable: 85304 kB
Slab: 164464 kB
SReclaimable: 85304 kB
SUnreclaim: 79160 kB
KernelStack: 4112 kB
PageTables: 8292 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701744 kB
Committed_AS: 3104840 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149448 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 2117632 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 191304 kB
DirectMap2M: 10196992 kB
DirectMap1G: 125829120 kB
Free space on /tmp at the end= 433028 MiB
End job on nodeC006 at 2025-06-29 08:24:22