0.00/0.03 c RoundingSat 2
0.00/0.03 c branch pb25
0.00/0.03 c commit 63f22ad
0.28/0.33 c #variables 18445 #constraints 18757
92.76/93.15 c #Conflicts: 1000 | #Constraints: 19756
92.76/93.15 c #Conflicts: 2000 | #Constraints: 20756
92.76/93.15 c INPROCESSING
92.76/93.15 c GARBAGE COLLECT
92.76/93.15 c #Conflicts: 3000 | #Constraints: 19996
92.76/93.15 c #Conflicts: 4000 | #Constraints: 20996
92.76/93.15 c INPROCESSING
92.76/93.15 c GARBAGE COLLECT
92.76/93.15 c #Conflicts: 5000 | #Constraints: 20464
92.76/93.15 c #Conflicts: 6000 | #Constraints: 21464
92.76/93.15 c INPROCESSING
92.76/93.15 c GARBAGE COLLECT
92.76/93.15 c #Conflicts: 7000 | #Constraints: 20554
92.76/93.15 c #Conflicts: 8000 | #Constraints: 21554
92.76/93.15 c #Conflicts: 9000 | #Constraints: 22554
92.76/93.15 c INPROCESSING
92.76/93.15 c GARBAGE COLLECT
92.76/93.15 c #Conflicts: 10000 | #Constraints: 21335
92.76/93.15 c #Conflicts: 11000 | #Constraints: 22335
92.76/93.15 c #Conflicts: 12000 | #Constraints: 23335
92.76/93.15 c INPROCESSING
92.76/93.15 c GARBAGE COLLECT
92.76/93.15 c #Conflicts: 13000 | #Constraints: 21870
92.76/93.15 c #Conflicts: 14000 | #Constraints: 22870
92.76/93.15 c #Conflicts: 15000 | #Constraints: 23870
92.76/93.15 c #Conflicts: 16000 | #Constraints: 24870
92.76/93.15 c #Conflicts: 17000 | #Constraints: 25870
92.76/93.15 c #Conflicts: 18000 | #Constraints: 26870
92.76/93.15 c #Conflicts: 19000 | #Constraints: 27870
92.76/93.15 c #Conflicts: 20000 | #Constraints: 28870
92.76/93.15 c INPROCESSING
92.76/93.15 c GARBAGE COLLECT
92.76/93.15 c #Conflicts: 21000 | #Constraints: 24544
92.76/93.15 c #Conflicts: 22000 | #Constraints: 25544
92.76/93.15 c #Conflicts: 23000 | #Constraints: 26544
92.76/93.15 c #Conflicts: 24000 | #Constraints: 27544
92.76/93.15 c INPROCESSING
92.76/93.15 c GARBAGE COLLECT
92.76/93.15 c #Conflicts: 25000 | #Constraints: 23825
92.76/93.15 c #Conflicts: 26000 | #Constraints: 24825
92.76/93.15 c #Conflicts: 27000 | #Constraints: 25825
92.76/93.15 c #Conflicts: 28000 | #Constraints: 26825
92.76/93.15 c INPROCESSING
92.76/93.15 c GARBAGE COLLECT
92.76/93.15 c #Conflicts: 29000 | #Constraints: 23461
92.76/93.15 c #Conflicts: 30000 | #Constraints: 24461
92.76/93.15 c #Conflicts: 31000 | #Constraints: 25461
92.76/93.15 c #Conflicts: 32000 | #Constraints: 26461
92.76/93.15 c #Conflicts: 33000 | #Constraints: 27461
92.76/93.15 c #Conflicts: 34000 | #Constraints: 28461
92.76/93.15 c #Conflicts: 35000 | #Constraints: 29461
92.76/93.15 c #Conflicts: 36000 | #Constraints: 30461
92.76/93.15 c #Conflicts: 37000 | #Constraints: 31461
92.76/93.15 c #Conflicts: 38000 | #Constraints: 32461
92.76/93.15 c #Conflicts: 39000 | #Constraints: 33461
92.76/93.15 c #Conflicts: 40000 | #Constraints: 34461
92.76/93.15 c #Conflicts: 41000 | #Constraints: 35461
92.76/93.15 c INPROCESSING
92.76/93.15 c GARBAGE COLLECT
92.76/93.15 c #Conflicts: 42000 | #Constraints: 27905
92.76/93.15 c #Conflicts: 43000 | #Constraints: 28905
92.76/93.15 c #Conflicts: 44000 | #Constraints: 29905
92.76/93.15 c #Conflicts: 45000 | #Constraints: 30905
92.76/93.15 c #Conflicts: 46000 | #Constraints: 31905
92.76/93.15 c #Conflicts: 47000 | #Constraints: 32905
92.76/93.15 c INPROCESSING
92.76/93.15 c GARBAGE COLLECT
92.76/93.15 c #Conflicts: 48000 | #Constraints: 26901
92.76/93.15 c #Conflicts: 49000 | #Constraints: 27901
92.76/93.15 c #Conflicts: 50000 | #Constraints: 28901
92.76/93.15 c #Conflicts: 51000 | #Constraints: 29901
92.76/93.15 c #Conflicts: 52000 | #Constraints: 30901
92.76/93.15 c #Conflicts: 53000 | #Constraints: 31901
92.76/93.15 c #Conflicts: 54000 | #Constraints: 32901
92.76/93.15 c #Conflicts: 55000 | #Constraints: 33901
92.76/93.15 c #Conflicts: 56000 | #Constraints: 34901
92.76/93.15 c #Conflicts: 57000 | #Constraints: 35901
92.76/93.15 c #Conflicts: 58000 | #Constraints: 36901
92.76/93.15 c #Conflicts: 59000 | #Constraints: 37901
92.76/93.15 c #Conflicts: 60000 | #Constraints: 38901
92.76/93.15 c #Conflicts: 61000 | #Constraints: 39901
92.76/93.15 c #Conflicts: 62000 | #Constraints: 40901
92.76/93.15 c INPROCESSING
92.76/93.15 c GARBAGE COLLECT
92.76/93.15 c #Conflicts: 63000 | #Constraints: 30623
92.76/93.15 c #Conflicts: 64000 | #Constraints: 31623
92.76/93.15 c #Conflicts: 65000 | #Constraints: 32623
92.76/93.15 c #Conflicts: 66000 | #Constraints: 33623
92.76/93.15 c #Conflicts: 67000 | #Constraints: 34623
92.76/93.15 c #Conflicts: 68000 | #Constraints: 35623
92.76/93.15 c #Conflicts: 69000 | #Constraints: 36623
92.76/93.15 c INPROCESSING
92.76/93.15 c GARBAGE COLLECT
92.76/93.15 c #Conflicts: 70000 | #Constraints: 28643
92.76/93.15 c #Conflicts: 71000 | #Constraints: 29643
92.76/93.15 c #Conflicts: 72000 | #Constraints: 30643
202.69/203.44 c #Conflicts: 73000 | #Constraints: 31643
202.69/203.44 c #Conflicts: 74000 | #Constraints: 32643
202.69/203.44 c #Conflicts: 75000 | #Constraints: 33643
202.69/203.44 c #Conflicts: 76000 | #Constraints: 34643
202.69/203.44 c #Conflicts: 77000 | #Constraints: 35643
202.69/203.44 c #Conflicts: 78000 | #Constraints: 36643
202.69/203.44 c #Conflicts: 79000 | #Constraints: 37643
202.69/203.44 c #Conflicts: 80000 | #Constraints: 38643
202.69/203.44 c #Conflicts: 81000 | #Constraints: 39643
202.69/203.44 c #Conflicts: 82000 | #Constraints: 40643
202.69/203.44 c #Conflicts: 83000 | #Constraints: 41643
202.69/203.44 c #Conflicts: 84000 | #Constraints: 42643
202.69/203.44 c #Conflicts: 85000 | #Constraints: 43643
202.69/203.44 c #Conflicts: 86000 | #Constraints: 44643
202.69/203.44 c #Conflicts: 87000 | #Constraints: 45643
202.69/203.44 c #Conflicts: 88000 | #Constraints: 46643
202.69/203.44 c INPROCESSING
202.69/203.44 c GARBAGE COLLECT
202.69/203.44 c #Conflicts: 89000 | #Constraints: 33723
202.69/203.44 c #Conflicts: 90000 | #Constraints: 34723
202.69/203.44 c #Conflicts: 91000 | #Constraints: 35723
202.69/203.44 c #Conflicts: 92000 | #Constraints: 36723
202.69/203.44 c #Conflicts: 93000 | #Constraints: 37723
202.69/203.44 c #Conflicts: 94000 | #Constraints: 38723
202.69/203.44 c #Conflicts: 95000 | #Constraints: 39723
202.69/203.44 c #Conflicts: 96000 | #Constraints: 40723
202.69/203.44 c INPROCESSING
202.69/203.44 c GARBAGE COLLECT
202.69/203.44 c #Conflicts: 97000 | #Constraints: 30808
202.69/203.44 c #Conflicts: 98000 | #Constraints: 31808
202.69/203.44 c #Conflicts: 99000 | #Constraints: 32808
202.69/203.44 c #Conflicts: 100000 | #Constraints: 33808
202.69/203.44 c #Conflicts: 101000 | #Constraints: 34809
202.69/203.44 c #Conflicts: 102000 | #Constraints: 35809
202.69/203.44 c #Conflicts: 103000 | #Constraints: 36809
202.69/203.44 c #Conflicts: 104000 | #Constraints: 37809
202.69/203.44 c #Conflicts: 105000 | #Constraints: 38809
202.69/203.44 c #Conflicts: 106000 | #Constraints: 39809
202.69/203.44 c #Conflicts: 107000 | #Constraints: 40809
202.69/203.44 c #Conflicts: 108000 | #Constraints: 41809
202.69/203.44 c #Conflicts: 109000 | #Constraints: 42809
202.69/203.44 c #Conflicts: 110000 | #Constraints: 43809
202.69/203.44 c #Conflicts: 111000 | #Constraints: 44809
202.69/203.44 c #Conflicts: 112000 | #Constraints: 45809
202.69/203.44 c #Conflicts: 113000 | #Constraints: 46809
202.69/203.44 c #Conflicts: 114000 | #Constraints: 47809
202.69/203.44 c #Conflicts: 115000 | #Constraints: 48809
202.69/203.44 c #Conflicts: 116000 | #Constraints: 49809
202.69/203.44 c #Conflicts: 117000 | #Constraints: 50809
202.69/203.44 c #Conflicts: 118000 | #Constraints: 51809
202.69/203.44 c INPROCESSING
202.69/203.44 c GARBAGE COLLECT
202.69/203.44 c #Conflicts: 119000 | #Constraints: 36392
202.69/203.44 c #Conflicts: 120000 | #Constraints: 37392
202.69/203.44 c #Conflicts: 121000 | #Constraints: 38392
202.69/203.44 c #Conflicts: 122000 | #Constraints: 39392
202.69/203.44 c #Conflicts: 123000 | #Constraints: 40392
202.69/203.44 c #Conflicts: 124000 | #Constraints: 41392
202.69/203.44 c #Conflicts: 125000 | #Constraints: 42392
202.69/203.44 c #Conflicts: 126000 | #Constraints: 43392
202.69/203.44 c #Conflicts: 127000 | #Constraints: 44392
202.69/203.44 c #Conflicts: 128000 | #Constraints: 45392
202.69/203.44 c INPROCESSING
202.69/203.44 c GARBAGE COLLECT
202.69/203.44 c #Conflicts: 129000 | #Constraints: 34197
202.69/203.44 c #Conflicts: 130000 | #Constraints: 35197
202.69/203.44 c #Conflicts: 131000 | #Constraints: 36197
202.69/203.44 c #Conflicts: 132000 | #Constraints: 37197
202.69/203.44 c #Conflicts: 133000 | #Constraints: 38197
202.69/203.44 c #Conflicts: 134000 | #Constraints: 39197
202.69/203.44 c #Conflicts: 135000 | #Constraints: 40197
202.69/203.44 c #Conflicts: 136000 | #Constraints: 41197
202.69/203.44 c #Conflicts: 137000 | #Constraints: 42197
202.69/203.44 c #Conflicts: 138000 | #Constraints: 43197
202.69/203.44 c #Conflicts: 139000 | #Constraints: 44197
202.69/203.44 c #Conflicts: 140000 | #Constraints: 45197
202.69/203.44 c #Conflicts: 141000 | #Constraints: 46197
202.69/203.44 c #Conflicts: 142000 | #Constraints: 47197
202.69/203.44 c #Conflicts: 143000 | #Constraints: 48197
202.69/203.44 c #Conflicts: 144000 | #Constraints: 49197
202.69/203.44 c #Conflicts: 145000 | #Constraints: 50197
202.69/203.44 c #Conflicts: 146000 | #Constraints: 51197
202.69/203.44 c #Conflicts: 147000 | #Constraints: 52197
202.69/203.44 c #Conflicts: 148000 | #Constraints: 53197
320.09/321.21 c #Conflicts: 149000 | #Constraints: 54197
320.09/321.21 c #Conflicts: 150000 | #Constraints: 55197
320.09/321.21 c #Conflicts: 151000 | #Constraints: 56197
320.09/321.21 c #Conflicts: 152000 | #Constraints: 57197
320.09/321.21 c #Conflicts: 153000 | #Constraints: 58197
320.09/321.21 c INPROCESSING
320.09/321.21 c GARBAGE COLLECT
320.09/321.21 c #Conflicts: 154000 | #Constraints: 39908
320.09/321.21 c #Conflicts: 155000 | #Constraints: 40908
320.09/321.21 c #Conflicts: 156000 | #Constraints: 41908
320.09/321.21 c #Conflicts: 157000 | #Constraints: 42908
320.09/321.21 c #Conflicts: 158000 | #Constraints: 43908
320.09/321.21 c #Conflicts: 159000 | #Constraints: 44908
320.09/321.21 c #Conflicts: 160000 | #Constraints: 45908
320.09/321.21 c #Conflicts: 161000 | #Constraints: 46908
320.09/321.21 c #Conflicts: 162000 | #Constraints: 47908
320.09/321.21 c #Conflicts: 163000 | #Constraints: 48908
320.09/321.21 c INPROCESSING
320.09/321.21 c GARBAGE COLLECT
320.09/321.21 c #Conflicts: 164000 | #Constraints: 35981
320.09/321.21 c #Conflicts: 165000 | #Constraints: 36981
320.09/321.21 c #Conflicts: 166000 | #Constraints: 37981
320.09/321.21 c #Conflicts: 167000 | #Constraints: 38981
320.09/321.21 c #Conflicts: 168000 | #Constraints: 39981
320.09/321.21 c #Conflicts: 169000 | #Constraints: 40981
320.09/321.21 c #Conflicts: 170000 | #Constraints: 41981
320.09/321.21 c #Conflicts: 171000 | #Constraints: 42981
320.09/321.21 c #Conflicts: 172000 | #Constraints: 43981
320.09/321.21 c #Conflicts: 173000 | #Constraints: 44981
320.09/321.21 c #Conflicts: 174000 | #Constraints: 45981
320.09/321.21 c #Conflicts: 175000 | #Constraints: 46981
320.09/321.21 c #Conflicts: 176000 | #Constraints: 47981
320.09/321.21 c #Conflicts: 177000 | #Constraints: 48981
320.09/321.21 c #Conflicts: 178000 | #Constraints: 49981
320.09/321.21 c #Conflicts: 179000 | #Constraints: 50981
320.09/321.21 c #Conflicts: 180000 | #Constraints: 51981
320.09/321.21 c #Conflicts: 181000 | #Constraints: 52981
320.09/321.21 c #Conflicts: 182000 | #Constraints: 53981
320.09/321.21 c #Conflicts: 183000 | #Constraints: 54981
320.09/321.21 c #Conflicts: 184000 | #Constraints: 55981
320.09/321.21 c #Conflicts: 185000 | #Constraints: 56981
320.09/321.21 c #Conflicts: 186000 | #Constraints: 57981
320.09/321.21 c #Conflicts: 187000 | #Constraints: 58981
320.09/321.21 c #Conflicts: 188000 | #Constraints: 59981
320.09/321.21 c #Conflicts: 189000 | #Constraints: 60981
320.09/321.21 c #Conflicts: 190000 | #Constraints: 61981
320.09/321.21 c #Conflicts: 191000 | #Constraints: 62981
320.09/321.21 c INPROCESSING
320.09/321.21 c GARBAGE COLLECT
320.09/321.21 c #Conflicts: 192000 | #Constraints: 42041
320.09/321.21 c #Conflicts: 193000 | #Constraints: 43041
320.09/321.21 c #Conflicts: 194000 | #Constraints: 44041
320.09/321.21 c #Conflicts: 195000 | #Constraints: 45041
320.09/321.21 c #Conflicts: 196000 | #Constraints: 46041
320.09/321.21 c #Conflicts: 197000 | #Constraints: 47041
320.09/321.21 c #Conflicts: 198000 | #Constraints: 48041
320.09/321.21 c #Conflicts: 199000 | #Constraints: 49041
320.09/321.21 c #Conflicts: 200000 | #Constraints: 50041
320.09/321.21 c #Conflicts: 201000 | #Constraints: 51041
320.09/321.21 c #Conflicts: 202000 | #Constraints: 52041
320.09/321.21 c #Conflicts: 203000 | #Constraints: 53041
320.09/321.21 c #Conflicts: 204000 | #Constraints: 54041
320.09/321.21 c INPROCESSING
320.09/321.21 c GARBAGE COLLECT
320.09/321.21 c #Conflicts: 205000 | #Constraints: 39301
320.09/321.21 c #Conflicts: 206000 | #Constraints: 40301
320.09/321.21 c #Conflicts: 207000 | #Constraints: 41301
320.09/321.21 c #Conflicts: 208000 | #Constraints: 42301
320.09/321.21 c #Conflicts: 209000 | #Constraints: 43301
320.09/321.21 c #Conflicts: 210000 | #Constraints: 44301
320.09/321.21 c #Conflicts: 211000 | #Constraints: 45301
320.09/321.21 c #Conflicts: 212000 | #Constraints: 46301
320.09/321.21 c #Conflicts: 213000 | #Constraints: 47301
320.09/321.21 c #Conflicts: 214000 | #Constraints: 48301
320.09/321.21 c #Conflicts: 215000 | #Constraints: 49301
320.09/321.21 c #Conflicts: 216000 | #Constraints: 50301
320.09/321.21 c #Conflicts: 217000 | #Constraints: 51301
320.09/321.21 c #Conflicts: 218000 | #Constraints: 52301
320.09/321.21 c #Conflicts: 219000 | #Constraints: 53301
320.09/321.21 c #Conflicts: 220000 | #Constraints: 54301
320.09/321.21 c #Conflicts: 221000 | #Constraints: 55301
320.09/321.21 c #Conflicts: 222000 | #Constraints: 56301
320.09/321.21 c #Conflicts: 223000 | #Constraints: 57301
320.09/321.21 c #Conflicts: 224000 | #Constraints: 58301
504.18/505.89 c #Conflicts: 225000 | #Constraints: 59301
504.18/505.89 c #Conflicts: 226000 | #Constraints: 60301
504.18/505.89 c #Conflicts: 227000 | #Constraints: 61301
504.18/505.89 c #Conflicts: 228000 | #Constraints: 62301
504.18/505.89 c #Conflicts: 229000 | #Constraints: 63301
504.18/505.89 c #Conflicts: 230000 | #Constraints: 64301
504.18/505.89 c #Conflicts: 231000 | #Constraints: 65301
504.18/505.89 c #Conflicts: 232000 | #Constraints: 66301
504.18/505.89 c #Conflicts: 233000 | #Constraints: 67301
504.18/505.89 c #Conflicts: 234000 | #Constraints: 68301
504.18/505.89 c #Conflicts: 235000 | #Constraints: 69301
504.18/505.89 c INPROCESSING
504.18/505.89 c GARBAGE COLLECT
504.18/505.89 c #Conflicts: 236000 | #Constraints: 45471
504.18/505.89 c #Conflicts: 237000 | #Constraints: 46471
504.18/505.89 c #Conflicts: 238000 | #Constraints: 47471
504.18/505.89 c #Conflicts: 239000 | #Constraints: 48471
504.18/505.89 c #Conflicts: 240000 | #Constraints: 49471
504.18/505.89 c #Conflicts: 241000 | #Constraints: 50471
504.18/505.89 c #Conflicts: 242000 | #Constraints: 51471
504.18/505.89 c #Conflicts: 243000 | #Constraints: 52471
504.18/505.89 c #Conflicts: 244000 | #Constraints: 53471
504.18/505.89 c #Conflicts: 245000 | #Constraints: 54471
504.18/505.89 c #Conflicts: 246000 | #Constraints: 55471
504.18/505.89 c #Conflicts: 247000 | #Constraints: 56471
504.18/505.89 c #Conflicts: 248000 | #Constraints: 57471
504.18/505.89 c INPROCESSING
504.18/505.89 c GARBAGE COLLECT
504.18/505.89 c #Conflicts: 249000 | #Constraints: 40364
504.18/505.89 c #Conflicts: 250000 | #Constraints: 41364
504.18/505.89 c #Conflicts: 251000 | #Constraints: 42364
504.18/505.89 c #Conflicts: 252000 | #Constraints: 43364
504.18/505.89 c #Conflicts: 253000 | #Constraints: 44364
504.18/505.89 c #Conflicts: 254000 | #Constraints: 45364
504.18/505.89 c #Conflicts: 255000 | #Constraints: 46364
504.18/505.89 c #Conflicts: 256000 | #Constraints: 47364
504.18/505.89 c #Conflicts: 257000 | #Constraints: 48364
504.18/505.89 c #Conflicts: 258000 | #Constraints: 49364
504.18/505.89 c #Conflicts: 259000 | #Constraints: 50364
504.18/505.89 c #Conflicts: 260000 | #Constraints: 51364
504.18/505.89 c #Conflicts: 261000 | #Constraints: 52364
504.18/505.89 c #Conflicts: 262000 | #Constraints: 53364
504.18/505.89 c #Conflicts: 263000 | #Constraints: 54364
504.18/505.89 c #Conflicts: 264000 | #Constraints: 55364
504.18/505.89 c #Conflicts: 265000 | #Constraints: 56364
504.18/505.89 c #Conflicts: 266000 | #Constraints: 57364
504.18/505.89 c #Conflicts: 267000 | #Constraints: 58364
504.18/505.89 c #Conflicts: 268000 | #Constraints: 59364
504.18/505.89 c #Conflicts: 269000 | #Constraints: 60364
504.18/505.89 c #Conflicts: 270000 | #Constraints: 61364
504.18/505.89 c #Conflicts: 271000 | #Constraints: 62364
504.18/505.89 c #Conflicts: 272000 | #Constraints: 63364
504.18/505.89 c #Conflicts: 273000 | #Constraints: 64364
504.18/505.89 c #Conflicts: 274000 | #Constraints: 65364
504.18/505.89 c #Conflicts: 275000 | #Constraints: 66364
504.18/505.89 c #Conflicts: 276000 | #Constraints: 67364
504.18/505.89 c #Conflicts: 277000 | #Constraints: 68364
504.18/505.89 c #Conflicts: 278000 | #Constraints: 69364
504.18/505.89 c #Conflicts: 279000 | #Constraints: 70364
504.18/505.89 c #Conflicts: 280000 | #Constraints: 71364
504.18/505.89 c #Conflicts: 281000 | #Constraints: 72364
504.18/505.89 c #Conflicts: 282000 | #Constraints: 73364
504.18/505.89 c INPROCESSING
504.18/505.89 c GARBAGE COLLECT
504.18/505.89 c #Conflicts: 283000 | #Constraints: 47222
504.18/505.89 c #Conflicts: 284000 | #Constraints: 48222
504.18/505.89 c #Conflicts: 285000 | #Constraints: 49222
504.18/505.89 c #Conflicts: 286000 | #Constraints: 50222
504.18/505.89 c #Conflicts: 287000 | #Constraints: 51222
504.18/505.89 c #Conflicts: 288000 | #Constraints: 52222
504.18/505.89 c #Conflicts: 289000 | #Constraints: 53222
504.18/505.89 c #Conflicts: 290000 | #Constraints: 54222
504.18/505.89 c #Conflicts: 291000 | #Constraints: 55222
504.18/505.89 c #Conflicts: 292000 | #Constraints: 56222
504.18/505.89 c #Conflicts: 293000 | #Constraints: 57222
504.18/505.89 c #Conflicts: 294000 | #Constraints: 58222
504.18/505.89 c #Conflicts: 295000 | #Constraints: 59222
504.18/505.89 c #Conflicts: 296000 | #Constraints: 60222
504.18/505.89 c #Conflicts: 297000 | #Constraints: 61222
504.18/505.89 c INPROCESSING
504.18/505.89 c GARBAGE COLLECT
504.18/505.89 c #Conflicts: 298000 | #Constraints: 43027
504.18/505.89 c #Conflicts: 299000 | #Constraints: 44027
504.18/505.89 c #Conflicts: 300000 | #Constraints: 45027
620.20/622.19 c #Conflicts: 301000 | #Constraints: 46027
620.20/622.19 c #Conflicts: 302000 | #Constraints: 47027
620.20/622.19 c #Conflicts: 303000 | #Constraints: 48027
620.20/622.19 c #Conflicts: 304000 | #Constraints: 49027
620.20/622.19 c #Conflicts: 305000 | #Constraints: 50027
620.20/622.19 c #Conflicts: 306000 | #Constraints: 51027
620.20/622.19 c #Conflicts: 307000 | #Constraints: 52027
620.20/622.19 c #Conflicts: 308000 | #Constraints: 53027
620.20/622.19 c #Conflicts: 309000 | #Constraints: 54027
620.20/622.19 c #Conflicts: 310000 | #Constraints: 55027
620.20/622.19 c #Conflicts: 311000 | #Constraints: 56027
620.20/622.19 c #Conflicts: 312000 | #Constraints: 57027
620.20/622.19 c #Conflicts: 313000 | #Constraints: 58027
620.20/622.19 c #Conflicts: 314000 | #Constraints: 59027
620.20/622.19 c #Conflicts: 315000 | #Constraints: 60027
620.20/622.19 c #Conflicts: 316000 | #Constraints: 61027
620.20/622.19 c #Conflicts: 317000 | #Constraints: 62027
620.20/622.19 c #Conflicts: 318000 | #Constraints: 63027
620.20/622.19 c #Conflicts: 319000 | #Constraints: 64027
620.20/622.19 c #Conflicts: 320000 | #Constraints: 65027
620.20/622.19 c #Conflicts: 321000 | #Constraints: 66027
620.20/622.19 c #Conflicts: 322000 | #Constraints: 67027
620.20/622.19 c #Conflicts: 323000 | #Constraints: 68027
620.20/622.19 c #Conflicts: 324000 | #Constraints: 69027
620.20/622.19 c #Conflicts: 325000 | #Constraints: 70027
620.20/622.19 c #Conflicts: 326000 | #Constraints: 71027
620.20/622.19 c #Conflicts: 327000 | #Constraints: 72027
620.20/622.19 c #Conflicts: 328000 | #Constraints: 73027
620.20/622.19 c #Conflicts: 329000 | #Constraints: 74027
620.20/622.19 c #Conflicts: 330000 | #Constraints: 75027
620.20/622.19 c #Conflicts: 331000 | #Constraints: 76027
620.20/622.19 c #Conflicts: 332000 | #Constraints: 77027
620.20/622.19 c #Conflicts: 333000 | #Constraints: 78027
620.20/622.19 c #Conflicts: 334000 | #Constraints: 79027
620.20/622.19 c #Conflicts: 335000 | #Constraints: 80027
620.20/622.19 c INPROCESSING
620.20/622.19 c GARBAGE COLLECT
620.20/622.19 c #Conflicts: 336000 | #Constraints: 51197
620.20/622.19 c #Conflicts: 337000 | #Constraints: 52197
620.20/622.19 c #Conflicts: 338000 | #Constraints: 53197
620.20/622.19 c #Conflicts: 339000 | #Constraints: 54197
620.20/622.19 c #Conflicts: 340000 | #Constraints: 55197
620.20/622.19 c #Conflicts: 341000 | #Constraints: 56197
620.20/622.19 c #Conflicts: 342000 | #Constraints: 57197
620.20/622.19 c #Conflicts: 343000 | #Constraints: 58197
620.20/622.19 c #Conflicts: 344000 | #Constraints: 59197
620.20/622.19 c #Conflicts: 345000 | #Constraints: 60197
620.20/622.19 c #Conflicts: 346000 | #Constraints: 61197
620.20/622.19 c #Conflicts: 347000 | #Constraints: 62197
620.20/622.19 c #Conflicts: 348000 | #Constraints: 63197
620.20/622.19 c #Conflicts: 349000 | #Constraints: 64197
620.20/622.19 c #Conflicts: 350000 | #Constraints: 65197
620.20/622.19 c #Conflicts: 351000 | #Constraints: 66197
620.20/622.19 c INPROCESSING
620.20/622.19 c GARBAGE COLLECT
620.20/622.19 c #Conflicts: 352000 | #Constraints: 46276
620.20/622.19 c #Conflicts: 353000 | #Constraints: 47276
620.20/622.19 c #Conflicts: 354000 | #Constraints: 48276
620.20/622.19 c #Conflicts: 355000 | #Constraints: 49276
620.20/622.19 c #Conflicts: 356000 | #Constraints: 50276
620.20/622.19 c #Conflicts: 357000 | #Constraints: 51276
620.20/622.19 c #Conflicts: 358000 | #Constraints: 52276
620.20/622.19 c #Conflicts: 359000 | #Constraints: 53276
620.20/622.19 c #Conflicts: 360000 | #Constraints: 54276
620.20/622.19 c #Conflicts: 361000 | #Constraints: 55276
620.20/622.19 c #Conflicts: 362000 | #Constraints: 56276
620.20/622.19 c #Conflicts: 363000 | #Constraints: 57276
620.20/622.19 c #Conflicts: 364000 | #Constraints: 58276
620.20/622.19 c #Conflicts: 365000 | #Constraints: 59276
620.20/622.19 c #Conflicts: 366000 | #Constraints: 60276
620.20/622.19 c #Conflicts: 367000 | #Constraints: 61276
620.20/622.19 c #Conflicts: 368000 | #Constraints: 62276
620.20/622.19 c #Conflicts: 369000 | #Constraints: 63276
620.20/622.19 c #Conflicts: 370000 | #Constraints: 64276
620.20/622.19 c #Conflicts: 371000 | #Constraints: 65276
620.20/622.19 c #Conflicts: 372000 | #Constraints: 66276
620.20/622.19 c #Conflicts: 373000 | #Constraints: 67276
620.20/622.19 c #Conflicts: 374000 | #Constraints: 68276
620.20/622.19 c #Conflicts: 375000 | #Constraints: 69276
620.20/622.19 c #Conflicts: 376000 | #Constraints: 70276
620.20/622.19 c #Conflicts: 377000 | #Constraints: 71276
620.20/622.19 c #Conflicts: 378000 | #Constraints: 72276
760.73/763.04 c #Conflicts: 379000 | #Constraints: 73276
760.73/763.04 c #Conflicts: 380000 | #Constraints: 74276
760.73/763.04 c #Conflicts: 381000 | #Constraints: 75276
760.73/763.04 c #Conflicts: 382000 | #Constraints: 76276
760.73/763.04 c #Conflicts: 383000 | #Constraints: 77276
760.73/763.04 c #Conflicts: 384000 | #Constraints: 78276
760.73/763.04 c #Conflicts: 385000 | #Constraints: 79276
760.73/763.04 c #Conflicts: 386000 | #Constraints: 80276
760.73/763.04 c #Conflicts: 387000 | #Constraints: 81276
760.73/763.04 c #Conflicts: 388000 | #Constraints: 82276
760.73/763.04 c #Conflicts: 389000 | #Constraints: 83276
760.73/763.04 c #Conflicts: 390000 | #Constraints: 84276
760.73/763.04 c #Conflicts: 391000 | #Constraints: 85276
760.73/763.04 c INPROCESSING
760.73/763.04 c GARBAGE COLLECT
760.73/763.04 c #Conflicts: 392000 | #Constraints: 53616
760.73/763.04 c #Conflicts: 393000 | #Constraints: 54616
760.73/763.04 c #Conflicts: 394000 | #Constraints: 55616
760.73/763.04 c #Conflicts: 395000 | #Constraints: 56616
760.73/763.04 c #Conflicts: 396000 | #Constraints: 57616
760.73/763.04 c #Conflicts: 397000 | #Constraints: 58616
760.73/763.04 c #Conflicts: 398000 | #Constraints: 59616
760.73/763.04 c #Conflicts: 399000 | #Constraints: 60616
760.73/763.04 c #Conflicts: 400000 | #Constraints: 61616
760.73/763.04 c #Conflicts: 401000 | #Constraints: 62616
760.73/763.04 c #Conflicts: 402000 | #Constraints: 63616
760.73/763.04 c #Conflicts: 403000 | #Constraints: 64616
760.73/763.04 c #Conflicts: 404000 | #Constraints: 65616
760.73/763.04 c #Conflicts: 405000 | #Constraints: 66616
760.73/763.04 c #Conflicts: 406000 | #Constraints: 67616
760.73/763.04 c #Conflicts: 407000 | #Constraints: 68616
760.73/763.04 c #Conflicts: 408000 | #Constraints: 69616
760.73/763.04 c INPROCESSING
760.73/763.04 c GARBAGE COLLECT
760.73/763.04 c #Conflicts: 409000 | #Constraints: 48107
760.73/763.04 c #Conflicts: 410000 | #Constraints: 49107
760.73/763.04 c #Conflicts: 411000 | #Constraints: 50107
760.73/763.04 c #Conflicts: 412000 | #Constraints: 51107
760.73/763.04 c #Conflicts: 413000 | #Constraints: 52107
760.73/763.04 c #Conflicts: 414000 | #Constraints: 53107
760.73/763.04 c #Conflicts: 415000 | #Constraints: 54107
760.73/763.04 c #Conflicts: 416000 | #Constraints: 55107
760.73/763.04 c #Conflicts: 417000 | #Constraints: 56107
760.73/763.04 c #Conflicts: 418000 | #Constraints: 57107
760.73/763.04 c #Conflicts: 419000 | #Constraints: 58107
760.73/763.04 c #Conflicts: 420000 | #Constraints: 59107
760.73/763.04 c #Conflicts: 421000 | #Constraints: 60107
760.73/763.04 c #Conflicts: 422000 | #Constraints: 61107
760.73/763.04 c #Conflicts: 423000 | #Constraints: 62107
760.73/763.04 c #Conflicts: 424000 | #Constraints: 63107
760.73/763.04 c #Conflicts: 425000 | #Constraints: 64107
760.73/763.04 c #Conflicts: 426000 | #Constraints: 65107
760.73/763.04 c #Conflicts: 427000 | #Constraints: 66107
760.73/763.04 c #Conflicts: 428000 | #Constraints: 67107
760.73/763.04 c #Conflicts: 429000 | #Constraints: 68107
760.73/763.04 c #Conflicts: 430000 | #Constraints: 69107
760.73/763.04 c #Conflicts: 431000 | #Constraints: 70107
760.73/763.04 c #Conflicts: 432000 | #Constraints: 71107
760.73/763.04 c #Conflicts: 433000 | #Constraints: 72107
760.73/763.04 c #Conflicts: 434000 | #Constraints: 73107
760.73/763.04 c #Conflicts: 435000 | #Constraints: 74107
760.73/763.04 c #Conflicts: 436000 | #Constraints: 75107
760.73/763.04 c #Conflicts: 437000 | #Constraints: 76107
760.73/763.04 c #Conflicts: 438000 | #Constraints: 77107
760.73/763.04 c #Conflicts: 439000 | #Constraints: 78107
760.73/763.04 c #Conflicts: 440000 | #Constraints: 79107
760.73/763.04 c #Conflicts: 441000 | #Constraints: 80107
760.73/763.04 c #Conflicts: 442000 | #Constraints: 81107
760.73/763.04 c #Conflicts: 443000 | #Constraints: 82107
760.73/763.04 c #Conflicts: 444000 | #Constraints: 83107
760.73/763.04 c #Conflicts: 445000 | #Constraints: 84107
760.73/763.04 c #Conflicts: 446000 | #Constraints: 85107
760.73/763.04 c #Conflicts: 447000 | #Constraints: 86107
760.73/763.04 c #Conflicts: 448000 | #Constraints: 87107
760.73/763.04 c #Conflicts: 449000 | #Constraints: 88107
760.73/763.04 c #Conflicts: 450000 | #Constraints: 89107
760.73/763.04 c #Conflicts: 451000 | #Constraints: 90107
760.73/763.04 c #Conflicts: 452000 | #Constraints: 91107
760.73/763.04 c INPROCESSING
760.73/763.04 c GARBAGE COLLECT
760.73/763.04 c #Conflicts: 453000 | #Constraints: 56394
760.73/763.04 c #Conflicts: 454000 | #Constraints: 57394
760.73/763.04 c #Conflicts: 455000 | #Constraints: 58394
984.15/987.10 c #Conflicts: 456000 | #Constraints: 59394
984.15/987.10 c #Conflicts: 457000 | #Constraints: 60394
984.15/987.10 c #Conflicts: 458000 | #Constraints: 61394
984.15/987.10 c #Conflicts: 459000 | #Constraints: 62394
984.15/987.10 c #Conflicts: 460000 | #Constraints: 63394
984.15/987.10 c #Conflicts: 461000 | #Constraints: 64394
984.15/987.10 c #Conflicts: 462000 | #Constraints: 65394
984.15/987.10 c #Conflicts: 463000 | #Constraints: 66394
984.15/987.10 c #Conflicts: 464000 | #Constraints: 67394
984.15/987.10 c #Conflicts: 465000 | #Constraints: 68394
984.15/987.10 c #Conflicts: 466000 | #Constraints: 69394
984.15/987.10 c #Conflicts: 467000 | #Constraints: 70394
984.15/987.10 c #Conflicts: 468000 | #Constraints: 71394
984.15/987.10 c #Conflicts: 469000 | #Constraints: 72394
984.15/987.10 c #Conflicts: 470000 | #Constraints: 73394
984.15/987.10 c #Conflicts: 471000 | #Constraints: 74394
984.15/987.10 c INPROCESSING
984.15/987.10 c GARBAGE COLLECT
984.15/987.10 c #Conflicts: 472000 | #Constraints: 50953
984.15/987.10 c #Conflicts: 473000 | #Constraints: 51953
984.15/987.10 c #Conflicts: 474000 | #Constraints: 52953
984.15/987.10 c #Conflicts: 475000 | #Constraints: 53953
984.15/987.10 c #Conflicts: 476000 | #Constraints: 54953
984.15/987.10 c #Conflicts: 477000 | #Constraints: 55953
984.15/987.10 c #Conflicts: 478000 | #Constraints: 56953
984.15/987.10 c #Conflicts: 479000 | #Constraints: 57953
984.15/987.10 c #Conflicts: 480000 | #Constraints: 58953
984.15/987.10 c #Conflicts: 481000 | #Constraints: 59953
984.15/987.10 c #Conflicts: 482000 | #Constraints: 60953
984.15/987.10 c #Conflicts: 483000 | #Constraints: 61953
984.15/987.10 c #Conflicts: 484000 | #Constraints: 62953
984.15/987.10 c #Conflicts: 485000 | #Constraints: 63953
984.15/987.10 c #Conflicts: 486000 | #Constraints: 64953
984.15/987.10 c #Conflicts: 487000 | #Constraints: 65953
984.15/987.10 c #Conflicts: 488000 | #Constraints: 66953
984.15/987.10 c #Conflicts: 489000 | #Constraints: 67953
984.15/987.10 c #Conflicts: 490000 | #Constraints: 68953
984.15/987.10 c #Conflicts: 491000 | #Constraints: 69953
984.15/987.10 c #Conflicts: 492000 | #Constraints: 70953
984.15/987.10 c #Conflicts: 493000 | #Constraints: 71953
984.15/987.10 c #Conflicts: 494000 | #Constraints: 72953
984.15/987.10 c #Conflicts: 495000 | #Constraints: 73953
984.15/987.10 c #Conflicts: 496000 | #Constraints: 74953
984.15/987.10 c #Conflicts: 497000 | #Constraints: 75953
984.15/987.10 c #Conflicts: 498000 | #Constraints: 76953
984.15/987.10 c #Conflicts: 499000 | #Constraints: 77953
984.15/987.10 c #Conflicts: 500000 | #Constraints: 78953
984.15/987.10 c #Conflicts: 501000 | #Constraints: 79953
984.15/987.10 c #Conflicts: 502000 | #Constraints: 80953
984.15/987.10 c #Conflicts: 503000 | #Constraints: 81953
984.15/987.10 c #Conflicts: 504000 | #Constraints: 82953
984.15/987.10 c #Conflicts: 505000 | #Constraints: 83953
984.15/987.10 c #Conflicts: 506000 | #Constraints: 84953
984.15/987.10 c #Conflicts: 507000 | #Constraints: 85953
984.15/987.10 c #Conflicts: 508000 | #Constraints: 86953
984.15/987.10 c #Conflicts: 509000 | #Constraints: 87953
984.15/987.10 c #Conflicts: 510000 | #Constraints: 88953
984.15/987.10 c #Conflicts: 511000 | #Constraints: 89953
984.15/987.10 c #Conflicts: 512000 | #Constraints: 90953
984.15/987.10 c #Conflicts: 513000 | #Constraints: 91953
984.15/987.10 c #Conflicts: 514000 | #Constraints: 92953
984.15/987.10 c #Conflicts: 515000 | #Constraints: 93953
984.15/987.10 c #Conflicts: 516000 | #Constraints: 94953
984.15/987.10 c #Conflicts: 517000 | #Constraints: 95953
984.15/987.10 c INPROCESSING
984.15/987.10 c GARBAGE COLLECT
984.15/987.10 c #Conflicts: 518000 | #Constraints: 58784
984.15/987.10 c #Conflicts: 519000 | #Constraints: 59784
984.15/987.10 c #Conflicts: 520000 | #Constraints: 60784
984.15/987.10 c #Conflicts: 521000 | #Constraints: 61784
984.15/987.10 c #Conflicts: 522000 | #Constraints: 62784
984.15/987.10 c #Conflicts: 523000 | #Constraints: 63784
984.15/987.10 c #Conflicts: 524000 | #Constraints: 64784
984.15/987.10 c #Conflicts: 525000 | #Constraints: 65784
984.15/987.10 c #Conflicts: 526000 | #Constraints: 66784
984.15/987.10 c #Conflicts: 527000 | #Constraints: 67784
984.15/987.10 c #Conflicts: 528000 | #Constraints: 68784
984.15/987.10 c #Conflicts: 529000 | #Constraints: 69784
984.15/987.10 c #Conflicts: 530000 | #Constraints: 70784
984.15/987.10 c #Conflicts: 531000 | #Constraints: 71784
984.15/987.10 c #Conflicts: 532000 | #Constraints: 72784
997.40/1000.33 c #Conflicts: 533000 | #Constraints: 73784
997.40/1000.33 c #Conflicts: 534000 | #Constraints: 74784
997.40/1000.33 c #Conflicts: 535000 | #Constraints: 75784
997.40/1000.33 c #Conflicts: 536000 | #Constraints: 76784
997.40/1000.33 c #Conflicts: 537000 | #Constraints: 77784
997.40/1000.33 c INPROCESSING
997.40/1000.33 c GARBAGE COLLECT
997.40/1000.33 c rational objective 155
1114.40/1117.60 c #Conflicts: 538000 | #Constraints: 52380
1114.40/1117.60 c #Conflicts: 539000 | #Constraints: 53380
1114.40/1117.60 c #Conflicts: 540000 | #Constraints: 54380
1114.40/1117.60 c #Conflicts: 541000 | #Constraints: 55380
1114.40/1117.60 c #Conflicts: 542000 | #Constraints: 56380
1114.40/1117.60 c #Conflicts: 543000 | #Constraints: 57380
1114.40/1117.60 c #Conflicts: 544000 | #Constraints: 58380
1114.40/1117.60 c #Conflicts: 545000 | #Constraints: 59380
1114.40/1117.60 c #Conflicts: 546000 | #Constraints: 60380
1114.40/1117.60 c #Conflicts: 547000 | #Constraints: 61380
1114.40/1117.60 c #Conflicts: 548000 | #Constraints: 62380
1114.40/1117.60 c #Conflicts: 549000 | #Constraints: 63380
1114.40/1117.60 c #Conflicts: 550000 | #Constraints: 64380
1114.40/1117.60 c #Conflicts: 551000 | #Constraints: 65380
1114.40/1117.60 c #Conflicts: 552000 | #Constraints: 66380
1114.40/1117.60 c #Conflicts: 553000 | #Constraints: 67380
1114.40/1117.60 c #Conflicts: 554000 | #Constraints: 68380
1114.40/1117.60 c #Conflicts: 555000 | #Constraints: 69380
1114.40/1117.60 c #Conflicts: 556000 | #Constraints: 70380
1114.40/1117.60 c #Conflicts: 557000 | #Constraints: 71380
1114.40/1117.60 c #Conflicts: 558000 | #Constraints: 72380
1114.40/1117.60 c #Conflicts: 559000 | #Constraints: 73380
1114.40/1117.60 c #Conflicts: 560000 | #Constraints: 74380
1114.40/1117.60 c #Conflicts: 561000 | #Constraints: 75380
1114.40/1117.60 c #Conflicts: 562000 | #Constraints: 76380
1114.40/1117.60 c #Conflicts: 563000 | #Constraints: 77380
1114.40/1117.60 c #Conflicts: 564000 | #Constraints: 78380
1114.40/1117.60 c #Conflicts: 565000 | #Constraints: 79380
1114.40/1117.60 c #Conflicts: 566000 | #Constraints: 80380
1114.40/1117.60 c #Conflicts: 567000 | #Constraints: 81380
1114.40/1117.60 c #Conflicts: 568000 | #Constraints: 82380
1114.40/1117.60 c #Conflicts: 569000 | #Constraints: 83380
1114.40/1117.60 c #Conflicts: 570000 | #Constraints: 84380
1114.40/1117.60 c #Conflicts: 571000 | #Constraints: 85380
1114.40/1117.60 c #Conflicts: 572000 | #Constraints: 86380
1114.40/1117.60 c #Conflicts: 573000 | #Constraints: 87380
1114.40/1117.60 c #Conflicts: 574000 | #Constraints: 88380
1114.40/1117.60 c #Conflicts: 575000 | #Constraints: 89380
1114.40/1117.60 c #Conflicts: 576000 | #Constraints: 90380
1114.40/1117.60 c #Conflicts: 577000 | #Constraints: 91380
1114.40/1117.60 c #Conflicts: 578000 | #Constraints: 92380
1114.40/1117.60 c #Conflicts: 579000 | #Constraints: 93380
1114.40/1117.60 c #Conflicts: 580000 | #Constraints: 94380
1114.40/1117.60 c #Conflicts: 581000 | #Constraints: 95380
1114.40/1117.60 c #Conflicts: 582000 | #Constraints: 96380
1114.40/1117.60 c #Conflicts: 583000 | #Constraints: 97380
1114.40/1117.60 c #Conflicts: 584000 | #Constraints: 98380
1114.40/1117.60 c #Conflicts: 585000 | #Constraints: 99380
1114.40/1117.60 c #Conflicts: 586000 | #Constraints: 100380
1114.40/1117.60 c #Conflicts: 587000 | #Constraints: 101380
1114.40/1117.60 c INPROCESSING
1114.40/1117.60 c GARBAGE COLLECT
1114.40/1117.60 c rational objective 155
1372.94/1376.81 c #Conflicts: 588000 | #Constraints: 61745
1372.94/1376.81 c #Conflicts: 589000 | #Constraints: 62745
1372.94/1376.81 c #Conflicts: 590000 | #Constraints: 63745
1372.94/1376.81 c #Conflicts: 591000 | #Constraints: 64745
1372.94/1376.81 c #Conflicts: 592000 | #Constraints: 65745
1372.94/1376.81 c #Conflicts: 593000 | #Constraints: 66745
1372.94/1376.81 c #Conflicts: 594000 | #Constraints: 67745
1372.94/1376.81 c #Conflicts: 595000 | #Constraints: 68745
1372.94/1376.81 c #Conflicts: 596000 | #Constraints: 69745
1372.94/1376.81 c #Conflicts: 597000 | #Constraints: 70745
1372.94/1376.81 c #Conflicts: 598000 | #Constraints: 71745
1372.94/1376.81 c #Conflicts: 599000 | #Constraints: 72745
1372.94/1376.81 c #Conflicts: 600000 | #Constraints: 73745
1372.94/1376.81 c #Conflicts: 601000 | #Constraints: 74745
1372.94/1376.81 c #Conflicts: 602000 | #Constraints: 75745
1372.94/1376.81 c #Conflicts: 603000 | #Constraints: 76745
1372.94/1376.81 c #Conflicts: 604000 | #Constraints: 77745
1372.94/1376.81 c #Conflicts: 605000 | #Constraints: 78745
1372.94/1376.81 c #Conflicts: 606000 | #Constraints: 79745
1372.94/1376.81 c #Conflicts: 607000 | #Constraints: 80746
1372.94/1376.81 c #Conflicts: 608000 | #Constraints: 81746
1372.94/1376.81 c INPROCESSING
1372.94/1376.81 c GARBAGE COLLECT
1372.94/1376.81 c #Conflicts: 609000 | #Constraints: 54938
1372.94/1376.81 c #Conflicts: 610000 | #Constraints: 55938
1372.94/1376.81 c #Conflicts: 611000 | #Constraints: 56938
1372.94/1376.81 c #Conflicts: 612000 | #Constraints: 57938
1372.94/1376.81 c #Conflicts: 613000 | #Constraints: 58938
1372.94/1376.81 c #Conflicts: 614000 | #Constraints: 59938
1372.94/1376.81 c #Conflicts: 615000 | #Constraints: 60938
1372.94/1376.81 c #Conflicts: 616000 | #Constraints: 61938
1372.94/1376.81 c #Conflicts: 617000 | #Constraints: 62938
1372.94/1376.81 c #Conflicts: 618000 | #Constraints: 63938
1372.94/1376.81 c #Conflicts: 619000 | #Constraints: 64938
1372.94/1376.81 c #Conflicts: 620000 | #Constraints: 65938
1372.94/1376.81 c #Conflicts: 621000 | #Constraints: 66938
1372.94/1376.81 c #Conflicts: 622000 | #Constraints: 67938
1372.94/1376.81 c #Conflicts: 623000 | #Constraints: 68938
1372.94/1376.81 c #Conflicts: 624000 | #Constraints: 69938
1372.94/1376.81 c #Conflicts: 625000 | #Constraints: 70938
1372.94/1376.81 c #Conflicts: 626000 | #Constraints: 71938
1372.94/1376.81 c #Conflicts: 627000 | #Constraints: 72938
1372.94/1376.81 c #Conflicts: 628000 | #Constraints: 73938
1372.94/1376.81 c #Conflicts: 629000 | #Constraints: 74938
1372.94/1376.81 c #Conflicts: 630000 | #Constraints: 75938
1372.94/1376.81 c #Conflicts: 631000 | #Constraints: 76938
1372.94/1376.81 c #Conflicts: 632000 | #Constraints: 77938
1372.94/1376.81 c #Conflicts: 633000 | #Constraints: 78938
1372.94/1376.81 c #Conflicts: 634000 | #Constraints: 79938
1372.94/1376.81 c #Conflicts: 635000 | #Constraints: 80938
1372.94/1376.81 c #Conflicts: 636000 | #Constraints: 81938
1372.94/1376.81 c #Conflicts: 637000 | #Constraints: 82938
1372.94/1376.81 c #Conflicts: 638000 | #Constraints: 83938
1372.94/1376.81 c #Conflicts: 639000 | #Constraints: 84938
1372.94/1376.81 c #Conflicts: 640000 | #Constraints: 85938
1372.94/1376.81 c #Conflicts: 641000 | #Constraints: 86938
1372.94/1376.81 c #Conflicts: 642000 | #Constraints: 87938
1372.94/1376.81 c #Conflicts: 643000 | #Constraints: 88938
1372.94/1376.81 c #Conflicts: 644000 | #Constraints: 89938
1372.94/1376.81 c #Conflicts: 645000 | #Constraints: 90938
1372.94/1376.81 c #Conflicts: 646000 | #Constraints: 91938
1372.94/1376.81 c #Conflicts: 647000 | #Constraints: 92938
1372.94/1376.81 c #Conflicts: 648000 | #Constraints: 93938
1372.94/1376.81 c #Conflicts: 649000 | #Constraints: 94938
1372.94/1376.81 c #Conflicts: 650000 | #Constraints: 95938
1372.94/1376.81 c #Conflicts: 651000 | #Constraints: 96938
1372.94/1376.81 c #Conflicts: 652000 | #Constraints: 97938
1372.94/1376.81 c #Conflicts: 653000 | #Constraints: 98938
1372.94/1376.81 c #Conflicts: 654000 | #Constraints: 99938
1372.94/1376.81 c #Conflicts: 655000 | #Constraints: 100938
1372.94/1376.81 c #Conflicts: 656000 | #Constraints: 101938
1372.94/1376.81 c #Conflicts: 657000 | #Constraints: 102938
1372.94/1376.81 c #Conflicts: 658000 | #Constraints: 103938
1372.94/1376.81 c #Conflicts: 659000 | #Constraints: 104938
1372.94/1376.81 c #Conflicts: 660000 | #Constraints: 105938
1372.94/1376.81 c #Conflicts: 661000 | #Constraints: 106938
1372.94/1376.81 c INPROCESSING
1372.94/1376.81 c GARBAGE COLLECT
1372.94/1376.81 c rational objective 155
1549.27/1553.67 c #Conflicts: 662000 | #Constraints: 64563
1549.27/1553.67 c #Conflicts: 663000 | #Constraints: 65563
1549.27/1553.67 c #Conflicts: 664000 | #Constraints: 66563
1549.27/1553.67 c #Conflicts: 665000 | #Constraints: 67563
1549.27/1553.67 c #Conflicts: 666000 | #Constraints: 68563
1549.27/1553.67 c #Conflicts: 667000 | #Constraints: 69563
1549.27/1553.67 c #Conflicts: 668000 | #Constraints: 70563
1549.27/1553.67 c #Conflicts: 669000 | #Constraints: 71563
1549.27/1553.67 c #Conflicts: 670000 | #Constraints: 72563
1549.27/1553.67 c #Conflicts: 671000 | #Constraints: 73563
1549.27/1553.67 c #Conflicts: 672000 | #Constraints: 74563
1549.27/1553.67 c #Conflicts: 673000 | #Constraints: 75563
1549.27/1553.67 c #Conflicts: 674000 | #Constraints: 76563
1549.27/1553.67 c #Conflicts: 675000 | #Constraints: 77563
1549.27/1553.67 c #Conflicts: 676000 | #Constraints: 78563
1549.27/1553.67 c #Conflicts: 677000 | #Constraints: 79563
1549.27/1553.67 c #Conflicts: 678000 | #Constraints: 80563
1549.27/1553.67 c #Conflicts: 679000 | #Constraints: 81563
1549.27/1553.67 c #Conflicts: 680000 | #Constraints: 82563
1549.27/1553.67 c #Conflicts: 681000 | #Constraints: 83563
1549.27/1553.67 c #Conflicts: 682000 | #Constraints: 84563
1549.27/1553.67 c #Conflicts: 683000 | #Constraints: 85563
1549.27/1553.67 c #Conflicts: 684000 | #Constraints: 86563
1549.27/1553.67 c INPROCESSING
1549.27/1553.67 c GARBAGE COLLECT
1549.27/1553.67 c #Conflicts: 685000 | #Constraints: 58037
1549.27/1553.67 c #Conflicts: 686000 | #Constraints: 59037
1549.27/1553.67 c #Conflicts: 687000 | #Constraints: 60037
1549.27/1553.67 c #Conflicts: 688000 | #Constraints: 61037
1549.27/1553.67 c #Conflicts: 689000 | #Constraints: 62037
1549.27/1553.67 c #Conflicts: 690000 | #Constraints: 63037
1549.27/1553.67 c #Conflicts: 691000 | #Constraints: 64037
1549.27/1553.67 c #Conflicts: 692000 | #Constraints: 65037
1549.27/1553.67 c #Conflicts: 693000 | #Constraints: 66037
1549.27/1553.67 c #Conflicts: 694000 | #Constraints: 67037
1549.27/1553.67 c #Conflicts: 695000 | #Constraints: 68037
1549.27/1553.67 c #Conflicts: 696000 | #Constraints: 69037
1549.27/1553.67 c #Conflicts: 697000 | #Constraints: 70037
1549.27/1553.67 c #Conflicts: 698000 | #Constraints: 71037
1549.27/1553.67 c #Conflicts: 699000 | #Constraints: 72037
1549.27/1553.67 c #Conflicts: 700000 | #Constraints: 73037
1549.27/1553.67 c #Conflicts: 701000 | #Constraints: 74037
1549.27/1553.67 c #Conflicts: 702000 | #Constraints: 75037
1549.27/1553.67 c #Conflicts: 703000 | #Constraints: 76037
1549.27/1553.67 c #Conflicts: 704000 | #Constraints: 77037
1549.27/1553.67 c #Conflicts: 705000 | #Constraints: 78037
1549.27/1553.67 c #Conflicts: 706000 | #Constraints: 79037
1549.27/1553.67 c #Conflicts: 707000 | #Constraints: 80037
1549.27/1553.67 c #Conflicts: 708000 | #Constraints: 81037
1549.27/1553.67 c #Conflicts: 709000 | #Constraints: 82037
1549.27/1553.67 c #Conflicts: 710000 | #Constraints: 83037
1549.27/1553.67 c #Conflicts: 711000 | #Constraints: 84037
1549.27/1553.67 c #Conflicts: 712000 | #Constraints: 85038
1549.27/1553.67 c #Conflicts: 713000 | #Constraints: 86038
1549.27/1553.67 c #Conflicts: 714000 | #Constraints: 87038
1549.27/1553.67 c #Conflicts: 715000 | #Constraints: 88038
1549.27/1553.67 c #Conflicts: 716000 | #Constraints: 89038
1549.27/1553.67 c #Conflicts: 717000 | #Constraints: 90038
1549.27/1553.67 c #Conflicts: 718000 | #Constraints: 91038
1549.27/1553.67 c #Conflicts: 719000 | #Constraints: 92038
1549.27/1553.67 c #Conflicts: 720000 | #Constraints: 93038
1549.27/1553.67 c #Conflicts: 721000 | #Constraints: 94038
1549.27/1553.67 c #Conflicts: 722000 | #Constraints: 95038
1549.27/1553.67 c #Conflicts: 723000 | #Constraints: 96038
1549.27/1553.67 c #Conflicts: 724000 | #Constraints: 97038
1549.27/1553.67 c #Conflicts: 725000 | #Constraints: 98038
1549.27/1553.67 c #Conflicts: 726000 | #Constraints: 99038
1549.27/1553.67 c #Conflicts: 727000 | #Constraints: 100038
1549.27/1553.67 c #Conflicts: 728000 | #Constraints: 101038
1549.27/1553.67 c #Conflicts: 729000 | #Constraints: 102038
1549.27/1553.67 c #Conflicts: 730000 | #Constraints: 103038
1549.27/1553.67 c #Conflicts: 731000 | #Constraints: 104038
1549.27/1553.67 c #Conflicts: 732000 | #Constraints: 105038
1549.27/1553.67 c #Conflicts: 733000 | #Constraints: 106038
1549.27/1553.67 c #Conflicts: 734000 | #Constraints: 107038
1549.27/1553.67 c #Conflicts: 735000 | #Constraints: 108038
1549.27/1553.67 c #Conflicts: 736000 | #Constraints: 109038
1549.27/1553.67 c #Conflicts: 737000 | #Constraints: 110038
1549.27/1553.67 c #Conflicts: 738000 | #Constraints: 111038
1549.27/1553.67 c #Conflicts: 739000 | #Constraints: 112038
1549.27/1553.67 c #Conflicts: 740000 | #Constraints: 113038
1726.11/1731.00 c INPROCESSING
1726.11/1731.00 c GARBAGE COLLECT
1726.11/1731.00 c #Conflicts: 741000 | #Constraints: 67892
1726.11/1731.00 c #Conflicts: 742000 | #Constraints: 68892
1726.11/1731.00 c #Conflicts: 743000 | #Constraints: 69892
1726.11/1731.00 c #Conflicts: 744000 | #Constraints: 70892
1726.11/1731.00 c #Conflicts: 745000 | #Constraints: 71892
1726.11/1731.00 c #Conflicts: 746000 | #Constraints: 72893
1726.11/1731.00 c #Conflicts: 747000 | #Constraints: 73893
1726.11/1731.00 c #Conflicts: 748000 | #Constraints: 74893
1726.11/1731.00 c #Conflicts: 749000 | #Constraints: 75893
1726.11/1731.00 c #Conflicts: 750000 | #Constraints: 76893
1726.11/1731.00 c #Conflicts: 751000 | #Constraints: 77893
1726.11/1731.00 c #Conflicts: 752000 | #Constraints: 78893
1726.11/1731.00 c #Conflicts: 753000 | #Constraints: 79893
1726.11/1731.00 c #Conflicts: 754000 | #Constraints: 80893
1726.11/1731.00 c #Conflicts: 755000 | #Constraints: 81893
1726.11/1731.00 c #Conflicts: 756000 | #Constraints: 82893
1726.11/1731.00 c #Conflicts: 757000 | #Constraints: 83893
1726.11/1731.00 c #Conflicts: 758000 | #Constraints: 84893
1726.11/1731.00 c #Conflicts: 759000 | #Constraints: 85893
1726.11/1731.00 c #Conflicts: 760000 | #Constraints: 86893
1726.11/1731.00 c #Conflicts: 761000 | #Constraints: 87894
1726.11/1731.00 c #Conflicts: 762000 | #Constraints: 88894
1726.11/1731.00 c #Conflicts: 763000 | #Constraints: 89894
1726.11/1731.00 c INPROCESSING
1726.11/1731.00 c GARBAGE COLLECT
1726.11/1731.00 c #Conflicts: 764000 | #Constraints: 59511
1726.11/1731.00 c #Conflicts: 765000 | #Constraints: 60511
1726.11/1731.00 c #Conflicts: 766000 | #Constraints: 61511
1726.11/1731.00 c #Conflicts: 767000 | #Constraints: 62511
1726.11/1731.00 c #Conflicts: 768000 | #Constraints: 63511
1726.11/1731.00 c #Conflicts: 769000 | #Constraints: 64511
1726.11/1731.00 c #Conflicts: 770000 | #Constraints: 65511
1726.11/1731.00 c #Conflicts: 771000 | #Constraints: 66511
1726.11/1731.00 c #Conflicts: 772000 | #Constraints: 67511
1726.11/1731.00 c #Conflicts: 773000 | #Constraints: 68511
1726.11/1731.00 c #Conflicts: 774000 | #Constraints: 69511
1726.11/1731.00 c #Conflicts: 775000 | #Constraints: 70511
1726.11/1731.00 c #Conflicts: 776000 | #Constraints: 71511
1726.11/1731.00 c #Conflicts: 777000 | #Constraints: 72511
1726.11/1731.00 c #Conflicts: 778000 | #Constraints: 73511
1726.11/1731.00 c #Conflicts: 779000 | #Constraints: 74511
1726.11/1731.00 c #Conflicts: 780000 | #Constraints: 75511
1726.11/1731.00 c #Conflicts: 781000 | #Constraints: 76511
1726.11/1731.00 c #Conflicts: 782000 | #Constraints: 77511
1726.11/1731.00 c #Conflicts: 783000 | #Constraints: 78511
1726.11/1731.00 c #Conflicts: 784000 | #Constraints: 79511
1726.11/1731.00 c #Conflicts: 785000 | #Constraints: 80511
1726.11/1731.00 c #Conflicts: 786000 | #Constraints: 81511
1726.11/1731.00 c #Conflicts: 787000 | #Constraints: 82511
1726.11/1731.00 c #Conflicts: 788000 | #Constraints: 83511
1726.11/1731.00 c #Conflicts: 789000 | #Constraints: 84511
1726.11/1731.00 c #Conflicts: 790000 | #Constraints: 85511
1726.11/1731.00 c #Conflicts: 791000 | #Constraints: 86511
1726.11/1731.00 c #Conflicts: 792000 | #Constraints: 87511
1726.11/1731.00 c #Conflicts: 793000 | #Constraints: 88511
1726.11/1731.00 c #Conflicts: 794000 | #Constraints: 89511
1726.11/1731.00 c #Conflicts: 795000 | #Constraints: 90511
1726.11/1731.00 c #Conflicts: 796000 | #Constraints: 91511
1726.11/1731.00 c #Conflicts: 797000 | #Constraints: 92511
1726.11/1731.00 c #Conflicts: 798000 | #Constraints: 93511
1726.11/1731.00 c #Conflicts: 799000 | #Constraints: 94511
1726.11/1731.00 c #Conflicts: 800000 | #Constraints: 95511
1726.11/1731.00 c #Conflicts: 801000 | #Constraints: 96511
1726.11/1731.00 c #Conflicts: 802000 | #Constraints: 97511
1726.11/1731.00 c #Conflicts: 803000 | #Constraints: 98511
1726.11/1731.00 c #Conflicts: 804000 | #Constraints: 99511
1726.11/1731.00 c #Conflicts: 805000 | #Constraints: 100511
1726.11/1731.00 c #Conflicts: 806000 | #Constraints: 101511
1726.11/1731.00 c #Conflicts: 807000 | #Constraints: 102511
1726.11/1731.00 c #Conflicts: 808000 | #Constraints: 103511
1726.11/1731.00 c #Conflicts: 809000 | #Constraints: 104511
1726.11/1731.00 c #Conflicts: 810000 | #Constraints: 105511
1726.11/1731.00 c #Conflicts: 811000 | #Constraints: 106511
1726.11/1731.00 c #Conflicts: 812000 | #Constraints: 107511
1726.11/1731.00 c #Conflicts: 813000 | #Constraints: 108511
1726.11/1731.00 c #Conflicts: 814000 | #Constraints: 109511
1726.11/1731.00 c #Conflicts: 815000 | #Constraints: 110511
1726.11/1731.00 c #Conflicts: 816000 | #Constraints: 111511
1726.11/1731.00 c #Conflicts: 817000 | #Constraints: 112511
1895.87/1901.15 c #Conflicts: 818000 | #Constraints: 113511
1895.87/1901.15 c #Conflicts: 819000 | #Constraints: 114511
1895.87/1901.15 c #Conflicts: 820000 | #Constraints: 115511
1895.87/1901.15 c #Conflicts: 821000 | #Constraints: 116511
1895.87/1901.15 c #Conflicts: 822000 | #Constraints: 117511
1895.87/1901.15 c INPROCESSING
1895.87/1901.15 c GARBAGE COLLECT
1895.87/1901.15 c #Conflicts: 823000 | #Constraints: 69785
1895.87/1901.15 c #Conflicts: 824000 | #Constraints: 70785
1895.87/1901.15 c #Conflicts: 825000 | #Constraints: 71785
1895.87/1901.15 c #Conflicts: 826000 | #Constraints: 72785
1895.87/1901.15 c #Conflicts: 827000 | #Constraints: 73785
1895.87/1901.15 c #Conflicts: 828000 | #Constraints: 74785
1895.87/1901.15 c #Conflicts: 829000 | #Constraints: 75785
1895.87/1901.15 c #Conflicts: 830000 | #Constraints: 76785
1895.87/1901.15 c #Conflicts: 831000 | #Constraints: 77785
1895.87/1901.15 c #Conflicts: 832000 | #Constraints: 78785
1895.87/1901.15 c #Conflicts: 833000 | #Constraints: 79785
1895.87/1901.15 c #Conflicts: 834000 | #Constraints: 80785
1895.87/1901.15 c #Conflicts: 835000 | #Constraints: 81785
1895.87/1901.15 c #Conflicts: 836000 | #Constraints: 82785
1895.87/1901.15 c #Conflicts: 837000 | #Constraints: 83785
1895.87/1901.15 c #Conflicts: 838000 | #Constraints: 84785
1895.87/1901.15 c #Conflicts: 839000 | #Constraints: 85785
1895.87/1901.15 c #Conflicts: 840000 | #Constraints: 86785
1895.87/1901.15 c #Conflicts: 841000 | #Constraints: 87785
1895.87/1901.15 c #Conflicts: 842000 | #Constraints: 88785
1895.87/1901.15 c #Conflicts: 843000 | #Constraints: 89785
1895.87/1901.15 c #Conflicts: 844000 | #Constraints: 90785
1895.87/1901.15 c #Conflicts: 845000 | #Constraints: 91785
1895.87/1901.15 c #Conflicts: 846000 | #Constraints: 92785
1895.87/1901.15 c #Conflicts: 847000 | #Constraints: 93785
1895.87/1901.15 c #Conflicts: 848000 | #Constraints: 94785
1895.87/1901.15 c INPROCESSING
1895.87/1901.15 c GARBAGE COLLECT
1895.87/1901.15 c #Conflicts: 849000 | #Constraints: 62585
1895.87/1901.15 c #Conflicts: 850000 | #Constraints: 63585
1895.87/1901.15 c #Conflicts: 851000 | #Constraints: 64585
1895.87/1901.15 c #Conflicts: 852000 | #Constraints: 65585
1895.87/1901.15 c #Conflicts: 853000 | #Constraints: 66585
1895.87/1901.15 c #Conflicts: 854000 | #Constraints: 67585
1895.87/1901.15 c #Conflicts: 855000 | #Constraints: 68585
1895.87/1901.15 c #Conflicts: 856000 | #Constraints: 69585
1895.87/1901.15 c #Conflicts: 857000 | #Constraints: 70585
1895.87/1901.15 c #Conflicts: 858000 | #Constraints: 71585
1895.87/1901.15 c #Conflicts: 859000 | #Constraints: 72585
1895.87/1901.15 c #Conflicts: 860000 | #Constraints: 73585
1895.87/1901.15 c #Conflicts: 861000 | #Constraints: 74585
1895.87/1901.15 c #Conflicts: 862000 | #Constraints: 75585
1895.87/1901.15 c #Conflicts: 863000 | #Constraints: 76585
1895.87/1901.15 c #Conflicts: 864000 | #Constraints: 77585
1895.87/1901.15 c #Conflicts: 865000 | #Constraints: 78585
1895.87/1901.15 c #Conflicts: 866000 | #Constraints: 79585
1895.87/1901.15 c #Conflicts: 867000 | #Constraints: 80585
1895.87/1901.15 c #Conflicts: 868000 | #Constraints: 81585
1895.87/1901.15 c #Conflicts: 869000 | #Constraints: 82585
1895.87/1901.15 c #Conflicts: 870000 | #Constraints: 83585
1895.87/1901.15 c #Conflicts: 871000 | #Constraints: 84585
1895.87/1901.15 c #Conflicts: 872000 | #Constraints: 85585
1895.87/1901.15 c #Conflicts: 873000 | #Constraints: 86585
1895.87/1901.15 c #Conflicts: 874000 | #Constraints: 87585
1895.87/1901.15 c #Conflicts: 875000 | #Constraints: 88585
1895.87/1901.15 c #Conflicts: 876000 | #Constraints: 89585
1895.87/1901.15 c #Conflicts: 877000 | #Constraints: 90585
1895.87/1901.15 c #Conflicts: 878000 | #Constraints: 91585
1895.87/1901.15 c #Conflicts: 879000 | #Constraints: 92585
1895.87/1901.15 c #Conflicts: 880000 | #Constraints: 93585
1895.87/1901.15 c #Conflicts: 881000 | #Constraints: 94585
1895.87/1901.15 c #Conflicts: 882000 | #Constraints: 95585
1895.87/1901.15 c #Conflicts: 883000 | #Constraints: 96585
1895.87/1901.15 c #Conflicts: 884000 | #Constraints: 97585
1895.87/1901.15 c #Conflicts: 885000 | #Constraints: 98585
1895.87/1901.15 c #Conflicts: 886000 | #Constraints: 99585
1895.87/1901.15 c #Conflicts: 887000 | #Constraints: 100585
1895.87/1901.15 c #Conflicts: 888000 | #Constraints: 101585
1895.87/1901.15 c #Conflicts: 889000 | #Constraints: 102585
1895.87/1901.15 c #Conflicts: 890000 | #Constraints: 103585
1895.87/1901.15 c #Conflicts: 891000 | #Constraints: 104585
1895.87/1901.15 c #Conflicts: 892000 | #Constraints: 105585
1895.87/1901.15 c #Conflicts: 893000 | #Constraints: 106585
1895.87/1901.15 c #Conflicts: 894000 | #Constraints: 107585
1895.87/1901.15 c #Conflicts: 895000 | #Constraints: 108585
2126.12/2132.05 c #Conflicts: 896000 | #Constraints: 109585
2126.12/2132.05 c #Conflicts: 897000 | #Constraints: 110585
2126.12/2132.05 c #Conflicts: 898000 | #Constraints: 111585
2126.12/2132.05 c #Conflicts: 899000 | #Constraints: 112585
2126.12/2132.05 c #Conflicts: 900000 | #Constraints: 113585
2126.12/2132.05 c #Conflicts: 901000 | #Constraints: 114585
2126.12/2132.05 c #Conflicts: 902000 | #Constraints: 115585
2126.12/2132.05 c #Conflicts: 903000 | #Constraints: 116585
2126.12/2132.05 c #Conflicts: 904000 | #Constraints: 117585
2126.12/2132.05 c #Conflicts: 905000 | #Constraints: 118585
2126.12/2132.05 c #Conflicts: 906000 | #Constraints: 119585
2126.12/2132.05 c #Conflicts: 907000 | #Constraints: 120585
2126.12/2132.05 c #Conflicts: 908000 | #Constraints: 121585
2126.12/2132.05 c #Conflicts: 909000 | #Constraints: 122585
2126.12/2132.05 c #Conflicts: 910000 | #Constraints: 123585
2126.12/2132.05 c INPROCESSING
2126.12/2132.05 c GARBAGE COLLECT
2126.12/2132.05 c #Conflicts: 911000 | #Constraints: 72989
2126.12/2132.05 c #Conflicts: 912000 | #Constraints: 73989
2126.12/2132.05 c #Conflicts: 913000 | #Constraints: 74989
2126.12/2132.05 c #Conflicts: 914000 | #Constraints: 75989
2126.12/2132.05 c #Conflicts: 915000 | #Constraints: 76989
2126.12/2132.05 c #Conflicts: 916000 | #Constraints: 77989
2126.12/2132.05 c #Conflicts: 917000 | #Constraints: 78989
2126.12/2132.05 c #Conflicts: 918000 | #Constraints: 79989
2126.12/2132.05 c #Conflicts: 919000 | #Constraints: 80989
2126.12/2132.05 c #Conflicts: 920000 | #Constraints: 81989
2126.12/2132.05 c #Conflicts: 921000 | #Constraints: 82989
2126.12/2132.05 c #Conflicts: 922000 | #Constraints: 83989
2126.12/2132.05 c #Conflicts: 923000 | #Constraints: 84989
2126.12/2132.05 c #Conflicts: 924000 | #Constraints: 85989
2126.12/2132.05 c #Conflicts: 925000 | #Constraints: 86989
2126.12/2132.05 c #Conflicts: 926000 | #Constraints: 87989
2126.12/2132.05 c #Conflicts: 927000 | #Constraints: 88989
2126.12/2132.05 c #Conflicts: 928000 | #Constraints: 89989
2126.12/2132.05 c #Conflicts: 929000 | #Constraints: 90989
2126.12/2132.05 c #Conflicts: 930000 | #Constraints: 91989
2126.12/2132.05 c #Conflicts: 931000 | #Constraints: 92989
2126.12/2132.05 c #Conflicts: 932000 | #Constraints: 93989
2126.12/2132.05 c #Conflicts: 933000 | #Constraints: 94989
2126.12/2132.05 c #Conflicts: 934000 | #Constraints: 95989
2126.12/2132.05 c #Conflicts: 935000 | #Constraints: 96989
2126.12/2132.05 c #Conflicts: 936000 | #Constraints: 97989
2126.12/2132.05 c INPROCESSING
2126.12/2132.05 c GARBAGE COLLECT
2126.12/2132.05 c #Conflicts: 937000 | #Constraints: 64473
2126.12/2132.05 c #Conflicts: 938000 | #Constraints: 65473
2126.12/2132.05 c #Conflicts: 939000 | #Constraints: 66473
2126.12/2132.05 c #Conflicts: 940000 | #Constraints: 67473
2126.12/2132.05 c #Conflicts: 941000 | #Constraints: 68473
2126.12/2132.05 c #Conflicts: 942000 | #Constraints: 69473
2126.12/2132.05 c #Conflicts: 943000 | #Constraints: 70473
2126.12/2132.05 c #Conflicts: 944000 | #Constraints: 71473
2126.12/2132.05 c #Conflicts: 945000 | #Constraints: 72473
2126.12/2132.05 c #Conflicts: 946000 | #Constraints: 73473
2126.12/2132.05 c #Conflicts: 947000 | #Constraints: 74473
2126.12/2132.05 c #Conflicts: 948000 | #Constraints: 75473
2126.12/2132.05 c #Conflicts: 949000 | #Constraints: 76473
2126.12/2132.05 c #Conflicts: 950000 | #Constraints: 77473
2126.12/2132.05 c #Conflicts: 951000 | #Constraints: 78473
2126.12/2132.05 c #Conflicts: 952000 | #Constraints: 79473
2126.12/2132.05 c #Conflicts: 953000 | #Constraints: 80473
2126.12/2132.05 c #Conflicts: 954000 | #Constraints: 81473
2126.12/2132.05 c #Conflicts: 955000 | #Constraints: 82473
2126.12/2132.05 c #Conflicts: 956000 | #Constraints: 83473
2126.12/2132.05 c #Conflicts: 957000 | #Constraints: 84473
2126.12/2132.05 c #Conflicts: 958000 | #Constraints: 85473
2126.12/2132.05 c #Conflicts: 959000 | #Constraints: 86473
2126.12/2132.05 c #Conflicts: 960000 | #Constraints: 87473
2126.12/2132.05 c #Conflicts: 961000 | #Constraints: 88473
2126.12/2132.05 c #Conflicts: 962000 | #Constraints: 89473
2126.12/2132.05 c #Conflicts: 963000 | #Constraints: 90473
2126.12/2132.05 c #Conflicts: 964000 | #Constraints: 91473
2126.12/2132.05 c #Conflicts: 965000 | #Constraints: 92473
2126.12/2132.05 c #Conflicts: 966000 | #Constraints: 93473
2126.12/2132.05 c #Conflicts: 967000 | #Constraints: 94473
2126.12/2132.05 c #Conflicts: 968000 | #Constraints: 95473
2126.12/2132.05 c #Conflicts: 969000 | #Constraints: 96473
2126.12/2132.05 c #Conflicts: 970000 | #Constraints: 97473
2126.12/2132.05 c #Conflicts: 971000 | #Constraints: 98473
2126.12/2132.05 c #Conflicts: 972000 | #Constraints: 99473
2340.27/2346.78 c #Conflicts: 973000 | #Constraints: 100473
2340.27/2346.78 c #Conflicts: 974000 | #Constraints: 101473
2340.27/2346.78 c #Conflicts: 975000 | #Constraints: 102473
2340.27/2346.78 c #Conflicts: 976000 | #Constraints: 103473
2340.27/2346.78 c #Conflicts: 977000 | #Constraints: 104473
2340.27/2346.78 c #Conflicts: 978000 | #Constraints: 105473
2340.27/2346.78 c #Conflicts: 979000 | #Constraints: 106473
2340.27/2346.78 c #Conflicts: 980000 | #Constraints: 107473
2340.27/2346.78 c #Conflicts: 981000 | #Constraints: 108473
2340.27/2346.78 c #Conflicts: 982000 | #Constraints: 109473
2340.27/2346.78 c #Conflicts: 983000 | #Constraints: 110473
2340.27/2346.78 c #Conflicts: 984000 | #Constraints: 111473
2340.27/2346.78 c #Conflicts: 985000 | #Constraints: 112473
2340.27/2346.78 c #Conflicts: 986000 | #Constraints: 113473
2340.27/2346.78 c #Conflicts: 987000 | #Constraints: 114473
2340.27/2346.78 c #Conflicts: 988000 | #Constraints: 115473
2340.27/2346.78 c #Conflicts: 989000 | #Constraints: 116473
2340.27/2346.78 c #Conflicts: 990000 | #Constraints: 117473
2340.27/2346.78 c #Conflicts: 991000 | #Constraints: 118473
2340.27/2346.78 c #Conflicts: 992000 | #Constraints: 119473
2340.27/2346.78 c #Conflicts: 993000 | #Constraints: 120473
2340.27/2346.78 c #Conflicts: 994000 | #Constraints: 121473
2340.27/2346.78 c #Conflicts: 995000 | #Constraints: 122473
2340.27/2346.78 c #Conflicts: 996000 | #Constraints: 123473
2340.27/2346.78 c #Conflicts: 997000 | #Constraints: 124473
2340.27/2346.78 c #Conflicts: 998000 | #Constraints: 125473
2340.27/2346.78 c #Conflicts: 999000 | #Constraints: 126473
2340.27/2346.78 c #Conflicts: 1000000 | #Constraints: 127473
2340.27/2346.78 c #Conflicts: 1001000 | #Constraints: 128473
2340.27/2346.78 c INPROCESSING
2340.27/2346.78 c GARBAGE COLLECT
2340.27/2346.78 c #Conflicts: 1002000 | #Constraints: 75303
2340.27/2346.78 c #Conflicts: 1003000 | #Constraints: 76303
2340.27/2346.78 c #Conflicts: 1004000 | #Constraints: 77303
2340.27/2346.78 c #Conflicts: 1005000 | #Constraints: 78303
2340.27/2346.78 c #Conflicts: 1006000 | #Constraints: 79303
2340.27/2346.78 c #Conflicts: 1007000 | #Constraints: 80303
2340.27/2346.78 c #Conflicts: 1008000 | #Constraints: 81303
2340.27/2346.78 c #Conflicts: 1009000 | #Constraints: 82303
2340.27/2346.78 c #Conflicts: 1010000 | #Constraints: 83303
2340.27/2346.78 c #Conflicts: 1011000 | #Constraints: 84303
2340.27/2346.78 c #Conflicts: 1012000 | #Constraints: 85303
2340.27/2346.78 c #Conflicts: 1013000 | #Constraints: 86303
2340.27/2346.78 c #Conflicts: 1014000 | #Constraints: 87303
2340.27/2346.78 c #Conflicts: 1015000 | #Constraints: 88303
2340.27/2346.78 c #Conflicts: 1016000 | #Constraints: 89303
2340.27/2346.78 c #Conflicts: 1017000 | #Constraints: 90303
2340.27/2346.78 c #Conflicts: 1018000 | #Constraints: 91303
2340.27/2346.78 c #Conflicts: 1019000 | #Constraints: 92303
2340.27/2346.78 c #Conflicts: 1020000 | #Constraints: 93303
2340.27/2346.78 c #Conflicts: 1021000 | #Constraints: 94303
2340.27/2346.78 c #Conflicts: 1022000 | #Constraints: 95303
2340.27/2346.78 c #Conflicts: 1023000 | #Constraints: 96303
2340.27/2346.78 c #Conflicts: 1024000 | #Constraints: 97303
2340.27/2346.78 c #Conflicts: 1025000 | #Constraints: 98303
2340.27/2346.78 c #Conflicts: 1026000 | #Constraints: 99303
2340.27/2346.78 c #Conflicts: 1027000 | #Constraints: 100303
2340.27/2346.78 c #Conflicts: 1028000 | #Constraints: 101303
2340.27/2346.78 c #Conflicts: 1029000 | #Constraints: 102303
2340.27/2346.78 c INPROCESSING
2340.27/2346.78 c GARBAGE COLLECT
2340.27/2346.78 c #Conflicts: 1030000 | #Constraints: 66196
2340.27/2346.78 c #Conflicts: 1031000 | #Constraints: 67196
2340.27/2346.78 c #Conflicts: 1032000 | #Constraints: 68196
2340.27/2346.78 c #Conflicts: 1033000 | #Constraints: 69196
2340.27/2346.78 c #Conflicts: 1034000 | #Constraints: 70196
2340.27/2346.78 c #Conflicts: 1035000 | #Constraints: 71196
2340.27/2346.78 c #Conflicts: 1036000 | #Constraints: 72196
2340.27/2346.78 c #Conflicts: 1037000 | #Constraints: 73196
2340.27/2346.78 c #Conflicts: 1038000 | #Constraints: 74196
2340.27/2346.78 c #Conflicts: 1039000 | #Constraints: 75196
2340.27/2346.78 c #Conflicts: 1040000 | #Constraints: 76196
2340.27/2346.78 c #Conflicts: 1041000 | #Constraints: 77196
2340.27/2346.78 c #Conflicts: 1042000 | #Constraints: 78196
2340.27/2346.78 c #Conflicts: 1043000 | #Constraints: 79196
2340.27/2346.78 c #Conflicts: 1044000 | #Constraints: 80196
2340.27/2346.78 c #Conflicts: 1045000 | #Constraints: 81196
2340.27/2346.78 c #Conflicts: 1046000 | #Constraints: 82196
2340.27/2346.78 c #Conflicts: 1047000 | #Constraints: 83196
2340.27/2346.78 c #Conflicts: 1048000 | #Constraints: 84196
2340.27/2346.78 c #Conflicts: 1049000 | #Constraints: 85196
2340.27/2346.78 c #Conflicts: 1050000 | #Constraints: 86196
2631.14/2638.47 c #Conflicts: 1051000 | #Constraints: 87196
2631.14/2638.47 c #Conflicts: 1052000 | #Constraints: 88196
2631.14/2638.47 c #Conflicts: 1053000 | #Constraints: 89196
2631.14/2638.47 c #Conflicts: 1054000 | #Constraints: 90196
2631.14/2638.47 c #Conflicts: 1055000 | #Constraints: 91196
2631.14/2638.47 c #Conflicts: 1056000 | #Constraints: 92196
2631.14/2638.47 c #Conflicts: 1057000 | #Constraints: 93196
2631.14/2638.47 c #Conflicts: 1058000 | #Constraints: 94196
2631.14/2638.47 c #Conflicts: 1059000 | #Constraints: 95196
2631.14/2638.47 c #Conflicts: 1060000 | #Constraints: 96196
2631.14/2638.47 c #Conflicts: 1061000 | #Constraints: 97196
2631.14/2638.47 c #Conflicts: 1062000 | #Constraints: 98196
2631.14/2638.47 c #Conflicts: 1063000 | #Constraints: 99196
2631.14/2638.47 c #Conflicts: 1064000 | #Constraints: 100196
2631.14/2638.47 c #Conflicts: 1065000 | #Constraints: 101196
2631.14/2638.47 c #Conflicts: 1066000 | #Constraints: 102196
2631.14/2638.47 c #Conflicts: 1067000 | #Constraints: 103196
2631.14/2638.47 c #Conflicts: 1068000 | #Constraints: 104196
2631.14/2638.47 c #Conflicts: 1069000 | #Constraints: 105196
2631.14/2638.47 c #Conflicts: 1070000 | #Constraints: 106196
2631.14/2638.47 c #Conflicts: 1071000 | #Constraints: 107196
2631.14/2638.47 c #Conflicts: 1072000 | #Constraints: 108196
2631.14/2638.47 c #Conflicts: 1073000 | #Constraints: 109196
2631.14/2638.47 c #Conflicts: 1074000 | #Constraints: 110196
2631.14/2638.47 c #Conflicts: 1075000 | #Constraints: 111196
2631.14/2638.47 c #Conflicts: 1076000 | #Constraints: 112196
2631.14/2638.47 c #Conflicts: 1077000 | #Constraints: 113196
2631.14/2638.47 c #Conflicts: 1078000 | #Constraints: 114196
2631.14/2638.47 c #Conflicts: 1079000 | #Constraints: 115196
2631.14/2638.47 c #Conflicts: 1080000 | #Constraints: 116196
2631.14/2638.47 c #Conflicts: 1081000 | #Constraints: 117196
2631.14/2638.47 c #Conflicts: 1082000 | #Constraints: 118196
2631.14/2638.47 c #Conflicts: 1083000 | #Constraints: 119196
2631.14/2638.47 c #Conflicts: 1084000 | #Constraints: 120196
2631.14/2638.47 c #Conflicts: 1085000 | #Constraints: 121196
2631.14/2638.47 c #Conflicts: 1086000 | #Constraints: 122196
2631.14/2638.47 c #Conflicts: 1087000 | #Constraints: 123196
2631.14/2638.47 c #Conflicts: 1088000 | #Constraints: 124196
2631.14/2638.47 c #Conflicts: 1089000 | #Constraints: 125196
2631.14/2638.47 c #Conflicts: 1090000 | #Constraints: 126196
2631.14/2638.47 c #Conflicts: 1091000 | #Constraints: 127196
2631.14/2638.47 c #Conflicts: 1092000 | #Constraints: 128196
2631.14/2638.47 c #Conflicts: 1093000 | #Constraints: 129196
2631.14/2638.47 c #Conflicts: 1094000 | #Constraints: 130196
2631.14/2638.47 c #Conflicts: 1095000 | #Constraints: 131196
2631.14/2638.47 c #Conflicts: 1096000 | #Constraints: 132196
2631.14/2638.47 c #Conflicts: 1097000 | #Constraints: 133196
2631.14/2638.47 c #Conflicts: 1098000 | #Constraints: 134196
2631.14/2638.47 c INPROCESSING
2631.14/2638.47 c GARBAGE COLLECT
2631.14/2638.47 c #Conflicts: 1099000 | #Constraints: 78684
2631.14/2638.47 c #Conflicts: 1100000 | #Constraints: 79684
2631.14/2638.47 c #Conflicts: 1101000 | #Constraints: 80684
2631.14/2638.47 c #Conflicts: 1102000 | #Constraints: 81684
2631.14/2638.47 c #Conflicts: 1103000 | #Constraints: 82684
2631.14/2638.47 c #Conflicts: 1104000 | #Constraints: 83684
2631.14/2638.47 c #Conflicts: 1105000 | #Constraints: 84684
2631.14/2638.47 c #Conflicts: 1106000 | #Constraints: 85684
2631.14/2638.47 c #Conflicts: 1107000 | #Constraints: 86684
2631.14/2638.47 c #Conflicts: 1108000 | #Constraints: 87684
2631.14/2638.47 c #Conflicts: 1109000 | #Constraints: 88684
2631.14/2638.47 c #Conflicts: 1110000 | #Constraints: 89684
2631.14/2638.47 c #Conflicts: 1111000 | #Constraints: 90684
2631.14/2638.47 c #Conflicts: 1112000 | #Constraints: 91684
2631.14/2638.47 c #Conflicts: 1113000 | #Constraints: 92684
2631.14/2638.47 c #Conflicts: 1114000 | #Constraints: 93684
2631.14/2638.47 c #Conflicts: 1115000 | #Constraints: 94684
2631.14/2638.47 c #Conflicts: 1116000 | #Constraints: 95684
2631.14/2638.47 c #Conflicts: 1117000 | #Constraints: 96684
2631.14/2638.47 c #Conflicts: 1118000 | #Constraints: 97684
2631.14/2638.47 c #Conflicts: 1119000 | #Constraints: 98684
2631.14/2638.47 c #Conflicts: 1120000 | #Constraints: 99684
2631.14/2638.47 c #Conflicts: 1121000 | #Constraints: 100684
2631.14/2638.47 c #Conflicts: 1122000 | #Constraints: 101684
2631.14/2638.47 c #Conflicts: 1123000 | #Constraints: 102684
2631.14/2638.47 c #Conflicts: 1124000 | #Constraints: 103684
2631.14/2638.47 c #Conflicts: 1125000 | #Constraints: 104684
2631.14/2638.47 c #Conflicts: 1126000 | #Constraints: 105684
2631.14/2638.47 c #Conflicts: 1127000 | #Constraints: 106684
2631.14/2638.47 c INPROCESSING
2845.53/2853.54 c GARBAGE COLLECT
2845.53/2853.54 c #Conflicts: 1128000 | #Constraints: 68113
2845.53/2853.54 c #Conflicts: 1129000 | #Constraints: 69113
2845.53/2853.54 c #Conflicts: 1130000 | #Constraints: 70113
2845.53/2853.54 c #Conflicts: 1131000 | #Constraints: 71113
2845.53/2853.54 c #Conflicts: 1132000 | #Constraints: 72113
2845.53/2853.54 c #Conflicts: 1133000 | #Constraints: 73113
2845.53/2853.54 c #Conflicts: 1134000 | #Constraints: 74113
2845.53/2853.54 c #Conflicts: 1135000 | #Constraints: 75113
2845.53/2853.54 c #Conflicts: 1136000 | #Constraints: 76113
2845.53/2853.54 c #Conflicts: 1137000 | #Constraints: 77113
2845.53/2853.54 c #Conflicts: 1138000 | #Constraints: 78113
2845.53/2853.54 c #Conflicts: 1139000 | #Constraints: 79113
2845.53/2853.54 c #Conflicts: 1140000 | #Constraints: 80113
2845.53/2853.54 c #Conflicts: 1141000 | #Constraints: 81113
2845.53/2853.54 c #Conflicts: 1142000 | #Constraints: 82113
2845.53/2853.54 c #Conflicts: 1143000 | #Constraints: 83113
2845.53/2853.54 c #Conflicts: 1144000 | #Constraints: 84113
2845.53/2853.54 c #Conflicts: 1145000 | #Constraints: 85113
2845.53/2853.54 c #Conflicts: 1146000 | #Constraints: 86113
2845.53/2853.54 c #Conflicts: 1147000 | #Constraints: 87113
2845.53/2853.54 c #Conflicts: 1148000 | #Constraints: 88113
2845.53/2853.54 c #Conflicts: 1149000 | #Constraints: 89113
2845.53/2853.54 c #Conflicts: 1150000 | #Constraints: 90113
2845.53/2853.54 c #Conflicts: 1151000 | #Constraints: 91113
2845.53/2853.54 c #Conflicts: 1152000 | #Constraints: 92113
2845.53/2853.54 c #Conflicts: 1153000 | #Constraints: 93113
2845.53/2853.54 c #Conflicts: 1154000 | #Constraints: 94113
2845.53/2853.54 c #Conflicts: 1155000 | #Constraints: 95113
2845.53/2853.54 c #Conflicts: 1156000 | #Constraints: 96113
2845.53/2853.54 c #Conflicts: 1157000 | #Constraints: 97113
2845.53/2853.54 c #Conflicts: 1158000 | #Constraints: 98113
2845.53/2853.54 c #Conflicts: 1159000 | #Constraints: 99113
2845.53/2853.54 c #Conflicts: 1160000 | #Constraints: 100113
2845.53/2853.54 c #Conflicts: 1161000 | #Constraints: 101113
2845.53/2853.54 c #Conflicts: 1162000 | #Constraints: 102113
2845.53/2853.54 c #Conflicts: 1163000 | #Constraints: 103113
2845.53/2853.54 c #Conflicts: 1164000 | #Constraints: 104113
2845.53/2853.54 c #Conflicts: 1165000 | #Constraints: 105113
2845.53/2853.54 c #Conflicts: 1166000 | #Constraints: 106113
2845.53/2853.54 c #Conflicts: 1167000 | #Constraints: 107113
2845.53/2853.54 c #Conflicts: 1168000 | #Constraints: 108113
2845.53/2853.54 c #Conflicts: 1169000 | #Constraints: 109113
2845.53/2853.54 c #Conflicts: 1170000 | #Constraints: 110113
2845.53/2853.54 c #Conflicts: 1171000 | #Constraints: 111113
2845.53/2853.54 c #Conflicts: 1172000 | #Constraints: 112113
2845.53/2853.54 c #Conflicts: 1173000 | #Constraints: 113113
2845.53/2853.54 c #Conflicts: 1174000 | #Constraints: 114113
2845.53/2853.54 c #Conflicts: 1175000 | #Constraints: 115113
2845.53/2853.54 c #Conflicts: 1176000 | #Constraints: 116113
2845.53/2853.54 c #Conflicts: 1177000 | #Constraints: 117113
2845.53/2853.54 c #Conflicts: 1178000 | #Constraints: 118113
2845.53/2853.54 c #Conflicts: 1179000 | #Constraints: 119113
2845.53/2853.54 c #Conflicts: 1180000 | #Constraints: 120113
2845.53/2853.54 c #Conflicts: 1181000 | #Constraints: 121113
2845.53/2853.54 c #Conflicts: 1182000 | #Constraints: 122113
2845.53/2853.54 c #Conflicts: 1183000 | #Constraints: 123113
2845.53/2853.54 c #Conflicts: 1184000 | #Constraints: 124113
2845.53/2853.54 c #Conflicts: 1185000 | #Constraints: 125113
2845.53/2853.54 c #Conflicts: 1186000 | #Constraints: 126113
2845.53/2853.54 c #Conflicts: 1187000 | #Constraints: 127113
2845.53/2853.54 c #Conflicts: 1188000 | #Constraints: 128113
2845.53/2853.54 c #Conflicts: 1189000 | #Constraints: 129113
2845.53/2853.54 c #Conflicts: 1190000 | #Constraints: 130113
2845.53/2853.54 c #Conflicts: 1191000 | #Constraints: 131113
2845.53/2853.54 c #Conflicts: 1192000 | #Constraints: 132113
2845.53/2853.54 c #Conflicts: 1193000 | #Constraints: 133113
2845.53/2853.54 c #Conflicts: 1194000 | #Constraints: 134113
2845.53/2853.54 c #Conflicts: 1195000 | #Constraints: 135113
2845.53/2853.54 c #Conflicts: 1196000 | #Constraints: 136113
2845.53/2853.54 c #Conflicts: 1197000 | #Constraints: 137113
2845.53/2853.54 c #Conflicts: 1198000 | #Constraints: 138113
2845.53/2853.54 c INPROCESSING
2845.53/2853.54 c GARBAGE COLLECT
2845.53/2853.54 c #Conflicts: 1199000 | #Constraints: 80534
2845.53/2853.54 c #Conflicts: 1200000 | #Constraints: 81534
2845.53/2853.54 c #Conflicts: 1201000 | #Constraints: 82534
2845.53/2853.54 c #Conflicts: 1202000 | #Constraints: 83534
2845.53/2853.54 c #Conflicts: 1203000 | #Constraints: 84534
2845.53/2853.54 c #Conflicts: 1204000 | #Constraints: 85534
2845.53/2853.54 c #Conflicts: 1205000 | #Constraints: 86534
3031.11/3039.80 c #Conflicts: 1206000 | #Constraints: 87534
3031.11/3039.80 c #Conflicts: 1207000 | #Constraints: 88534
3031.11/3039.80 c #Conflicts: 1208000 | #Constraints: 89534
3031.11/3039.80 c #Conflicts: 1209000 | #Constraints: 90534
3031.11/3039.80 c #Conflicts: 1210000 | #Constraints: 91534
3031.11/3039.80 c #Conflicts: 1211000 | #Constraints: 92534
3031.11/3039.80 c #Conflicts: 1212000 | #Constraints: 93534
3031.11/3039.80 c #Conflicts: 1213000 | #Constraints: 94534
3031.11/3039.80 c #Conflicts: 1214000 | #Constraints: 95534
3031.11/3039.80 c #Conflicts: 1215000 | #Constraints: 96534
3031.11/3039.80 c #Conflicts: 1216000 | #Constraints: 97534
3031.11/3039.80 c #Conflicts: 1217000 | #Constraints: 98534
3031.11/3039.80 c #Conflicts: 1218000 | #Constraints: 99534
3031.11/3039.80 c #Conflicts: 1219000 | #Constraints: 100534
3031.11/3039.80 c #Conflicts: 1220000 | #Constraints: 101534
3031.11/3039.80 c #Conflicts: 1221000 | #Constraints: 102534
3031.11/3039.80 c #Conflicts: 1222000 | #Constraints: 103534
3031.11/3039.80 c #Conflicts: 1223000 | #Constraints: 104534
3031.11/3039.80 c #Conflicts: 1224000 | #Constraints: 105534
3031.11/3039.80 c #Conflicts: 1225000 | #Constraints: 106534
3031.11/3039.80 c #Conflicts: 1226000 | #Constraints: 107534
3031.11/3039.80 c #Conflicts: 1227000 | #Constraints: 108534
3031.11/3039.80 c #Conflicts: 1228000 | #Constraints: 109534
3031.11/3039.80 c INPROCESSING
3031.11/3039.80 c GARBAGE COLLECT
3031.11/3039.80 c #Conflicts: 1229000 | #Constraints: 69914
3031.11/3039.80 c #Conflicts: 1230000 | #Constraints: 70914
3031.11/3039.80 c #Conflicts: 1231000 | #Constraints: 71914
3031.11/3039.80 c #Conflicts: 1232000 | #Constraints: 72914
3031.11/3039.80 c #Conflicts: 1233000 | #Constraints: 73914
3031.11/3039.80 c #Conflicts: 1234000 | #Constraints: 74914
3031.11/3039.80 c #Conflicts: 1235000 | #Constraints: 75914
3031.11/3039.80 c #Conflicts: 1236000 | #Constraints: 76914
3031.11/3039.80 c #Conflicts: 1237000 | #Constraints: 77914
3031.11/3039.80 c #Conflicts: 1238000 | #Constraints: 78914
3031.11/3039.80 c #Conflicts: 1239000 | #Constraints: 79914
3031.11/3039.80 c #Conflicts: 1240000 | #Constraints: 80914
3031.11/3039.80 c #Conflicts: 1241000 | #Constraints: 81914
3031.11/3039.80 c #Conflicts: 1242000 | #Constraints: 82914
3031.11/3039.80 c #Conflicts: 1243000 | #Constraints: 83914
3031.11/3039.80 c #Conflicts: 1244000 | #Constraints: 84914
3031.11/3039.80 c #Conflicts: 1245000 | #Constraints: 85914
3031.11/3039.80 c #Conflicts: 1246000 | #Constraints: 86914
3031.11/3039.80 c #Conflicts: 1247000 | #Constraints: 87914
3031.11/3039.80 c #Conflicts: 1248000 | #Constraints: 88914
3031.11/3039.80 c #Conflicts: 1249000 | #Constraints: 89914
3031.11/3039.80 c #Conflicts: 1250000 | #Constraints: 90914
3031.11/3039.80 c #Conflicts: 1251000 | #Constraints: 91914
3031.11/3039.80 c #Conflicts: 1252000 | #Constraints: 92914
3031.11/3039.80 c #Conflicts: 1253000 | #Constraints: 93914
3031.11/3039.80 c #Conflicts: 1254000 | #Constraints: 94914
3031.11/3039.80 c #Conflicts: 1255000 | #Constraints: 95914
3031.11/3039.80 c #Conflicts: 1256000 | #Constraints: 96914
3031.11/3039.80 c #Conflicts: 1257000 | #Constraints: 97914
3031.11/3039.80 c #Conflicts: 1258000 | #Constraints: 98914
3031.11/3039.80 c #Conflicts: 1259000 | #Constraints: 99914
3031.11/3039.80 c #Conflicts: 1260000 | #Constraints: 100914
3031.11/3039.80 c #Conflicts: 1261000 | #Constraints: 101914
3031.11/3039.80 c #Conflicts: 1262000 | #Constraints: 102914
3031.11/3039.80 c #Conflicts: 1263000 | #Constraints: 103914
3031.11/3039.80 c #Conflicts: 1264000 | #Constraints: 104914
3031.11/3039.80 c #Conflicts: 1265000 | #Constraints: 105914
3031.11/3039.80 c #Conflicts: 1266000 | #Constraints: 106914
3031.11/3039.80 c #Conflicts: 1267000 | #Constraints: 107914
3031.11/3039.80 c #Conflicts: 1268000 | #Constraints: 108914
3031.11/3039.80 c #Conflicts: 1269000 | #Constraints: 109914
3031.11/3039.80 c #Conflicts: 1270000 | #Constraints: 110914
3031.11/3039.80 c #Conflicts: 1271000 | #Constraints: 111914
3031.11/3039.80 c #Conflicts: 1272000 | #Constraints: 112914
3031.11/3039.80 c #Conflicts: 1273000 | #Constraints: 113914
3031.11/3039.80 c #Conflicts: 1274000 | #Constraints: 114914
3031.11/3039.80 c #Conflicts: 1275000 | #Constraints: 115914
3031.11/3039.80 c #Conflicts: 1276000 | #Constraints: 116914
3031.11/3039.80 c #Conflicts: 1277000 | #Constraints: 117914
3031.11/3039.80 c #Conflicts: 1278000 | #Constraints: 118914
3031.11/3039.80 c #Conflicts: 1279000 | #Constraints: 119914
3031.11/3039.80 c #Conflicts: 1280000 | #Constraints: 120914
3031.11/3039.80 c #Conflicts: 1281000 | #Constraints: 121914
3031.11/3039.80 c #Conflicts: 1282000 | #Constraints: 122914
3031.11/3039.80 c #Conflicts: 1283000 | #Constraints: 123914
3175.74/3184.86 c #Conflicts: 1284000 | #Constraints: 124914
3175.74/3184.86 c #Conflicts: 1285000 | #Constraints: 125914
3175.74/3184.86 c #Conflicts: 1286000 | #Constraints: 126914
3175.74/3184.86 c #Conflicts: 1287000 | #Constraints: 127914
3175.74/3184.86 c #Conflicts: 1288000 | #Constraints: 128914
3175.74/3184.86 c #Conflicts: 1289000 | #Constraints: 129914
3175.74/3184.86 c #Conflicts: 1290000 | #Constraints: 130914
3175.74/3184.86 c #Conflicts: 1291000 | #Constraints: 131914
3175.74/3184.86 c #Conflicts: 1292000 | #Constraints: 132914
3175.74/3184.86 c #Conflicts: 1293000 | #Constraints: 133914
3175.74/3184.86 c #Conflicts: 1294000 | #Constraints: 134914
3175.74/3184.86 c #Conflicts: 1295000 | #Constraints: 135914
3175.74/3184.86 c #Conflicts: 1296000 | #Constraints: 136914
3175.74/3184.86 c #Conflicts: 1297000 | #Constraints: 137914
3175.74/3184.86 c #Conflicts: 1298000 | #Constraints: 138914
3175.74/3184.86 c #Conflicts: 1299000 | #Constraints: 139914
3175.74/3184.86 c #Conflicts: 1300000 | #Constraints: 140914
3175.74/3184.86 c #Conflicts: 1301000 | #Constraints: 141914
3175.74/3184.86 c #Conflicts: 1302000 | #Constraints: 142914
3175.74/3184.86 c #Conflicts: 1303000 | #Constraints: 143914
3175.74/3184.86 c INPROCESSING
3175.74/3184.86 c GARBAGE COLLECT
3175.74/3184.86 c rational objective 155
3395.24/3405.08 c #Conflicts: 1304000 | #Constraints: 83481
3395.24/3405.08 c #Conflicts: 1305000 | #Constraints: 84481
3395.24/3405.08 c #Conflicts: 1306000 | #Constraints: 85481
3395.24/3405.08 c #Conflicts: 1307000 | #Constraints: 86481
3395.24/3405.08 c #Conflicts: 1308000 | #Constraints: 87481
3395.24/3405.08 c #Conflicts: 1309000 | #Constraints: 88481
3395.24/3405.08 c #Conflicts: 1310000 | #Constraints: 89481
3395.24/3405.08 c #Conflicts: 1311000 | #Constraints: 90481
3395.24/3405.08 c #Conflicts: 1312000 | #Constraints: 91481
3395.24/3405.08 c #Conflicts: 1313000 | #Constraints: 92481
3395.24/3405.08 c #Conflicts: 1314000 | #Constraints: 93481
3395.24/3405.08 c #Conflicts: 1315000 | #Constraints: 94481
3395.24/3405.08 c #Conflicts: 1316000 | #Constraints: 95481
3395.24/3405.08 c #Conflicts: 1317000 | #Constraints: 96481
3395.24/3405.08 c #Conflicts: 1318000 | #Constraints: 97481
3395.24/3405.08 c #Conflicts: 1319000 | #Constraints: 98481
3395.24/3405.08 c #Conflicts: 1320000 | #Constraints: 99481
3395.24/3405.08 c #Conflicts: 1321000 | #Constraints: 100481
3395.24/3405.08 c #Conflicts: 1322000 | #Constraints: 101481
3395.24/3405.08 c #Conflicts: 1323000 | #Constraints: 102481
3395.24/3405.08 c #Conflicts: 1324000 | #Constraints: 103481
3395.24/3405.08 c #Conflicts: 1325000 | #Constraints: 104481
3395.24/3405.08 c #Conflicts: 1326000 | #Constraints: 105481
3395.24/3405.08 c #Conflicts: 1327000 | #Constraints: 106481
3395.24/3405.08 c #Conflicts: 1328000 | #Constraints: 107481
3395.24/3405.08 c #Conflicts: 1329000 | #Constraints: 108481
3395.24/3405.08 c #Conflicts: 1330000 | #Constraints: 109481
3395.24/3405.08 c #Conflicts: 1331000 | #Constraints: 110481
3395.24/3405.08 c #Conflicts: 1332000 | #Constraints: 111481
3395.24/3405.08 c #Conflicts: 1333000 | #Constraints: 112481
3395.24/3405.08 c #Conflicts: 1334000 | #Constraints: 113481
3395.24/3405.08 c #Conflicts: 1335000 | #Constraints: 114481
3395.24/3405.08 c INPROCESSING
3395.24/3405.08 c GARBAGE COLLECT
3395.24/3405.08 c #Conflicts: 1336000 | #Constraints: 73195
3395.24/3405.08 c #Conflicts: 1337000 | #Constraints: 74195
3395.24/3405.08 c #Conflicts: 1338000 | #Constraints: 75195
3395.24/3405.08 c #Conflicts: 1339000 | #Constraints: 76195
3395.24/3405.08 c #Conflicts: 1340000 | #Constraints: 77195
3395.24/3405.08 c #Conflicts: 1341000 | #Constraints: 78195
3395.24/3405.08 c #Conflicts: 1342000 | #Constraints: 79195
3395.24/3405.08 c #Conflicts: 1343000 | #Constraints: 80195
3395.24/3405.08 c #Conflicts: 1344000 | #Constraints: 81195
3395.24/3405.08 c #Conflicts: 1345000 | #Constraints: 82195
3395.24/3405.08 c #Conflicts: 1346000 | #Constraints: 83195
3395.24/3405.08 c #Conflicts: 1347000 | #Constraints: 84195
3395.24/3405.08 c #Conflicts: 1348000 | #Constraints: 85195
3395.24/3405.08 c #Conflicts: 1349000 | #Constraints: 86195
3395.24/3405.08 c #Conflicts: 1350000 | #Constraints: 87195
3395.24/3405.08 c #Conflicts: 1351000 | #Constraints: 88195
3395.24/3405.08 c #Conflicts: 1352000 | #Constraints: 89195
3395.24/3405.08 c #Conflicts: 1353000 | #Constraints: 90195
3395.24/3405.08 c #Conflicts: 1354000 | #Constraints: 91195
3395.24/3405.08 c #Conflicts: 1355000 | #Constraints: 92195
3395.24/3405.08 c #Conflicts: 1356000 | #Constraints: 93195
3395.24/3405.08 c #Conflicts: 1357000 | #Constraints: 94195
3395.24/3405.08 c #Conflicts: 1358000 | #Constraints: 95195
3395.24/3405.08 c #Conflicts: 1359000 | #Constraints: 96195
3395.24/3405.08 c #Conflicts: 1360000 | #Constraints: 97195
3395.24/3405.08 c #Conflicts: 1361000 | #Constraints: 98195
3395.24/3405.08 c #Conflicts: 1362000 | #Constraints: 99195
3395.24/3405.08 c #Conflicts: 1363000 | #Constraints: 100195
3395.24/3405.08 c #Conflicts: 1364000 | #Constraints: 101195
3395.24/3405.08 c #Conflicts: 1365000 | #Constraints: 102195
3395.24/3405.08 c #Conflicts: 1366000 | #Constraints: 103195
3395.24/3405.08 c #Conflicts: 1367000 | #Constraints: 104195
3395.24/3405.08 c #Conflicts: 1368000 | #Constraints: 105195
3395.24/3405.08 c #Conflicts: 1369000 | #Constraints: 106195
3395.24/3405.08 c #Conflicts: 1370000 | #Constraints: 107195
3395.24/3405.08 c #Conflicts: 1371000 | #Constraints: 108195
3395.24/3405.08 c #Conflicts: 1372000 | #Constraints: 109195
3395.24/3405.08 c #Conflicts: 1373000 | #Constraints: 110195
3395.24/3405.08 c #Conflicts: 1374000 | #Constraints: 111195
3395.24/3405.08 c #Conflicts: 1375000 | #Constraints: 112195
3395.24/3405.08 c #Conflicts: 1376000 | #Constraints: 113195
3395.24/3405.08 c #Conflicts: 1377000 | #Constraints: 114195
3395.24/3405.08 c #Conflicts: 1378000 | #Constraints: 115195
3395.24/3405.08 c #Conflicts: 1379000 | #Constraints: 116195
3395.24/3405.08 c #Conflicts: 1380000 | #Constraints: 117195
3395.24/3405.08 c #Conflicts: 1381000 | #Constraints: 118195
3395.24/3405.08 c #Conflicts: 1382000 | #Constraints: 119195
3600.05/3610.50 c #Conflicts: 1383000 | #Constraints: 120195
3600.05/3610.50 c #Conflicts: 1384000 | #Constraints: 121195
3600.05/3610.50 c #Conflicts: 1385000 | #Constraints: 122195
3600.05/3610.50 c #Conflicts: 1386000 | #Constraints: 123195
3600.05/3610.50 c #Conflicts: 1387000 | #Constraints: 124195
3600.05/3610.50 c #Conflicts: 1388000 | #Constraints: 125195
3600.05/3610.50 c #Conflicts: 1389000 | #Constraints: 126195
3600.05/3610.50 c #Conflicts: 1390000 | #Constraints: 127195
3600.05/3610.50 c #Conflicts: 1391000 | #Constraints: 128195
3600.05/3610.50 c #Conflicts: 1392000 | #Constraints: 129195
3600.05/3610.50 c #Conflicts: 1393000 | #Constraints: 130195
3600.05/3610.50 c #Conflicts: 1394000 | #Constraints: 131195
3600.05/3610.50 c #Conflicts: 1395000 | #Constraints: 132195
3600.05/3610.50 c #Conflicts: 1396000 | #Constraints: 133195
3600.05/3610.50 c #Conflicts: 1397000 | #Constraints: 134195
3600.05/3610.50 c #Conflicts: 1398000 | #Constraints: 135195
3600.05/3610.50 c #Conflicts: 1399000 | #Constraints: 136195
3600.05/3610.50 c #Conflicts: 1400000 | #Constraints: 137195
3600.05/3610.50 c #Conflicts: 1401000 | #Constraints: 138195
3600.05/3610.50 c #Conflicts: 1402000 | #Constraints: 139195
3600.05/3610.50 c #Conflicts: 1403000 | #Constraints: 140195
3600.05/3610.50 c #Conflicts: 1404000 | #Constraints: 141195
3600.05/3610.50 c #Conflicts: 1405000 | #Constraints: 142195
3600.05/3610.50 c #Conflicts: 1406000 | #Constraints: 143195
3600.05/3610.50 c #Conflicts: 1407000 | #Constraints: 144195
3600.05/3610.50 c #Conflicts: 1408000 | #Constraints: 145195
3600.05/3610.50 c #Conflicts: 1409000 | #Constraints: 146195
3600.05/3610.50 c #Conflicts: 1410000 | #Constraints: 147195
3600.05/3610.50 c #Conflicts: 1411000 | #Constraints: 148195
3600.05/3610.50 c #Conflicts: 1412000 | #Constraints: 149195
3600.05/3610.50 c INPROCESSING
3600.05/3610.50 c GARBAGE COLLECT
3600.05/3610.50 c #Conflicts: 1413000 | #Constraints: 85874
3600.05/3610.50 c #Conflicts: 1414000 | #Constraints: 86874
3600.05/3610.50 c #Conflicts: 1415000 | #Constraints: 87874
3600.05/3610.50 c #Conflicts: 1416000 | #Constraints: 88874
3600.05/3610.50 c #Conflicts: 1417000 | #Constraints: 89874
3600.05/3610.50 c #Conflicts: 1418000 | #Constraints: 90874
3600.05/3610.50 c #Conflicts: 1419000 | #Constraints: 91874
3600.05/3610.50 c #Conflicts: 1420000 | #Constraints: 92874
3600.05/3610.50 c #Conflicts: 1421000 | #Constraints: 93874
3600.05/3610.50 c #Conflicts: 1422000 | #Constraints: 94874
3600.05/3610.50 c #Conflicts: 1423000 | #Constraints: 95874
3600.05/3610.50 c #Conflicts: 1424000 | #Constraints: 96874
3600.05/3610.50 c #Conflicts: 1425000 | #Constraints: 97874
3600.05/3610.50 c #Conflicts: 1426000 | #Constraints: 98874
3600.05/3610.50 c #Conflicts: 1427000 | #Constraints: 99874
3600.05/3610.50 c #Conflicts: 1428000 | #Constraints: 100874
3600.05/3610.50 c #Conflicts: 1429000 | #Constraints: 101874
3600.05/3610.50 c #Conflicts: 1430000 | #Constraints: 102874
3600.05/3610.50 c #Conflicts: 1431000 | #Constraints: 103874
3600.05/3610.50 c #Conflicts: 1432000 | #Constraints: 104874
3600.05/3610.50 c #Conflicts: 1433000 | #Constraints: 105874
3600.05/3610.50 c #Conflicts: 1434000 | #Constraints: 106874
3600.05/3610.50 c #Conflicts: 1435000 | #Constraints: 107874
3600.05/3610.50 c #Conflicts: 1436000 | #Constraints: 108874
3600.05/3610.50 c #Conflicts: 1437000 | #Constraints: 109874
3600.05/3610.50 c #Conflicts: 1438000 | #Constraints: 110874
3600.05/3610.50 c #Conflicts: 1439000 | #Constraints: 111874
3600.05/3610.50 c #Conflicts: 1440000 | #Constraints: 112874
3600.05/3610.50 c #Conflicts: 1441000 | #Constraints: 113874
3600.05/3610.50 c #Conflicts: 1442000 | #Constraints: 114874
3600.05/3610.50 c #Conflicts: 1443000 | #Constraints: 115874
3600.05/3610.50 c #Conflicts: 1444000 | #Constraints: 116874
3600.05/3610.50 c #Conflicts: 1445000 | #Constraints: 117874
3600.05/3610.50 c INPROCESSING
3600.05/3610.50 c GARBAGE COLLECT
3600.05/3610.50 c #Conflicts: 1446000 | #Constraints: 75158
3600.05/3610.50 c #Conflicts: 1447000 | #Constraints: 76158
3600.05/3610.50 c #Conflicts: 1448000 | #Constraints: 77158
3600.05/3610.50 c #Conflicts: 1449000 | #Constraints: 78158
3600.05/3610.50 c #Conflicts: 1450000 | #Constraints: 79158
3600.05/3610.50 c #Conflicts: 1451000 | #Constraints: 80158
3600.05/3610.50 c #Conflicts: 1452000 | #Constraints: 81158
3600.05/3610.50 c cpu time 3573.89 s
3600.05/3610.50 c deterministic time 244445782420 2.44e+11
3600.05/3610.50 c optimization time 9.72014 s
3600.05/3610.50 c total solve time 3563.94 s
3600.05/3610.50 c core-guided solve time 0 s
3600.05/3610.50 c propagation time 1818.5 s
3600.05/3610.50 c conflict analysis time 1427.47 s
3600.05/3610.50 c propagations 1441296444
3600.05/3610.50 c resolve steps 96844937
3600.05/3610.50 c decisions 27955870
3600.05/3610.50 c conflicts 1452244
3600.05/3610.50 c restarts 2812
3600.05/3610.50 c inprocessing phases 52
3600.05/3610.50 c garbage collections 52 ,( 100.00 )
3600.05/3610.50 c input clauses 18602 ,( 99.17 )
3600.05/3610.50 c input cardinalities 155 ,( 0.83 )
3600.05/3610.50 c input general constraints 0 ,( 0.00 )
3600.05/3610.50 c input average constraint length 6.43
3600.05/3610.50 c input average constraint degree 1.97
3600.05/3610.50 c learned clauses 1084596 ,( 74.68 )
3600.05/3610.50 c learned cardinalities 43130 ,( 2.97 )
3600.05/3610.50 c learned general constraints 324528 ,( 22.35 )
3600.05/3610.50 c learned average constraint length 749.10
3600.05/3610.50 c learned average constraint degree 19373551.39
3600.05/3610.50 c watched CF 32, 64, 128, Arb: 85999 , 0 , 0 , 0
3600.05/3610.50 c counting CF 32, 64, 128, Arb: 238529 , 0 , 0 , 0
3600.05/3610.50 c watched constraints 85999 ,( 26.50 )
3600.05/3610.50 c counting constraints 238529 ,( 73.50 )
3600.05/3610.50 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 1417601567 , 679950894 , 2065732692 ,( 83016458 , 1982716234 )
3600.05/3610.50 c gcd simplifications 839
3600.05/3610.50 c detected cardinalities 5702
3600.05/3610.50 c weakened non-implied lits 413791498
3600.05/3610.50 c weakened non-implying lits 254262
3600.05/3610.50 c original variables 18445
3600.05/3610.50 c clausal propagations 656987288
3600.05/3610.50 c cardinality propagations 528621579
3600.05/3610.50 c watched propagations 4935580
3600.05/3610.50 c counting propagations 238308910
3600.05/3610.50 c watch lookups 86562622101
3600.05/3610.50 c watch backjump lookups 0
3600.05/3610.50 c watch checks 35807306587
3600.05/3610.50 c propagation checks 113883363799
3600.05/3610.50 c constraint additions 5252237028
3600.05/3610.50 c trail pops 1470689068
3600.05/3610.50 c formula constraints 18757
3600.05/3610.50 c learned constraints 1452238
3600.05/3610.50 c bound constraints 0
3600.05/3610.50 c core-guided constraints 0
3600.05/3610.50 c encountered formula constraints 62326102
3600.05/3610.50 c encountered learned constraints 35968275
3600.05/3610.50 c encountered bound constraints 0
3600.05/3610.50 c encountered core-guided constraints 0
3600.05/3610.50 c LP total time 384.443 s
3600.05/3610.50 c LP solve time 375.43 s
3600.05/3610.50 c LP constraints added 19596
3600.05/3610.50 c LP constraints removed 389
3600.05/3610.50 c LP pivots internal 147741
3600.05/3610.50 c LP pivots root 163781
3600.05/3610.50 c LP calls 20
3600.05/3610.50 c LP optimalities 8
3600.05/3610.50 c LP no pivot count 0
3600.05/3610.50 c LP infeasibilities 5
3600.05/3610.50 c LP valid Farkas constraints 5
3600.05/3610.50 c LP learned Farkas constraints 5
3600.05/3610.50 c LP basis resets 1
3600.05/3610.50 c LP cycling count 0
3600.05/3610.50 c LP singular count 1
3600.05/3610.50 c LP no primal count 0
3600.05/3610.50 c LP no farkas count 0
3600.05/3610.50 c LP other issue count 0
3600.05/3610.50 c LP Gomory cuts 6
3600.05/3610.50 c LP learned cuts 833
3600.05/3610.50 c LP deleted cuts 389
3600.05/3610.50 c LP encountered Gomory constraints 2249
3600.05/3610.50 c LP encountered Farkas constraints 545
3600.05/3610.50 c LP encountered learned Farkas constraints 5
3600.05/3610.50 c CG auxiliary variables introduced 0
3600.05/3610.50 c CG solutions found 0
3600.05/3610.50 c CG cores constructed 0
3600.05/3610.50 c CG core cardinality constraints returned 0
3600.05/3610.50 c CG unit cores 0
3600.05/3610.50 c CG single cores 0
3600.05/3610.50 c CG blocks removed during cardinality reduction 0
3600.05/3610.50 c CG first core best 0
3600.05/3610.50 c CG decision core best 0
3600.05/3610.50 c CG core reduction tie 0
3600.05/3610.50 c CG core degree average 0.00
3600.05/3610.50 c CG core slack average 0.00
3600.05/3610.50 c CG core upper bound improvements 0
3600.05/3610.50 c STR number of successful calls 0
3600.05/3610.50 c STR number of unsuccessful calls 0
3600.05/3610.50 c STR number of inconclusive calls 0
3600.05/3610.50 c STR number of successful attempts 0
3600.05/3610.50 c STR number of unsuccessful attempts 0
3600.05/3610.50 c STR number of inconclusive attempts 0
3600.05/3610.50 c STR average degree increase per successful call inf
3600.05/3610.50 c STR average degree increase per successful attempt inf
3600.05/3610.50 c STR total number of conflicts for successful attempts 0
3600.05/3610.50 c STR total number of conflicts for unsuccessful attempts 0
3600.05/3610.50 c STR total number of conflicts for inconclusive attempts 0
3600.05/3610.50 c STR average number of conflicts per successful attempt inf
3600.05/3610.50 c STR average number of conflicts per unsuccessful attempt inf
3600.05/3610.50 c STR average number of conflicts per inconclusive attempt inf
3600.05/3610.50 c AVG.sumWPerc 65.28
3600.05/3610.50 c bigint constraints 0
3600.05/3610.50 s UNKNOWN
3600.05/3610.50 c Program interrupted by user.
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63837 MiB (63333 MiB free)
memory of node 1: 64465 MiB (63957 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4507048-1751182246/watcher-4507048-1751182246 -o /tmp/evaluation-result-4507048-1751182246/solver-4507048-1751182246 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1751182246-21367 --watchdog 3760 run-dec.sh HOME/instance-4507048-1751182246.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=21416, runsolver pid=21407
Current StackSize limit: 8192 KiB
[startup+0.100071 s]*
/proc/loadavg: 1.09 1.29 1.77 6/256 21429
/proc/meminfo: memFree=130322720/131382120 swapFree=33010684/33010684
[pid=21416] ppid=21407 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/21416/stat : 21416 (run-dec.sh) S 21407 21416 21352 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 33903782 4292608 768 18446744073709551615 94170432978944 94170433873477 140734760442384 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94170434112528 94170434160272 94170454290432 140734760446317 140734760446440 140734760446440 140734760452042 0
/proc/21416/statm: 1048 768 704 219 0 110 0
[pid=21427] ppid=21416 vsize=59572 memory=14416 CPUtime=0.07 cores=1,3
/proc/21427/stat : 21427 (roundingsat) R 21416 21416 21352 0 -1 4194304 1439 0 0 0 6 1 0 0 20 0 1 0 33903783 61001728 3604 18446744073709551615 4227072 8923433 140735751800384 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 27283456 140735751805367 140735751805480 140735751805480 140735751811050 0
/proc/21427/statm: 14893 3604 1888 1147 0 2320 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 63764 KiB
Current children cumulated memory: 17488 KiB
[startup+0.214927 s]*
/proc/loadavg: 1.09 1.29 1.77 6/256 21429
/proc/meminfo: memFree=130313404/131382120 swapFree=33010684/33010684
[pid=21416] ppid=21407 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/21416/stat : 21416 (run-dec.sh) S 21407 21416 21352 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 33903782 4292608 768 18446744073709551615 94170432978944 94170433873477 140734760442384 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94170434112528 94170434160272 94170454290432 140734760446317 140734760446440 140734760446440 140734760452042 0
/proc/21416/statm: 1048 768 704 219 0 110 0
[pid=21427] ppid=21416 vsize=61140 memory=15824 CPUtime=0.18 cores=1,3
/proc/21427/stat : 21427 (roundingsat) R 21416 21416 21352 0 -1 4194304 1826 0 0 0 14 4 0 0 20 0 1 0 33903783 62607360 3956 18446744073709551615 4227072 8923433 140735751800384 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 27283456 140735751805367 140735751805480 140735751805480 140735751811050 0
/proc/21427/statm: 15285 3956 1888 1147 0 2712 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 65332 KiB
Current children cumulated memory: 18896 KiB
[startup+0.313863 s]*
/proc/loadavg: 1.09 1.29 1.77 6/256 21429
/proc/meminfo: memFree=130249140/131382120 swapFree=33010684/33010684
[pid=21416] ppid=21407 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/21416/stat : 21416 (run-dec.sh) S 21407 21416 21352 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 33903782 4292608 768 18446744073709551615 94170432978944 94170433873477 140734760442384 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94170434112528 94170434160272 94170454290432 140734760446317 140734760446440 140734760446440 140734760452042 0
/proc/21416/statm: 1048 768 704 219 0 110 0
[pid=21427] ppid=21416 vsize=85436 memory=34296 CPUtime=0.28 cores=1,3
/proc/21427/stat : 21427 (roundingsat) R 21416 21416 21352 0 -1 4194304 6164 0 0 0 22 6 0 0 20 0 1 0 33903783 87486464 8574 18446744073709551615 4227072 8923433 140735751800384 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 27283456 140735751805367 140735751805480 140735751805480 140735751811050 0
/proc/21427/statm: 21359 8574 2240 1147 0 8786 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 89628 KiB
Current children cumulated memory: 37368 KiB
[startup+0.700423 s]
/proc/loadavg: 1.09 1.29 1.77 6/256 21429
/proc/meminfo: memFree=130189096/131382120 swapFree=33010684/33010684
[pid=21416] ppid=21407 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/21416/stat : 21416 (run-dec.sh) S 21407 21416 21352 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 33903782 4292608 768 18446744073709551615 94170432978944 94170433873477 140734760442384 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94170434112528 94170434160272 94170454290432 140734760446317 140734760446440 140734760446440 140734760452042 0
/proc/21416/statm: 1048 768 704 219 0 110 0
[pid=21427] ppid=21416 vsize=103652 memory=50728 CPUtime=0.65 cores=1,3
/proc/21427/stat : 21427 (roundingsat) R 21416 21416 21352 0 -1 4194304 9988 0 0 0 58 7 0 0 20 0 1 0 33903783 106139648 12682 18446744073709551615 4227072 8923433 140735751800384 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 27283456 140735751805367 140735751805480 140735751805480 140735751811050 0
/proc/21427/statm: 25913 12682 2240 1147 0 13340 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 107844 KiB
Current children cumulated memory: 53800 KiB
[startup+1.5004 s]
/proc/loadavg: 1.09 1.29 1.77 6/256 21429
/proc/meminfo: memFree=130181032/131382120 swapFree=33010684/33010684
[pid=21416] ppid=21407 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/21416/stat : 21416 (run-dec.sh) S 21407 21416 21352 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 33903782 4292608 768 18446744073709551615 94170432978944 94170433873477 140734760442384 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94170434112528 94170434160272 94170454290432 140734760446317 140734760446440 140734760446440 140734760452042 0
/proc/21416/statm: 1048 768 704 219 0 110 0
[pid=21427] ppid=21416 vsize=105316 memory=53032 CPUtime=1.45 cores=1,3
/proc/21427/stat : 21427 (roundingsat) R 21416 21416 21352 0 -1 4194304 10530 0 0 0 137 8 0 0 20 0 1 0 33903783 107843584 13258 18446744073709551615 4227072 8923433 140735751800384 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 27283456 140735751805367 140735751805480 140735751805480 140735751811050 0
/proc/21427/statm: 26329 13258 2272 1147 0 13756 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 109508 KiB
Current children cumulated memory: 56104 KiB
[startup+3.11374 s]
/proc/loadavg: 1.09 1.29 1.77 6/256 21429
/proc/meminfo: memFree=130157980/131382120 swapFree=33010684/33010684
[pid=21416] ppid=21407 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/21416/stat : 21416 (run-dec.sh) S 21407 21416 21352 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 33903782 4292608 768 18446744073709551615 94170432978944 94170433873477 140734760442384 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94170434112528 94170434160272 94170454290432 140734760446317 140734760446440 140734760446440 140734760452042 0
/proc/21416/statm: 1048 768 704 219 0 110 0
[pid=21427] ppid=21416 vsize=106496 memory=57620 CPUtime=3.05 cores=1,3
/proc/21427/stat : 21427 (roundingsat) R 21416 21416 21352 0 -1 4194304 11089 0 0 0 292 13 0 0 20 0 1 0 33903783 109051904 14405 18446744073709551615 4227072 8923433 140735751800384 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 27283456 140735751805367 140735751805480 140735751805480 140735751811050 0
/proc/21427/statm: 26624 14405 2336 1147 0 14051 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 110688 KiB
Current children cumulated memory: 60692 KiB
[startup+6.30035 s]
/proc/loadavg: 1.32 1.33 1.78 6/256 21429
/proc/meminfo: memFree=130133036/131382120 swapFree=33010684/33010684
[pid=21416] ppid=21407 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/21416/stat : 21416 (run-dec.sh) S 21407 21416 21352 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 33903782 4292608 768 18446744073709551615 94170432978944 94170433873477 140734760442384 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94170434112528 94170434160272 94170454290432 140734760446317 140734760446440 140734760446440 140734760452042 0
/proc/21416/statm: 1048 768 704 219 0 110 0
[pid=21427] ppid=21416 vsize=117408 memory=66836 CPUtime=6.23 cores=1,3
/proc/21427/stat : 21427 (roundingsat) R 21416 21416 21352 0 -1 4194304 13401 0 0 0 596 27 0 0 20 0 1 0 33903783 120225792 16709 18446744073709551615 4227072 8923433 140735751800384 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 27283456 140735751805367 140735751805480 140735751805480 140735751811050 0
/proc/21427/statm: 29352 16709 2336 1147 0 16779 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 121600 KiB
Current children cumulated memory: 69908 KiB
[startup+12.7004 s]
/proc/loadavg: 1.54 1.38 1.79 6/256 21429
/proc/meminfo: memFree=130077552/131382120 swapFree=33010684/33010684
[pid=21416] ppid=21407 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/21416/stat : 21416 (run-dec.sh) S 21407 21416 21352 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 33903782 4292608 768 18446744073709551615 94170432978944 94170433873477 140734760442384 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94170434112528 94170434160272 94170454290432 140734760446317 140734760446440 140734760446440 140734760452042 0
/proc/21416/statm: 1048 768 704 219 0 110 0
[pid=21427] ppid=21416 vsize=128748 memory=78356 CPUtime=12.61 cores=1,3
/proc/21427/stat : 21427 (roundingsat) R 21416 21416 21352 0 -1 4194304 16289 0 0 0 1215 46 0 0 20 0 1 0 33903783 131837952 19589 18446744073709551615 4227072 8923433 140735751800384 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 27283456 140735751805367 140735751805480 140735751805480 140735751811050 0
/proc/21427/statm: 32187 19589 2336 1147 0 19614 0
Current children cumulated CPU time: 12.61 s
Current children cumulated vsize: 132940 KiB
Current children cumulated memory: 81428 KiB
[startup+25.5004 s]
/proc/loadavg: 1.92 1.46 1.82 6/255 21430
/proc/meminfo: memFree=130004284/131382120 swapFree=33010684/33010684
[pid=21416] ppid=21407 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/21416/stat : 21416 (run-dec.sh) S 21407 21416 21352 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 33903782 4292608 768 18446744073709551615 94170432978944 94170433873477 140734760442384 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94170434112528 94170434160272 94170454290432 140734760446317 140734760446440 140734760446440 140734760452042 0
/proc/21416/statm: 1048 768 704 219 0 110 0
[pid=21427] ppid=21416 vsize=151844 memory=101500 CPUtime=25.37 cores=1,3
/proc/21427/stat : 21427 (roundingsat) R 21416 21416 21352 0 -1 4194304 20536 0 0 0 2468 69 0 0 20 0 1 0 33903783 155488256 25375 18446744073709551615 4227072 8923433 140735751800384 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 27283456 140735751805367 140735751805480 140735751805480 140735751811050 0
/proc/21427/statm: 37961 25375 2336 1147 0 25388 0
Current children cumulated CPU time: 25.37 s
Current children cumulated vsize: 156036 KiB
Current children cumulated memory: 104572 KiB
[startup+51.1137 s]
/proc/loadavg: 2.74 1.71 1.89 6/255 21430
/proc/meminfo: memFree=129842872/131382120 swapFree=33010684/33010684
[pid=21416] ppid=21407 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/21416/stat : 21416 (run-dec.sh) S 21407 21416 21352 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 33903782 4292608 768 18446744073709551615 94170432978944 94170433873477 140734760442384 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94170434112528 94170434160272 94170454290432 140734760446317 140734760446440 140734760446440 140734760452042 0
/proc/21416/statm: 1048 768 704 219 0 110 0
[pid=21427] ppid=21416 vsize=179288 memory=128720 CPUtime=50.9 cores=1,3
/proc/21427/stat : 21427 (roundingsat) R 21416 21416 21352 0 -1 4194304 24862 0 0 0 4954 136 0 0 20 0 1 0 33903783 183590912 32180 18446744073709551615 4227072 8923433 140735751800384 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 27283456 140735751805367 140735751805480 140735751805480 140735751811050 0
/proc/21427/statm: 44822 32180 2336 1147 0 32249 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 183480 KiB
Current children cumulated memory: 131792 KiB
[startup+102.3 s]
/proc/loadavg: 3.57 2.09 2.01 6/255 21432
/proc/meminfo: memFree=129716192/131382120 swapFree=33010684/33010684
[pid=21416] ppid=21407 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/21416/stat : 21416 (run-dec.sh) S 21407 21416 21352 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 33903782 4292608 768 18446744073709551615 94170432978944 94170433873477 140734760442384 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94170434112528 94170434160272 94170454290432 140734760446317 140734760446440 140734760446440 140734760452042 0
/proc/21416/statm: 1048 768 704 219 0 110 0
[pid=21427] ppid=21416 vsize=224848 memory=171020 CPUtime=101.92 cores=1,3
/proc/21427/stat : 21427 (roundingsat) R 21416 21416 21352 0 -1 4194304 31860 0 0 0 9987 205 0 0 20 0 1 0 33903783 230244352 42755 18446744073709551615 4227072 8923433 140735751800384 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 27283456 140735751805367 140735751805480 140735751805480 140735751811050 0
/proc/21427/statm: 56212 42755 2336 1147 0 43639 0
Current children cumulated CPU time: 101.92 s
Current children cumulated vsize: 229040 KiB
Current children cumulated memory: 174092 KiB
[startup+162.3 s]
/proc/loadavg: 3.91 2.46 2.14 6/255 21434
/proc/meminfo: memFree=129545728/131382120 swapFree=33010684/33010684
[pid=21416] ppid=21407 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/21416/stat : 21416 (run-dec.sh) S 21407 21416 21352 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 33903782 4292608 768 18446744073709551615 94170432978944 94170433873477 140734760442384 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94170434112528 94170434160272 94170454290432 140734760446317 140734760446440 140734760446440 140734760452042 0
/proc/21416/statm: 1048 768 704 219 0 110 0
[pid=21427] ppid=21416 vsize=250008 memory=198492 CPUtime=161.72 cores=1,3
/proc/21427/stat : 21427 (roundingsat) R 21416 21416 21352 0 -1 4194304 38240 0 0 0 15895 277 0 0 20 0 1 0 33903783 256008192 49623 18446744073709551615 4227072 8923433 140735751800384 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 27283456 140735751805367 140735751805480 140735751805480 140735751811050 0
/proc/21427/statm: 62502 49623 2336 1147 0 49929 0
Current children cumulated CPU time: 161.72 s
Current children cumulated vsize: 254200 KiB
Current children cumulated memory: 201564 KiB
[startup+222.3 s]
/proc/loadavg: 4.01 2.76 2.27 6/255 21436
/proc/meminfo: memFree=129332964/131382120 swapFree=33010684/33010684
[pid=21416] ppid=21407 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/21416/stat : 21416 (run-dec.sh) S 21407 21416 21352 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 33903782 4292608 768 18446744073709551615 94170432978944 94170433873477 140734760442384 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94170434112528 94170434160272 94170454290432 140734760446317 140734760446440 140734760446440 140734760452042 0
/proc/21416/statm: 1048 768 704 219 0 110 0
[pid=21427] ppid=21416 vsize=353000 memory=258784 CPUtime=221.52 cores=1,3
/proc/21427/stat : 21427 (roundingsat) R 21416 21416 21352 0 -1 4194304 44127 0 0 0 21787 365 0 0 20 0 1 0 33903783 361472000 64696 18446744073709551615 4227072 8923433 140735751800384 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 27283456 140735751805367 140735751805480 140735751805480 140735751811050 0
/proc/21427/statm: 88250 64696 2336 1147 0 75677 0
################
# More data... #
################
/proc/21427/statm: 364138 265917 2432 1147 0 351565 0
Current children cumulated CPU time: 3093.5 s
Current children cumulated vsize: 1460744 KiB
Current children cumulated memory: 1066740 KiB
[startup+3162.3 s]
/proc/loadavg: 4.14 4.12 4.04 6/255 21591
/proc/meminfo: memFree=126255068/131382120 swapFree=33010684/33010684
[pid=21416] ppid=21407 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/21416/stat : 21416 (run-dec.sh) S 21407 21416 21352 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 33903782 4292608 768 18446744073709551615 94170432978944 94170433873477 140734760442384 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94170434112528 94170434160272 94170454290432 140734760446317 140734760446440 140734760446440 140734760452042 0
/proc/21416/statm: 1048 768 704 219 0 110 0
[pid=21427] ppid=21416 vsize=1463544 memory=1069556 CPUtime=3153.31 cores=1,3
/proc/21427/stat : 21427 (roundingsat) R 21416 21416 21352 0 -1 4194304 121526 0 0 0 312989 2342 0 0 20 0 1 0 33903783 1498669056 267389 18446744073709551615 4227072 8923433 140735751800384 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 27283456 140735751805367 140735751805480 140735751805480 140735751811050 0
/proc/21427/statm: 365886 267389 2432 1147 0 353313 0
Current children cumulated CPU time: 3153.31 s
Current children cumulated vsize: 1467736 KiB
Current children cumulated memory: 1072628 KiB
[startup+3222.3 s]
/proc/loadavg: 4.11 4.11 4.04 6/254 21593
/proc/meminfo: memFree=126240900/131382120 swapFree=33010684/33010684
[pid=21416] ppid=21407 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/21416/stat : 21416 (run-dec.sh) S 21407 21416 21352 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 33903782 4292608 768 18446744073709551615 94170432978944 94170433873477 140734760442384 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94170434112528 94170434160272 94170454290432 140734760446317 140734760446440 140734760446440 140734760452042 0
/proc/21416/statm: 1048 768 704 219 0 110 0
[pid=21427] ppid=21416 vsize=1484152 memory=1089908 CPUtime=3213.11 cores=1,3
/proc/21427/stat : 21427 (roundingsat) R 21416 21416 21352 0 -1 4194304 126607 0 0 0 318934 2377 0 0 20 0 1 0 33903783 1519771648 272477 18446744073709551615 4227072 8923433 140735751800384 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 27283456 140735751805367 140735751805480 140735751805480 140735751811050 0
/proc/21427/statm: 371038 272477 2432 1147 0 358465 0
Current children cumulated CPU time: 3213.11 s
Current children cumulated vsize: 1488344 KiB
Current children cumulated memory: 1092980 KiB
[startup+3282.3 s]
/proc/loadavg: 4.16 4.12 4.04 6/255 21598
/proc/meminfo: memFree=126228764/131382120 swapFree=33010684/33010684
[pid=21416] ppid=21407 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/21416/stat : 21416 (run-dec.sh) S 21407 21416 21352 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 33903782 4292608 768 18446744073709551615 94170432978944 94170433873477 140734760442384 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94170434112528 94170434160272 94170454290432 140734760446317 140734760446440 140734760446440 140734760452042 0
/proc/21416/statm: 1048 768 704 219 0 110 0
[pid=21427] ppid=21416 vsize=1484152 memory=1089908 CPUtime=3272.92 cores=1,3
/proc/21427/stat : 21427 (roundingsat) R 21416 21416 21352 0 -1 4194304 126607 0 0 0 324893 2399 0 0 20 0 1 0 33903783 1519771648 272477 18446744073709551615 4227072 8923433 140735751800384 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 27283456 140735751805367 140735751805480 140735751805480 140735751811050 0
/proc/21427/statm: 371038 272477 2432 1147 0 358465 0
Current children cumulated CPU time: 3272.92 s
Current children cumulated vsize: 1488344 KiB
Current children cumulated memory: 1092980 KiB
[startup+3342.3 s]
/proc/loadavg: 4.12 4.11 4.04 6/255 21603
/proc/meminfo: memFree=126210340/131382120 swapFree=33010684/33010684
[pid=21416] ppid=21407 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/21416/stat : 21416 (run-dec.sh) S 21407 21416 21352 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 33903782 4292608 768 18446744073709551615 94170432978944 94170433873477 140734760442384 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94170434112528 94170434160272 94170454290432 140734760446317 140734760446440 140734760446440 140734760452042 0
/proc/21416/statm: 1048 768 704 219 0 110 0
[pid=21427] ppid=21416 vsize=1484152 memory=1089908 CPUtime=3332.73 cores=1,3
/proc/21427/stat : 21427 (roundingsat) R 21416 21416 21352 0 -1 4194304 126607 0 0 0 330841 2432 0 0 20 0 1 0 33903783 1519771648 272477 18446744073709551615 4227072 8923433 140735751800384 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 27283456 140735751805367 140735751805480 140735751805480 140735751811050 0
/proc/21427/statm: 371038 272477 2432 1147 0 358465 0
Current children cumulated CPU time: 3332.73 s
Current children cumulated vsize: 1488344 KiB
Current children cumulated memory: 1092980 KiB
[startup+3402.3 s]
/proc/loadavg: 4.09 4.11 4.04 6/255 21605
/proc/meminfo: memFree=126208812/131382120 swapFree=33010684/33010684
[pid=21416] ppid=21407 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/21416/stat : 21416 (run-dec.sh) S 21407 21416 21352 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 33903782 4292608 768 18446744073709551615 94170432978944 94170433873477 140734760442384 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94170434112528 94170434160272 94170454290432 140734760446317 140734760446440 140734760446440 140734760452042 0
/proc/21416/statm: 1048 768 704 219 0 110 0
[pid=21427] ppid=21416 vsize=1484152 memory=1089908 CPUtime=3392.54 cores=1,3
/proc/21427/stat : 21427 (roundingsat) R 21416 21416 21352 0 -1 4194304 126608 0 0 0 336773 2481 0 0 20 0 1 0 33903783 1519771648 272477 18446744073709551615 4227072 8923433 140735751800384 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 27283456 140735751805367 140735751805480 140735751805480 140735751811050 0
/proc/21427/statm: 371038 272477 2432 1147 0 358465 0
Current children cumulated CPU time: 3392.54 s
Current children cumulated vsize: 1488344 KiB
Current children cumulated memory: 1092980 KiB
[startup+3462.3 s]
/proc/loadavg: 4.15 4.12 4.05 6/255 21607
/proc/meminfo: memFree=126208476/131382120 swapFree=33010684/33010684
[pid=21416] ppid=21407 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/21416/stat : 21416 (run-dec.sh) S 21407 21416 21352 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 33903782 4292608 768 18446744073709551615 94170432978944 94170433873477 140734760442384 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94170434112528 94170434160272 94170454290432 140734760446317 140734760446440 140734760446440 140734760452042 0
/proc/21416/statm: 1048 768 704 219 0 110 0
[pid=21427] ppid=21416 vsize=1484440 memory=1090292 CPUtime=3452.34 cores=1,3
/proc/21427/stat : 21427 (roundingsat) R 21416 21416 21352 0 -1 4194304 126694 0 0 0 342718 2516 0 0 20 0 1 0 33903783 1520066560 272573 18446744073709551615 4227072 8923433 140735751800384 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 27283456 140735751805367 140735751805480 140735751805480 140735751811050 0
/proc/21427/statm: 371110 272573 2432 1147 0 358537 0
Current children cumulated CPU time: 3452.34 s
Current children cumulated vsize: 1488632 KiB
Current children cumulated memory: 1093364 KiB
[startup+3522.3 s]
/proc/loadavg: 4.05 4.09 4.04 6/255 21609
/proc/meminfo: memFree=126191756/131382120 swapFree=33010684/33010684
[pid=21416] ppid=21407 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/21416/stat : 21416 (run-dec.sh) S 21407 21416 21352 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 33903782 4292608 768 18446744073709551615 94170432978944 94170433873477 140734760442384 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94170434112528 94170434160272 94170454290432 140734760446317 140734760446440 140734760446440 140734760452042 0
/proc/21416/statm: 1048 768 704 219 0 110 0
[pid=21427] ppid=21416 vsize=1495484 memory=1097588 CPUtime=3512.15 cores=1,3
/proc/21427/stat : 21427 (roundingsat) R 21416 21416 21352 0 -1 4194304 128530 0 0 0 348670 2545 0 0 20 0 1 0 33903783 1531375616 274397 18446744073709551615 4227072 8923433 140735751800384 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 27283456 140735751805367 140735751805480 140735751805480 140735751811050 0
/proc/21427/statm: 373871 274397 2432 1147 0 361298 0
Current children cumulated CPU time: 3512.15 s
Current children cumulated vsize: 1499676 KiB
Current children cumulated memory: 1100660 KiB
[startup+3582.3 s]
/proc/loadavg: 4.06 4.09 4.04 6/254 21611
/proc/meminfo: memFree=126182900/131382120 swapFree=33010684/33010684
[pid=21416] ppid=21407 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/21416/stat : 21416 (run-dec.sh) S 21407 21416 21352 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 33903782 4292608 768 18446744073709551615 94170432978944 94170433873477 140734760442384 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94170434112528 94170434160272 94170454290432 140734760446317 140734760446440 140734760446440 140734760452042 0
/proc/21416/statm: 1048 768 704 219 0 110 0
[pid=21427] ppid=21416 vsize=1501044 memory=1102068 CPUtime=3571.95 cores=1,3
/proc/21427/stat : 21427 (roundingsat) R 21416 21416 21352 0 -1 4194304 129655 0 0 0 354596 2599 0 0 20 0 1 0 33903783 1537069056 275517 18446744073709551615 4227072 8923433 140735751800384 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 27283456 140735751805367 140735751805480 140735751805480 140735751811050 0
/proc/21427/statm: 375261 275517 2432 1147 0 362688 0
Current children cumulated CPU time: 3571.95 s
Current children cumulated vsize: 1505236 KiB
Current children cumulated memory: 1105140 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.5 s]
/proc/loadavg: 4.10 4.09 4.04 3/244 21631
/proc/meminfo: memFree=128110420/131382120 swapFree=33010684/33010684
[pid=21416] ppid=21407 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/21416/stat : 21416 (run-dec.sh) S 21407 21416 21352 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 33903782 4292608 768 18446744073709551615 94170432978944 94170433873477 140734760442384 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94170434112528 94170434160272 94170454290432 140734760446317 140734760446440 140734760446440 140734760452042 0
/proc/21416/statm: 1048 768 704 219 0 110 0
[pid=21427] ppid=21416 vsize=1501044 memory=1102708 CPUtime=3600.05 cores=1,3
/proc/21427/stat : 21427 (roundingsat) R 21416 21416 21352 0 -1 4194304 129798 0 0 0 357389 2616 0 0 20 0 1 0 33903783 1537069056 275677 18446744073709551615 4227072 8923433 140735751800384 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 27283456 140735751805367 140735751805480 140735751805480 140735751811050 0
/proc/21427/statm: 375261 275677 2432 1147 0 362688 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 1505236 KiB
Current children cumulated memory: 1105780 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.51 s]
# the end of solver process 21416 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.000741 s, system=0.005142 s
[startup+3610.52 s]
# the end of solver process 21427 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3573.9 s, system=26.1852 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.5 s]
/proc/loadavg: 4.10 4.09 4.04 3/244 21631
/proc/meminfo: memFree=128110420/131382120 swapFree=33010684/33010684
[pid=21416] ppid=21407 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/21416/stat : 21416 (run-dec.sh) S 21407 21416 21352 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 33903782 4292608 768 18446744073709551615 94170432978944 94170433873477 140734760442384 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94170434112528 94170434160272 94170454290432 140734760446317 140734760446440 140734760446440 140734760452042 0
/proc/21416/statm: 1048 768 704 219 0 110 0
[pid=21427] ppid=21416 vsize=1501044 memory=1102708 CPUtime=3600.05 cores=1,3
/proc/21427/stat : 21427 (roundingsat) R 21416 21416 21352 0 -1 4194304 129798 0 0 0 357389 2616 0 0 20 0 1 0 33903783 1537069056 275677 18446744073709551615 4227072 8923433 140735751800384 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 27283456 140735751805367 140735751805480 140735751805480 140735751811050 0
/proc/21427/statm: 375261 275677 2432 1147 0 362688 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 1505236 KiB
Current children cumulated memory: 1105780 KiB
Child status: 2
Real time (s): 3610.52
CPU time (s): 3600.09
CPU user time (s): 3573.9
CPU system time (s): 26.1852
CPU usage (%): 99.7111
Max. virtual memory (cumulated for all children) (KiB): 1505236
Max. memory (cumulated for all children) (KiB): 1105780
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3573.9
system time used= 26.1852
maximum resident set size= 1102836
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 130021
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= 301
involuntary context switches= 3790
# summary of solver processes directly reported to runsolver:
# pid: 21416,21427
# total CPU time (s): 3600.09
# total CPU user time (s): 3573.9
# total CPU system time (s): 26.1852
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 20.7445 second user time and 36.4371 second system time
The end
Begin job on nodeC008 at 2025-06-29 09:30:46
IDJOB=4507048
IDBENCH=158319
IDSOLVER=3349
FILE ID=nodeC008/4507048-1751182246
RUNJOBID= nodeC008-1751182246-21367
SLURM_JOB_ID= 9587557
Free space on /tmp= 433056 MiB
SOLVER NAME= roundingsat 63f22ad
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathNG/normalized-NG_K155.opb
COMMAND LINE= run-dec.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4507048-1751182246/watcher-4507048-1751182246 -o /tmp/evaluation-result-4507048-1751182246/solver-4507048-1751182246 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1751182246-21367 --watchdog 3760 run-dec.sh HOME/instance-4507048-1751182246.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 4394b20101c323a14e6df6504cadd31d
RANDOM SEED=423299313
nodeC008 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.524
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.72
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.225
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.72
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.210
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.72
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.557
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.72
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.215
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.72
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.209
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.72
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.390
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.72
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.185
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.72
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382120 kB
MemFree: 130312380 kB
MemAvailable: 129955612 kB
Buffers: 3280 kB
Cached: 451972 kB
SwapCached: 0 kB
Active: 287040 kB
Inactive: 238712 kB
Active(anon): 88456 kB
Inactive(anon): 0 kB
Active(file): 198584 kB
Inactive(file): 238712 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 33704 kB
Writeback: 0 kB
AnonPages: 73568 kB
Mapped: 101960 kB
Shmem: 17956 kB
KReclaimable: 85048 kB
Slab: 163448 kB
SReclaimable: 85048 kB
SUnreclaim: 78400 kB
KernelStack: 3716 kB
PageTables: 2324 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701744 kB
Committed_AS: 329028 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149240 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 16384 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 181064 kB
DirectMap2M: 9158656 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 433028 MiB
End job on nodeC008 at 2025-06-29 10:30:57