0.00/0.01 c RoundingSat 2
0.00/0.01 c branch pb25
0.00/0.01 c commit 63f22ad
0.07/0.14 c #variables 18445 #constraints 18757
109.95/110.39 c #Conflicts: 1000 | #Constraints: 19756
109.95/110.39 c #Conflicts: 2000 | #Constraints: 20756
109.95/110.39 c INPROCESSING
109.95/110.39 c GARBAGE COLLECT
109.95/110.39 c #Conflicts: 3000 | #Constraints: 19996
109.95/110.39 c #Conflicts: 4000 | #Constraints: 20996
109.95/110.39 c INPROCESSING
109.95/110.39 c GARBAGE COLLECT
109.95/110.39 c #Conflicts: 5000 | #Constraints: 20464
109.95/110.39 c #Conflicts: 6000 | #Constraints: 21464
109.95/110.39 c INPROCESSING
109.95/110.39 c GARBAGE COLLECT
109.95/110.39 c #Conflicts: 7000 | #Constraints: 20554
109.95/110.39 c #Conflicts: 8000 | #Constraints: 21554
109.95/110.39 c #Conflicts: 9000 | #Constraints: 22554
109.95/110.39 c INPROCESSING
109.95/110.39 c GARBAGE COLLECT
109.95/110.39 c #Conflicts: 10000 | #Constraints: 21335
109.95/110.39 c #Conflicts: 11000 | #Constraints: 22335
109.95/110.39 c #Conflicts: 12000 | #Constraints: 23335
109.95/110.39 c INPROCESSING
109.95/110.39 c GARBAGE COLLECT
109.95/110.39 c #Conflicts: 13000 | #Constraints: 21870
109.95/110.39 c #Conflicts: 14000 | #Constraints: 22870
109.95/110.39 c #Conflicts: 15000 | #Constraints: 23870
109.95/110.39 c #Conflicts: 16000 | #Constraints: 24870
109.95/110.39 c #Conflicts: 17000 | #Constraints: 25870
109.95/110.39 c #Conflicts: 18000 | #Constraints: 26870
109.95/110.39 c #Conflicts: 19000 | #Constraints: 27870
109.95/110.39 c #Conflicts: 20000 | #Constraints: 28870
109.95/110.39 c INPROCESSING
109.95/110.39 c GARBAGE COLLECT
109.95/110.39 c #Conflicts: 21000 | #Constraints: 24544
109.95/110.39 c #Conflicts: 22000 | #Constraints: 25544
109.95/110.39 c #Conflicts: 23000 | #Constraints: 26544
109.95/110.39 c #Conflicts: 24000 | #Constraints: 27544
109.95/110.39 c INPROCESSING
109.95/110.39 c GARBAGE COLLECT
109.95/110.39 c #Conflicts: 25000 | #Constraints: 23825
109.95/110.39 c #Conflicts: 26000 | #Constraints: 24825
109.95/110.39 c #Conflicts: 27000 | #Constraints: 25825
109.95/110.39 c #Conflicts: 28000 | #Constraints: 26825
109.95/110.39 c INPROCESSING
109.95/110.39 c GARBAGE COLLECT
109.95/110.39 c #Conflicts: 29000 | #Constraints: 23461
109.95/110.39 c #Conflicts: 30000 | #Constraints: 24461
109.95/110.39 c #Conflicts: 31000 | #Constraints: 25461
109.95/110.39 c #Conflicts: 32000 | #Constraints: 26461
109.95/110.39 c #Conflicts: 33000 | #Constraints: 27461
109.95/110.39 c #Conflicts: 34000 | #Constraints: 28461
109.95/110.39 c #Conflicts: 35000 | #Constraints: 29461
109.95/110.39 c #Conflicts: 36000 | #Constraints: 30461
109.95/110.39 c #Conflicts: 37000 | #Constraints: 31461
109.95/110.39 c #Conflicts: 38000 | #Constraints: 32461
109.95/110.39 c #Conflicts: 39000 | #Constraints: 33461
109.95/110.39 c #Conflicts: 40000 | #Constraints: 34461
109.95/110.39 c #Conflicts: 41000 | #Constraints: 35461
109.95/110.39 c INPROCESSING
109.95/110.39 c GARBAGE COLLECT
109.95/110.39 c #Conflicts: 42000 | #Constraints: 27905
109.95/110.39 c #Conflicts: 43000 | #Constraints: 28905
109.95/110.39 c #Conflicts: 44000 | #Constraints: 29905
109.95/110.39 c #Conflicts: 45000 | #Constraints: 30905
109.95/110.39 c #Conflicts: 46000 | #Constraints: 31905
109.95/110.39 c #Conflicts: 47000 | #Constraints: 32905
109.95/110.39 c INPROCESSING
109.95/110.39 c GARBAGE COLLECT
109.95/110.39 c #Conflicts: 48000 | #Constraints: 26901
109.95/110.39 c #Conflicts: 49000 | #Constraints: 27901
109.95/110.39 c #Conflicts: 50000 | #Constraints: 28901
109.95/110.39 c #Conflicts: 51000 | #Constraints: 29901
109.95/110.39 c #Conflicts: 52000 | #Constraints: 30901
109.95/110.39 c #Conflicts: 53000 | #Constraints: 31901
109.95/110.39 c #Conflicts: 54000 | #Constraints: 32901
109.95/110.39 c #Conflicts: 55000 | #Constraints: 33901
109.95/110.39 c #Conflicts: 56000 | #Constraints: 34901
109.95/110.39 c #Conflicts: 57000 | #Constraints: 35901
109.95/110.39 c #Conflicts: 58000 | #Constraints: 36901
109.95/110.39 c #Conflicts: 59000 | #Constraints: 37901
109.95/110.39 c #Conflicts: 60000 | #Constraints: 38901
109.95/110.39 c #Conflicts: 61000 | #Constraints: 39901
109.95/110.39 c #Conflicts: 62000 | #Constraints: 40901
109.95/110.39 c INPROCESSING
109.95/110.39 c GARBAGE COLLECT
109.95/110.39 c #Conflicts: 63000 | #Constraints: 30623
109.95/110.39 c #Conflicts: 64000 | #Constraints: 31623
109.95/110.39 c #Conflicts: 65000 | #Constraints: 32623
109.95/110.39 c #Conflicts: 66000 | #Constraints: 33623
109.95/110.39 c #Conflicts: 67000 | #Constraints: 34623
109.95/110.39 c #Conflicts: 68000 | #Constraints: 35623
109.95/110.39 c #Conflicts: 69000 | #Constraints: 36623
109.95/110.39 c INPROCESSING
109.95/110.39 c GARBAGE COLLECT
109.95/110.39 c #Conflicts: 70000 | #Constraints: 28643
109.95/110.39 c #Conflicts: 71000 | #Constraints: 29643
109.95/110.39 c #Conflicts: 72000 | #Constraints: 30643
220.67/221.39 c #Conflicts: 73000 | #Constraints: 31643
220.67/221.39 c #Conflicts: 74000 | #Constraints: 32643
220.67/221.39 c #Conflicts: 75000 | #Constraints: 33643
220.67/221.39 c #Conflicts: 76000 | #Constraints: 34643
220.67/221.39 c #Conflicts: 77000 | #Constraints: 35643
220.67/221.39 c #Conflicts: 78000 | #Constraints: 36643
220.67/221.39 c #Conflicts: 79000 | #Constraints: 37643
220.67/221.39 c #Conflicts: 80000 | #Constraints: 38643
220.67/221.39 c #Conflicts: 81000 | #Constraints: 39643
220.67/221.39 c #Conflicts: 82000 | #Constraints: 40643
220.67/221.39 c #Conflicts: 83000 | #Constraints: 41643
220.67/221.39 c #Conflicts: 84000 | #Constraints: 42643
220.67/221.39 c #Conflicts: 85000 | #Constraints: 43643
220.67/221.39 c #Conflicts: 86000 | #Constraints: 44643
220.67/221.39 c #Conflicts: 87000 | #Constraints: 45643
220.67/221.39 c #Conflicts: 88000 | #Constraints: 46643
220.67/221.39 c INPROCESSING
220.67/221.39 c GARBAGE COLLECT
220.67/221.39 c #Conflicts: 89000 | #Constraints: 33723
220.67/221.39 c #Conflicts: 90000 | #Constraints: 34723
220.67/221.39 c #Conflicts: 91000 | #Constraints: 35723
220.67/221.39 c #Conflicts: 92000 | #Constraints: 36723
220.67/221.39 c #Conflicts: 93000 | #Constraints: 37723
220.67/221.39 c #Conflicts: 94000 | #Constraints: 38723
220.67/221.39 c #Conflicts: 95000 | #Constraints: 39723
220.67/221.39 c #Conflicts: 96000 | #Constraints: 40723
220.67/221.39 c INPROCESSING
220.67/221.39 c GARBAGE COLLECT
220.67/221.39 c #Conflicts: 97000 | #Constraints: 30808
220.67/221.39 c #Conflicts: 98000 | #Constraints: 31808
220.67/221.39 c #Conflicts: 99000 | #Constraints: 32808
220.67/221.39 c #Conflicts: 100000 | #Constraints: 33808
220.67/221.39 c #Conflicts: 101000 | #Constraints: 34809
220.67/221.39 c #Conflicts: 102000 | #Constraints: 35809
220.67/221.39 c #Conflicts: 103000 | #Constraints: 36809
220.67/221.39 c #Conflicts: 104000 | #Constraints: 37809
220.67/221.39 c #Conflicts: 105000 | #Constraints: 38809
220.67/221.39 c #Conflicts: 106000 | #Constraints: 39809
220.67/221.39 c #Conflicts: 107000 | #Constraints: 40809
220.67/221.39 c #Conflicts: 108000 | #Constraints: 41809
220.67/221.39 c #Conflicts: 109000 | #Constraints: 42809
220.67/221.39 c #Conflicts: 110000 | #Constraints: 43809
220.67/221.39 c #Conflicts: 111000 | #Constraints: 44809
220.67/221.39 c #Conflicts: 112000 | #Constraints: 45809
220.67/221.39 c #Conflicts: 113000 | #Constraints: 46809
220.67/221.39 c #Conflicts: 114000 | #Constraints: 47809
220.67/221.39 c #Conflicts: 115000 | #Constraints: 48809
220.67/221.39 c #Conflicts: 116000 | #Constraints: 49809
220.67/221.39 c #Conflicts: 117000 | #Constraints: 50809
220.67/221.39 c #Conflicts: 118000 | #Constraints: 51809
220.67/221.39 c INPROCESSING
220.67/221.39 c GARBAGE COLLECT
220.67/221.39 c #Conflicts: 119000 | #Constraints: 36392
220.67/221.39 c #Conflicts: 120000 | #Constraints: 37392
220.67/221.39 c #Conflicts: 121000 | #Constraints: 38392
220.67/221.39 c #Conflicts: 122000 | #Constraints: 39392
220.67/221.39 c #Conflicts: 123000 | #Constraints: 40392
220.67/221.39 c #Conflicts: 124000 | #Constraints: 41392
220.67/221.39 c #Conflicts: 125000 | #Constraints: 42392
220.67/221.39 c #Conflicts: 126000 | #Constraints: 43392
220.67/221.39 c #Conflicts: 127000 | #Constraints: 44392
220.67/221.39 c #Conflicts: 128000 | #Constraints: 45392
220.67/221.39 c INPROCESSING
220.67/221.39 c GARBAGE COLLECT
220.67/221.39 c #Conflicts: 129000 | #Constraints: 34197
220.67/221.39 c #Conflicts: 130000 | #Constraints: 35197
220.67/221.39 c #Conflicts: 131000 | #Constraints: 36197
220.67/221.39 c #Conflicts: 132000 | #Constraints: 37197
220.67/221.39 c #Conflicts: 133000 | #Constraints: 38197
220.67/221.39 c #Conflicts: 134000 | #Constraints: 39197
220.67/221.39 c #Conflicts: 135000 | #Constraints: 40197
220.67/221.39 c #Conflicts: 136000 | #Constraints: 41197
220.67/221.39 c #Conflicts: 137000 | #Constraints: 42197
220.67/221.39 c #Conflicts: 138000 | #Constraints: 43197
220.67/221.39 c #Conflicts: 139000 | #Constraints: 44197
220.67/221.39 c #Conflicts: 140000 | #Constraints: 45197
220.67/221.39 c #Conflicts: 141000 | #Constraints: 46197
220.67/221.39 c #Conflicts: 142000 | #Constraints: 47197
220.67/221.39 c #Conflicts: 143000 | #Constraints: 48197
220.67/221.39 c #Conflicts: 144000 | #Constraints: 49197
220.67/221.39 c #Conflicts: 145000 | #Constraints: 50197
220.67/221.39 c #Conflicts: 146000 | #Constraints: 51197
220.67/221.39 c #Conflicts: 147000 | #Constraints: 52197
220.67/221.39 c #Conflicts: 148000 | #Constraints: 53197
339.47/340.49 c #Conflicts: 149000 | #Constraints: 54197
339.47/340.49 c #Conflicts: 150000 | #Constraints: 55197
339.47/340.49 c #Conflicts: 151000 | #Constraints: 56197
339.47/340.49 c #Conflicts: 152000 | #Constraints: 57197
339.47/340.49 c #Conflicts: 153000 | #Constraints: 58197
339.47/340.49 c INPROCESSING
339.47/340.49 c GARBAGE COLLECT
339.47/340.49 c #Conflicts: 154000 | #Constraints: 39908
339.47/340.49 c #Conflicts: 155000 | #Constraints: 40908
339.47/340.49 c #Conflicts: 156000 | #Constraints: 41908
339.47/340.49 c #Conflicts: 157000 | #Constraints: 42908
339.47/340.49 c #Conflicts: 158000 | #Constraints: 43908
339.47/340.49 c #Conflicts: 159000 | #Constraints: 44908
339.47/340.49 c #Conflicts: 160000 | #Constraints: 45908
339.47/340.49 c #Conflicts: 161000 | #Constraints: 46908
339.47/340.49 c #Conflicts: 162000 | #Constraints: 47908
339.47/340.49 c #Conflicts: 163000 | #Constraints: 48908
339.47/340.49 c INPROCESSING
339.47/340.49 c GARBAGE COLLECT
339.47/340.49 c #Conflicts: 164000 | #Constraints: 35981
339.47/340.49 c #Conflicts: 165000 | #Constraints: 36981
339.47/340.49 c #Conflicts: 166000 | #Constraints: 37981
339.47/340.49 c #Conflicts: 167000 | #Constraints: 38981
339.47/340.49 c #Conflicts: 168000 | #Constraints: 39981
339.47/340.49 c #Conflicts: 169000 | #Constraints: 40981
339.47/340.49 c #Conflicts: 170000 | #Constraints: 41981
339.47/340.49 c #Conflicts: 171000 | #Constraints: 42981
339.47/340.49 c #Conflicts: 172000 | #Constraints: 43981
339.47/340.49 c #Conflicts: 173000 | #Constraints: 44981
339.47/340.49 c #Conflicts: 174000 | #Constraints: 45981
339.47/340.49 c #Conflicts: 175000 | #Constraints: 46981
339.47/340.49 c #Conflicts: 176000 | #Constraints: 47981
339.47/340.49 c #Conflicts: 177000 | #Constraints: 48981
339.47/340.49 c #Conflicts: 178000 | #Constraints: 49981
339.47/340.49 c #Conflicts: 179000 | #Constraints: 50981
339.47/340.49 c #Conflicts: 180000 | #Constraints: 51981
339.47/340.49 c #Conflicts: 181000 | #Constraints: 52981
339.47/340.49 c #Conflicts: 182000 | #Constraints: 53981
339.47/340.49 c #Conflicts: 183000 | #Constraints: 54981
339.47/340.49 c #Conflicts: 184000 | #Constraints: 55981
339.47/340.49 c #Conflicts: 185000 | #Constraints: 56981
339.47/340.49 c #Conflicts: 186000 | #Constraints: 57981
339.47/340.49 c #Conflicts: 187000 | #Constraints: 58981
339.47/340.49 c #Conflicts: 188000 | #Constraints: 59981
339.47/340.49 c #Conflicts: 189000 | #Constraints: 60981
339.47/340.49 c #Conflicts: 190000 | #Constraints: 61981
339.47/340.49 c #Conflicts: 191000 | #Constraints: 62981
339.47/340.49 c INPROCESSING
339.47/340.49 c GARBAGE COLLECT
339.47/340.49 c #Conflicts: 192000 | #Constraints: 42041
339.47/340.49 c #Conflicts: 193000 | #Constraints: 43041
339.47/340.49 c #Conflicts: 194000 | #Constraints: 44041
339.47/340.49 c #Conflicts: 195000 | #Constraints: 45041
339.47/340.49 c #Conflicts: 196000 | #Constraints: 46041
339.47/340.49 c #Conflicts: 197000 | #Constraints: 47041
339.47/340.49 c #Conflicts: 198000 | #Constraints: 48041
339.47/340.49 c #Conflicts: 199000 | #Constraints: 49041
339.47/340.49 c #Conflicts: 200000 | #Constraints: 50041
339.47/340.49 c #Conflicts: 201000 | #Constraints: 51041
339.47/340.49 c #Conflicts: 202000 | #Constraints: 52041
339.47/340.49 c #Conflicts: 203000 | #Constraints: 53041
339.47/340.49 c #Conflicts: 204000 | #Constraints: 54041
339.47/340.49 c INPROCESSING
339.47/340.49 c GARBAGE COLLECT
339.47/340.49 c #Conflicts: 205000 | #Constraints: 39301
339.47/340.49 c #Conflicts: 206000 | #Constraints: 40301
339.47/340.49 c #Conflicts: 207000 | #Constraints: 41301
339.47/340.49 c #Conflicts: 208000 | #Constraints: 42301
339.47/340.49 c #Conflicts: 209000 | #Constraints: 43301
339.47/340.49 c #Conflicts: 210000 | #Constraints: 44301
339.47/340.49 c #Conflicts: 211000 | #Constraints: 45301
339.47/340.49 c #Conflicts: 212000 | #Constraints: 46301
339.47/340.49 c #Conflicts: 213000 | #Constraints: 47301
339.47/340.49 c #Conflicts: 214000 | #Constraints: 48301
339.47/340.49 c #Conflicts: 215000 | #Constraints: 49301
339.47/340.49 c #Conflicts: 216000 | #Constraints: 50301
339.47/340.49 c #Conflicts: 217000 | #Constraints: 51301
339.47/340.49 c #Conflicts: 218000 | #Constraints: 52301
339.47/340.49 c #Conflicts: 219000 | #Constraints: 53301
339.47/340.49 c #Conflicts: 220000 | #Constraints: 54301
339.47/340.49 c #Conflicts: 221000 | #Constraints: 55301
339.47/340.49 c #Conflicts: 222000 | #Constraints: 56301
339.47/340.49 c #Conflicts: 223000 | #Constraints: 57301
339.47/340.49 c #Conflicts: 224000 | #Constraints: 58301
529.70/531.16 c #Conflicts: 225000 | #Constraints: 59301
529.70/531.16 c #Conflicts: 226000 | #Constraints: 60301
529.70/531.16 c #Conflicts: 227000 | #Constraints: 61301
529.70/531.16 c #Conflicts: 228000 | #Constraints: 62301
529.70/531.16 c #Conflicts: 229000 | #Constraints: 63301
529.70/531.16 c #Conflicts: 230000 | #Constraints: 64301
529.70/531.16 c #Conflicts: 231000 | #Constraints: 65301
529.70/531.16 c #Conflicts: 232000 | #Constraints: 66301
529.70/531.16 c #Conflicts: 233000 | #Constraints: 67301
529.70/531.16 c #Conflicts: 234000 | #Constraints: 68301
529.70/531.16 c #Conflicts: 235000 | #Constraints: 69301
529.70/531.16 c INPROCESSING
529.70/531.16 c GARBAGE COLLECT
529.70/531.16 c #Conflicts: 236000 | #Constraints: 45471
529.70/531.16 c #Conflicts: 237000 | #Constraints: 46471
529.70/531.16 c #Conflicts: 238000 | #Constraints: 47471
529.70/531.16 c #Conflicts: 239000 | #Constraints: 48471
529.70/531.16 c #Conflicts: 240000 | #Constraints: 49471
529.70/531.16 c #Conflicts: 241000 | #Constraints: 50471
529.70/531.16 c #Conflicts: 242000 | #Constraints: 51471
529.70/531.16 c #Conflicts: 243000 | #Constraints: 52471
529.70/531.16 c #Conflicts: 244000 | #Constraints: 53471
529.70/531.16 c #Conflicts: 245000 | #Constraints: 54471
529.70/531.16 c #Conflicts: 246000 | #Constraints: 55471
529.70/531.16 c #Conflicts: 247000 | #Constraints: 56471
529.70/531.16 c #Conflicts: 248000 | #Constraints: 57471
529.70/531.16 c INPROCESSING
529.70/531.16 c GARBAGE COLLECT
529.70/531.16 c #Conflicts: 249000 | #Constraints: 40364
529.70/531.16 c #Conflicts: 250000 | #Constraints: 41364
529.70/531.16 c #Conflicts: 251000 | #Constraints: 42364
529.70/531.16 c #Conflicts: 252000 | #Constraints: 43364
529.70/531.16 c #Conflicts: 253000 | #Constraints: 44364
529.70/531.16 c #Conflicts: 254000 | #Constraints: 45364
529.70/531.16 c #Conflicts: 255000 | #Constraints: 46364
529.70/531.16 c #Conflicts: 256000 | #Constraints: 47364
529.70/531.16 c #Conflicts: 257000 | #Constraints: 48364
529.70/531.16 c #Conflicts: 258000 | #Constraints: 49364
529.70/531.16 c #Conflicts: 259000 | #Constraints: 50364
529.70/531.16 c #Conflicts: 260000 | #Constraints: 51364
529.70/531.16 c #Conflicts: 261000 | #Constraints: 52364
529.70/531.16 c #Conflicts: 262000 | #Constraints: 53364
529.70/531.16 c #Conflicts: 263000 | #Constraints: 54364
529.70/531.16 c #Conflicts: 264000 | #Constraints: 55364
529.70/531.16 c #Conflicts: 265000 | #Constraints: 56364
529.70/531.16 c #Conflicts: 266000 | #Constraints: 57364
529.70/531.16 c #Conflicts: 267000 | #Constraints: 58364
529.70/531.16 c #Conflicts: 268000 | #Constraints: 59364
529.70/531.16 c #Conflicts: 269000 | #Constraints: 60364
529.70/531.16 c #Conflicts: 270000 | #Constraints: 61364
529.70/531.16 c #Conflicts: 271000 | #Constraints: 62364
529.70/531.16 c #Conflicts: 272000 | #Constraints: 63364
529.70/531.16 c #Conflicts: 273000 | #Constraints: 64364
529.70/531.16 c #Conflicts: 274000 | #Constraints: 65364
529.70/531.16 c #Conflicts: 275000 | #Constraints: 66364
529.70/531.16 c #Conflicts: 276000 | #Constraints: 67364
529.70/531.16 c #Conflicts: 277000 | #Constraints: 68364
529.70/531.16 c #Conflicts: 278000 | #Constraints: 69364
529.70/531.16 c #Conflicts: 279000 | #Constraints: 70364
529.70/531.16 c #Conflicts: 280000 | #Constraints: 71364
529.70/531.16 c #Conflicts: 281000 | #Constraints: 72364
529.70/531.16 c #Conflicts: 282000 | #Constraints: 73364
529.70/531.16 c INPROCESSING
529.70/531.16 c GARBAGE COLLECT
529.70/531.16 c #Conflicts: 283000 | #Constraints: 47222
529.70/531.16 c #Conflicts: 284000 | #Constraints: 48222
529.70/531.16 c #Conflicts: 285000 | #Constraints: 49222
529.70/531.16 c #Conflicts: 286000 | #Constraints: 50222
529.70/531.16 c #Conflicts: 287000 | #Constraints: 51222
529.70/531.16 c #Conflicts: 288000 | #Constraints: 52222
529.70/531.16 c #Conflicts: 289000 | #Constraints: 53222
529.70/531.16 c #Conflicts: 290000 | #Constraints: 54222
529.70/531.16 c #Conflicts: 291000 | #Constraints: 55222
529.70/531.16 c #Conflicts: 292000 | #Constraints: 56222
529.70/531.16 c #Conflicts: 293000 | #Constraints: 57222
529.70/531.16 c #Conflicts: 294000 | #Constraints: 58222
529.70/531.16 c #Conflicts: 295000 | #Constraints: 59222
529.70/531.16 c #Conflicts: 296000 | #Constraints: 60222
529.70/531.16 c #Conflicts: 297000 | #Constraints: 61222
529.70/531.16 c INPROCESSING
529.70/531.16 c GARBAGE COLLECT
529.70/531.16 c #Conflicts: 298000 | #Constraints: 43027
529.70/531.16 c #Conflicts: 299000 | #Constraints: 44027
529.70/531.16 c #Conflicts: 300000 | #Constraints: 45027
650.58/652.32 c #Conflicts: 301000 | #Constraints: 46027
650.58/652.32 c #Conflicts: 302000 | #Constraints: 47027
650.58/652.32 c #Conflicts: 303000 | #Constraints: 48027
650.58/652.32 c #Conflicts: 304000 | #Constraints: 49027
650.58/652.32 c #Conflicts: 305000 | #Constraints: 50027
650.58/652.32 c #Conflicts: 306000 | #Constraints: 51027
650.58/652.32 c #Conflicts: 307000 | #Constraints: 52027
650.58/652.32 c #Conflicts: 308000 | #Constraints: 53027
650.58/652.32 c #Conflicts: 309000 | #Constraints: 54027
650.58/652.32 c #Conflicts: 310000 | #Constraints: 55027
650.58/652.32 c #Conflicts: 311000 | #Constraints: 56027
650.58/652.32 c #Conflicts: 312000 | #Constraints: 57027
650.58/652.32 c #Conflicts: 313000 | #Constraints: 58027
650.58/652.32 c #Conflicts: 314000 | #Constraints: 59027
650.58/652.32 c #Conflicts: 315000 | #Constraints: 60027
650.58/652.32 c #Conflicts: 316000 | #Constraints: 61027
650.58/652.32 c #Conflicts: 317000 | #Constraints: 62027
650.58/652.32 c #Conflicts: 318000 | #Constraints: 63027
650.58/652.32 c #Conflicts: 319000 | #Constraints: 64027
650.58/652.32 c #Conflicts: 320000 | #Constraints: 65027
650.58/652.32 c #Conflicts: 321000 | #Constraints: 66027
650.58/652.32 c #Conflicts: 322000 | #Constraints: 67027
650.58/652.32 c #Conflicts: 323000 | #Constraints: 68027
650.58/652.32 c #Conflicts: 324000 | #Constraints: 69027
650.58/652.32 c #Conflicts: 325000 | #Constraints: 70027
650.58/652.32 c #Conflicts: 326000 | #Constraints: 71027
650.58/652.32 c #Conflicts: 327000 | #Constraints: 72027
650.58/652.32 c #Conflicts: 328000 | #Constraints: 73027
650.58/652.32 c #Conflicts: 329000 | #Constraints: 74027
650.58/652.32 c #Conflicts: 330000 | #Constraints: 75027
650.58/652.32 c #Conflicts: 331000 | #Constraints: 76027
650.58/652.32 c #Conflicts: 332000 | #Constraints: 77027
650.58/652.32 c #Conflicts: 333000 | #Constraints: 78027
650.58/652.32 c #Conflicts: 334000 | #Constraints: 79027
650.58/652.32 c #Conflicts: 335000 | #Constraints: 80027
650.58/652.32 c INPROCESSING
650.58/652.32 c GARBAGE COLLECT
650.58/652.32 c #Conflicts: 336000 | #Constraints: 51197
650.58/652.32 c #Conflicts: 337000 | #Constraints: 52197
650.58/652.32 c #Conflicts: 338000 | #Constraints: 53197
650.58/652.32 c #Conflicts: 339000 | #Constraints: 54197
650.58/652.32 c #Conflicts: 340000 | #Constraints: 55197
650.58/652.32 c #Conflicts: 341000 | #Constraints: 56197
650.58/652.32 c #Conflicts: 342000 | #Constraints: 57197
650.58/652.32 c #Conflicts: 343000 | #Constraints: 58197
650.58/652.32 c #Conflicts: 344000 | #Constraints: 59197
650.58/652.32 c #Conflicts: 345000 | #Constraints: 60197
650.58/652.32 c #Conflicts: 346000 | #Constraints: 61197
650.58/652.32 c #Conflicts: 347000 | #Constraints: 62197
650.58/652.32 c #Conflicts: 348000 | #Constraints: 63197
650.58/652.32 c #Conflicts: 349000 | #Constraints: 64197
650.58/652.32 c #Conflicts: 350000 | #Constraints: 65197
650.58/652.32 c #Conflicts: 351000 | #Constraints: 66197
650.58/652.32 c INPROCESSING
650.58/652.32 c GARBAGE COLLECT
650.58/652.32 c #Conflicts: 352000 | #Constraints: 46276
650.58/652.32 c #Conflicts: 353000 | #Constraints: 47276
650.58/652.32 c #Conflicts: 354000 | #Constraints: 48276
650.58/652.32 c #Conflicts: 355000 | #Constraints: 49276
650.58/652.32 c #Conflicts: 356000 | #Constraints: 50276
650.58/652.32 c #Conflicts: 357000 | #Constraints: 51276
650.58/652.32 c #Conflicts: 358000 | #Constraints: 52276
650.58/652.32 c #Conflicts: 359000 | #Constraints: 53276
650.58/652.32 c #Conflicts: 360000 | #Constraints: 54276
650.58/652.32 c #Conflicts: 361000 | #Constraints: 55276
650.58/652.32 c #Conflicts: 362000 | #Constraints: 56276
650.58/652.32 c #Conflicts: 363000 | #Constraints: 57276
650.58/652.32 c #Conflicts: 364000 | #Constraints: 58276
650.58/652.32 c #Conflicts: 365000 | #Constraints: 59276
650.58/652.32 c #Conflicts: 366000 | #Constraints: 60276
650.58/652.32 c #Conflicts: 367000 | #Constraints: 61276
650.58/652.32 c #Conflicts: 368000 | #Constraints: 62276
650.58/652.32 c #Conflicts: 369000 | #Constraints: 63276
650.58/652.32 c #Conflicts: 370000 | #Constraints: 64276
650.58/652.32 c #Conflicts: 371000 | #Constraints: 65276
650.58/652.32 c #Conflicts: 372000 | #Constraints: 66276
650.58/652.32 c #Conflicts: 373000 | #Constraints: 67276
650.58/652.32 c #Conflicts: 374000 | #Constraints: 68276
650.58/652.32 c #Conflicts: 375000 | #Constraints: 69276
650.58/652.32 c #Conflicts: 376000 | #Constraints: 70276
650.58/652.32 c #Conflicts: 377000 | #Constraints: 71276
650.58/652.32 c #Conflicts: 378000 | #Constraints: 72276
797.61/799.77 c #Conflicts: 379000 | #Constraints: 73276
797.61/799.77 c #Conflicts: 380000 | #Constraints: 74276
797.61/799.77 c #Conflicts: 381000 | #Constraints: 75276
797.61/799.77 c #Conflicts: 382000 | #Constraints: 76276
797.61/799.77 c #Conflicts: 383000 | #Constraints: 77276
797.61/799.77 c #Conflicts: 384000 | #Constraints: 78276
797.61/799.77 c #Conflicts: 385000 | #Constraints: 79276
797.61/799.77 c #Conflicts: 386000 | #Constraints: 80276
797.61/799.77 c #Conflicts: 387000 | #Constraints: 81276
797.61/799.77 c #Conflicts: 388000 | #Constraints: 82276
797.61/799.77 c #Conflicts: 389000 | #Constraints: 83276
797.61/799.77 c #Conflicts: 390000 | #Constraints: 84276
797.61/799.77 c #Conflicts: 391000 | #Constraints: 85276
797.61/799.77 c INPROCESSING
797.61/799.77 c GARBAGE COLLECT
797.61/799.77 c #Conflicts: 392000 | #Constraints: 53616
797.61/799.77 c #Conflicts: 393000 | #Constraints: 54616
797.61/799.77 c #Conflicts: 394000 | #Constraints: 55616
797.61/799.77 c #Conflicts: 395000 | #Constraints: 56616
797.61/799.77 c #Conflicts: 396000 | #Constraints: 57616
797.61/799.77 c #Conflicts: 397000 | #Constraints: 58616
797.61/799.77 c #Conflicts: 398000 | #Constraints: 59616
797.61/799.77 c #Conflicts: 399000 | #Constraints: 60616
797.61/799.77 c #Conflicts: 400000 | #Constraints: 61616
797.61/799.77 c #Conflicts: 401000 | #Constraints: 62616
797.61/799.77 c #Conflicts: 402000 | #Constraints: 63616
797.61/799.77 c #Conflicts: 403000 | #Constraints: 64616
797.61/799.77 c #Conflicts: 404000 | #Constraints: 65616
797.61/799.77 c #Conflicts: 405000 | #Constraints: 66616
797.61/799.77 c #Conflicts: 406000 | #Constraints: 67616
797.61/799.77 c #Conflicts: 407000 | #Constraints: 68616
797.61/799.77 c #Conflicts: 408000 | #Constraints: 69616
797.61/799.77 c INPROCESSING
797.61/799.77 c GARBAGE COLLECT
797.61/799.77 c #Conflicts: 409000 | #Constraints: 48107
797.61/799.77 c #Conflicts: 410000 | #Constraints: 49107
797.61/799.77 c #Conflicts: 411000 | #Constraints: 50107
797.61/799.77 c #Conflicts: 412000 | #Constraints: 51107
797.61/799.77 c #Conflicts: 413000 | #Constraints: 52107
797.61/799.77 c #Conflicts: 414000 | #Constraints: 53107
797.61/799.77 c #Conflicts: 415000 | #Constraints: 54107
797.61/799.77 c #Conflicts: 416000 | #Constraints: 55107
797.61/799.77 c #Conflicts: 417000 | #Constraints: 56107
797.61/799.77 c #Conflicts: 418000 | #Constraints: 57107
797.61/799.77 c #Conflicts: 419000 | #Constraints: 58107
797.61/799.77 c #Conflicts: 420000 | #Constraints: 59107
797.61/799.77 c #Conflicts: 421000 | #Constraints: 60107
797.61/799.77 c #Conflicts: 422000 | #Constraints: 61107
797.61/799.77 c #Conflicts: 423000 | #Constraints: 62107
797.61/799.77 c #Conflicts: 424000 | #Constraints: 63107
797.61/799.77 c #Conflicts: 425000 | #Constraints: 64107
797.61/799.77 c #Conflicts: 426000 | #Constraints: 65107
797.61/799.77 c #Conflicts: 427000 | #Constraints: 66107
797.61/799.77 c #Conflicts: 428000 | #Constraints: 67107
797.61/799.77 c #Conflicts: 429000 | #Constraints: 68107
797.61/799.77 c #Conflicts: 430000 | #Constraints: 69107
797.61/799.77 c #Conflicts: 431000 | #Constraints: 70107
797.61/799.77 c #Conflicts: 432000 | #Constraints: 71107
797.61/799.77 c #Conflicts: 433000 | #Constraints: 72107
797.61/799.77 c #Conflicts: 434000 | #Constraints: 73107
797.61/799.77 c #Conflicts: 435000 | #Constraints: 74107
797.61/799.77 c #Conflicts: 436000 | #Constraints: 75107
797.61/799.77 c #Conflicts: 437000 | #Constraints: 76107
797.61/799.77 c #Conflicts: 438000 | #Constraints: 77107
797.61/799.77 c #Conflicts: 439000 | #Constraints: 78107
797.61/799.77 c #Conflicts: 440000 | #Constraints: 79107
797.61/799.77 c #Conflicts: 441000 | #Constraints: 80107
797.61/799.77 c #Conflicts: 442000 | #Constraints: 81107
797.61/799.77 c #Conflicts: 443000 | #Constraints: 82107
797.61/799.77 c #Conflicts: 444000 | #Constraints: 83107
797.61/799.77 c #Conflicts: 445000 | #Constraints: 84107
797.61/799.77 c #Conflicts: 446000 | #Constraints: 85107
797.61/799.77 c #Conflicts: 447000 | #Constraints: 86107
797.61/799.77 c #Conflicts: 448000 | #Constraints: 87107
797.61/799.77 c #Conflicts: 449000 | #Constraints: 88107
797.61/799.77 c #Conflicts: 450000 | #Constraints: 89107
797.61/799.77 c #Conflicts: 451000 | #Constraints: 90107
797.61/799.77 c #Conflicts: 452000 | #Constraints: 91107
797.61/799.77 c INPROCESSING
797.61/799.77 c GARBAGE COLLECT
797.61/799.77 c #Conflicts: 453000 | #Constraints: 56394
797.61/799.77 c #Conflicts: 454000 | #Constraints: 57394
797.61/799.77 c #Conflicts: 455000 | #Constraints: 58394
1025.80/1028.54 c #Conflicts: 456000 | #Constraints: 59394
1025.80/1028.54 c #Conflicts: 457000 | #Constraints: 60394
1025.80/1028.54 c #Conflicts: 458000 | #Constraints: 61394
1025.80/1028.54 c #Conflicts: 459000 | #Constraints: 62394
1025.80/1028.54 c #Conflicts: 460000 | #Constraints: 63394
1025.80/1028.54 c #Conflicts: 461000 | #Constraints: 64394
1025.80/1028.54 c #Conflicts: 462000 | #Constraints: 65394
1025.80/1028.54 c #Conflicts: 463000 | #Constraints: 66394
1025.80/1028.54 c #Conflicts: 464000 | #Constraints: 67394
1025.80/1028.54 c #Conflicts: 465000 | #Constraints: 68394
1025.80/1028.54 c #Conflicts: 466000 | #Constraints: 69394
1025.80/1028.54 c #Conflicts: 467000 | #Constraints: 70394
1025.80/1028.54 c #Conflicts: 468000 | #Constraints: 71394
1025.80/1028.54 c #Conflicts: 469000 | #Constraints: 72394
1025.80/1028.54 c #Conflicts: 470000 | #Constraints: 73394
1025.80/1028.54 c #Conflicts: 471000 | #Constraints: 74394
1025.80/1028.54 c INPROCESSING
1025.80/1028.54 c GARBAGE COLLECT
1025.80/1028.54 c #Conflicts: 472000 | #Constraints: 50953
1025.80/1028.54 c #Conflicts: 473000 | #Constraints: 51953
1025.80/1028.54 c #Conflicts: 474000 | #Constraints: 52953
1025.80/1028.54 c #Conflicts: 475000 | #Constraints: 53953
1025.80/1028.54 c #Conflicts: 476000 | #Constraints: 54953
1025.80/1028.54 c #Conflicts: 477000 | #Constraints: 55953
1025.80/1028.54 c #Conflicts: 478000 | #Constraints: 56953
1025.80/1028.54 c #Conflicts: 479000 | #Constraints: 57953
1025.80/1028.54 c #Conflicts: 480000 | #Constraints: 58953
1025.80/1028.54 c #Conflicts: 481000 | #Constraints: 59953
1025.80/1028.54 c #Conflicts: 482000 | #Constraints: 60953
1025.80/1028.54 c #Conflicts: 483000 | #Constraints: 61953
1025.80/1028.54 c #Conflicts: 484000 | #Constraints: 62953
1025.80/1028.54 c #Conflicts: 485000 | #Constraints: 63953
1025.80/1028.54 c #Conflicts: 486000 | #Constraints: 64953
1025.80/1028.54 c #Conflicts: 487000 | #Constraints: 65953
1025.80/1028.54 c #Conflicts: 488000 | #Constraints: 66953
1025.80/1028.54 c #Conflicts: 489000 | #Constraints: 67953
1025.80/1028.54 c #Conflicts: 490000 | #Constraints: 68953
1025.80/1028.54 c #Conflicts: 491000 | #Constraints: 69953
1025.80/1028.54 c #Conflicts: 492000 | #Constraints: 70953
1025.80/1028.54 c #Conflicts: 493000 | #Constraints: 71953
1025.80/1028.54 c #Conflicts: 494000 | #Constraints: 72953
1025.80/1028.54 c #Conflicts: 495000 | #Constraints: 73953
1025.80/1028.54 c #Conflicts: 496000 | #Constraints: 74953
1025.80/1028.54 c #Conflicts: 497000 | #Constraints: 75953
1025.80/1028.54 c #Conflicts: 498000 | #Constraints: 76953
1025.80/1028.54 c #Conflicts: 499000 | #Constraints: 77953
1025.80/1028.54 c #Conflicts: 500000 | #Constraints: 78953
1025.80/1028.54 c #Conflicts: 501000 | #Constraints: 79953
1025.80/1028.54 c #Conflicts: 502000 | #Constraints: 80953
1025.80/1028.54 c #Conflicts: 503000 | #Constraints: 81953
1025.80/1028.54 c #Conflicts: 504000 | #Constraints: 82953
1025.80/1028.54 c #Conflicts: 505000 | #Constraints: 83953
1025.80/1028.54 c #Conflicts: 506000 | #Constraints: 84953
1025.80/1028.54 c #Conflicts: 507000 | #Constraints: 85953
1025.80/1028.54 c #Conflicts: 508000 | #Constraints: 86953
1025.80/1028.54 c #Conflicts: 509000 | #Constraints: 87953
1025.80/1028.54 c #Conflicts: 510000 | #Constraints: 88953
1025.80/1028.54 c #Conflicts: 511000 | #Constraints: 89953
1025.80/1028.54 c #Conflicts: 512000 | #Constraints: 90953
1025.80/1028.54 c #Conflicts: 513000 | #Constraints: 91953
1025.80/1028.54 c #Conflicts: 514000 | #Constraints: 92953
1025.80/1028.54 c #Conflicts: 515000 | #Constraints: 93953
1025.80/1028.54 c #Conflicts: 516000 | #Constraints: 94953
1025.80/1028.54 c #Conflicts: 517000 | #Constraints: 95953
1025.80/1028.54 c INPROCESSING
1025.80/1028.54 c GARBAGE COLLECT
1025.80/1028.54 c #Conflicts: 518000 | #Constraints: 58784
1025.80/1028.54 c #Conflicts: 519000 | #Constraints: 59784
1025.80/1028.54 c #Conflicts: 520000 | #Constraints: 60784
1025.80/1028.54 c #Conflicts: 521000 | #Constraints: 61784
1025.80/1028.54 c #Conflicts: 522000 | #Constraints: 62784
1025.80/1028.54 c #Conflicts: 523000 | #Constraints: 63784
1025.80/1028.54 c #Conflicts: 524000 | #Constraints: 64784
1025.80/1028.54 c #Conflicts: 525000 | #Constraints: 65784
1025.80/1028.54 c #Conflicts: 526000 | #Constraints: 66784
1025.80/1028.54 c #Conflicts: 527000 | #Constraints: 67784
1025.80/1028.54 c #Conflicts: 528000 | #Constraints: 68784
1025.80/1028.54 c #Conflicts: 529000 | #Constraints: 69784
1025.80/1028.54 c #Conflicts: 530000 | #Constraints: 70784
1025.80/1028.54 c #Conflicts: 531000 | #Constraints: 71784
1025.80/1028.54 c #Conflicts: 532000 | #Constraints: 72784
1038.76/1041.51 c #Conflicts: 533000 | #Constraints: 73784
1038.76/1041.51 c #Conflicts: 534000 | #Constraints: 74784
1038.76/1041.51 c #Conflicts: 535000 | #Constraints: 75784
1038.76/1041.51 c #Conflicts: 536000 | #Constraints: 76784
1038.76/1041.51 c #Conflicts: 537000 | #Constraints: 77784
1038.76/1041.51 c INPROCESSING
1038.76/1041.51 c GARBAGE COLLECT
1038.76/1041.51 c rational objective 155
1155.63/1158.76 c #Conflicts: 538000 | #Constraints: 52380
1155.63/1158.76 c #Conflicts: 539000 | #Constraints: 53380
1155.63/1158.76 c #Conflicts: 540000 | #Constraints: 54380
1155.63/1158.76 c #Conflicts: 541000 | #Constraints: 55380
1155.63/1158.76 c #Conflicts: 542000 | #Constraints: 56380
1155.63/1158.76 c #Conflicts: 543000 | #Constraints: 57380
1155.63/1158.76 c #Conflicts: 544000 | #Constraints: 58380
1155.63/1158.76 c #Conflicts: 545000 | #Constraints: 59380
1155.63/1158.76 c #Conflicts: 546000 | #Constraints: 60380
1155.63/1158.76 c #Conflicts: 547000 | #Constraints: 61380
1155.63/1158.76 c #Conflicts: 548000 | #Constraints: 62380
1155.63/1158.76 c #Conflicts: 549000 | #Constraints: 63380
1155.63/1158.76 c #Conflicts: 550000 | #Constraints: 64380
1155.63/1158.76 c #Conflicts: 551000 | #Constraints: 65380
1155.63/1158.76 c #Conflicts: 552000 | #Constraints: 66380
1155.63/1158.76 c #Conflicts: 553000 | #Constraints: 67380
1155.63/1158.76 c #Conflicts: 554000 | #Constraints: 68380
1155.63/1158.76 c #Conflicts: 555000 | #Constraints: 69380
1155.63/1158.76 c #Conflicts: 556000 | #Constraints: 70380
1155.63/1158.76 c #Conflicts: 557000 | #Constraints: 71380
1155.63/1158.76 c #Conflicts: 558000 | #Constraints: 72380
1155.63/1158.76 c #Conflicts: 559000 | #Constraints: 73380
1155.63/1158.76 c #Conflicts: 560000 | #Constraints: 74380
1155.63/1158.76 c #Conflicts: 561000 | #Constraints: 75380
1155.63/1158.76 c #Conflicts: 562000 | #Constraints: 76380
1155.63/1158.76 c #Conflicts: 563000 | #Constraints: 77380
1155.63/1158.76 c #Conflicts: 564000 | #Constraints: 78380
1155.63/1158.76 c #Conflicts: 565000 | #Constraints: 79380
1155.63/1158.76 c #Conflicts: 566000 | #Constraints: 80380
1155.63/1158.76 c #Conflicts: 567000 | #Constraints: 81380
1155.63/1158.76 c #Conflicts: 568000 | #Constraints: 82380
1155.63/1158.76 c #Conflicts: 569000 | #Constraints: 83380
1155.63/1158.76 c #Conflicts: 570000 | #Constraints: 84380
1155.63/1158.76 c #Conflicts: 571000 | #Constraints: 85380
1155.63/1158.76 c #Conflicts: 572000 | #Constraints: 86380
1155.63/1158.76 c #Conflicts: 573000 | #Constraints: 87380
1155.63/1158.76 c #Conflicts: 574000 | #Constraints: 88380
1155.63/1158.76 c #Conflicts: 575000 | #Constraints: 89380
1155.63/1158.76 c #Conflicts: 576000 | #Constraints: 90380
1155.63/1158.76 c #Conflicts: 577000 | #Constraints: 91380
1155.63/1158.76 c #Conflicts: 578000 | #Constraints: 92380
1155.63/1158.76 c #Conflicts: 579000 | #Constraints: 93380
1155.63/1158.76 c #Conflicts: 580000 | #Constraints: 94380
1155.63/1158.76 c #Conflicts: 581000 | #Constraints: 95380
1155.63/1158.76 c #Conflicts: 582000 | #Constraints: 96380
1155.63/1158.76 c #Conflicts: 583000 | #Constraints: 97380
1155.63/1158.76 c #Conflicts: 584000 | #Constraints: 98380
1155.63/1158.76 c #Conflicts: 585000 | #Constraints: 99380
1155.63/1158.76 c #Conflicts: 586000 | #Constraints: 100380
1155.63/1158.76 c #Conflicts: 587000 | #Constraints: 101380
1155.63/1158.76 c INPROCESSING
1155.63/1158.76 c GARBAGE COLLECT
1155.63/1158.76 c rational objective 155
1418.17/1421.97 c #Conflicts: 588000 | #Constraints: 61745
1418.17/1421.97 c #Conflicts: 589000 | #Constraints: 62745
1418.17/1421.97 c #Conflicts: 590000 | #Constraints: 63745
1418.17/1421.97 c #Conflicts: 591000 | #Constraints: 64745
1418.17/1421.97 c #Conflicts: 592000 | #Constraints: 65745
1418.17/1421.97 c #Conflicts: 593000 | #Constraints: 66745
1418.17/1421.97 c #Conflicts: 594000 | #Constraints: 67745
1418.17/1421.97 c #Conflicts: 595000 | #Constraints: 68745
1418.17/1421.97 c #Conflicts: 596000 | #Constraints: 69745
1418.17/1421.97 c #Conflicts: 597000 | #Constraints: 70745
1418.17/1421.97 c #Conflicts: 598000 | #Constraints: 71745
1418.17/1421.97 c #Conflicts: 599000 | #Constraints: 72745
1418.17/1421.97 c #Conflicts: 600000 | #Constraints: 73745
1418.17/1421.97 c #Conflicts: 601000 | #Constraints: 74745
1418.17/1421.97 c #Conflicts: 602000 | #Constraints: 75745
1418.17/1421.97 c #Conflicts: 603000 | #Constraints: 76745
1418.17/1421.97 c #Conflicts: 604000 | #Constraints: 77745
1418.17/1421.97 c #Conflicts: 605000 | #Constraints: 78745
1418.17/1421.97 c #Conflicts: 606000 | #Constraints: 79745
1418.17/1421.97 c #Conflicts: 607000 | #Constraints: 80746
1418.17/1421.97 c #Conflicts: 608000 | #Constraints: 81746
1418.17/1421.97 c INPROCESSING
1418.17/1421.97 c GARBAGE COLLECT
1418.17/1421.97 c #Conflicts: 609000 | #Constraints: 54938
1418.17/1421.97 c #Conflicts: 610000 | #Constraints: 55938
1418.17/1421.97 c #Conflicts: 611000 | #Constraints: 56938
1418.17/1421.97 c #Conflicts: 612000 | #Constraints: 57938
1418.17/1421.97 c #Conflicts: 613000 | #Constraints: 58938
1418.17/1421.97 c #Conflicts: 614000 | #Constraints: 59938
1418.17/1421.97 c #Conflicts: 615000 | #Constraints: 60938
1418.17/1421.97 c #Conflicts: 616000 | #Constraints: 61938
1418.17/1421.97 c #Conflicts: 617000 | #Constraints: 62938
1418.17/1421.97 c #Conflicts: 618000 | #Constraints: 63938
1418.17/1421.97 c #Conflicts: 619000 | #Constraints: 64938
1418.17/1421.97 c #Conflicts: 620000 | #Constraints: 65938
1418.17/1421.97 c #Conflicts: 621000 | #Constraints: 66938
1418.17/1421.97 c #Conflicts: 622000 | #Constraints: 67938
1418.17/1421.97 c #Conflicts: 623000 | #Constraints: 68938
1418.17/1421.97 c #Conflicts: 624000 | #Constraints: 69938
1418.17/1421.97 c #Conflicts: 625000 | #Constraints: 70938
1418.17/1421.97 c #Conflicts: 626000 | #Constraints: 71938
1418.17/1421.97 c #Conflicts: 627000 | #Constraints: 72938
1418.17/1421.97 c #Conflicts: 628000 | #Constraints: 73938
1418.17/1421.97 c #Conflicts: 629000 | #Constraints: 74938
1418.17/1421.97 c #Conflicts: 630000 | #Constraints: 75938
1418.17/1421.97 c #Conflicts: 631000 | #Constraints: 76938
1418.17/1421.97 c #Conflicts: 632000 | #Constraints: 77938
1418.17/1421.97 c #Conflicts: 633000 | #Constraints: 78938
1418.17/1421.97 c #Conflicts: 634000 | #Constraints: 79938
1418.17/1421.97 c #Conflicts: 635000 | #Constraints: 80938
1418.17/1421.97 c #Conflicts: 636000 | #Constraints: 81938
1418.17/1421.97 c #Conflicts: 637000 | #Constraints: 82938
1418.17/1421.97 c #Conflicts: 638000 | #Constraints: 83938
1418.17/1421.97 c #Conflicts: 639000 | #Constraints: 84938
1418.17/1421.97 c #Conflicts: 640000 | #Constraints: 85938
1418.17/1421.97 c #Conflicts: 641000 | #Constraints: 86938
1418.17/1421.97 c #Conflicts: 642000 | #Constraints: 87938
1418.17/1421.97 c #Conflicts: 643000 | #Constraints: 88938
1418.17/1421.97 c #Conflicts: 644000 | #Constraints: 89938
1418.17/1421.97 c #Conflicts: 645000 | #Constraints: 90938
1418.17/1421.97 c #Conflicts: 646000 | #Constraints: 91938
1418.17/1421.97 c #Conflicts: 647000 | #Constraints: 92938
1418.17/1421.97 c #Conflicts: 648000 | #Constraints: 93938
1418.17/1421.97 c #Conflicts: 649000 | #Constraints: 94938
1418.17/1421.97 c #Conflicts: 650000 | #Constraints: 95938
1418.17/1421.97 c #Conflicts: 651000 | #Constraints: 96938
1418.17/1421.97 c #Conflicts: 652000 | #Constraints: 97938
1418.17/1421.97 c #Conflicts: 653000 | #Constraints: 98938
1418.17/1421.97 c #Conflicts: 654000 | #Constraints: 99938
1418.17/1421.97 c #Conflicts: 655000 | #Constraints: 100938
1418.17/1421.97 c #Conflicts: 656000 | #Constraints: 101938
1418.17/1421.97 c #Conflicts: 657000 | #Constraints: 102938
1418.17/1421.97 c #Conflicts: 658000 | #Constraints: 103938
1418.17/1421.97 c #Conflicts: 659000 | #Constraints: 104938
1418.17/1421.97 c #Conflicts: 660000 | #Constraints: 105938
1418.17/1421.97 c #Conflicts: 661000 | #Constraints: 106938
1418.17/1421.97 c INPROCESSING
1418.17/1421.97 c GARBAGE COLLECT
1418.17/1421.97 c rational objective 155
1593.14/1597.34 c #Conflicts: 662000 | #Constraints: 64563
1593.14/1597.34 c #Conflicts: 663000 | #Constraints: 65563
1593.14/1597.34 c #Conflicts: 664000 | #Constraints: 66563
1593.14/1597.34 c #Conflicts: 665000 | #Constraints: 67563
1593.14/1597.34 c #Conflicts: 666000 | #Constraints: 68563
1593.14/1597.34 c #Conflicts: 667000 | #Constraints: 69563
1593.14/1597.34 c #Conflicts: 668000 | #Constraints: 70563
1593.14/1597.34 c #Conflicts: 669000 | #Constraints: 71563
1593.14/1597.34 c #Conflicts: 670000 | #Constraints: 72563
1593.14/1597.34 c #Conflicts: 671000 | #Constraints: 73563
1593.14/1597.34 c #Conflicts: 672000 | #Constraints: 74563
1593.14/1597.34 c #Conflicts: 673000 | #Constraints: 75563
1593.14/1597.34 c #Conflicts: 674000 | #Constraints: 76563
1593.14/1597.34 c #Conflicts: 675000 | #Constraints: 77563
1593.14/1597.34 c #Conflicts: 676000 | #Constraints: 78563
1593.14/1597.34 c #Conflicts: 677000 | #Constraints: 79563
1593.14/1597.34 c #Conflicts: 678000 | #Constraints: 80563
1593.14/1597.34 c #Conflicts: 679000 | #Constraints: 81563
1593.14/1597.34 c #Conflicts: 680000 | #Constraints: 82563
1593.14/1597.34 c #Conflicts: 681000 | #Constraints: 83563
1593.14/1597.34 c #Conflicts: 682000 | #Constraints: 84563
1593.14/1597.34 c #Conflicts: 683000 | #Constraints: 85563
1593.14/1597.34 c #Conflicts: 684000 | #Constraints: 86563
1593.14/1597.34 c INPROCESSING
1593.14/1597.34 c GARBAGE COLLECT
1593.14/1597.34 c #Conflicts: 685000 | #Constraints: 58037
1593.14/1597.34 c #Conflicts: 686000 | #Constraints: 59037
1593.14/1597.34 c #Conflicts: 687000 | #Constraints: 60037
1593.14/1597.34 c #Conflicts: 688000 | #Constraints: 61037
1593.14/1597.34 c #Conflicts: 689000 | #Constraints: 62037
1593.14/1597.34 c #Conflicts: 690000 | #Constraints: 63037
1593.14/1597.34 c #Conflicts: 691000 | #Constraints: 64037
1593.14/1597.34 c #Conflicts: 692000 | #Constraints: 65037
1593.14/1597.34 c #Conflicts: 693000 | #Constraints: 66037
1593.14/1597.34 c #Conflicts: 694000 | #Constraints: 67037
1593.14/1597.34 c #Conflicts: 695000 | #Constraints: 68037
1593.14/1597.34 c #Conflicts: 696000 | #Constraints: 69037
1593.14/1597.34 c #Conflicts: 697000 | #Constraints: 70037
1593.14/1597.34 c #Conflicts: 698000 | #Constraints: 71037
1593.14/1597.34 c #Conflicts: 699000 | #Constraints: 72037
1593.14/1597.34 c #Conflicts: 700000 | #Constraints: 73037
1593.14/1597.34 c #Conflicts: 701000 | #Constraints: 74037
1593.14/1597.34 c #Conflicts: 702000 | #Constraints: 75037
1593.14/1597.34 c #Conflicts: 703000 | #Constraints: 76037
1593.14/1597.34 c #Conflicts: 704000 | #Constraints: 77037
1593.14/1597.34 c #Conflicts: 705000 | #Constraints: 78037
1593.14/1597.34 c #Conflicts: 706000 | #Constraints: 79037
1593.14/1597.34 c #Conflicts: 707000 | #Constraints: 80037
1593.14/1597.34 c #Conflicts: 708000 | #Constraints: 81037
1593.14/1597.34 c #Conflicts: 709000 | #Constraints: 82037
1593.14/1597.34 c #Conflicts: 710000 | #Constraints: 83037
1593.14/1597.34 c #Conflicts: 711000 | #Constraints: 84037
1593.14/1597.34 c #Conflicts: 712000 | #Constraints: 85038
1593.14/1597.34 c #Conflicts: 713000 | #Constraints: 86038
1593.14/1597.34 c #Conflicts: 714000 | #Constraints: 87038
1593.14/1597.34 c #Conflicts: 715000 | #Constraints: 88038
1593.14/1597.34 c #Conflicts: 716000 | #Constraints: 89038
1593.14/1597.34 c #Conflicts: 717000 | #Constraints: 90038
1593.14/1597.34 c #Conflicts: 718000 | #Constraints: 91038
1593.14/1597.34 c #Conflicts: 719000 | #Constraints: 92038
1593.14/1597.34 c #Conflicts: 720000 | #Constraints: 93038
1593.14/1597.34 c #Conflicts: 721000 | #Constraints: 94038
1593.14/1597.34 c #Conflicts: 722000 | #Constraints: 95038
1593.14/1597.34 c #Conflicts: 723000 | #Constraints: 96038
1593.14/1597.34 c #Conflicts: 724000 | #Constraints: 97038
1593.14/1597.34 c #Conflicts: 725000 | #Constraints: 98038
1593.14/1597.34 c #Conflicts: 726000 | #Constraints: 99038
1593.14/1597.34 c #Conflicts: 727000 | #Constraints: 100038
1593.14/1597.34 c #Conflicts: 728000 | #Constraints: 101038
1593.14/1597.34 c #Conflicts: 729000 | #Constraints: 102038
1593.14/1597.34 c #Conflicts: 730000 | #Constraints: 103038
1593.14/1597.34 c #Conflicts: 731000 | #Constraints: 104038
1593.14/1597.34 c #Conflicts: 732000 | #Constraints: 105038
1593.14/1597.34 c #Conflicts: 733000 | #Constraints: 106038
1593.14/1597.34 c #Conflicts: 734000 | #Constraints: 107038
1593.14/1597.34 c #Conflicts: 735000 | #Constraints: 108038
1593.14/1597.34 c #Conflicts: 736000 | #Constraints: 109038
1593.14/1597.34 c #Conflicts: 737000 | #Constraints: 110038
1593.14/1597.34 c #Conflicts: 738000 | #Constraints: 111038
1593.14/1597.34 c #Conflicts: 739000 | #Constraints: 112038
1593.14/1597.34 c #Conflicts: 740000 | #Constraints: 113038
1770.10/1774.75 c INPROCESSING
1770.10/1774.75 c GARBAGE COLLECT
1770.10/1774.75 c #Conflicts: 741000 | #Constraints: 67892
1770.10/1774.75 c #Conflicts: 742000 | #Constraints: 68892
1770.10/1774.75 c #Conflicts: 743000 | #Constraints: 69892
1770.10/1774.75 c #Conflicts: 744000 | #Constraints: 70892
1770.10/1774.75 c #Conflicts: 745000 | #Constraints: 71892
1770.10/1774.75 c #Conflicts: 746000 | #Constraints: 72893
1770.10/1774.75 c #Conflicts: 747000 | #Constraints: 73893
1770.10/1774.75 c #Conflicts: 748000 | #Constraints: 74893
1770.10/1774.75 c #Conflicts: 749000 | #Constraints: 75893
1770.10/1774.75 c #Conflicts: 750000 | #Constraints: 76893
1770.10/1774.75 c #Conflicts: 751000 | #Constraints: 77893
1770.10/1774.75 c #Conflicts: 752000 | #Constraints: 78893
1770.10/1774.75 c #Conflicts: 753000 | #Constraints: 79893
1770.10/1774.75 c #Conflicts: 754000 | #Constraints: 80893
1770.10/1774.75 c #Conflicts: 755000 | #Constraints: 81893
1770.10/1774.75 c #Conflicts: 756000 | #Constraints: 82893
1770.10/1774.75 c #Conflicts: 757000 | #Constraints: 83893
1770.10/1774.75 c #Conflicts: 758000 | #Constraints: 84893
1770.10/1774.75 c #Conflicts: 759000 | #Constraints: 85893
1770.10/1774.75 c #Conflicts: 760000 | #Constraints: 86893
1770.10/1774.75 c #Conflicts: 761000 | #Constraints: 87894
1770.10/1774.75 c #Conflicts: 762000 | #Constraints: 88894
1770.10/1774.75 c #Conflicts: 763000 | #Constraints: 89894
1770.10/1774.75 c INPROCESSING
1770.10/1774.75 c GARBAGE COLLECT
1770.10/1774.75 c #Conflicts: 764000 | #Constraints: 59511
1770.10/1774.75 c #Conflicts: 765000 | #Constraints: 60511
1770.10/1774.75 c #Conflicts: 766000 | #Constraints: 61511
1770.10/1774.75 c #Conflicts: 767000 | #Constraints: 62511
1770.10/1774.75 c #Conflicts: 768000 | #Constraints: 63511
1770.10/1774.75 c #Conflicts: 769000 | #Constraints: 64511
1770.10/1774.75 c #Conflicts: 770000 | #Constraints: 65511
1770.10/1774.75 c #Conflicts: 771000 | #Constraints: 66511
1770.10/1774.75 c #Conflicts: 772000 | #Constraints: 67511
1770.10/1774.75 c #Conflicts: 773000 | #Constraints: 68511
1770.10/1774.75 c #Conflicts: 774000 | #Constraints: 69511
1770.10/1774.75 c #Conflicts: 775000 | #Constraints: 70511
1770.10/1774.75 c #Conflicts: 776000 | #Constraints: 71511
1770.10/1774.75 c #Conflicts: 777000 | #Constraints: 72511
1770.10/1774.75 c #Conflicts: 778000 | #Constraints: 73511
1770.10/1774.75 c #Conflicts: 779000 | #Constraints: 74511
1770.10/1774.75 c #Conflicts: 780000 | #Constraints: 75511
1770.10/1774.75 c #Conflicts: 781000 | #Constraints: 76511
1770.10/1774.75 c #Conflicts: 782000 | #Constraints: 77511
1770.10/1774.75 c #Conflicts: 783000 | #Constraints: 78511
1770.10/1774.75 c #Conflicts: 784000 | #Constraints: 79511
1770.10/1774.75 c #Conflicts: 785000 | #Constraints: 80511
1770.10/1774.75 c #Conflicts: 786000 | #Constraints: 81511
1770.10/1774.75 c #Conflicts: 787000 | #Constraints: 82511
1770.10/1774.75 c #Conflicts: 788000 | #Constraints: 83511
1770.10/1774.75 c #Conflicts: 789000 | #Constraints: 84511
1770.10/1774.75 c #Conflicts: 790000 | #Constraints: 85511
1770.10/1774.75 c #Conflicts: 791000 | #Constraints: 86511
1770.10/1774.75 c #Conflicts: 792000 | #Constraints: 87511
1770.10/1774.75 c #Conflicts: 793000 | #Constraints: 88511
1770.10/1774.75 c #Conflicts: 794000 | #Constraints: 89511
1770.10/1774.75 c #Conflicts: 795000 | #Constraints: 90511
1770.10/1774.75 c #Conflicts: 796000 | #Constraints: 91511
1770.10/1774.75 c #Conflicts: 797000 | #Constraints: 92511
1770.10/1774.75 c #Conflicts: 798000 | #Constraints: 93511
1770.10/1774.75 c #Conflicts: 799000 | #Constraints: 94511
1770.10/1774.75 c #Conflicts: 800000 | #Constraints: 95511
1770.10/1774.75 c #Conflicts: 801000 | #Constraints: 96511
1770.10/1774.75 c #Conflicts: 802000 | #Constraints: 97511
1770.10/1774.75 c #Conflicts: 803000 | #Constraints: 98511
1770.10/1774.75 c #Conflicts: 804000 | #Constraints: 99511
1770.10/1774.75 c #Conflicts: 805000 | #Constraints: 100511
1770.10/1774.75 c #Conflicts: 806000 | #Constraints: 101511
1770.10/1774.75 c #Conflicts: 807000 | #Constraints: 102511
1770.10/1774.75 c #Conflicts: 808000 | #Constraints: 103511
1770.10/1774.75 c #Conflicts: 809000 | #Constraints: 104511
1770.10/1774.75 c #Conflicts: 810000 | #Constraints: 105511
1770.10/1774.75 c #Conflicts: 811000 | #Constraints: 106511
1770.10/1774.75 c #Conflicts: 812000 | #Constraints: 107511
1770.10/1774.75 c #Conflicts: 813000 | #Constraints: 108511
1770.10/1774.75 c #Conflicts: 814000 | #Constraints: 109511
1770.10/1774.75 c #Conflicts: 815000 | #Constraints: 110511
1770.10/1774.75 c #Conflicts: 816000 | #Constraints: 111511
1770.10/1774.75 c #Conflicts: 817000 | #Constraints: 112511
1937.09/1942.16 c #Conflicts: 818000 | #Constraints: 113511
1937.09/1942.16 c #Conflicts: 819000 | #Constraints: 114511
1937.09/1942.16 c #Conflicts: 820000 | #Constraints: 115511
1937.09/1942.16 c #Conflicts: 821000 | #Constraints: 116511
1937.09/1942.16 c #Conflicts: 822000 | #Constraints: 117511
1937.09/1942.16 c INPROCESSING
1937.09/1942.16 c GARBAGE COLLECT
1937.09/1942.16 c #Conflicts: 823000 | #Constraints: 69785
1937.09/1942.16 c #Conflicts: 824000 | #Constraints: 70785
1937.09/1942.16 c #Conflicts: 825000 | #Constraints: 71785
1937.09/1942.16 c #Conflicts: 826000 | #Constraints: 72785
1937.09/1942.16 c #Conflicts: 827000 | #Constraints: 73785
1937.09/1942.16 c #Conflicts: 828000 | #Constraints: 74785
1937.09/1942.16 c #Conflicts: 829000 | #Constraints: 75785
1937.09/1942.16 c #Conflicts: 830000 | #Constraints: 76785
1937.09/1942.16 c #Conflicts: 831000 | #Constraints: 77785
1937.09/1942.16 c #Conflicts: 832000 | #Constraints: 78785
1937.09/1942.16 c #Conflicts: 833000 | #Constraints: 79785
1937.09/1942.16 c #Conflicts: 834000 | #Constraints: 80785
1937.09/1942.16 c #Conflicts: 835000 | #Constraints: 81785
1937.09/1942.16 c #Conflicts: 836000 | #Constraints: 82785
1937.09/1942.16 c #Conflicts: 837000 | #Constraints: 83785
1937.09/1942.16 c #Conflicts: 838000 | #Constraints: 84785
1937.09/1942.16 c #Conflicts: 839000 | #Constraints: 85785
1937.09/1942.16 c #Conflicts: 840000 | #Constraints: 86785
1937.09/1942.16 c #Conflicts: 841000 | #Constraints: 87785
1937.09/1942.16 c #Conflicts: 842000 | #Constraints: 88785
1937.09/1942.16 c #Conflicts: 843000 | #Constraints: 89785
1937.09/1942.16 c #Conflicts: 844000 | #Constraints: 90785
1937.09/1942.16 c #Conflicts: 845000 | #Constraints: 91785
1937.09/1942.16 c #Conflicts: 846000 | #Constraints: 92785
1937.09/1942.16 c #Conflicts: 847000 | #Constraints: 93785
1937.09/1942.16 c #Conflicts: 848000 | #Constraints: 94785
1937.09/1942.16 c INPROCESSING
1937.09/1942.16 c GARBAGE COLLECT
1937.09/1942.16 c #Conflicts: 849000 | #Constraints: 62585
1937.09/1942.16 c #Conflicts: 850000 | #Constraints: 63585
1937.09/1942.16 c #Conflicts: 851000 | #Constraints: 64585
1937.09/1942.16 c #Conflicts: 852000 | #Constraints: 65585
1937.09/1942.16 c #Conflicts: 853000 | #Constraints: 66585
1937.09/1942.16 c #Conflicts: 854000 | #Constraints: 67585
1937.09/1942.16 c #Conflicts: 855000 | #Constraints: 68585
1937.09/1942.16 c #Conflicts: 856000 | #Constraints: 69585
1937.09/1942.16 c #Conflicts: 857000 | #Constraints: 70585
1937.09/1942.16 c #Conflicts: 858000 | #Constraints: 71585
1937.09/1942.16 c #Conflicts: 859000 | #Constraints: 72585
1937.09/1942.16 c #Conflicts: 860000 | #Constraints: 73585
1937.09/1942.16 c #Conflicts: 861000 | #Constraints: 74585
1937.09/1942.16 c #Conflicts: 862000 | #Constraints: 75585
1937.09/1942.16 c #Conflicts: 863000 | #Constraints: 76585
1937.09/1942.16 c #Conflicts: 864000 | #Constraints: 77585
1937.09/1942.16 c #Conflicts: 865000 | #Constraints: 78585
1937.09/1942.16 c #Conflicts: 866000 | #Constraints: 79585
1937.09/1942.16 c #Conflicts: 867000 | #Constraints: 80585
1937.09/1942.16 c #Conflicts: 868000 | #Constraints: 81585
1937.09/1942.16 c #Conflicts: 869000 | #Constraints: 82585
1937.09/1942.16 c #Conflicts: 870000 | #Constraints: 83585
1937.09/1942.16 c #Conflicts: 871000 | #Constraints: 84585
1937.09/1942.16 c #Conflicts: 872000 | #Constraints: 85585
1937.09/1942.16 c #Conflicts: 873000 | #Constraints: 86585
1937.09/1942.16 c #Conflicts: 874000 | #Constraints: 87585
1937.09/1942.16 c #Conflicts: 875000 | #Constraints: 88585
1937.09/1942.16 c #Conflicts: 876000 | #Constraints: 89585
1937.09/1942.16 c #Conflicts: 877000 | #Constraints: 90585
1937.09/1942.16 c #Conflicts: 878000 | #Constraints: 91585
1937.09/1942.16 c #Conflicts: 879000 | #Constraints: 92585
1937.09/1942.16 c #Conflicts: 880000 | #Constraints: 93585
1937.09/1942.16 c #Conflicts: 881000 | #Constraints: 94585
1937.09/1942.16 c #Conflicts: 882000 | #Constraints: 95585
1937.09/1942.16 c #Conflicts: 883000 | #Constraints: 96585
1937.09/1942.16 c #Conflicts: 884000 | #Constraints: 97585
1937.09/1942.16 c #Conflicts: 885000 | #Constraints: 98585
1937.09/1942.16 c #Conflicts: 886000 | #Constraints: 99585
1937.09/1942.16 c #Conflicts: 887000 | #Constraints: 100585
1937.09/1942.16 c #Conflicts: 888000 | #Constraints: 101585
1937.09/1942.16 c #Conflicts: 889000 | #Constraints: 102585
1937.09/1942.16 c #Conflicts: 890000 | #Constraints: 103585
1937.09/1942.16 c #Conflicts: 891000 | #Constraints: 104585
1937.09/1942.16 c #Conflicts: 892000 | #Constraints: 105585
1937.09/1942.16 c #Conflicts: 893000 | #Constraints: 106585
1937.09/1942.16 c #Conflicts: 894000 | #Constraints: 107585
1937.09/1942.16 c #Conflicts: 895000 | #Constraints: 108585
2167.61/2173.25 c #Conflicts: 896000 | #Constraints: 109585
2167.61/2173.25 c #Conflicts: 897000 | #Constraints: 110585
2167.61/2173.25 c #Conflicts: 898000 | #Constraints: 111585
2167.61/2173.25 c #Conflicts: 899000 | #Constraints: 112585
2167.61/2173.25 c #Conflicts: 900000 | #Constraints: 113585
2167.61/2173.25 c #Conflicts: 901000 | #Constraints: 114585
2167.61/2173.25 c #Conflicts: 902000 | #Constraints: 115585
2167.61/2173.25 c #Conflicts: 903000 | #Constraints: 116585
2167.61/2173.25 c #Conflicts: 904000 | #Constraints: 117585
2167.61/2173.25 c #Conflicts: 905000 | #Constraints: 118585
2167.61/2173.25 c #Conflicts: 906000 | #Constraints: 119585
2167.61/2173.25 c #Conflicts: 907000 | #Constraints: 120585
2167.61/2173.25 c #Conflicts: 908000 | #Constraints: 121585
2167.61/2173.25 c #Conflicts: 909000 | #Constraints: 122585
2167.61/2173.25 c #Conflicts: 910000 | #Constraints: 123585
2167.61/2173.25 c INPROCESSING
2167.61/2173.25 c GARBAGE COLLECT
2167.61/2173.25 c #Conflicts: 911000 | #Constraints: 72989
2167.61/2173.25 c #Conflicts: 912000 | #Constraints: 73989
2167.61/2173.25 c #Conflicts: 913000 | #Constraints: 74989
2167.61/2173.25 c #Conflicts: 914000 | #Constraints: 75989
2167.61/2173.25 c #Conflicts: 915000 | #Constraints: 76989
2167.61/2173.25 c #Conflicts: 916000 | #Constraints: 77989
2167.61/2173.25 c #Conflicts: 917000 | #Constraints: 78989
2167.61/2173.25 c #Conflicts: 918000 | #Constraints: 79989
2167.61/2173.25 c #Conflicts: 919000 | #Constraints: 80989
2167.61/2173.25 c #Conflicts: 920000 | #Constraints: 81989
2167.61/2173.25 c #Conflicts: 921000 | #Constraints: 82989
2167.61/2173.25 c #Conflicts: 922000 | #Constraints: 83989
2167.61/2173.25 c #Conflicts: 923000 | #Constraints: 84989
2167.61/2173.25 c #Conflicts: 924000 | #Constraints: 85989
2167.61/2173.25 c #Conflicts: 925000 | #Constraints: 86989
2167.61/2173.25 c #Conflicts: 926000 | #Constraints: 87989
2167.61/2173.25 c #Conflicts: 927000 | #Constraints: 88989
2167.61/2173.25 c #Conflicts: 928000 | #Constraints: 89989
2167.61/2173.25 c #Conflicts: 929000 | #Constraints: 90989
2167.61/2173.25 c #Conflicts: 930000 | #Constraints: 91989
2167.61/2173.25 c #Conflicts: 931000 | #Constraints: 92989
2167.61/2173.25 c #Conflicts: 932000 | #Constraints: 93989
2167.61/2173.25 c #Conflicts: 933000 | #Constraints: 94989
2167.61/2173.25 c #Conflicts: 934000 | #Constraints: 95989
2167.61/2173.25 c #Conflicts: 935000 | #Constraints: 96989
2167.61/2173.25 c #Conflicts: 936000 | #Constraints: 97989
2167.61/2173.25 c INPROCESSING
2167.61/2173.25 c GARBAGE COLLECT
2167.61/2173.25 c #Conflicts: 937000 | #Constraints: 64473
2167.61/2173.25 c #Conflicts: 938000 | #Constraints: 65473
2167.61/2173.25 c #Conflicts: 939000 | #Constraints: 66473
2167.61/2173.25 c #Conflicts: 940000 | #Constraints: 67473
2167.61/2173.25 c #Conflicts: 941000 | #Constraints: 68473
2167.61/2173.25 c #Conflicts: 942000 | #Constraints: 69473
2167.61/2173.25 c #Conflicts: 943000 | #Constraints: 70473
2167.61/2173.25 c #Conflicts: 944000 | #Constraints: 71473
2167.61/2173.25 c #Conflicts: 945000 | #Constraints: 72473
2167.61/2173.25 c #Conflicts: 946000 | #Constraints: 73473
2167.61/2173.25 c #Conflicts: 947000 | #Constraints: 74473
2167.61/2173.25 c #Conflicts: 948000 | #Constraints: 75473
2167.61/2173.25 c #Conflicts: 949000 | #Constraints: 76473
2167.61/2173.25 c #Conflicts: 950000 | #Constraints: 77473
2167.61/2173.25 c #Conflicts: 951000 | #Constraints: 78473
2167.61/2173.25 c #Conflicts: 952000 | #Constraints: 79473
2167.61/2173.25 c #Conflicts: 953000 | #Constraints: 80473
2167.61/2173.25 c #Conflicts: 954000 | #Constraints: 81473
2167.61/2173.25 c #Conflicts: 955000 | #Constraints: 82473
2167.61/2173.25 c #Conflicts: 956000 | #Constraints: 83473
2167.61/2173.25 c #Conflicts: 957000 | #Constraints: 84473
2167.61/2173.25 c #Conflicts: 958000 | #Constraints: 85473
2167.61/2173.25 c #Conflicts: 959000 | #Constraints: 86473
2167.61/2173.25 c #Conflicts: 960000 | #Constraints: 87473
2167.61/2173.25 c #Conflicts: 961000 | #Constraints: 88473
2167.61/2173.25 c #Conflicts: 962000 | #Constraints: 89473
2167.61/2173.25 c #Conflicts: 963000 | #Constraints: 90473
2167.61/2173.25 c #Conflicts: 964000 | #Constraints: 91473
2167.61/2173.25 c #Conflicts: 965000 | #Constraints: 92473
2167.61/2173.25 c #Conflicts: 966000 | #Constraints: 93473
2167.61/2173.25 c #Conflicts: 967000 | #Constraints: 94473
2167.61/2173.25 c #Conflicts: 968000 | #Constraints: 95473
2167.61/2173.25 c #Conflicts: 969000 | #Constraints: 96473
2167.61/2173.25 c #Conflicts: 970000 | #Constraints: 97473
2167.61/2173.25 c #Conflicts: 971000 | #Constraints: 98473
2167.61/2173.25 c #Conflicts: 972000 | #Constraints: 99473
2383.48/2389.67 c #Conflicts: 973000 | #Constraints: 100473
2383.48/2389.67 c #Conflicts: 974000 | #Constraints: 101473
2383.48/2389.67 c #Conflicts: 975000 | #Constraints: 102473
2383.48/2389.67 c #Conflicts: 976000 | #Constraints: 103473
2383.48/2389.67 c #Conflicts: 977000 | #Constraints: 104473
2383.48/2389.67 c #Conflicts: 978000 | #Constraints: 105473
2383.48/2389.67 c #Conflicts: 979000 | #Constraints: 106473
2383.48/2389.67 c #Conflicts: 980000 | #Constraints: 107473
2383.48/2389.67 c #Conflicts: 981000 | #Constraints: 108473
2383.48/2389.67 c #Conflicts: 982000 | #Constraints: 109473
2383.48/2389.67 c #Conflicts: 983000 | #Constraints: 110473
2383.48/2389.67 c #Conflicts: 984000 | #Constraints: 111473
2383.48/2389.67 c #Conflicts: 985000 | #Constraints: 112473
2383.48/2389.67 c #Conflicts: 986000 | #Constraints: 113473
2383.48/2389.67 c #Conflicts: 987000 | #Constraints: 114473
2383.48/2389.67 c #Conflicts: 988000 | #Constraints: 115473
2383.48/2389.67 c #Conflicts: 989000 | #Constraints: 116473
2383.48/2389.67 c #Conflicts: 990000 | #Constraints: 117473
2383.48/2389.67 c #Conflicts: 991000 | #Constraints: 118473
2383.48/2389.67 c #Conflicts: 992000 | #Constraints: 119473
2383.48/2389.67 c #Conflicts: 993000 | #Constraints: 120473
2383.48/2389.67 c #Conflicts: 994000 | #Constraints: 121473
2383.48/2389.67 c #Conflicts: 995000 | #Constraints: 122473
2383.48/2389.67 c #Conflicts: 996000 | #Constraints: 123473
2383.48/2389.67 c #Conflicts: 997000 | #Constraints: 124473
2383.48/2389.67 c #Conflicts: 998000 | #Constraints: 125473
2383.48/2389.67 c #Conflicts: 999000 | #Constraints: 126473
2383.48/2389.67 c #Conflicts: 1000000 | #Constraints: 127473
2383.48/2389.67 c #Conflicts: 1001000 | #Constraints: 128473
2383.48/2389.67 c INPROCESSING
2383.48/2389.67 c GARBAGE COLLECT
2383.48/2389.67 c #Conflicts: 1002000 | #Constraints: 75303
2383.48/2389.67 c #Conflicts: 1003000 | #Constraints: 76303
2383.48/2389.67 c #Conflicts: 1004000 | #Constraints: 77303
2383.48/2389.67 c #Conflicts: 1005000 | #Constraints: 78303
2383.48/2389.67 c #Conflicts: 1006000 | #Constraints: 79303
2383.48/2389.67 c #Conflicts: 1007000 | #Constraints: 80303
2383.48/2389.67 c #Conflicts: 1008000 | #Constraints: 81303
2383.48/2389.67 c #Conflicts: 1009000 | #Constraints: 82303
2383.48/2389.67 c #Conflicts: 1010000 | #Constraints: 83303
2383.48/2389.67 c #Conflicts: 1011000 | #Constraints: 84303
2383.48/2389.67 c #Conflicts: 1012000 | #Constraints: 85303
2383.48/2389.67 c #Conflicts: 1013000 | #Constraints: 86303
2383.48/2389.67 c #Conflicts: 1014000 | #Constraints: 87303
2383.48/2389.67 c #Conflicts: 1015000 | #Constraints: 88303
2383.48/2389.67 c #Conflicts: 1016000 | #Constraints: 89303
2383.48/2389.67 c #Conflicts: 1017000 | #Constraints: 90303
2383.48/2389.67 c #Conflicts: 1018000 | #Constraints: 91303
2383.48/2389.67 c #Conflicts: 1019000 | #Constraints: 92303
2383.48/2389.67 c #Conflicts: 1020000 | #Constraints: 93303
2383.48/2389.67 c #Conflicts: 1021000 | #Constraints: 94303
2383.48/2389.67 c #Conflicts: 1022000 | #Constraints: 95303
2383.48/2389.67 c #Conflicts: 1023000 | #Constraints: 96303
2383.48/2389.67 c #Conflicts: 1024000 | #Constraints: 97303
2383.48/2389.67 c #Conflicts: 1025000 | #Constraints: 98303
2383.48/2389.67 c #Conflicts: 1026000 | #Constraints: 99303
2383.48/2389.67 c #Conflicts: 1027000 | #Constraints: 100303
2383.48/2389.67 c #Conflicts: 1028000 | #Constraints: 101303
2383.48/2389.67 c #Conflicts: 1029000 | #Constraints: 102303
2383.48/2389.67 c INPROCESSING
2383.48/2389.67 c GARBAGE COLLECT
2383.48/2389.67 c #Conflicts: 1030000 | #Constraints: 66196
2383.48/2389.67 c #Conflicts: 1031000 | #Constraints: 67196
2383.48/2389.67 c #Conflicts: 1032000 | #Constraints: 68196
2383.48/2389.67 c #Conflicts: 1033000 | #Constraints: 69196
2383.48/2389.67 c #Conflicts: 1034000 | #Constraints: 70196
2383.48/2389.67 c #Conflicts: 1035000 | #Constraints: 71196
2383.48/2389.67 c #Conflicts: 1036000 | #Constraints: 72196
2383.48/2389.67 c #Conflicts: 1037000 | #Constraints: 73196
2383.48/2389.67 c #Conflicts: 1038000 | #Constraints: 74196
2383.48/2389.67 c #Conflicts: 1039000 | #Constraints: 75196
2383.48/2389.67 c #Conflicts: 1040000 | #Constraints: 76196
2383.48/2389.67 c #Conflicts: 1041000 | #Constraints: 77196
2383.48/2389.67 c #Conflicts: 1042000 | #Constraints: 78196
2383.48/2389.67 c #Conflicts: 1043000 | #Constraints: 79196
2383.48/2389.67 c #Conflicts: 1044000 | #Constraints: 80196
2383.48/2389.67 c #Conflicts: 1045000 | #Constraints: 81196
2383.48/2389.67 c #Conflicts: 1046000 | #Constraints: 82196
2383.48/2389.67 c #Conflicts: 1047000 | #Constraints: 83196
2383.48/2389.67 c #Conflicts: 1048000 | #Constraints: 84196
2383.48/2389.67 c #Conflicts: 1049000 | #Constraints: 85196
2383.48/2389.67 c #Conflicts: 1050000 | #Constraints: 86196
2670.36/2677.26 c #Conflicts: 1051000 | #Constraints: 87196
2670.36/2677.26 c #Conflicts: 1052000 | #Constraints: 88196
2670.36/2677.26 c #Conflicts: 1053000 | #Constraints: 89196
2670.36/2677.26 c #Conflicts: 1054000 | #Constraints: 90196
2670.36/2677.26 c #Conflicts: 1055000 | #Constraints: 91196
2670.36/2677.26 c #Conflicts: 1056000 | #Constraints: 92196
2670.36/2677.26 c #Conflicts: 1057000 | #Constraints: 93196
2670.36/2677.26 c #Conflicts: 1058000 | #Constraints: 94196
2670.36/2677.26 c #Conflicts: 1059000 | #Constraints: 95196
2670.36/2677.26 c #Conflicts: 1060000 | #Constraints: 96196
2670.36/2677.26 c #Conflicts: 1061000 | #Constraints: 97196
2670.36/2677.26 c #Conflicts: 1062000 | #Constraints: 98196
2670.36/2677.26 c #Conflicts: 1063000 | #Constraints: 99196
2670.36/2677.26 c #Conflicts: 1064000 | #Constraints: 100196
2670.36/2677.26 c #Conflicts: 1065000 | #Constraints: 101196
2670.36/2677.26 c #Conflicts: 1066000 | #Constraints: 102196
2670.36/2677.26 c #Conflicts: 1067000 | #Constraints: 103196
2670.36/2677.26 c #Conflicts: 1068000 | #Constraints: 104196
2670.36/2677.26 c #Conflicts: 1069000 | #Constraints: 105196
2670.36/2677.26 c #Conflicts: 1070000 | #Constraints: 106196
2670.36/2677.26 c #Conflicts: 1071000 | #Constraints: 107196
2670.36/2677.26 c #Conflicts: 1072000 | #Constraints: 108196
2670.36/2677.26 c #Conflicts: 1073000 | #Constraints: 109196
2670.36/2677.26 c #Conflicts: 1074000 | #Constraints: 110196
2670.36/2677.26 c #Conflicts: 1075000 | #Constraints: 111196
2670.36/2677.26 c #Conflicts: 1076000 | #Constraints: 112196
2670.36/2677.26 c #Conflicts: 1077000 | #Constraints: 113196
2670.36/2677.26 c #Conflicts: 1078000 | #Constraints: 114196
2670.36/2677.26 c #Conflicts: 1079000 | #Constraints: 115196
2670.36/2677.26 c #Conflicts: 1080000 | #Constraints: 116196
2670.36/2677.26 c #Conflicts: 1081000 | #Constraints: 117196
2670.36/2677.26 c #Conflicts: 1082000 | #Constraints: 118196
2670.36/2677.26 c #Conflicts: 1083000 | #Constraints: 119196
2670.36/2677.26 c #Conflicts: 1084000 | #Constraints: 120196
2670.36/2677.26 c #Conflicts: 1085000 | #Constraints: 121196
2670.36/2677.26 c #Conflicts: 1086000 | #Constraints: 122196
2670.36/2677.26 c #Conflicts: 1087000 | #Constraints: 123196
2670.36/2677.26 c #Conflicts: 1088000 | #Constraints: 124196
2670.36/2677.26 c #Conflicts: 1089000 | #Constraints: 125196
2670.36/2677.26 c #Conflicts: 1090000 | #Constraints: 126196
2670.36/2677.26 c #Conflicts: 1091000 | #Constraints: 127196
2670.36/2677.26 c #Conflicts: 1092000 | #Constraints: 128196
2670.36/2677.26 c #Conflicts: 1093000 | #Constraints: 129196
2670.36/2677.26 c #Conflicts: 1094000 | #Constraints: 130196
2670.36/2677.26 c #Conflicts: 1095000 | #Constraints: 131196
2670.36/2677.26 c #Conflicts: 1096000 | #Constraints: 132196
2670.36/2677.26 c #Conflicts: 1097000 | #Constraints: 133196
2670.36/2677.26 c #Conflicts: 1098000 | #Constraints: 134196
2670.36/2677.26 c INPROCESSING
2670.36/2677.26 c GARBAGE COLLECT
2670.36/2677.26 c #Conflicts: 1099000 | #Constraints: 78684
2670.36/2677.26 c #Conflicts: 1100000 | #Constraints: 79684
2670.36/2677.26 c #Conflicts: 1101000 | #Constraints: 80684
2670.36/2677.26 c #Conflicts: 1102000 | #Constraints: 81684
2670.36/2677.26 c #Conflicts: 1103000 | #Constraints: 82684
2670.36/2677.26 c #Conflicts: 1104000 | #Constraints: 83684
2670.36/2677.26 c #Conflicts: 1105000 | #Constraints: 84684
2670.36/2677.26 c #Conflicts: 1106000 | #Constraints: 85684
2670.36/2677.26 c #Conflicts: 1107000 | #Constraints: 86684
2670.36/2677.26 c #Conflicts: 1108000 | #Constraints: 87684
2670.36/2677.26 c #Conflicts: 1109000 | #Constraints: 88684
2670.36/2677.26 c #Conflicts: 1110000 | #Constraints: 89684
2670.36/2677.26 c #Conflicts: 1111000 | #Constraints: 90684
2670.36/2677.26 c #Conflicts: 1112000 | #Constraints: 91684
2670.36/2677.26 c #Conflicts: 1113000 | #Constraints: 92684
2670.36/2677.26 c #Conflicts: 1114000 | #Constraints: 93684
2670.36/2677.26 c #Conflicts: 1115000 | #Constraints: 94684
2670.36/2677.26 c #Conflicts: 1116000 | #Constraints: 95684
2670.36/2677.26 c #Conflicts: 1117000 | #Constraints: 96684
2670.36/2677.26 c #Conflicts: 1118000 | #Constraints: 97684
2670.36/2677.26 c #Conflicts: 1119000 | #Constraints: 98684
2670.36/2677.26 c #Conflicts: 1120000 | #Constraints: 99684
2670.36/2677.26 c #Conflicts: 1121000 | #Constraints: 100684
2670.36/2677.26 c #Conflicts: 1122000 | #Constraints: 101684
2670.36/2677.26 c #Conflicts: 1123000 | #Constraints: 102684
2670.36/2677.26 c #Conflicts: 1124000 | #Constraints: 103684
2670.36/2677.26 c #Conflicts: 1125000 | #Constraints: 104684
2670.36/2677.26 c #Conflicts: 1126000 | #Constraints: 105684
2670.36/2677.26 c #Conflicts: 1127000 | #Constraints: 106684
2670.36/2677.26 c INPROCESSING
2882.12/2889.59 c GARBAGE COLLECT
2882.12/2889.59 c #Conflicts: 1128000 | #Constraints: 68113
2882.12/2889.59 c #Conflicts: 1129000 | #Constraints: 69113
2882.12/2889.59 c #Conflicts: 1130000 | #Constraints: 70113
2882.12/2889.59 c #Conflicts: 1131000 | #Constraints: 71113
2882.12/2889.59 c #Conflicts: 1132000 | #Constraints: 72113
2882.12/2889.59 c #Conflicts: 1133000 | #Constraints: 73113
2882.12/2889.59 c #Conflicts: 1134000 | #Constraints: 74113
2882.12/2889.59 c #Conflicts: 1135000 | #Constraints: 75113
2882.12/2889.59 c #Conflicts: 1136000 | #Constraints: 76113
2882.12/2889.59 c #Conflicts: 1137000 | #Constraints: 77113
2882.12/2889.59 c #Conflicts: 1138000 | #Constraints: 78113
2882.12/2889.59 c #Conflicts: 1139000 | #Constraints: 79113
2882.12/2889.59 c #Conflicts: 1140000 | #Constraints: 80113
2882.12/2889.59 c #Conflicts: 1141000 | #Constraints: 81113
2882.12/2889.59 c #Conflicts: 1142000 | #Constraints: 82113
2882.12/2889.59 c #Conflicts: 1143000 | #Constraints: 83113
2882.12/2889.59 c #Conflicts: 1144000 | #Constraints: 84113
2882.12/2889.59 c #Conflicts: 1145000 | #Constraints: 85113
2882.12/2889.59 c #Conflicts: 1146000 | #Constraints: 86113
2882.12/2889.59 c #Conflicts: 1147000 | #Constraints: 87113
2882.12/2889.60 c #Conflicts: 1148000 | #Constraints: 88113
2882.12/2889.60 c #Conflicts: 1149000 | #Constraints: 89113
2882.12/2889.60 c #Conflicts: 1150000 | #Constraints: 90113
2882.12/2889.60 c #Conflicts: 1151000 | #Constraints: 91113
2882.12/2889.60 c #Conflicts: 1152000 | #Constraints: 92113
2882.12/2889.60 c #Conflicts: 1153000 | #Constraints: 93113
2882.12/2889.60 c #Conflicts: 1154000 | #Constraints: 94113
2882.12/2889.60 c #Conflicts: 1155000 | #Constraints: 95113
2882.12/2889.60 c #Conflicts: 1156000 | #Constraints: 96113
2882.12/2889.60 c #Conflicts: 1157000 | #Constraints: 97113
2882.12/2889.60 c #Conflicts: 1158000 | #Constraints: 98113
2882.12/2889.60 c #Conflicts: 1159000 | #Constraints: 99113
2882.12/2889.60 c #Conflicts: 1160000 | #Constraints: 100113
2882.12/2889.60 c #Conflicts: 1161000 | #Constraints: 101113
2882.12/2889.60 c #Conflicts: 1162000 | #Constraints: 102113
2882.12/2889.60 c #Conflicts: 1163000 | #Constraints: 103113
2882.12/2889.60 c #Conflicts: 1164000 | #Constraints: 104113
2882.12/2889.60 c #Conflicts: 1165000 | #Constraints: 105113
2882.12/2889.60 c #Conflicts: 1166000 | #Constraints: 106113
2882.12/2889.60 c #Conflicts: 1167000 | #Constraints: 107113
2882.12/2889.60 c #Conflicts: 1168000 | #Constraints: 108113
2882.12/2889.60 c #Conflicts: 1169000 | #Constraints: 109113
2882.12/2889.60 c #Conflicts: 1170000 | #Constraints: 110113
2882.12/2889.60 c #Conflicts: 1171000 | #Constraints: 111113
2882.12/2889.60 c #Conflicts: 1172000 | #Constraints: 112113
2882.12/2889.60 c #Conflicts: 1173000 | #Constraints: 113113
2882.12/2889.60 c #Conflicts: 1174000 | #Constraints: 114113
2882.12/2889.60 c #Conflicts: 1175000 | #Constraints: 115113
2882.12/2889.60 c #Conflicts: 1176000 | #Constraints: 116113
2882.12/2889.60 c #Conflicts: 1177000 | #Constraints: 117113
2882.12/2889.60 c #Conflicts: 1178000 | #Constraints: 118113
2882.12/2889.60 c #Conflicts: 1179000 | #Constraints: 119113
2882.12/2889.60 c #Conflicts: 1180000 | #Constraints: 120113
2882.12/2889.60 c #Conflicts: 1181000 | #Constraints: 121113
2882.12/2889.60 c #Conflicts: 1182000 | #Constraints: 122113
2882.12/2889.60 c #Conflicts: 1183000 | #Constraints: 123113
2882.12/2889.60 c #Conflicts: 1184000 | #Constraints: 124113
2882.12/2889.60 c #Conflicts: 1185000 | #Constraints: 125113
2882.12/2889.60 c #Conflicts: 1186000 | #Constraints: 126113
2882.12/2889.60 c #Conflicts: 1187000 | #Constraints: 127113
2882.12/2889.60 c #Conflicts: 1188000 | #Constraints: 128113
2882.12/2889.60 c #Conflicts: 1189000 | #Constraints: 129113
2882.12/2889.60 c #Conflicts: 1190000 | #Constraints: 130113
2882.12/2889.60 c #Conflicts: 1191000 | #Constraints: 131113
2882.12/2889.60 c #Conflicts: 1192000 | #Constraints: 132113
2882.12/2889.60 c #Conflicts: 1193000 | #Constraints: 133113
2882.12/2889.60 c #Conflicts: 1194000 | #Constraints: 134113
2882.12/2889.60 c #Conflicts: 1195000 | #Constraints: 135113
2882.12/2889.60 c #Conflicts: 1196000 | #Constraints: 136113
2882.12/2889.60 c #Conflicts: 1197000 | #Constraints: 137113
2882.12/2889.60 c #Conflicts: 1198000 | #Constraints: 138113
2882.12/2889.60 c INPROCESSING
2882.12/2889.60 c GARBAGE COLLECT
2882.12/2889.60 c #Conflicts: 1199000 | #Constraints: 80534
2882.12/2889.60 c #Conflicts: 1200000 | #Constraints: 81534
2882.12/2889.60 c #Conflicts: 1201000 | #Constraints: 82534
2882.12/2889.60 c #Conflicts: 1202000 | #Constraints: 83534
2882.12/2889.60 c #Conflicts: 1203000 | #Constraints: 84534
2882.12/2889.60 c #Conflicts: 1204000 | #Constraints: 85534
2882.12/2889.60 c #Conflicts: 1205000 | #Constraints: 86534
3065.94/3073.86 c #Conflicts: 1206000 | #Constraints: 87534
3065.94/3073.86 c #Conflicts: 1207000 | #Constraints: 88534
3065.94/3073.86 c #Conflicts: 1208000 | #Constraints: 89534
3065.94/3073.86 c #Conflicts: 1209000 | #Constraints: 90534
3065.94/3073.86 c #Conflicts: 1210000 | #Constraints: 91534
3065.94/3073.86 c #Conflicts: 1211000 | #Constraints: 92534
3065.94/3073.86 c #Conflicts: 1212000 | #Constraints: 93534
3065.94/3073.86 c #Conflicts: 1213000 | #Constraints: 94534
3065.94/3073.86 c #Conflicts: 1214000 | #Constraints: 95534
3065.94/3073.86 c #Conflicts: 1215000 | #Constraints: 96534
3065.94/3073.86 c #Conflicts: 1216000 | #Constraints: 97534
3065.94/3073.86 c #Conflicts: 1217000 | #Constraints: 98534
3065.94/3073.86 c #Conflicts: 1218000 | #Constraints: 99534
3065.94/3073.86 c #Conflicts: 1219000 | #Constraints: 100534
3065.94/3073.86 c #Conflicts: 1220000 | #Constraints: 101534
3065.94/3073.86 c #Conflicts: 1221000 | #Constraints: 102534
3065.94/3073.86 c #Conflicts: 1222000 | #Constraints: 103534
3065.94/3073.86 c #Conflicts: 1223000 | #Constraints: 104534
3065.94/3073.86 c #Conflicts: 1224000 | #Constraints: 105534
3065.94/3073.86 c #Conflicts: 1225000 | #Constraints: 106534
3065.94/3073.86 c #Conflicts: 1226000 | #Constraints: 107534
3065.94/3073.86 c #Conflicts: 1227000 | #Constraints: 108534
3065.94/3073.86 c #Conflicts: 1228000 | #Constraints: 109534
3065.94/3073.86 c INPROCESSING
3065.94/3073.86 c GARBAGE COLLECT
3065.94/3073.86 c #Conflicts: 1229000 | #Constraints: 69914
3065.94/3073.86 c #Conflicts: 1230000 | #Constraints: 70914
3065.94/3073.86 c #Conflicts: 1231000 | #Constraints: 71914
3065.94/3073.86 c #Conflicts: 1232000 | #Constraints: 72914
3065.94/3073.86 c #Conflicts: 1233000 | #Constraints: 73914
3065.94/3073.86 c #Conflicts: 1234000 | #Constraints: 74914
3065.94/3073.86 c #Conflicts: 1235000 | #Constraints: 75914
3065.94/3073.86 c #Conflicts: 1236000 | #Constraints: 76914
3065.94/3073.86 c #Conflicts: 1237000 | #Constraints: 77914
3065.94/3073.86 c #Conflicts: 1238000 | #Constraints: 78914
3065.94/3073.86 c #Conflicts: 1239000 | #Constraints: 79914
3065.94/3073.86 c #Conflicts: 1240000 | #Constraints: 80914
3065.94/3073.86 c #Conflicts: 1241000 | #Constraints: 81914
3065.94/3073.86 c #Conflicts: 1242000 | #Constraints: 82914
3065.94/3073.86 c #Conflicts: 1243000 | #Constraints: 83914
3065.94/3073.86 c #Conflicts: 1244000 | #Constraints: 84914
3065.94/3073.86 c #Conflicts: 1245000 | #Constraints: 85914
3065.94/3073.86 c #Conflicts: 1246000 | #Constraints: 86914
3065.94/3073.86 c #Conflicts: 1247000 | #Constraints: 87914
3065.94/3073.86 c #Conflicts: 1248000 | #Constraints: 88914
3065.94/3073.86 c #Conflicts: 1249000 | #Constraints: 89914
3065.94/3073.86 c #Conflicts: 1250000 | #Constraints: 90914
3065.94/3073.86 c #Conflicts: 1251000 | #Constraints: 91914
3065.94/3073.86 c #Conflicts: 1252000 | #Constraints: 92914
3065.94/3073.86 c #Conflicts: 1253000 | #Constraints: 93914
3065.94/3073.86 c #Conflicts: 1254000 | #Constraints: 94914
3065.94/3073.86 c #Conflicts: 1255000 | #Constraints: 95914
3065.94/3073.86 c #Conflicts: 1256000 | #Constraints: 96914
3065.94/3073.86 c #Conflicts: 1257000 | #Constraints: 97914
3065.94/3073.86 c #Conflicts: 1258000 | #Constraints: 98914
3065.94/3073.86 c #Conflicts: 1259000 | #Constraints: 99914
3065.94/3073.86 c #Conflicts: 1260000 | #Constraints: 100914
3065.94/3073.86 c #Conflicts: 1261000 | #Constraints: 101914
3065.94/3073.86 c #Conflicts: 1262000 | #Constraints: 102914
3065.94/3073.86 c #Conflicts: 1263000 | #Constraints: 103914
3065.94/3073.86 c #Conflicts: 1264000 | #Constraints: 104914
3065.94/3073.86 c #Conflicts: 1265000 | #Constraints: 105914
3065.94/3073.86 c #Conflicts: 1266000 | #Constraints: 106914
3065.94/3073.86 c #Conflicts: 1267000 | #Constraints: 107914
3065.94/3073.86 c #Conflicts: 1268000 | #Constraints: 108914
3065.94/3073.86 c #Conflicts: 1269000 | #Constraints: 109914
3065.94/3073.86 c #Conflicts: 1270000 | #Constraints: 110914
3065.94/3073.86 c #Conflicts: 1271000 | #Constraints: 111914
3065.94/3073.86 c #Conflicts: 1272000 | #Constraints: 112914
3065.94/3073.86 c #Conflicts: 1273000 | #Constraints: 113914
3065.94/3073.86 c #Conflicts: 1274000 | #Constraints: 114914
3065.94/3073.86 c #Conflicts: 1275000 | #Constraints: 115914
3065.94/3073.86 c #Conflicts: 1276000 | #Constraints: 116914
3065.94/3073.86 c #Conflicts: 1277000 | #Constraints: 117914
3065.94/3073.86 c #Conflicts: 1278000 | #Constraints: 118914
3065.94/3073.86 c #Conflicts: 1279000 | #Constraints: 119914
3065.94/3073.86 c #Conflicts: 1280000 | #Constraints: 120914
3065.94/3073.86 c #Conflicts: 1281000 | #Constraints: 121914
3065.94/3073.86 c #Conflicts: 1282000 | #Constraints: 122914
3065.94/3073.86 c #Conflicts: 1283000 | #Constraints: 123914
3209.87/3218.11 c #Conflicts: 1284000 | #Constraints: 124914
3209.87/3218.11 c #Conflicts: 1285000 | #Constraints: 125914
3209.87/3218.11 c #Conflicts: 1286000 | #Constraints: 126914
3209.87/3218.11 c #Conflicts: 1287000 | #Constraints: 127914
3209.87/3218.11 c #Conflicts: 1288000 | #Constraints: 128914
3209.87/3218.11 c #Conflicts: 1289000 | #Constraints: 129914
3209.87/3218.11 c #Conflicts: 1290000 | #Constraints: 130914
3209.87/3218.11 c #Conflicts: 1291000 | #Constraints: 131914
3209.87/3218.11 c #Conflicts: 1292000 | #Constraints: 132914
3209.87/3218.11 c #Conflicts: 1293000 | #Constraints: 133914
3209.87/3218.11 c #Conflicts: 1294000 | #Constraints: 134914
3209.87/3218.11 c #Conflicts: 1295000 | #Constraints: 135914
3209.87/3218.11 c #Conflicts: 1296000 | #Constraints: 136914
3209.87/3218.11 c #Conflicts: 1297000 | #Constraints: 137914
3209.87/3218.11 c #Conflicts: 1298000 | #Constraints: 138914
3209.87/3218.11 c #Conflicts: 1299000 | #Constraints: 139914
3209.87/3218.11 c #Conflicts: 1300000 | #Constraints: 140914
3209.87/3218.11 c #Conflicts: 1301000 | #Constraints: 141914
3209.87/3218.11 c #Conflicts: 1302000 | #Constraints: 142914
3209.87/3218.11 c #Conflicts: 1303000 | #Constraints: 143914
3209.87/3218.11 c INPROCESSING
3209.87/3218.11 c GARBAGE COLLECT
3209.87/3218.11 c rational objective 155
3430.31/3439.19 c #Conflicts: 1304000 | #Constraints: 83481
3430.31/3439.19 c #Conflicts: 1305000 | #Constraints: 84481
3430.31/3439.19 c #Conflicts: 1306000 | #Constraints: 85481
3430.31/3439.19 c #Conflicts: 1307000 | #Constraints: 86481
3430.31/3439.19 c #Conflicts: 1308000 | #Constraints: 87481
3430.31/3439.19 c #Conflicts: 1309000 | #Constraints: 88481
3430.31/3439.19 c #Conflicts: 1310000 | #Constraints: 89481
3430.31/3439.19 c #Conflicts: 1311000 | #Constraints: 90481
3430.31/3439.19 c #Conflicts: 1312000 | #Constraints: 91481
3430.31/3439.19 c #Conflicts: 1313000 | #Constraints: 92481
3430.31/3439.19 c #Conflicts: 1314000 | #Constraints: 93481
3430.31/3439.19 c #Conflicts: 1315000 | #Constraints: 94481
3430.31/3439.19 c #Conflicts: 1316000 | #Constraints: 95481
3430.31/3439.19 c #Conflicts: 1317000 | #Constraints: 96481
3430.31/3439.19 c #Conflicts: 1318000 | #Constraints: 97481
3430.31/3439.19 c #Conflicts: 1319000 | #Constraints: 98481
3430.31/3439.19 c #Conflicts: 1320000 | #Constraints: 99481
3430.31/3439.19 c #Conflicts: 1321000 | #Constraints: 100481
3430.31/3439.19 c #Conflicts: 1322000 | #Constraints: 101481
3430.31/3439.19 c #Conflicts: 1323000 | #Constraints: 102481
3430.31/3439.19 c #Conflicts: 1324000 | #Constraints: 103481
3430.31/3439.19 c #Conflicts: 1325000 | #Constraints: 104481
3430.31/3439.19 c #Conflicts: 1326000 | #Constraints: 105481
3430.31/3439.19 c #Conflicts: 1327000 | #Constraints: 106481
3430.31/3439.19 c #Conflicts: 1328000 | #Constraints: 107481
3430.31/3439.19 c #Conflicts: 1329000 | #Constraints: 108481
3430.31/3439.19 c #Conflicts: 1330000 | #Constraints: 109481
3430.31/3439.19 c #Conflicts: 1331000 | #Constraints: 110481
3430.31/3439.19 c #Conflicts: 1332000 | #Constraints: 111481
3430.31/3439.19 c #Conflicts: 1333000 | #Constraints: 112481
3430.31/3439.19 c #Conflicts: 1334000 | #Constraints: 113481
3430.31/3439.19 c #Conflicts: 1335000 | #Constraints: 114481
3430.31/3439.19 c INPROCESSING
3430.31/3439.19 c GARBAGE COLLECT
3430.31/3439.19 c #Conflicts: 1336000 | #Constraints: 73195
3430.31/3439.19 c #Conflicts: 1337000 | #Constraints: 74195
3430.31/3439.19 c #Conflicts: 1338000 | #Constraints: 75195
3430.31/3439.19 c #Conflicts: 1339000 | #Constraints: 76195
3430.31/3439.19 c #Conflicts: 1340000 | #Constraints: 77195
3430.31/3439.19 c #Conflicts: 1341000 | #Constraints: 78195
3430.31/3439.19 c #Conflicts: 1342000 | #Constraints: 79195
3430.31/3439.19 c #Conflicts: 1343000 | #Constraints: 80195
3430.31/3439.19 c #Conflicts: 1344000 | #Constraints: 81195
3430.31/3439.19 c #Conflicts: 1345000 | #Constraints: 82195
3430.31/3439.19 c #Conflicts: 1346000 | #Constraints: 83195
3430.31/3439.19 c #Conflicts: 1347000 | #Constraints: 84195
3430.31/3439.19 c #Conflicts: 1348000 | #Constraints: 85195
3430.31/3439.19 c #Conflicts: 1349000 | #Constraints: 86195
3430.31/3439.19 c #Conflicts: 1350000 | #Constraints: 87195
3430.31/3439.19 c #Conflicts: 1351000 | #Constraints: 88195
3430.31/3439.19 c #Conflicts: 1352000 | #Constraints: 89195
3430.31/3439.19 c #Conflicts: 1353000 | #Constraints: 90195
3430.31/3439.19 c #Conflicts: 1354000 | #Constraints: 91195
3430.31/3439.19 c #Conflicts: 1355000 | #Constraints: 92195
3430.31/3439.19 c #Conflicts: 1356000 | #Constraints: 93195
3430.31/3439.19 c #Conflicts: 1357000 | #Constraints: 94195
3430.31/3439.19 c #Conflicts: 1358000 | #Constraints: 95195
3430.31/3439.19 c #Conflicts: 1359000 | #Constraints: 96195
3430.31/3439.19 c #Conflicts: 1360000 | #Constraints: 97195
3430.31/3439.19 c #Conflicts: 1361000 | #Constraints: 98195
3430.31/3439.19 c #Conflicts: 1362000 | #Constraints: 99195
3430.31/3439.19 c #Conflicts: 1363000 | #Constraints: 100195
3430.31/3439.19 c #Conflicts: 1364000 | #Constraints: 101195
3430.31/3439.19 c #Conflicts: 1365000 | #Constraints: 102195
3430.31/3439.19 c #Conflicts: 1366000 | #Constraints: 103195
3430.31/3439.19 c #Conflicts: 1367000 | #Constraints: 104195
3430.31/3439.19 c #Conflicts: 1368000 | #Constraints: 105195
3430.31/3439.19 c #Conflicts: 1369000 | #Constraints: 106195
3430.31/3439.19 c #Conflicts: 1370000 | #Constraints: 107195
3430.31/3439.19 c #Conflicts: 1371000 | #Constraints: 108195
3430.31/3439.19 c #Conflicts: 1372000 | #Constraints: 109195
3430.31/3439.19 c #Conflicts: 1373000 | #Constraints: 110195
3430.31/3439.19 c #Conflicts: 1374000 | #Constraints: 111195
3430.31/3439.19 c #Conflicts: 1375000 | #Constraints: 112195
3430.31/3439.19 c #Conflicts: 1376000 | #Constraints: 113195
3430.31/3439.19 c #Conflicts: 1377000 | #Constraints: 114195
3430.31/3439.19 c #Conflicts: 1378000 | #Constraints: 115195
3430.31/3439.19 c #Conflicts: 1379000 | #Constraints: 116195
3430.31/3439.19 c #Conflicts: 1380000 | #Constraints: 117195
3430.31/3439.19 c #Conflicts: 1381000 | #Constraints: 118195
3430.31/3439.19 c #Conflicts: 1382000 | #Constraints: 119195
3600.07/3609.30 c #Conflicts: 1383000 | #Constraints: 120195
3600.07/3609.30 c #Conflicts: 1384000 | #Constraints: 121195
3600.07/3609.30 c #Conflicts: 1385000 | #Constraints: 122195
3600.07/3609.30 c #Conflicts: 1386000 | #Constraints: 123195
3600.07/3609.30 c #Conflicts: 1387000 | #Constraints: 124195
3600.07/3609.30 c #Conflicts: 1388000 | #Constraints: 125195
3600.07/3609.30 c #Conflicts: 1389000 | #Constraints: 126195
3600.07/3609.30 c #Conflicts: 1390000 | #Constraints: 127195
3600.07/3609.30 c #Conflicts: 1391000 | #Constraints: 128195
3600.07/3609.30 c #Conflicts: 1392000 | #Constraints: 129195
3600.07/3609.30 c #Conflicts: 1393000 | #Constraints: 130195
3600.07/3609.30 c #Conflicts: 1394000 | #Constraints: 131195
3600.07/3609.30 c #Conflicts: 1395000 | #Constraints: 132195
3600.07/3609.30 c #Conflicts: 1396000 | #Constraints: 133195
3600.07/3609.30 c #Conflicts: 1397000 | #Constraints: 134195
3600.07/3609.30 c #Conflicts: 1398000 | #Constraints: 135195
3600.07/3609.30 c #Conflicts: 1399000 | #Constraints: 136195
3600.07/3609.30 c #Conflicts: 1400000 | #Constraints: 137195
3600.07/3609.30 c #Conflicts: 1401000 | #Constraints: 138195
3600.07/3609.30 c #Conflicts: 1402000 | #Constraints: 139195
3600.07/3609.30 c #Conflicts: 1403000 | #Constraints: 140195
3600.07/3609.30 c #Conflicts: 1404000 | #Constraints: 141195
3600.07/3609.30 c #Conflicts: 1405000 | #Constraints: 142195
3600.07/3609.30 c #Conflicts: 1406000 | #Constraints: 143195
3600.07/3609.30 c #Conflicts: 1407000 | #Constraints: 144195
3600.07/3609.30 c #Conflicts: 1408000 | #Constraints: 145195
3600.07/3609.30 c #Conflicts: 1409000 | #Constraints: 146195
3600.07/3609.30 c #Conflicts: 1410000 | #Constraints: 147195
3600.07/3609.30 c #Conflicts: 1411000 | #Constraints: 148195
3600.07/3609.30 c #Conflicts: 1412000 | #Constraints: 149195
3600.07/3609.30 c INPROCESSING
3600.07/3609.30 c GARBAGE COLLECT
3600.07/3609.30 c #Conflicts: 1413000 | #Constraints: 85874
3600.07/3609.30 c #Conflicts: 1414000 | #Constraints: 86874
3600.07/3609.30 c #Conflicts: 1415000 | #Constraints: 87874
3600.07/3609.30 c #Conflicts: 1416000 | #Constraints: 88874
3600.07/3609.30 c #Conflicts: 1417000 | #Constraints: 89874
3600.07/3609.30 c #Conflicts: 1418000 | #Constraints: 90874
3600.07/3609.30 c #Conflicts: 1419000 | #Constraints: 91874
3600.07/3609.30 c #Conflicts: 1420000 | #Constraints: 92874
3600.07/3609.30 c #Conflicts: 1421000 | #Constraints: 93874
3600.07/3609.30 c #Conflicts: 1422000 | #Constraints: 94874
3600.07/3609.30 c #Conflicts: 1423000 | #Constraints: 95874
3600.07/3609.30 c #Conflicts: 1424000 | #Constraints: 96874
3600.07/3609.30 c #Conflicts: 1425000 | #Constraints: 97874
3600.07/3609.30 c #Conflicts: 1426000 | #Constraints: 98874
3600.07/3609.30 c #Conflicts: 1427000 | #Constraints: 99874
3600.07/3609.30 c #Conflicts: 1428000 | #Constraints: 100874
3600.07/3609.30 c #Conflicts: 1429000 | #Constraints: 101874
3600.07/3609.30 c #Conflicts: 1430000 | #Constraints: 102874
3600.07/3609.30 c #Conflicts: 1431000 | #Constraints: 103874
3600.07/3609.30 c #Conflicts: 1432000 | #Constraints: 104874
3600.07/3609.30 c #Conflicts: 1433000 | #Constraints: 105874
3600.07/3609.30 c #Conflicts: 1434000 | #Constraints: 106874
3600.07/3609.30 c #Conflicts: 1435000 | #Constraints: 107874
3600.07/3609.30 c #Conflicts: 1436000 | #Constraints: 108874
3600.07/3609.30 c #Conflicts: 1437000 | #Constraints: 109874
3600.07/3609.30 c cpu time 3574.35 s
3600.07/3609.30 c deterministic time 241941309121 2.42e+11
3600.07/3609.30 c optimization time 51.3807 s
3600.07/3609.30 c total solve time 3522.87 s
3600.07/3609.30 c core-guided solve time 0 s
3600.07/3609.30 c propagation time 1764.1 s
3600.07/3609.30 c conflict analysis time 1400.56 s
3600.07/3609.30 c propagations 1426732207
3600.07/3609.30 c resolve steps 95944382
3600.07/3609.30 c decisions 27728251
3600.07/3609.30 c conflicts 1437562
3600.07/3609.30 c restarts 2808
3600.07/3609.30 c inprocessing phases 51
3600.07/3609.30 c garbage collections 51 ,( 100.00 )
3600.07/3609.30 c input clauses 18602 ,( 99.17 )
3600.07/3609.30 c input cardinalities 155 ,( 0.83 )
3600.07/3609.30 c input general constraints 0 ,( 0.00 )
3600.07/3609.30 c input average constraint length 6.43
3600.07/3609.30 c input average constraint degree 1.97
3600.07/3609.30 c learned clauses 1072580 ,( 74.61 )
3600.07/3609.30 c learned cardinalities 42904 ,( 2.98 )
3600.07/3609.30 c learned general constraints 322088 ,( 22.40 )
3600.07/3609.30 c learned average constraint length 748.66
3600.07/3609.30 c learned average constraint degree 19188073.32
3600.07/3609.30 c watched CF 32, 64, 128, Arb: 85333 , 0 , 0 , 0
3600.07/3609.30 c counting CF 32, 64, 128, Arb: 236755 , 0 , 0 , 0
3600.07/3609.30 c watched constraints 85333 ,( 26.49 )
3600.07/3609.30 c counting constraints 236755 ,( 73.51 )
3600.07/3609.30 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 1403893245 , 672129605 , 2043056273 ,( 82446239 , 1960610034 )
3600.07/3609.30 c gcd simplifications 832
3600.07/3609.30 c detected cardinalities 5681
3600.07/3609.30 c weakened non-implied lits 409380413
3600.07/3609.30 c weakened non-implying lits 251247
3600.07/3609.30 c original variables 18445
3600.07/3609.30 c clausal propagations 651159081
3600.07/3609.30 c cardinality propagations 522647646
3600.07/3609.30 c watched propagations 4890768
3600.07/3609.30 c counting propagations 235676526
3600.07/3609.30 c watch lookups 85824926091
3600.07/3609.30 c watch backjump lookups 0
3600.07/3609.30 c watch checks 35470429662
3600.07/3609.30 c propagation checks 112541204859
3600.07/3609.30 c constraint additions 5194094779
3600.07/3609.30 c trail pops 1455881749
3600.07/3609.30 c formula constraints 18757
3600.07/3609.30 c learned constraints 1437556
3600.07/3609.30 c bound constraints 0
3600.07/3609.30 c core-guided constraints 0
3600.07/3609.30 c encountered formula constraints 61832209
3600.07/3609.30 c encountered learned constraints 35546967
3600.07/3609.30 c encountered bound constraints 0
3600.07/3609.30 c encountered core-guided constraints 0
3600.07/3609.30 c LP total time 387.576 s
3600.07/3609.30 c LP solve time 378.48 s
3600.07/3609.30 c LP constraints added 19596
3600.07/3609.30 c LP constraints removed 389
3600.07/3609.30 c LP pivots internal 147741
3600.07/3609.30 c LP pivots root 163781
3600.07/3609.30 c LP calls 20
3600.07/3609.30 c LP optimalities 8
3600.07/3609.30 c LP no pivot count 0
3600.07/3609.30 c LP infeasibilities 5
3600.07/3609.30 c LP valid Farkas constraints 5
3600.07/3609.30 c LP learned Farkas constraints 5
3600.07/3609.30 c LP basis resets 1
3600.07/3609.30 c LP cycling count 0
3600.07/3609.30 c LP singular count 1
3600.07/3609.30 c LP no primal count 0
3600.07/3609.30 c LP no farkas count 0
3600.07/3609.30 c LP other issue count 0
3600.07/3609.30 c LP Gomory cuts 6
3600.07/3609.30 c LP learned cuts 833
3600.07/3609.30 c LP deleted cuts 389
3600.07/3609.30 c LP encountered Gomory constraints 2213
3600.07/3609.30 c LP encountered Farkas constraints 545
3600.07/3609.30 c LP encountered learned Farkas constraints 5
3600.07/3609.30 c CG auxiliary variables introduced 0
3600.07/3609.30 c CG solutions found 0
3600.07/3609.30 c CG cores constructed 0
3600.07/3609.30 c CG core cardinality constraints returned 0
3600.07/3609.30 c CG unit cores 0
3600.07/3609.30 c CG single cores 0
3600.07/3609.30 c CG blocks removed during cardinality reduction 0
3600.07/3609.30 c CG first core best 0
3600.07/3609.30 c CG decision core best 0
3600.07/3609.30 c CG core reduction tie 0
3600.07/3609.30 c CG core degree average 0.00
3600.07/3609.30 c CG core slack average 0.00
3600.07/3609.30 c CG core upper bound improvements 0
3600.07/3609.30 c STR number of successful calls 0
3600.07/3609.30 c STR number of unsuccessful calls 0
3600.07/3609.30 c STR number of inconclusive calls 0
3600.07/3609.30 c STR number of successful attempts 0
3600.07/3609.30 c STR number of unsuccessful attempts 0
3600.07/3609.30 c STR number of inconclusive attempts 0
3600.07/3609.30 c STR average degree increase per successful call inf
3600.07/3609.30 c STR average degree increase per successful attempt inf
3600.07/3609.30 c STR total number of conflicts for successful attempts 0
3600.07/3609.30 c STR total number of conflicts for unsuccessful attempts 0
3600.07/3609.30 c STR total number of conflicts for inconclusive attempts 0
3600.07/3609.30 c STR average number of conflicts per successful attempt inf
3600.07/3609.30 c STR average number of conflicts per unsuccessful attempt inf
3600.07/3609.30 c STR average number of conflicts per inconclusive attempt inf
3600.07/3609.30 c AVG.sumWPerc 65.28
3600.07/3609.30 c bigint constraints 0
3600.07/3609.30 s UNKNOWN
3600.07/3609.30 c Program interrupted by user.
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63665 MiB (62716 MiB free)
memory of node 1: 64507 MiB (61387 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4507050-1751175490/watcher-4507050-1751175490 -o /tmp/evaluation-result-4507050-1751175490/solver-4507050-1751175490 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1751168266-18971 --watchdog 3760 run-dec-ls.sh HOME/instance-4507050-1751175490.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=19930, runsolver pid=19926
Current StackSize limit: 8192 KiB
[startup+0.100065 s]*
/proc/loadavg: 4.08 4.10 4.10 5/267 19937
/proc/meminfo: memFree=127050480/131250000 swapFree=33010684/33010684
[pid=19930] ppid=19926 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/19930/stat : 19930 (run-dec-ls.sh) S 19926 19930 18961 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 33228891 4292608 768 18446744073709551615 93923424227328 93923425121861 140734096409504 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93923425360912 93923425408656 93923450101760 140734096415079 140734096415205 140734096415205 140734096420807 0
/proc/19930/statm: 1048 768 704 219 0 110 0
[pid=19932] ppid=19930 vsize=72048 memory=27592 CPUtime=0.07 cores=0,2
/proc/19932/stat : 19932 (roundingsat) R 19930 19930 18961 0 -1 4194304 5247 0 0 0 6 1 0 0 20 0 1 0 33228891 73777152 6898 18446744073709551615 4227072 8923433 140727848065392 0 0 0 0 0 8405026 0 0 0 17 2 0 0 0 0 0 9823104 9832592 11948032 140727848073632 140727848073768 140727848073768 140727848079338 0
/proc/19932/statm: 18012 6898 2240 1147 0 5439 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 76240 KiB
Current children cumulated memory: 30664 KiB
[startup+0.205616 s]*
/proc/loadavg: 4.08 4.10 4.10 5/267 19937
/proc/meminfo: memFree=126970332/131250000 swapFree=33010684/33010684
[pid=19930] ppid=19926 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/19930/stat : 19930 (run-dec-ls.sh) S 19926 19930 18961 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 33228891 4292608 768 18446744073709551615 93923424227328 93923425121861 140734096409504 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93923425360912 93923425408656 93923450101760 140734096415079 140734096415205 140734096415205 140734096420807 0
/proc/19930/statm: 1048 768 704 219 0 110 0
[pid=19932] ppid=19930 vsize=110724 memory=56400 CPUtime=0.18 cores=0,2
/proc/19932/stat : 19932 (roundingsat) R 19930 19930 18961 0 -1 4194304 10668 0 0 0 16 2 0 0 20 0 1 0 33228891 113381376 14100 18446744073709551615 4227072 8923433 140727848065392 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 11948032 140727848073632 140727848073768 140727848073768 140727848079338 0
/proc/19932/statm: 27681 14100 2272 1147 0 15108 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 114916 KiB
Current children cumulated memory: 59472 KiB
[startup+0.305545 s]*
/proc/loadavg: 4.08 4.10 4.10 5/267 19937
/proc/meminfo: memFree=126968316/131250000 swapFree=33010684/33010684
[pid=19930] ppid=19926 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/19930/stat : 19930 (run-dec-ls.sh) S 19926 19930 18961 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 33228891 4292608 768 18446744073709551615 93923424227328 93923425121861 140734096409504 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93923425360912 93923425408656 93923450101760 140734096415079 140734096415205 140734096415205 140734096420807 0
/proc/19930/statm: 1048 768 704 219 0 110 0
[pid=19932] ppid=19930 vsize=111192 memory=57296 CPUtime=0.27 cores=0,2
/proc/19932/stat : 19932 (roundingsat) R 19930 19930 18961 0 -1 4194304 10917 0 0 0 25 2 0 0 20 0 1 0 33228891 113860608 14324 18446744073709551615 4227072 8923433 140727848065392 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 11948032 140727848073632 140727848073768 140727848073768 140727848079338 0
/proc/19932/statm: 27798 14324 2272 1147 0 15225 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 115384 KiB
Current children cumulated memory: 60368 KiB
[startup+0.700197 s]
/proc/loadavg: 4.08 4.10 4.10 5/267 19937
/proc/meminfo: memFree=126966552/131250000 swapFree=33010684/33010684
[pid=19930] ppid=19926 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/19930/stat : 19930 (run-dec-ls.sh) S 19926 19930 18961 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 33228891 4292608 768 18446744073709551615 93923424227328 93923425121861 140734096409504 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93923425360912 93923425408656 93923450101760 140734096415079 140734096415205 140734096415205 140734096420807 0
/proc/19930/statm: 1048 768 704 219 0 110 0
[pid=19932] ppid=19930 vsize=112140 memory=58320 CPUtime=0.66 cores=0,2
/proc/19932/stat : 19932 (roundingsat) R 19930 19930 18961 0 -1 4194304 11163 0 0 0 64 2 0 0 20 0 1 0 33228891 114831360 14580 18446744073709551615 4227072 8923433 140727848065392 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 11948032 140727848073632 140727848073768 140727848073768 140727848079338 0
/proc/19932/statm: 28035 14580 2272 1147 0 15462 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 116332 KiB
Current children cumulated memory: 61392 KiB
[startup+1.50017 s]
/proc/loadavg: 4.08 4.10 4.10 5/266 19937
/proc/meminfo: memFree=127515416/131250000 swapFree=33010684/33010684
[pid=19930] ppid=19926 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/19930/stat : 19930 (run-dec-ls.sh) S 19926 19930 18961 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 33228891 4292608 768 18446744073709551615 93923424227328 93923425121861 140734096409504 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93923425360912 93923425408656 93923450101760 140734096415079 140734096415205 140734096415205 140734096420807 0
/proc/19930/statm: 1048 768 704 219 0 110 0
[pid=19932] ppid=19930 vsize=112140 memory=58320 CPUtime=1.46 cores=0,2
/proc/19932/stat : 19932 (roundingsat) R 19930 19930 18961 0 -1 4194304 11163 0 0 0 144 2 0 0 20 0 1 0 33228891 114831360 14580 18446744073709551615 4227072 8923433 140727848065392 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 11948032 140727848073632 140727848073768 140727848073768 140727848079338 0
/proc/19932/statm: 28035 14580 2272 1147 0 15462 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 116332 KiB
Current children cumulated memory: 61392 KiB
[startup+3.1055 s]
/proc/loadavg: 4.07 4.10 4.09 5/267 19983
/proc/meminfo: memFree=128209536/131250000 swapFree=33010684/33010684
[pid=19930] ppid=19926 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/19930/stat : 19930 (run-dec-ls.sh) S 19926 19930 18961 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 33228891 4292608 768 18446744073709551615 93923424227328 93923425121861 140734096409504 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93923425360912 93923425408656 93923450101760 140734096415079 140734096415205 140734096415205 140734096420807 0
/proc/19930/statm: 1048 768 704 219 0 110 0
[pid=19932] ppid=19930 vsize=115364 memory=62288 CPUtime=3.07 cores=0,2
/proc/19932/stat : 19932 (roundingsat) R 19930 19930 18961 0 -1 4194304 12103 0 0 0 303 4 0 0 20 0 1 0 33228891 118132736 15572 18446744073709551615 4227072 8923433 140727848065392 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 11948032 140727848073632 140727848073768 140727848073768 140727848079338 0
/proc/19932/statm: 28841 15572 2336 1147 0 16268 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 119556 KiB
Current children cumulated memory: 65360 KiB
[startup+6.30016 s]
/proc/loadavg: 4.07 4.10 4.09 5/267 20030
/proc/meminfo: memFree=129518712/131250000 swapFree=33010684/33010684
[pid=19930] ppid=19926 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/19930/stat : 19930 (run-dec-ls.sh) S 19926 19930 18961 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 33228891 4292608 768 18446744073709551615 93923424227328 93923425121861 140734096409504 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93923425360912 93923425408656 93923450101760 140734096415079 140734096415205 140734096415205 140734096420807 0
/proc/19930/statm: 1048 768 704 219 0 110 0
[pid=19932] ppid=19930 vsize=118580 memory=68456 CPUtime=6.23 cores=0,2
/proc/19932/stat : 19932 (roundingsat) R 19930 19930 18961 0 -1 4194304 13139 0 0 0 609 14 0 0 20 0 1 0 33228891 121425920 17114 18446744073709551615 4227072 8923433 140727848065392 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 11948032 140727848073632 140727848073768 140727848073768 140727848079338 0
/proc/19932/statm: 29645 17114 2336 1147 0 17072 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 122772 KiB
Current children cumulated memory: 71528 KiB
[startup+12.7002 s]
/proc/loadavg: 4.15 4.12 4.10 5/267 20030
/proc/meminfo: memFree=129490012/131250000 swapFree=33010684/33010684
[pid=19930] ppid=19926 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/19930/stat : 19930 (run-dec-ls.sh) S 19926 19930 18961 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 33228891 4292608 768 18446744073709551615 93923424227328 93923425121861 140734096409504 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93923425360912 93923425408656 93923450101760 140734096415079 140734096415205 140734096415205 140734096420807 0
/proc/19930/statm: 1048 768 704 219 0 110 0
[pid=19932] ppid=19930 vsize=129424 memory=78056 CPUtime=12.62 cores=0,2
/proc/19932/stat : 19932 (roundingsat) R 19930 19930 18961 0 -1 4194304 15525 0 0 0 1229 33 0 0 20 0 1 0 33228891 132530176 19514 18446744073709551615 4227072 8923433 140727848065392 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 11948032 140727848073632 140727848073768 140727848073768 140727848079338 0
/proc/19932/statm: 32356 19514 2336 1147 0 19783 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 133616 KiB
Current children cumulated memory: 81128 KiB
[startup+25.5002 s]
/proc/loadavg: 4.11 4.11 4.10 5/267 20030
/proc/meminfo: memFree=129402828/131250000 swapFree=33010684/33010684
[pid=19930] ppid=19926 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/19930/stat : 19930 (run-dec-ls.sh) S 19926 19930 18961 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 33228891 4292608 768 18446744073709551615 93923424227328 93923425121861 140734096409504 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93923425360912 93923425408656 93923450101760 140734096415079 140734096415205 140734096415205 140734096420807 0
/proc/19930/statm: 1048 768 704 219 0 110 0
[pid=19932] ppid=19930 vsize=156656 memory=103844 CPUtime=25.38 cores=0,2
/proc/19932/stat : 19932 (roundingsat) R 19930 19930 18961 0 -1 4194304 20461 0 0 0 2477 61 0 0 20 0 1 0 33228891 160415744 25961 18446744073709551615 4227072 8923433 140727848065392 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 11948032 140727848073632 140727848073768 140727848073768 140727848079338 0
/proc/19932/statm: 39164 25961 2336 1147 0 26591 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 160848 KiB
Current children cumulated memory: 106916 KiB
[startup+51.1054 s]
/proc/loadavg: 4.07 4.10 4.09 5/267 20030
/proc/meminfo: memFree=129297300/131250000 swapFree=33010684/33010684
[pid=19930] ppid=19926 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/19930/stat : 19930 (run-dec-ls.sh) S 19926 19930 18961 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 33228891 4292608 768 18446744073709551615 93923424227328 93923425121861 140734096409504 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93923425360912 93923425408656 93923450101760 140734096415079 140734096415205 140734096415205 140734096420807 0
/proc/19930/statm: 1048 768 704 219 0 110 0
[pid=19932] ppid=19930 vsize=178992 memory=117808 CPUtime=50.91 cores=0,2
/proc/19932/stat : 19932 (roundingsat) R 19930 19930 18961 0 -1 4194304 23385 0 0 0 4987 104 0 0 20 0 1 0 33228891 183287808 29452 18446744073709551615 4227072 8923433 140727848065392 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 11948032 140727848073632 140727848073768 140727848073768 140727848079338 0
/proc/19932/statm: 44748 29452 2336 1147 0 32175 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 183184 KiB
Current children cumulated memory: 120880 KiB
[startup+102.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/267 20032
/proc/meminfo: memFree=129087448/131250000 swapFree=33010684/33010684
[pid=19930] ppid=19926 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/19930/stat : 19930 (run-dec-ls.sh) S 19926 19930 18961 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 33228891 4292608 768 18446744073709551615 93923424227328 93923425121861 140734096409504 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93923425360912 93923425408656 93923450101760 140734096415079 140734096415205 140734096415205 140734096420807 0
/proc/19930/statm: 1048 768 704 219 0 110 0
[pid=19932] ppid=19930 vsize=231740 memory=178632 CPUtime=101.96 cores=0,2
/proc/19932/stat : 19932 (roundingsat) R 19930 19930 18961 0 -1 4194304 32138 0 0 0 10027 169 0 0 20 0 1 0 33228891 237301760 44658 18446744073709551615 4227072 8923433 140727848065392 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 11948032 140727848073632 140727848073768 140727848073768 140727848079338 0
/proc/19932/statm: 57935 44658 2336 1147 0 45362 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 235932 KiB
Current children cumulated memory: 181704 KiB
[startup+162.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/267 20039
/proc/meminfo: memFree=128937480/131250000 swapFree=33010684/33010684
[pid=19930] ppid=19926 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/19930/stat : 19930 (run-dec-ls.sh) S 19926 19930 18961 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 33228891 4292608 768 18446744073709551615 93923424227328 93923425121861 140734096409504 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93923425360912 93923425408656 93923450101760 140734096415079 140734096415205 140734096415205 140734096420807 0
/proc/19930/statm: 1048 768 704 219 0 110 0
[pid=19932] ppid=19930 vsize=253360 memory=204388 CPUtime=161.82 cores=0,2
/proc/19932/stat : 19932 (roundingsat) R 19930 19930 18961 0 -1 4194304 37257 0 0 0 15939 243 0 0 20 0 1 0 33228891 259440640 51097 18446744073709551615 4227072 8923433 140727848065392 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 11948032 140727848073632 140727848073768 140727848073768 140727848079338 0
/proc/19932/statm: 63340 51097 2368 1147 0 50767 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 257552 KiB
Current children cumulated memory: 207460 KiB
[startup+222.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/267 20041
/proc/meminfo: memFree=128729300/131250000 swapFree=33010684/33010684
[pid=19930] ppid=19926 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/19930/stat : 19930 (run-dec-ls.sh) S 19926 19930 18961 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 33228891 4292608 768 18446744073709551615 93923424227328 93923425121861 140734096409504 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93923425360912 93923425408656 93923450101760 140734096415079 140734096415205 140734096415205 140734096420807 0
/proc/19930/statm: 1048 768 704 219 0 110 0
[pid=19932] ppid=19930 vsize=306668 memory=253688 CPUtime=221.67 cores=0,2
/proc/19932/stat : 19932 (roundingsat) R 19930 19930 18961 0 -1 4194304 42956 0 0 0 21834 333 0 0 20 0 1 0 33228891 314028032 63422 18446744073709551615 4227072 8923433 140727848065392 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 11948032 140727848073632 140727848073768 140727848073768 140727848079338 0
/proc/19932/statm: 76667 63422 2368 1147 0 64094 0
Current children cumulated CPU time: 221.67 s
################
# More data... #
################
/proc/19932/statm: 365692 266618 2464 1147 0 353119 0
Current children cumulated CPU time: 3094.37 s
Current children cumulated vsize: 1466960 KiB
Current children cumulated memory: 1069544 KiB
[startup+3162.3 s]
/proc/loadavg: 4.09 4.12 4.12 5/267 20185
/proc/meminfo: memFree=124913496/131250000 swapFree=33010684/33010684
[pid=19930] ppid=19926 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/19930/stat : 19930 (run-dec-ls.sh) S 19926 19930 18961 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 33228891 4292608 768 18446744073709551615 93923424227328 93923425121861 140734096409504 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93923425360912 93923425408656 93923450101760 140734096415079 140734096415205 140734096415205 140734096420807 0
/proc/19930/statm: 1048 768 704 219 0 110 0
[pid=19932] ppid=19930 vsize=1472600 memory=1074920 CPUtime=3154.22 cores=0,2
/proc/19932/stat : 19932 (roundingsat) R 19930 19930 18961 0 -1 4194304 123750 0 0 0 313113 2309 0 0 20 0 1 0 33228891 1507942400 268730 18446744073709551615 4227072 8923433 140727848065392 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 11948032 140727848073632 140727848073768 140727848073768 140727848079338 0
/proc/19932/statm: 368150 268730 2464 1147 0 355577 0
Current children cumulated CPU time: 3154.22 s
Current children cumulated vsize: 1476792 KiB
Current children cumulated memory: 1077992 KiB
[startup+3222.3 s]
/proc/loadavg: 4.08 4.11 4.11 5/267 20187
/proc/meminfo: memFree=124897228/131250000 swapFree=33010684/33010684
[pid=19930] ppid=19926 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/19930/stat : 19930 (run-dec-ls.sh) S 19926 19930 18961 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 33228891 4292608 768 18446744073709551615 93923424227328 93923425121861 140734096409504 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93923425360912 93923425408656 93923450101760 140734096415079 140734096415205 140734096415205 140734096420807 0
/proc/19930/statm: 1048 768 704 219 0 110 0
[pid=19932] ppid=19930 vsize=1490280 memory=1091792 CPUtime=3214.06 cores=0,2
/proc/19932/stat : 19932 (roundingsat) R 19930 19930 18961 0 -1 4194304 127471 0 0 0 319079 2327 0 0 20 0 1 0 33228891 1526046720 272948 18446744073709551615 4227072 8923433 140727848065392 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 11948032 140727848073632 140727848073768 140727848073768 140727848079338 0
/proc/19932/statm: 372570 272948 2464 1147 0 359997 0
Current children cumulated CPU time: 3214.06 s
Current children cumulated vsize: 1494472 KiB
Current children cumulated memory: 1094864 KiB
[startup+3282.3 s]
/proc/loadavg: 4.15 4.12 4.11 5/268 20192
/proc/meminfo: memFree=124889564/131250000 swapFree=33010684/33010684
[pid=19930] ppid=19926 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/19930/stat : 19930 (run-dec-ls.sh) S 19926 19930 18961 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 33228891 4292608 768 18446744073709551615 93923424227328 93923425121861 140734096409504 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93923425360912 93923425408656 93923450101760 140734096415079 140734096415205 140734096415205 140734096420807 0
/proc/19930/statm: 1048 768 704 219 0 110 0
[pid=19932] ppid=19930 vsize=1495496 memory=1097168 CPUtime=3273.91 cores=0,2
/proc/19932/stat : 19932 (roundingsat) R 19930 19930 18961 0 -1 4194304 128829 0 0 0 325025 2366 0 0 20 0 1 0 33228891 1531387904 274292 18446744073709551615 4227072 8923433 140727848065392 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 11948032 140727848073632 140727848073768 140727848073768 140727848079338 0
/proc/19932/statm: 373874 274292 2464 1147 0 361301 0
Current children cumulated CPU time: 3273.91 s
Current children cumulated vsize: 1499688 KiB
Current children cumulated memory: 1100240 KiB
[startup+3342.3 s]
/proc/loadavg: 4.05 4.10 4.10 5/267 20194
/proc/meminfo: memFree=124889196/131250000 swapFree=33010684/33010684
[pid=19930] ppid=19926 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/19930/stat : 19930 (run-dec-ls.sh) S 19926 19930 18961 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 33228891 4292608 768 18446744073709551615 93923424227328 93923425121861 140734096409504 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93923425360912 93923425408656 93923450101760 140734096415079 140734096415205 140734096415205 140734096420807 0
/proc/19930/statm: 1048 768 704 219 0 110 0
[pid=19932] ppid=19930 vsize=1495496 memory=1097168 CPUtime=3333.76 cores=0,2
/proc/19932/stat : 19932 (roundingsat) R 19930 19930 18961 0 -1 4194304 128829 0 0 0 330981 2395 0 0 20 0 1 0 33228891 1531387904 274292 18446744073709551615 4227072 8923433 140727848065392 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 11948032 140727848073632 140727848073768 140727848073768 140727848079338 0
/proc/19932/statm: 373874 274292 2464 1147 0 361301 0
Current children cumulated CPU time: 3333.76 s
Current children cumulated vsize: 1499688 KiB
Current children cumulated memory: 1100240 KiB
[startup+3402.3 s]
/proc/loadavg: 4.06 4.09 4.09 5/267 20196
/proc/meminfo: memFree=124889068/131250000 swapFree=33010684/33010684
[pid=19930] ppid=19926 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/19930/stat : 19930 (run-dec-ls.sh) S 19926 19930 18961 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 33228891 4292608 768 18446744073709551615 93923424227328 93923425121861 140734096409504 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93923425360912 93923425408656 93923450101760 140734096415079 140734096415205 140734096415205 140734096420807 0
/proc/19930/statm: 1048 768 704 219 0 110 0
[pid=19932] ppid=19930 vsize=1495496 memory=1097168 CPUtime=3393.6 cores=0,2
/proc/19932/stat : 19932 (roundingsat) R 19930 19930 18961 0 -1 4194304 128829 0 0 0 336928 2432 0 0 20 0 1 0 33228891 1531387904 274292 18446744073709551615 4227072 8923433 140727848065392 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 11948032 140727848073632 140727848073768 140727848073768 140727848079338 0
/proc/19932/statm: 373874 274292 2464 1147 0 361301 0
Current children cumulated CPU time: 3393.6 s
Current children cumulated vsize: 1499688 KiB
Current children cumulated memory: 1100240 KiB
[startup+3462.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/268 20199
/proc/meminfo: memFree=124873940/131250000 swapFree=33010684/33010684
[pid=19930] ppid=19926 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/19930/stat : 19930 (run-dec-ls.sh) S 19926 19930 18961 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 33228891 4292608 768 18446744073709551615 93923424227328 93923425121861 140734096409504 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93923425360912 93923425408656 93923450101760 140734096415079 140734096415205 140734096415205 140734096420807 0
/proc/19930/statm: 1048 768 704 219 0 110 0
[pid=19932] ppid=19930 vsize=1495496 memory=1097168 CPUtime=3453.45 cores=0,2
/proc/19932/stat : 19932 (roundingsat) R 19930 19930 18961 0 -1 4194304 128958 0 0 0 342870 2475 0 0 20 0 1 0 33228891 1531387904 274292 18446744073709551615 4227072 8923433 140727848065392 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 11948032 140727848073632 140727848073768 140727848073768 140727848079338 0
/proc/19932/statm: 373874 274292 2464 1147 0 361301 0
Current children cumulated CPU time: 3453.45 s
Current children cumulated vsize: 1499688 KiB
Current children cumulated memory: 1100240 KiB
[startup+3522.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/268 20201
/proc/meminfo: memFree=124872836/131250000 swapFree=33010684/33010684
[pid=19930] ppid=19926 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/19930/stat : 19930 (run-dec-ls.sh) S 19926 19930 18961 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 33228891 4292608 768 18446744073709551615 93923424227328 93923425121861 140734096409504 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93923425360912 93923425408656 93923450101760 140734096415079 140734096415205 140734096415205 140734096420807 0
/proc/19930/statm: 1048 768 704 219 0 110 0
[pid=19932] ppid=19930 vsize=1498284 memory=1099216 CPUtime=3513.3 cores=0,2
/proc/19932/stat : 19932 (roundingsat) R 19930 19930 18961 0 -1 4194304 129502 0 0 0 348822 2508 0 0 20 0 1 0 33228891 1534242816 274804 18446744073709551615 4227072 8923433 140727848065392 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 11948032 140727848073632 140727848073768 140727848073768 140727848079338 0
/proc/19932/statm: 374571 274804 2464 1147 0 361998 0
Current children cumulated CPU time: 3513.3 s
Current children cumulated vsize: 1502476 KiB
Current children cumulated memory: 1102288 KiB
[startup+3582.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/269 20206
/proc/meminfo: memFree=124886832/131250000 swapFree=33010684/33010684
[pid=19930] ppid=19926 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/19930/stat : 19930 (run-dec-ls.sh) S 19926 19930 18961 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 33228891 4292608 768 18446744073709551615 93923424227328 93923425121861 140734096409504 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93923425360912 93923425408656 93923450101760 140734096415079 140734096415205 140734096415205 140734096420807 0
/proc/19930/statm: 1048 768 704 219 0 110 0
[pid=19932] ppid=19930 vsize=1510676 memory=1108432 CPUtime=3573.15 cores=0,2
/proc/19932/stat : 19932 (roundingsat) R 19930 19930 18961 0 -1 4194304 131782 0 0 0 354765 2550 0 0 20 0 1 0 33228891 1546932224 277108 18446744073709551615 4227072 8923433 140727848065392 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 11948032 140727848073632 140727848073768 140727848073768 140727848079338 0
/proc/19932/statm: 377669 277108 2464 1147 0 365096 0
Current children cumulated CPU time: 3573.15 s
Current children cumulated vsize: 1514868 KiB
Current children cumulated memory: 1111504 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.3 s]
/proc/loadavg: 4.06 4.08 4.09 4/264 20214
/proc/meminfo: memFree=125901852/131250000 swapFree=33010684/33010684
[pid=19930] ppid=19926 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/19930/stat : 19930 (run-dec-ls.sh) S 19926 19930 18961 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 33228891 4292608 768 18446744073709551615 93923424227328 93923425121861 140734096409504 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93923425360912 93923425408656 93923450101760 140734096415079 140734096415205 140734096415205 140734096420807 0
/proc/19930/statm: 1048 768 704 219 0 110 0
[pid=19932] ppid=19930 vsize=1510676 memory=1108432 CPUtime=3600.07 cores=0,2
/proc/19932/stat : 19932 (roundingsat) R 19930 19930 18961 0 -1 4194304 131782 0 0 0 357434 2573 0 0 20 0 1 0 33228891 1546932224 277108 18446744073709551615 4227072 8923433 140727848065392 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 11948032 140727848073632 140727848073768 140727848073768 140727848079338 0
/proc/19932/statm: 377669 277108 2464 1147 0 365096 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 1514868 KiB
Current children cumulated memory: 1111504 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.3 s]
# the end of solver process 19930 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0 s, system=0.00184 s
[startup+3609.32 s]
# the end of solver process 19932 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3574.35 s, system=25.7543 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.3 s]
/proc/loadavg: 4.06 4.08 4.09 4/264 20214
/proc/meminfo: memFree=125901852/131250000 swapFree=33010684/33010684
[pid=19930] ppid=19926 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/19930/stat : 19930 (run-dec-ls.sh) S 19926 19930 18961 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 33228891 4292608 768 18446744073709551615 93923424227328 93923425121861 140734096409504 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93923425360912 93923425408656 93923450101760 140734096415079 140734096415205 140734096415205 140734096420807 0
/proc/19930/statm: 1048 768 704 219 0 110 0
[pid=19932] ppid=19930 vsize=1510676 memory=1108432 CPUtime=3600.07 cores=0,2
/proc/19932/stat : 19932 (roundingsat) R 19930 19930 18961 0 -1 4194304 131782 0 0 0 357434 2573 0 0 20 0 1 0 33228891 1546932224 277108 18446744073709551615 4227072 8923433 140727848065392 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 11948032 140727848073632 140727848073768 140727848073768 140727848079338 0
/proc/19932/statm: 377669 277108 2464 1147 0 365096 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 1514868 KiB
Current children cumulated memory: 1111504 KiB
Child status: 2
Real time (s): 3609.32
CPU time (s): 3600.11
CPU user time (s): 3574.35
CPU system time (s): 25.7543
CPU usage (%): 99.7447
Max. virtual memory (cumulated for all children) (KiB): 1514868
Max. memory (cumulated for all children) (KiB): 1111504
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3574.35
system time used= 25.7543
maximum resident set size= 1108688
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 132007
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= 299
involuntary context switches= 8069
# summary of solver processes directly reported to runsolver:
# pid: 19930,19932
# total CPU time (s): 3600.11
# total CPU user time (s): 3574.35
# total CPU system time (s): 25.7543
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.89362 second user time and 17.4344 second system time
The end
Begin job on nodeC027 at 2025-06-29 07:38:10
IDJOB=4507050
IDBENCH=158319
IDSOLVER=3353
FILE ID=nodeC027/4507050-1751175490
RUNJOBID= nodeC027-1751168266-18971
SLURM_JOB_ID= 9587510
Free space on /tmp= 433016 MiB
SOLVER NAME= roundingsat-ls 63f22ad
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathNG/normalized-NG_K155.opb
COMMAND LINE= run-dec-ls.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4507050-1751175490/watcher-4507050-1751175490 -o /tmp/evaluation-result-4507050-1751175490/solver-4507050-1751175490 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1751168266-18971 --watchdog 3760 run-dec-ls.sh HOME/instance-4507050-1751175490.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 4394b20101c323a14e6df6504cadd31d
RANDOM SEED=1524088532
nodeC027 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.024
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.29
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.571
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.29
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.641
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.29
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3678.547
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.29
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.652
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.29
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.663
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.29
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.626
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.29
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3627.820
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.29
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 127083188 kB
MemAvailable: 127113020 kB
Buffers: 3280 kB
Cached: 835672 kB
SwapCached: 0 kB
Active: 2978428 kB
Inactive: 581740 kB
Active(anon): 2739340 kB
Inactive(anon): 0 kB
Active(file): 239088 kB
Inactive(file): 581740 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 16652 kB
Writeback: 0 kB
AnonPages: 2722928 kB
Mapped: 112504 kB
Shmem: 18068 kB
KReclaimable: 96088 kB
Slab: 181440 kB
SReclaimable: 96088 kB
SUnreclaim: 85352 kB
KernelStack: 4240 kB
PageTables: 8580 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 3460352 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150488 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1832960 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: 203476 kB
DirectMap2M: 9005056 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 433028 MiB
End job on nodeC027 at 2025-06-29 08:38:20