0.00/0.01 c RoundingSat 2
0.00/0.01 c branch pb25
0.00/0.01 c commit 63f22ad
0.08/0.14 c #variables 18445 #constraints 18757
113.98/114.35 c #Conflicts: 1000 | #Constraints: 19756
113.98/114.35 c #Conflicts: 2000 | #Constraints: 20756
113.98/114.35 c INPROCESSING
113.98/114.35 c GARBAGE COLLECT
113.98/114.35 c #Conflicts: 3000 | #Constraints: 19996
113.98/114.35 c #Conflicts: 4000 | #Constraints: 20996
113.98/114.35 c INPROCESSING
113.98/114.35 c GARBAGE COLLECT
113.98/114.35 c #Conflicts: 5000 | #Constraints: 20464
113.98/114.35 c #Conflicts: 6000 | #Constraints: 21464
113.98/114.35 c INPROCESSING
113.98/114.35 c GARBAGE COLLECT
113.98/114.35 c #Conflicts: 7000 | #Constraints: 20554
113.98/114.35 c #Conflicts: 8000 | #Constraints: 21554
113.98/114.35 c #Conflicts: 9000 | #Constraints: 22554
113.98/114.35 c INPROCESSING
113.98/114.35 c GARBAGE COLLECT
113.98/114.35 c #Conflicts: 10000 | #Constraints: 21335
113.98/114.35 c #Conflicts: 11000 | #Constraints: 22335
113.98/114.35 c #Conflicts: 12000 | #Constraints: 23335
113.98/114.35 c INPROCESSING
113.98/114.35 c GARBAGE COLLECT
113.98/114.35 c #Conflicts: 13000 | #Constraints: 21870
113.98/114.35 c #Conflicts: 14000 | #Constraints: 22870
113.98/114.35 c #Conflicts: 15000 | #Constraints: 23870
113.98/114.35 c #Conflicts: 16000 | #Constraints: 24870
113.98/114.35 c #Conflicts: 17000 | #Constraints: 25870
113.98/114.35 c #Conflicts: 18000 | #Constraints: 26870
113.98/114.35 c #Conflicts: 19000 | #Constraints: 27870
113.98/114.35 c #Conflicts: 20000 | #Constraints: 28870
113.98/114.35 c INPROCESSING
113.98/114.35 c GARBAGE COLLECT
113.98/114.35 c #Conflicts: 21000 | #Constraints: 24544
113.98/114.35 c #Conflicts: 22000 | #Constraints: 25544
113.98/114.35 c #Conflicts: 23000 | #Constraints: 26544
113.98/114.35 c #Conflicts: 24000 | #Constraints: 27544
113.98/114.35 c INPROCESSING
113.98/114.35 c GARBAGE COLLECT
113.98/114.35 c #Conflicts: 25000 | #Constraints: 23825
113.98/114.35 c #Conflicts: 26000 | #Constraints: 24825
113.98/114.35 c #Conflicts: 27000 | #Constraints: 25825
113.98/114.35 c #Conflicts: 28000 | #Constraints: 26825
113.98/114.35 c INPROCESSING
113.98/114.35 c GARBAGE COLLECT
113.98/114.35 c #Conflicts: 29000 | #Constraints: 23461
113.98/114.35 c #Conflicts: 30000 | #Constraints: 24461
113.98/114.35 c #Conflicts: 31000 | #Constraints: 25461
113.98/114.35 c #Conflicts: 32000 | #Constraints: 26461
113.98/114.35 c #Conflicts: 33000 | #Constraints: 27461
113.98/114.35 c #Conflicts: 34000 | #Constraints: 28461
113.98/114.35 c #Conflicts: 35000 | #Constraints: 29461
113.98/114.35 c #Conflicts: 36000 | #Constraints: 30461
113.98/114.35 c #Conflicts: 37000 | #Constraints: 31461
113.98/114.35 c #Conflicts: 38000 | #Constraints: 32461
113.98/114.35 c #Conflicts: 39000 | #Constraints: 33461
113.98/114.35 c #Conflicts: 40000 | #Constraints: 34461
113.98/114.35 c #Conflicts: 41000 | #Constraints: 35461
113.98/114.35 c INPROCESSING
113.98/114.35 c GARBAGE COLLECT
113.98/114.35 c #Conflicts: 42000 | #Constraints: 27905
113.98/114.35 c #Conflicts: 43000 | #Constraints: 28905
113.98/114.35 c #Conflicts: 44000 | #Constraints: 29905
113.98/114.35 c #Conflicts: 45000 | #Constraints: 30905
113.98/114.35 c #Conflicts: 46000 | #Constraints: 31905
113.98/114.35 c #Conflicts: 47000 | #Constraints: 32905
113.98/114.35 c INPROCESSING
113.98/114.35 c GARBAGE COLLECT
113.98/114.35 c #Conflicts: 48000 | #Constraints: 26901
113.98/114.35 c #Conflicts: 49000 | #Constraints: 27901
113.98/114.35 c #Conflicts: 50000 | #Constraints: 28901
113.98/114.35 c #Conflicts: 51000 | #Constraints: 29901
113.98/114.35 c #Conflicts: 52000 | #Constraints: 30901
113.98/114.35 c #Conflicts: 53000 | #Constraints: 31901
113.98/114.35 c #Conflicts: 54000 | #Constraints: 32901
113.98/114.35 c #Conflicts: 55000 | #Constraints: 33901
113.98/114.35 c #Conflicts: 56000 | #Constraints: 34901
113.98/114.35 c #Conflicts: 57000 | #Constraints: 35901
113.98/114.35 c #Conflicts: 58000 | #Constraints: 36901
113.98/114.35 c #Conflicts: 59000 | #Constraints: 37901
113.98/114.35 c #Conflicts: 60000 | #Constraints: 38901
113.98/114.35 c #Conflicts: 61000 | #Constraints: 39901
113.98/114.35 c #Conflicts: 62000 | #Constraints: 40901
113.98/114.35 c INPROCESSING
113.98/114.35 c GARBAGE COLLECT
113.98/114.35 c #Conflicts: 63000 | #Constraints: 30623
113.98/114.35 c #Conflicts: 64000 | #Constraints: 31623
113.98/114.35 c #Conflicts: 65000 | #Constraints: 32623
113.98/114.35 c #Conflicts: 66000 | #Constraints: 33623
113.98/114.35 c #Conflicts: 67000 | #Constraints: 34623
113.98/114.35 c #Conflicts: 68000 | #Constraints: 35623
113.98/114.35 c #Conflicts: 69000 | #Constraints: 36623
113.98/114.35 c INPROCESSING
113.98/114.35 c GARBAGE COLLECT
113.98/114.35 c #Conflicts: 70000 | #Constraints: 28643
113.98/114.35 c #Conflicts: 71000 | #Constraints: 29643
113.98/114.35 c #Conflicts: 72000 | #Constraints: 30643
230.41/231.03 c #Conflicts: 73000 | #Constraints: 31643
230.41/231.03 c #Conflicts: 74000 | #Constraints: 32643
230.41/231.03 c #Conflicts: 75000 | #Constraints: 33643
230.41/231.03 c #Conflicts: 76000 | #Constraints: 34643
230.41/231.03 c #Conflicts: 77000 | #Constraints: 35643
230.41/231.03 c #Conflicts: 78000 | #Constraints: 36643
230.41/231.03 c #Conflicts: 79000 | #Constraints: 37643
230.41/231.03 c #Conflicts: 80000 | #Constraints: 38643
230.41/231.03 c #Conflicts: 81000 | #Constraints: 39643
230.41/231.03 c #Conflicts: 82000 | #Constraints: 40643
230.41/231.03 c #Conflicts: 83000 | #Constraints: 41643
230.41/231.03 c #Conflicts: 84000 | #Constraints: 42643
230.41/231.03 c #Conflicts: 85000 | #Constraints: 43643
230.41/231.03 c #Conflicts: 86000 | #Constraints: 44643
230.41/231.03 c #Conflicts: 87000 | #Constraints: 45643
230.41/231.03 c #Conflicts: 88000 | #Constraints: 46643
230.41/231.03 c INPROCESSING
230.41/231.03 c GARBAGE COLLECT
230.41/231.03 c #Conflicts: 89000 | #Constraints: 33723
230.41/231.03 c #Conflicts: 90000 | #Constraints: 34723
230.41/231.03 c #Conflicts: 91000 | #Constraints: 35723
230.41/231.03 c #Conflicts: 92000 | #Constraints: 36723
230.41/231.03 c #Conflicts: 93000 | #Constraints: 37723
230.41/231.03 c #Conflicts: 94000 | #Constraints: 38723
230.41/231.03 c #Conflicts: 95000 | #Constraints: 39723
230.41/231.03 c #Conflicts: 96000 | #Constraints: 40723
230.41/231.03 c INPROCESSING
230.41/231.03 c GARBAGE COLLECT
230.41/231.03 c #Conflicts: 97000 | #Constraints: 30808
230.41/231.03 c #Conflicts: 98000 | #Constraints: 31808
230.41/231.03 c #Conflicts: 99000 | #Constraints: 32808
230.41/231.03 c #Conflicts: 100000 | #Constraints: 33808
230.41/231.03 c #Conflicts: 101000 | #Constraints: 34809
230.41/231.03 c #Conflicts: 102000 | #Constraints: 35809
230.41/231.03 c #Conflicts: 103000 | #Constraints: 36809
230.41/231.03 c #Conflicts: 104000 | #Constraints: 37809
230.41/231.03 c #Conflicts: 105000 | #Constraints: 38809
230.41/231.03 c #Conflicts: 106000 | #Constraints: 39809
230.41/231.03 c #Conflicts: 107000 | #Constraints: 40809
230.41/231.03 c #Conflicts: 108000 | #Constraints: 41809
230.41/231.03 c #Conflicts: 109000 | #Constraints: 42809
230.41/231.03 c #Conflicts: 110000 | #Constraints: 43809
230.41/231.03 c #Conflicts: 111000 | #Constraints: 44809
230.41/231.03 c #Conflicts: 112000 | #Constraints: 45809
230.41/231.03 c #Conflicts: 113000 | #Constraints: 46809
230.41/231.03 c #Conflicts: 114000 | #Constraints: 47809
230.41/231.03 c #Conflicts: 115000 | #Constraints: 48809
230.41/231.03 c #Conflicts: 116000 | #Constraints: 49809
230.41/231.03 c #Conflicts: 117000 | #Constraints: 50809
230.41/231.03 c #Conflicts: 118000 | #Constraints: 51809
230.41/231.03 c INPROCESSING
230.41/231.03 c GARBAGE COLLECT
230.41/231.03 c #Conflicts: 119000 | #Constraints: 36392
230.41/231.03 c #Conflicts: 120000 | #Constraints: 37392
230.41/231.03 c #Conflicts: 121000 | #Constraints: 38392
230.41/231.03 c #Conflicts: 122000 | #Constraints: 39392
230.41/231.03 c #Conflicts: 123000 | #Constraints: 40392
230.41/231.03 c #Conflicts: 124000 | #Constraints: 41392
230.41/231.03 c #Conflicts: 125000 | #Constraints: 42392
230.41/231.03 c #Conflicts: 126000 | #Constraints: 43392
230.41/231.03 c #Conflicts: 127000 | #Constraints: 44392
230.41/231.03 c #Conflicts: 128000 | #Constraints: 45392
230.41/231.03 c INPROCESSING
230.41/231.03 c GARBAGE COLLECT
230.41/231.03 c #Conflicts: 129000 | #Constraints: 34197
230.41/231.03 c #Conflicts: 130000 | #Constraints: 35197
230.41/231.03 c #Conflicts: 131000 | #Constraints: 36197
230.41/231.03 c #Conflicts: 132000 | #Constraints: 37197
230.41/231.03 c #Conflicts: 133000 | #Constraints: 38197
230.41/231.03 c #Conflicts: 134000 | #Constraints: 39197
230.41/231.03 c #Conflicts: 135000 | #Constraints: 40197
230.41/231.03 c #Conflicts: 136000 | #Constraints: 41197
230.41/231.03 c #Conflicts: 137000 | #Constraints: 42197
230.41/231.03 c #Conflicts: 138000 | #Constraints: 43197
230.41/231.03 c #Conflicts: 139000 | #Constraints: 44197
230.41/231.03 c #Conflicts: 140000 | #Constraints: 45197
230.41/231.03 c #Conflicts: 141000 | #Constraints: 46197
230.41/231.03 c #Conflicts: 142000 | #Constraints: 47197
230.41/231.03 c #Conflicts: 143000 | #Constraints: 48197
230.41/231.03 c #Conflicts: 144000 | #Constraints: 49197
230.41/231.03 c #Conflicts: 145000 | #Constraints: 50197
230.41/231.03 c #Conflicts: 146000 | #Constraints: 51197
230.41/231.03 c #Conflicts: 147000 | #Constraints: 52197
230.41/231.03 c #Conflicts: 148000 | #Constraints: 53197
356.18/357.13 c #Conflicts: 149000 | #Constraints: 54197
356.18/357.13 c #Conflicts: 150000 | #Constraints: 55197
356.18/357.13 c #Conflicts: 151000 | #Constraints: 56197
356.18/357.13 c #Conflicts: 152000 | #Constraints: 57197
356.18/357.13 c #Conflicts: 153000 | #Constraints: 58197
356.18/357.13 c INPROCESSING
356.18/357.13 c GARBAGE COLLECT
356.18/357.13 c #Conflicts: 154000 | #Constraints: 39908
356.18/357.13 c #Conflicts: 155000 | #Constraints: 40908
356.18/357.13 c #Conflicts: 156000 | #Constraints: 41908
356.18/357.13 c #Conflicts: 157000 | #Constraints: 42908
356.18/357.13 c #Conflicts: 158000 | #Constraints: 43908
356.18/357.13 c #Conflicts: 159000 | #Constraints: 44908
356.18/357.13 c #Conflicts: 160000 | #Constraints: 45908
356.18/357.13 c #Conflicts: 161000 | #Constraints: 46908
356.18/357.13 c #Conflicts: 162000 | #Constraints: 47908
356.18/357.13 c #Conflicts: 163000 | #Constraints: 48908
356.18/357.13 c INPROCESSING
356.18/357.13 c GARBAGE COLLECT
356.18/357.13 c #Conflicts: 164000 | #Constraints: 35981
356.18/357.13 c #Conflicts: 165000 | #Constraints: 36981
356.18/357.13 c #Conflicts: 166000 | #Constraints: 37981
356.18/357.13 c #Conflicts: 167000 | #Constraints: 38981
356.18/357.13 c #Conflicts: 168000 | #Constraints: 39981
356.18/357.13 c #Conflicts: 169000 | #Constraints: 40981
356.18/357.13 c #Conflicts: 170000 | #Constraints: 41981
356.18/357.13 c #Conflicts: 171000 | #Constraints: 42981
356.18/357.13 c #Conflicts: 172000 | #Constraints: 43981
356.18/357.13 c #Conflicts: 173000 | #Constraints: 44981
356.18/357.13 c #Conflicts: 174000 | #Constraints: 45981
356.18/357.13 c #Conflicts: 175000 | #Constraints: 46981
356.18/357.13 c #Conflicts: 176000 | #Constraints: 47981
356.18/357.13 c #Conflicts: 177000 | #Constraints: 48981
356.18/357.13 c #Conflicts: 178000 | #Constraints: 49981
356.18/357.13 c #Conflicts: 179000 | #Constraints: 50981
356.18/357.13 c #Conflicts: 180000 | #Constraints: 51981
356.18/357.13 c #Conflicts: 181000 | #Constraints: 52981
356.18/357.13 c #Conflicts: 182000 | #Constraints: 53981
356.18/357.13 c #Conflicts: 183000 | #Constraints: 54981
356.18/357.13 c #Conflicts: 184000 | #Constraints: 55981
356.18/357.13 c #Conflicts: 185000 | #Constraints: 56981
356.18/357.13 c #Conflicts: 186000 | #Constraints: 57981
356.18/357.13 c #Conflicts: 187000 | #Constraints: 58981
356.18/357.13 c #Conflicts: 188000 | #Constraints: 59981
356.18/357.13 c #Conflicts: 189000 | #Constraints: 60981
356.18/357.13 c #Conflicts: 190000 | #Constraints: 61981
356.18/357.13 c #Conflicts: 191000 | #Constraints: 62981
356.18/357.13 c INPROCESSING
356.18/357.13 c GARBAGE COLLECT
356.18/357.13 c #Conflicts: 192000 | #Constraints: 42041
356.18/357.13 c #Conflicts: 193000 | #Constraints: 43041
356.18/357.13 c #Conflicts: 194000 | #Constraints: 44041
356.18/357.13 c #Conflicts: 195000 | #Constraints: 45041
356.18/357.13 c #Conflicts: 196000 | #Constraints: 46041
356.18/357.13 c #Conflicts: 197000 | #Constraints: 47041
356.18/357.13 c #Conflicts: 198000 | #Constraints: 48041
356.18/357.13 c #Conflicts: 199000 | #Constraints: 49041
356.18/357.13 c #Conflicts: 200000 | #Constraints: 50041
356.18/357.13 c #Conflicts: 201000 | #Constraints: 51041
356.18/357.13 c #Conflicts: 202000 | #Constraints: 52041
356.18/357.13 c #Conflicts: 203000 | #Constraints: 53041
356.18/357.13 c #Conflicts: 204000 | #Constraints: 54041
356.18/357.13 c INPROCESSING
356.18/357.13 c GARBAGE COLLECT
356.18/357.13 c #Conflicts: 205000 | #Constraints: 39301
356.18/357.13 c #Conflicts: 206000 | #Constraints: 40301
356.18/357.13 c #Conflicts: 207000 | #Constraints: 41301
356.18/357.13 c #Conflicts: 208000 | #Constraints: 42301
356.18/357.13 c #Conflicts: 209000 | #Constraints: 43301
356.18/357.13 c #Conflicts: 210000 | #Constraints: 44301
356.18/357.13 c #Conflicts: 211000 | #Constraints: 45301
356.18/357.13 c #Conflicts: 212000 | #Constraints: 46301
356.18/357.13 c #Conflicts: 213000 | #Constraints: 47301
356.18/357.13 c #Conflicts: 214000 | #Constraints: 48301
356.18/357.13 c #Conflicts: 215000 | #Constraints: 49301
356.18/357.13 c #Conflicts: 216000 | #Constraints: 50301
356.18/357.13 c #Conflicts: 217000 | #Constraints: 51301
356.18/357.13 c #Conflicts: 218000 | #Constraints: 52301
356.18/357.13 c #Conflicts: 219000 | #Constraints: 53301
356.18/357.13 c #Conflicts: 220000 | #Constraints: 54301
356.18/357.13 c #Conflicts: 221000 | #Constraints: 55301
356.18/357.13 c #Conflicts: 222000 | #Constraints: 56301
356.18/357.13 c #Conflicts: 223000 | #Constraints: 57301
356.18/357.13 c #Conflicts: 224000 | #Constraints: 58301
553.01/554.50 c #Conflicts: 225000 | #Constraints: 59301
553.01/554.50 c #Conflicts: 226000 | #Constraints: 60301
553.01/554.50 c #Conflicts: 227000 | #Constraints: 61301
553.01/554.50 c #Conflicts: 228000 | #Constraints: 62301
553.01/554.50 c #Conflicts: 229000 | #Constraints: 63301
553.01/554.50 c #Conflicts: 230000 | #Constraints: 64301
553.01/554.50 c #Conflicts: 231000 | #Constraints: 65301
553.01/554.50 c #Conflicts: 232000 | #Constraints: 66301
553.01/554.50 c #Conflicts: 233000 | #Constraints: 67301
553.01/554.50 c #Conflicts: 234000 | #Constraints: 68301
553.01/554.50 c #Conflicts: 235000 | #Constraints: 69301
553.01/554.50 c INPROCESSING
553.01/554.50 c GARBAGE COLLECT
553.01/554.50 c #Conflicts: 236000 | #Constraints: 45471
553.01/554.50 c #Conflicts: 237000 | #Constraints: 46471
553.01/554.50 c #Conflicts: 238000 | #Constraints: 47471
553.01/554.50 c #Conflicts: 239000 | #Constraints: 48471
553.01/554.50 c #Conflicts: 240000 | #Constraints: 49471
553.01/554.50 c #Conflicts: 241000 | #Constraints: 50471
553.01/554.50 c #Conflicts: 242000 | #Constraints: 51471
553.01/554.50 c #Conflicts: 243000 | #Constraints: 52471
553.01/554.50 c #Conflicts: 244000 | #Constraints: 53471
553.01/554.50 c #Conflicts: 245000 | #Constraints: 54471
553.01/554.50 c #Conflicts: 246000 | #Constraints: 55471
553.01/554.50 c #Conflicts: 247000 | #Constraints: 56471
553.01/554.50 c #Conflicts: 248000 | #Constraints: 57471
553.01/554.50 c INPROCESSING
553.01/554.50 c GARBAGE COLLECT
553.01/554.50 c #Conflicts: 249000 | #Constraints: 40364
553.01/554.50 c #Conflicts: 250000 | #Constraints: 41364
553.01/554.50 c #Conflicts: 251000 | #Constraints: 42364
553.01/554.50 c #Conflicts: 252000 | #Constraints: 43364
553.01/554.50 c #Conflicts: 253000 | #Constraints: 44364
553.01/554.50 c #Conflicts: 254000 | #Constraints: 45364
553.01/554.50 c #Conflicts: 255000 | #Constraints: 46364
553.01/554.50 c #Conflicts: 256000 | #Constraints: 47364
553.01/554.50 c #Conflicts: 257000 | #Constraints: 48364
553.01/554.50 c #Conflicts: 258000 | #Constraints: 49364
553.01/554.50 c #Conflicts: 259000 | #Constraints: 50364
553.01/554.50 c #Conflicts: 260000 | #Constraints: 51364
553.01/554.50 c #Conflicts: 261000 | #Constraints: 52364
553.01/554.50 c #Conflicts: 262000 | #Constraints: 53364
553.01/554.50 c #Conflicts: 263000 | #Constraints: 54364
553.01/554.50 c #Conflicts: 264000 | #Constraints: 55364
553.01/554.50 c #Conflicts: 265000 | #Constraints: 56364
553.01/554.50 c #Conflicts: 266000 | #Constraints: 57364
553.01/554.50 c #Conflicts: 267000 | #Constraints: 58364
553.01/554.50 c #Conflicts: 268000 | #Constraints: 59364
553.01/554.50 c #Conflicts: 269000 | #Constraints: 60364
553.01/554.50 c #Conflicts: 270000 | #Constraints: 61364
553.01/554.50 c #Conflicts: 271000 | #Constraints: 62364
553.01/554.50 c #Conflicts: 272000 | #Constraints: 63364
553.01/554.50 c #Conflicts: 273000 | #Constraints: 64364
553.01/554.50 c #Conflicts: 274000 | #Constraints: 65364
553.01/554.50 c #Conflicts: 275000 | #Constraints: 66364
553.01/554.50 c #Conflicts: 276000 | #Constraints: 67364
553.01/554.50 c #Conflicts: 277000 | #Constraints: 68364
553.01/554.50 c #Conflicts: 278000 | #Constraints: 69364
553.01/554.50 c #Conflicts: 279000 | #Constraints: 70364
553.01/554.50 c #Conflicts: 280000 | #Constraints: 71364
553.01/554.50 c #Conflicts: 281000 | #Constraints: 72364
553.01/554.50 c #Conflicts: 282000 | #Constraints: 73364
553.01/554.50 c INPROCESSING
553.01/554.50 c GARBAGE COLLECT
553.01/554.50 c #Conflicts: 283000 | #Constraints: 47222
553.01/554.50 c #Conflicts: 284000 | #Constraints: 48222
553.01/554.50 c #Conflicts: 285000 | #Constraints: 49222
553.01/554.50 c #Conflicts: 286000 | #Constraints: 50222
553.01/554.50 c #Conflicts: 287000 | #Constraints: 51222
553.01/554.50 c #Conflicts: 288000 | #Constraints: 52222
553.01/554.50 c #Conflicts: 289000 | #Constraints: 53222
553.01/554.50 c #Conflicts: 290000 | #Constraints: 54222
553.01/554.50 c #Conflicts: 291000 | #Constraints: 55222
553.01/554.50 c #Conflicts: 292000 | #Constraints: 56222
553.01/554.50 c #Conflicts: 293000 | #Constraints: 57222
553.01/554.50 c #Conflicts: 294000 | #Constraints: 58222
553.01/554.50 c #Conflicts: 295000 | #Constraints: 59222
553.01/554.50 c #Conflicts: 296000 | #Constraints: 60222
553.01/554.50 c #Conflicts: 297000 | #Constraints: 61222
553.01/554.50 c INPROCESSING
553.01/554.50 c GARBAGE COLLECT
553.01/554.50 c #Conflicts: 298000 | #Constraints: 43027
553.01/554.50 c #Conflicts: 299000 | #Constraints: 44027
553.01/554.50 c #Conflicts: 300000 | #Constraints: 45027
680.35/682.20 c #Conflicts: 301000 | #Constraints: 46027
680.35/682.20 c #Conflicts: 302000 | #Constraints: 47027
680.35/682.20 c #Conflicts: 303000 | #Constraints: 48027
680.35/682.20 c #Conflicts: 304000 | #Constraints: 49027
680.35/682.20 c #Conflicts: 305000 | #Constraints: 50027
680.35/682.20 c #Conflicts: 306000 | #Constraints: 51027
680.35/682.20 c #Conflicts: 307000 | #Constraints: 52027
680.35/682.20 c #Conflicts: 308000 | #Constraints: 53027
680.35/682.20 c #Conflicts: 309000 | #Constraints: 54027
680.35/682.20 c #Conflicts: 310000 | #Constraints: 55027
680.35/682.20 c #Conflicts: 311000 | #Constraints: 56027
680.35/682.20 c #Conflicts: 312000 | #Constraints: 57027
680.35/682.20 c #Conflicts: 313000 | #Constraints: 58027
680.35/682.20 c #Conflicts: 314000 | #Constraints: 59027
680.35/682.20 c #Conflicts: 315000 | #Constraints: 60027
680.35/682.20 c #Conflicts: 316000 | #Constraints: 61027
680.35/682.20 c #Conflicts: 317000 | #Constraints: 62027
680.35/682.20 c #Conflicts: 318000 | #Constraints: 63027
680.35/682.20 c #Conflicts: 319000 | #Constraints: 64027
680.35/682.20 c #Conflicts: 320000 | #Constraints: 65027
680.35/682.20 c #Conflicts: 321000 | #Constraints: 66027
680.35/682.20 c #Conflicts: 322000 | #Constraints: 67027
680.35/682.20 c #Conflicts: 323000 | #Constraints: 68027
680.35/682.20 c #Conflicts: 324000 | #Constraints: 69027
680.35/682.20 c #Conflicts: 325000 | #Constraints: 70027
680.35/682.20 c #Conflicts: 326000 | #Constraints: 71027
680.35/682.20 c #Conflicts: 327000 | #Constraints: 72027
680.35/682.20 c #Conflicts: 328000 | #Constraints: 73027
680.35/682.20 c #Conflicts: 329000 | #Constraints: 74027
680.35/682.20 c #Conflicts: 330000 | #Constraints: 75027
680.35/682.20 c #Conflicts: 331000 | #Constraints: 76027
680.35/682.20 c #Conflicts: 332000 | #Constraints: 77027
680.35/682.20 c #Conflicts: 333000 | #Constraints: 78027
680.35/682.20 c #Conflicts: 334000 | #Constraints: 79027
680.35/682.20 c #Conflicts: 335000 | #Constraints: 80027
680.35/682.20 c INPROCESSING
680.35/682.20 c GARBAGE COLLECT
680.35/682.20 c #Conflicts: 336000 | #Constraints: 51197
680.35/682.20 c #Conflicts: 337000 | #Constraints: 52197
680.35/682.20 c #Conflicts: 338000 | #Constraints: 53197
680.35/682.20 c #Conflicts: 339000 | #Constraints: 54197
680.35/682.20 c #Conflicts: 340000 | #Constraints: 55197
680.35/682.20 c #Conflicts: 341000 | #Constraints: 56197
680.35/682.20 c #Conflicts: 342000 | #Constraints: 57197
680.35/682.20 c #Conflicts: 343000 | #Constraints: 58197
680.35/682.20 c #Conflicts: 344000 | #Constraints: 59197
680.35/682.20 c #Conflicts: 345000 | #Constraints: 60197
680.35/682.20 c #Conflicts: 346000 | #Constraints: 61197
680.35/682.20 c #Conflicts: 347000 | #Constraints: 62197
680.35/682.20 c #Conflicts: 348000 | #Constraints: 63197
680.35/682.20 c #Conflicts: 349000 | #Constraints: 64197
680.35/682.20 c #Conflicts: 350000 | #Constraints: 65197
680.35/682.20 c #Conflicts: 351000 | #Constraints: 66197
680.35/682.20 c INPROCESSING
680.35/682.20 c GARBAGE COLLECT
680.35/682.20 c #Conflicts: 352000 | #Constraints: 46276
680.35/682.20 c #Conflicts: 353000 | #Constraints: 47276
680.35/682.20 c #Conflicts: 354000 | #Constraints: 48276
680.35/682.20 c #Conflicts: 355000 | #Constraints: 49276
680.35/682.20 c #Conflicts: 356000 | #Constraints: 50276
680.35/682.20 c #Conflicts: 357000 | #Constraints: 51276
680.35/682.20 c #Conflicts: 358000 | #Constraints: 52276
680.35/682.20 c #Conflicts: 359000 | #Constraints: 53276
680.35/682.20 c #Conflicts: 360000 | #Constraints: 54276
680.35/682.20 c #Conflicts: 361000 | #Constraints: 55276
680.35/682.20 c #Conflicts: 362000 | #Constraints: 56276
680.35/682.20 c #Conflicts: 363000 | #Constraints: 57276
680.35/682.20 c #Conflicts: 364000 | #Constraints: 58276
680.35/682.20 c #Conflicts: 365000 | #Constraints: 59276
680.35/682.20 c #Conflicts: 366000 | #Constraints: 60276
680.35/682.20 c #Conflicts: 367000 | #Constraints: 61276
680.35/682.20 c #Conflicts: 368000 | #Constraints: 62276
680.35/682.20 c #Conflicts: 369000 | #Constraints: 63276
680.35/682.20 c #Conflicts: 370000 | #Constraints: 64276
680.35/682.20 c #Conflicts: 371000 | #Constraints: 65276
680.35/682.20 c #Conflicts: 372000 | #Constraints: 66276
680.35/682.20 c #Conflicts: 373000 | #Constraints: 67276
680.35/682.20 c #Conflicts: 374000 | #Constraints: 68276
680.35/682.20 c #Conflicts: 375000 | #Constraints: 69276
680.35/682.20 c #Conflicts: 376000 | #Constraints: 70276
680.35/682.20 c #Conflicts: 377000 | #Constraints: 71276
680.35/682.20 c #Conflicts: 378000 | #Constraints: 72276
835.11/837.43 c #Conflicts: 379000 | #Constraints: 73276
835.11/837.43 c #Conflicts: 380000 | #Constraints: 74276
835.11/837.43 c #Conflicts: 381000 | #Constraints: 75276
835.11/837.43 c #Conflicts: 382000 | #Constraints: 76276
835.11/837.43 c #Conflicts: 383000 | #Constraints: 77276
835.11/837.43 c #Conflicts: 384000 | #Constraints: 78276
835.11/837.43 c #Conflicts: 385000 | #Constraints: 79276
835.11/837.43 c #Conflicts: 386000 | #Constraints: 80276
835.11/837.43 c #Conflicts: 387000 | #Constraints: 81276
835.11/837.43 c #Conflicts: 388000 | #Constraints: 82276
835.11/837.43 c #Conflicts: 389000 | #Constraints: 83276
835.11/837.43 c #Conflicts: 390000 | #Constraints: 84276
835.11/837.43 c #Conflicts: 391000 | #Constraints: 85276
835.11/837.43 c INPROCESSING
835.11/837.43 c GARBAGE COLLECT
835.11/837.43 c #Conflicts: 392000 | #Constraints: 53616
835.11/837.43 c #Conflicts: 393000 | #Constraints: 54616
835.11/837.43 c #Conflicts: 394000 | #Constraints: 55616
835.11/837.43 c #Conflicts: 395000 | #Constraints: 56616
835.11/837.43 c #Conflicts: 396000 | #Constraints: 57616
835.11/837.43 c #Conflicts: 397000 | #Constraints: 58616
835.11/837.43 c #Conflicts: 398000 | #Constraints: 59616
835.11/837.43 c #Conflicts: 399000 | #Constraints: 60616
835.11/837.43 c #Conflicts: 400000 | #Constraints: 61616
835.11/837.43 c #Conflicts: 401000 | #Constraints: 62616
835.11/837.43 c #Conflicts: 402000 | #Constraints: 63616
835.11/837.43 c #Conflicts: 403000 | #Constraints: 64616
835.11/837.43 c #Conflicts: 404000 | #Constraints: 65616
835.11/837.43 c #Conflicts: 405000 | #Constraints: 66616
835.11/837.43 c #Conflicts: 406000 | #Constraints: 67616
835.11/837.43 c #Conflicts: 407000 | #Constraints: 68616
835.11/837.43 c #Conflicts: 408000 | #Constraints: 69616
835.11/837.43 c INPROCESSING
835.11/837.43 c GARBAGE COLLECT
835.11/837.43 c #Conflicts: 409000 | #Constraints: 48107
835.11/837.43 c #Conflicts: 410000 | #Constraints: 49107
835.11/837.43 c #Conflicts: 411000 | #Constraints: 50107
835.11/837.43 c #Conflicts: 412000 | #Constraints: 51107
835.11/837.43 c #Conflicts: 413000 | #Constraints: 52107
835.11/837.43 c #Conflicts: 414000 | #Constraints: 53107
835.11/837.43 c #Conflicts: 415000 | #Constraints: 54107
835.11/837.43 c #Conflicts: 416000 | #Constraints: 55107
835.11/837.43 c #Conflicts: 417000 | #Constraints: 56107
835.11/837.43 c #Conflicts: 418000 | #Constraints: 57107
835.11/837.43 c #Conflicts: 419000 | #Constraints: 58107
835.11/837.43 c #Conflicts: 420000 | #Constraints: 59107
835.11/837.43 c #Conflicts: 421000 | #Constraints: 60107
835.11/837.43 c #Conflicts: 422000 | #Constraints: 61107
835.11/837.43 c #Conflicts: 423000 | #Constraints: 62107
835.11/837.43 c #Conflicts: 424000 | #Constraints: 63107
835.11/837.43 c #Conflicts: 425000 | #Constraints: 64107
835.11/837.43 c #Conflicts: 426000 | #Constraints: 65107
835.11/837.43 c #Conflicts: 427000 | #Constraints: 66107
835.11/837.43 c #Conflicts: 428000 | #Constraints: 67107
835.11/837.43 c #Conflicts: 429000 | #Constraints: 68107
835.11/837.43 c #Conflicts: 430000 | #Constraints: 69107
835.11/837.43 c #Conflicts: 431000 | #Constraints: 70107
835.11/837.43 c #Conflicts: 432000 | #Constraints: 71107
835.11/837.43 c #Conflicts: 433000 | #Constraints: 72107
835.11/837.43 c #Conflicts: 434000 | #Constraints: 73107
835.11/837.43 c #Conflicts: 435000 | #Constraints: 74107
835.11/837.43 c #Conflicts: 436000 | #Constraints: 75107
835.11/837.43 c #Conflicts: 437000 | #Constraints: 76107
835.11/837.43 c #Conflicts: 438000 | #Constraints: 77107
835.11/837.43 c #Conflicts: 439000 | #Constraints: 78107
835.11/837.43 c #Conflicts: 440000 | #Constraints: 79107
835.11/837.43 c #Conflicts: 441000 | #Constraints: 80107
835.11/837.43 c #Conflicts: 442000 | #Constraints: 81107
835.11/837.43 c #Conflicts: 443000 | #Constraints: 82107
835.11/837.43 c #Conflicts: 444000 | #Constraints: 83107
835.11/837.43 c #Conflicts: 445000 | #Constraints: 84107
835.11/837.43 c #Conflicts: 446000 | #Constraints: 85107
835.11/837.43 c #Conflicts: 447000 | #Constraints: 86107
835.11/837.43 c #Conflicts: 448000 | #Constraints: 87107
835.11/837.43 c #Conflicts: 449000 | #Constraints: 88107
835.11/837.43 c #Conflicts: 450000 | #Constraints: 89107
835.11/837.43 c #Conflicts: 451000 | #Constraints: 90107
835.11/837.43 c #Conflicts: 452000 | #Constraints: 91107
835.11/837.43 c INPROCESSING
835.11/837.43 c GARBAGE COLLECT
835.11/837.43 c #Conflicts: 453000 | #Constraints: 56394
835.11/837.43 c #Conflicts: 454000 | #Constraints: 57394
835.11/837.43 c #Conflicts: 455000 | #Constraints: 58394
1069.03/1072.00 c #Conflicts: 456000 | #Constraints: 59394
1069.03/1072.00 c #Conflicts: 457000 | #Constraints: 60394
1069.03/1072.00 c #Conflicts: 458000 | #Constraints: 61394
1069.03/1072.00 c #Conflicts: 459000 | #Constraints: 62394
1069.03/1072.00 c #Conflicts: 460000 | #Constraints: 63394
1069.03/1072.00 c #Conflicts: 461000 | #Constraints: 64394
1069.03/1072.00 c #Conflicts: 462000 | #Constraints: 65394
1069.03/1072.00 c #Conflicts: 463000 | #Constraints: 66394
1069.03/1072.00 c #Conflicts: 464000 | #Constraints: 67394
1069.03/1072.00 c #Conflicts: 465000 | #Constraints: 68394
1069.03/1072.00 c #Conflicts: 466000 | #Constraints: 69394
1069.03/1072.00 c #Conflicts: 467000 | #Constraints: 70394
1069.03/1072.00 c #Conflicts: 468000 | #Constraints: 71394
1069.03/1072.00 c #Conflicts: 469000 | #Constraints: 72394
1069.03/1072.00 c #Conflicts: 470000 | #Constraints: 73394
1069.03/1072.00 c #Conflicts: 471000 | #Constraints: 74394
1069.03/1072.00 c INPROCESSING
1069.03/1072.00 c GARBAGE COLLECT
1069.03/1072.00 c #Conflicts: 472000 | #Constraints: 50953
1069.03/1072.00 c #Conflicts: 473000 | #Constraints: 51953
1069.03/1072.00 c #Conflicts: 474000 | #Constraints: 52953
1069.03/1072.00 c #Conflicts: 475000 | #Constraints: 53953
1069.03/1072.00 c #Conflicts: 476000 | #Constraints: 54953
1069.03/1072.00 c #Conflicts: 477000 | #Constraints: 55953
1069.03/1072.00 c #Conflicts: 478000 | #Constraints: 56953
1069.03/1072.00 c #Conflicts: 479000 | #Constraints: 57953
1069.03/1072.00 c #Conflicts: 480000 | #Constraints: 58953
1069.03/1072.00 c #Conflicts: 481000 | #Constraints: 59953
1069.03/1072.00 c #Conflicts: 482000 | #Constraints: 60953
1069.03/1072.00 c #Conflicts: 483000 | #Constraints: 61953
1069.03/1072.00 c #Conflicts: 484000 | #Constraints: 62953
1069.03/1072.00 c #Conflicts: 485000 | #Constraints: 63953
1069.03/1072.00 c #Conflicts: 486000 | #Constraints: 64953
1069.03/1072.00 c #Conflicts: 487000 | #Constraints: 65953
1069.03/1072.00 c #Conflicts: 488000 | #Constraints: 66953
1069.03/1072.00 c #Conflicts: 489000 | #Constraints: 67953
1069.03/1072.00 c #Conflicts: 490000 | #Constraints: 68953
1069.03/1072.00 c #Conflicts: 491000 | #Constraints: 69953
1069.03/1072.00 c #Conflicts: 492000 | #Constraints: 70953
1069.03/1072.00 c #Conflicts: 493000 | #Constraints: 71953
1069.03/1072.00 c #Conflicts: 494000 | #Constraints: 72953
1069.03/1072.00 c #Conflicts: 495000 | #Constraints: 73953
1069.03/1072.00 c #Conflicts: 496000 | #Constraints: 74953
1069.03/1072.00 c #Conflicts: 497000 | #Constraints: 75953
1069.03/1072.00 c #Conflicts: 498000 | #Constraints: 76953
1069.03/1072.00 c #Conflicts: 499000 | #Constraints: 77953
1069.03/1072.00 c #Conflicts: 500000 | #Constraints: 78953
1069.03/1072.00 c #Conflicts: 501000 | #Constraints: 79953
1069.03/1072.00 c #Conflicts: 502000 | #Constraints: 80953
1069.03/1072.00 c #Conflicts: 503000 | #Constraints: 81953
1069.03/1072.00 c #Conflicts: 504000 | #Constraints: 82953
1069.03/1072.00 c #Conflicts: 505000 | #Constraints: 83953
1069.03/1072.00 c #Conflicts: 506000 | #Constraints: 84953
1069.03/1072.00 c #Conflicts: 507000 | #Constraints: 85953
1069.03/1072.00 c #Conflicts: 508000 | #Constraints: 86953
1069.03/1072.00 c #Conflicts: 509000 | #Constraints: 87953
1069.03/1072.00 c #Conflicts: 510000 | #Constraints: 88953
1069.03/1072.00 c #Conflicts: 511000 | #Constraints: 89953
1069.03/1072.00 c #Conflicts: 512000 | #Constraints: 90953
1069.03/1072.00 c #Conflicts: 513000 | #Constraints: 91953
1069.03/1072.00 c #Conflicts: 514000 | #Constraints: 92953
1069.03/1072.00 c #Conflicts: 515000 | #Constraints: 93953
1069.03/1072.00 c #Conflicts: 516000 | #Constraints: 94953
1069.03/1072.00 c #Conflicts: 517000 | #Constraints: 95953
1069.03/1072.00 c INPROCESSING
1069.03/1072.00 c GARBAGE COLLECT
1069.03/1072.00 c #Conflicts: 518000 | #Constraints: 58784
1069.03/1072.00 c #Conflicts: 519000 | #Constraints: 59784
1069.03/1072.00 c #Conflicts: 520000 | #Constraints: 60784
1069.03/1072.00 c #Conflicts: 521000 | #Constraints: 61784
1069.03/1072.00 c #Conflicts: 522000 | #Constraints: 62784
1069.03/1072.00 c #Conflicts: 523000 | #Constraints: 63784
1069.03/1072.00 c #Conflicts: 524000 | #Constraints: 64784
1069.03/1072.00 c #Conflicts: 525000 | #Constraints: 65784
1069.03/1072.00 c #Conflicts: 526000 | #Constraints: 66784
1069.03/1072.00 c #Conflicts: 527000 | #Constraints: 67784
1069.03/1072.00 c #Conflicts: 528000 | #Constraints: 68784
1069.03/1072.00 c #Conflicts: 529000 | #Constraints: 69784
1069.03/1072.00 c #Conflicts: 530000 | #Constraints: 70784
1069.03/1072.00 c #Conflicts: 531000 | #Constraints: 71784
1069.03/1072.00 c #Conflicts: 532000 | #Constraints: 72784
1082.29/1085.22 c #Conflicts: 533000 | #Constraints: 73784
1082.29/1085.22 c #Conflicts: 534000 | #Constraints: 74784
1082.29/1085.22 c #Conflicts: 535000 | #Constraints: 75784
1082.29/1085.22 c #Conflicts: 536000 | #Constraints: 76784
1082.29/1085.22 c #Conflicts: 537000 | #Constraints: 77784
1082.29/1085.22 c INPROCESSING
1082.29/1085.22 c GARBAGE COLLECT
1082.29/1085.22 c rational objective 155
1203.81/1207.01 c #Conflicts: 538000 | #Constraints: 52380
1203.81/1207.01 c #Conflicts: 539000 | #Constraints: 53380
1203.81/1207.01 c #Conflicts: 540000 | #Constraints: 54380
1203.81/1207.01 c #Conflicts: 541000 | #Constraints: 55380
1203.81/1207.01 c #Conflicts: 542000 | #Constraints: 56380
1203.81/1207.01 c #Conflicts: 543000 | #Constraints: 57380
1203.81/1207.01 c #Conflicts: 544000 | #Constraints: 58380
1203.81/1207.01 c #Conflicts: 545000 | #Constraints: 59380
1203.81/1207.01 c #Conflicts: 546000 | #Constraints: 60380
1203.81/1207.01 c #Conflicts: 547000 | #Constraints: 61380
1203.81/1207.01 c #Conflicts: 548000 | #Constraints: 62380
1203.81/1207.01 c #Conflicts: 549000 | #Constraints: 63380
1203.81/1207.01 c #Conflicts: 550000 | #Constraints: 64380
1203.81/1207.01 c #Conflicts: 551000 | #Constraints: 65380
1203.81/1207.01 c #Conflicts: 552000 | #Constraints: 66380
1203.81/1207.01 c #Conflicts: 553000 | #Constraints: 67380
1203.81/1207.01 c #Conflicts: 554000 | #Constraints: 68380
1203.81/1207.01 c #Conflicts: 555000 | #Constraints: 69380
1203.81/1207.01 c #Conflicts: 556000 | #Constraints: 70380
1203.81/1207.01 c #Conflicts: 557000 | #Constraints: 71380
1203.81/1207.01 c #Conflicts: 558000 | #Constraints: 72380
1203.81/1207.01 c #Conflicts: 559000 | #Constraints: 73380
1203.81/1207.01 c #Conflicts: 560000 | #Constraints: 74380
1203.81/1207.01 c #Conflicts: 561000 | #Constraints: 75380
1203.81/1207.01 c #Conflicts: 562000 | #Constraints: 76380
1203.81/1207.01 c #Conflicts: 563000 | #Constraints: 77380
1203.81/1207.01 c #Conflicts: 564000 | #Constraints: 78380
1203.81/1207.01 c #Conflicts: 565000 | #Constraints: 79380
1203.81/1207.01 c #Conflicts: 566000 | #Constraints: 80380
1203.81/1207.01 c #Conflicts: 567000 | #Constraints: 81380
1203.81/1207.01 c #Conflicts: 568000 | #Constraints: 82380
1203.81/1207.01 c #Conflicts: 569000 | #Constraints: 83380
1203.81/1207.01 c #Conflicts: 570000 | #Constraints: 84380
1203.81/1207.01 c #Conflicts: 571000 | #Constraints: 85380
1203.81/1207.01 c #Conflicts: 572000 | #Constraints: 86380
1203.81/1207.01 c #Conflicts: 573000 | #Constraints: 87380
1203.81/1207.01 c #Conflicts: 574000 | #Constraints: 88380
1203.81/1207.01 c #Conflicts: 575000 | #Constraints: 89380
1203.81/1207.01 c #Conflicts: 576000 | #Constraints: 90380
1203.81/1207.01 c #Conflicts: 577000 | #Constraints: 91380
1203.81/1207.01 c #Conflicts: 578000 | #Constraints: 92380
1203.81/1207.01 c #Conflicts: 579000 | #Constraints: 93380
1203.81/1207.01 c #Conflicts: 580000 | #Constraints: 94380
1203.81/1207.01 c #Conflicts: 581000 | #Constraints: 95380
1203.81/1207.01 c #Conflicts: 582000 | #Constraints: 96380
1203.81/1207.01 c #Conflicts: 583000 | #Constraints: 97380
1203.81/1207.01 c #Conflicts: 584000 | #Constraints: 98380
1203.81/1207.01 c #Conflicts: 585000 | #Constraints: 99380
1203.81/1207.01 c #Conflicts: 586000 | #Constraints: 100380
1203.81/1207.01 c #Conflicts: 587000 | #Constraints: 101380
1203.81/1207.01 c INPROCESSING
1203.81/1207.01 c GARBAGE COLLECT
1203.81/1207.01 c rational objective 155
1477.03/1480.94 c #Conflicts: 588000 | #Constraints: 61745
1477.03/1480.94 c #Conflicts: 589000 | #Constraints: 62745
1477.03/1480.94 c #Conflicts: 590000 | #Constraints: 63745
1477.03/1480.94 c #Conflicts: 591000 | #Constraints: 64745
1477.03/1480.94 c #Conflicts: 592000 | #Constraints: 65745
1477.03/1480.94 c #Conflicts: 593000 | #Constraints: 66745
1477.03/1480.94 c #Conflicts: 594000 | #Constraints: 67745
1477.03/1480.94 c #Conflicts: 595000 | #Constraints: 68745
1477.03/1480.94 c #Conflicts: 596000 | #Constraints: 69745
1477.03/1480.94 c #Conflicts: 597000 | #Constraints: 70745
1477.03/1480.94 c #Conflicts: 598000 | #Constraints: 71745
1477.03/1480.94 c #Conflicts: 599000 | #Constraints: 72745
1477.03/1480.94 c #Conflicts: 600000 | #Constraints: 73745
1477.03/1480.94 c #Conflicts: 601000 | #Constraints: 74745
1477.03/1480.94 c #Conflicts: 602000 | #Constraints: 75745
1477.03/1480.94 c #Conflicts: 603000 | #Constraints: 76745
1477.03/1480.94 c #Conflicts: 604000 | #Constraints: 77745
1477.03/1480.94 c #Conflicts: 605000 | #Constraints: 78745
1477.03/1480.94 c #Conflicts: 606000 | #Constraints: 79745
1477.03/1480.94 c #Conflicts: 607000 | #Constraints: 80746
1477.03/1480.94 c #Conflicts: 608000 | #Constraints: 81746
1477.03/1480.94 c INPROCESSING
1477.03/1480.94 c GARBAGE COLLECT
1477.03/1480.94 c #Conflicts: 609000 | #Constraints: 54938
1477.03/1480.94 c #Conflicts: 610000 | #Constraints: 55938
1477.03/1480.94 c #Conflicts: 611000 | #Constraints: 56938
1477.03/1480.94 c #Conflicts: 612000 | #Constraints: 57938
1477.03/1480.94 c #Conflicts: 613000 | #Constraints: 58938
1477.03/1480.94 c #Conflicts: 614000 | #Constraints: 59938
1477.03/1480.94 c #Conflicts: 615000 | #Constraints: 60938
1477.03/1480.94 c #Conflicts: 616000 | #Constraints: 61938
1477.03/1480.94 c #Conflicts: 617000 | #Constraints: 62938
1477.03/1480.94 c #Conflicts: 618000 | #Constraints: 63938
1477.03/1480.94 c #Conflicts: 619000 | #Constraints: 64938
1477.03/1480.94 c #Conflicts: 620000 | #Constraints: 65938
1477.03/1480.94 c #Conflicts: 621000 | #Constraints: 66938
1477.03/1480.94 c #Conflicts: 622000 | #Constraints: 67938
1477.03/1480.94 c #Conflicts: 623000 | #Constraints: 68938
1477.03/1480.94 c #Conflicts: 624000 | #Constraints: 69938
1477.03/1480.94 c #Conflicts: 625000 | #Constraints: 70938
1477.03/1480.94 c #Conflicts: 626000 | #Constraints: 71938
1477.03/1480.94 c #Conflicts: 627000 | #Constraints: 72938
1477.03/1480.94 c #Conflicts: 628000 | #Constraints: 73938
1477.03/1480.94 c #Conflicts: 629000 | #Constraints: 74938
1477.03/1480.94 c #Conflicts: 630000 | #Constraints: 75938
1477.03/1480.94 c #Conflicts: 631000 | #Constraints: 76938
1477.03/1480.94 c #Conflicts: 632000 | #Constraints: 77938
1477.03/1480.94 c #Conflicts: 633000 | #Constraints: 78938
1477.03/1480.94 c #Conflicts: 634000 | #Constraints: 79938
1477.03/1480.94 c #Conflicts: 635000 | #Constraints: 80938
1477.03/1480.94 c #Conflicts: 636000 | #Constraints: 81938
1477.03/1480.94 c #Conflicts: 637000 | #Constraints: 82938
1477.03/1480.94 c #Conflicts: 638000 | #Constraints: 83938
1477.03/1480.94 c #Conflicts: 639000 | #Constraints: 84938
1477.03/1480.94 c #Conflicts: 640000 | #Constraints: 85938
1477.03/1480.94 c #Conflicts: 641000 | #Constraints: 86938
1477.03/1480.94 c #Conflicts: 642000 | #Constraints: 87938
1477.03/1480.94 c #Conflicts: 643000 | #Constraints: 88938
1477.03/1480.94 c #Conflicts: 644000 | #Constraints: 89938
1477.03/1480.94 c #Conflicts: 645000 | #Constraints: 90938
1477.03/1480.94 c #Conflicts: 646000 | #Constraints: 91938
1477.03/1480.94 c #Conflicts: 647000 | #Constraints: 92938
1477.03/1480.94 c #Conflicts: 648000 | #Constraints: 93938
1477.03/1480.94 c #Conflicts: 649000 | #Constraints: 94938
1477.03/1480.94 c #Conflicts: 650000 | #Constraints: 95938
1477.03/1480.94 c #Conflicts: 651000 | #Constraints: 96938
1477.03/1480.94 c #Conflicts: 652000 | #Constraints: 97938
1477.03/1480.94 c #Conflicts: 653000 | #Constraints: 98938
1477.03/1480.94 c #Conflicts: 654000 | #Constraints: 99938
1477.03/1480.94 c #Conflicts: 655000 | #Constraints: 100938
1477.03/1480.94 c #Conflicts: 656000 | #Constraints: 101938
1477.03/1480.94 c #Conflicts: 657000 | #Constraints: 102938
1477.03/1480.94 c #Conflicts: 658000 | #Constraints: 103938
1477.03/1480.94 c #Conflicts: 659000 | #Constraints: 104938
1477.03/1480.94 c #Conflicts: 660000 | #Constraints: 105938
1477.03/1480.94 c #Conflicts: 661000 | #Constraints: 106938
1477.03/1480.94 c INPROCESSING
1477.03/1480.94 c GARBAGE COLLECT
1477.03/1480.94 c rational objective 155
1663.19/1667.52 c #Conflicts: 662000 | #Constraints: 64563
1663.19/1667.52 c #Conflicts: 663000 | #Constraints: 65563
1663.19/1667.52 c #Conflicts: 664000 | #Constraints: 66563
1663.19/1667.52 c #Conflicts: 665000 | #Constraints: 67563
1663.19/1667.52 c #Conflicts: 666000 | #Constraints: 68563
1663.19/1667.52 c #Conflicts: 667000 | #Constraints: 69563
1663.19/1667.52 c #Conflicts: 668000 | #Constraints: 70563
1663.19/1667.52 c #Conflicts: 669000 | #Constraints: 71563
1663.19/1667.52 c #Conflicts: 670000 | #Constraints: 72563
1663.19/1667.52 c #Conflicts: 671000 | #Constraints: 73563
1663.19/1667.52 c #Conflicts: 672000 | #Constraints: 74563
1663.19/1667.52 c #Conflicts: 673000 | #Constraints: 75563
1663.19/1667.52 c #Conflicts: 674000 | #Constraints: 76563
1663.19/1667.52 c #Conflicts: 675000 | #Constraints: 77563
1663.19/1667.52 c #Conflicts: 676000 | #Constraints: 78563
1663.19/1667.52 c #Conflicts: 677000 | #Constraints: 79563
1663.19/1667.52 c #Conflicts: 678000 | #Constraints: 80563
1663.19/1667.52 c #Conflicts: 679000 | #Constraints: 81563
1663.19/1667.52 c #Conflicts: 680000 | #Constraints: 82563
1663.19/1667.52 c #Conflicts: 681000 | #Constraints: 83563
1663.19/1667.52 c #Conflicts: 682000 | #Constraints: 84563
1663.19/1667.52 c #Conflicts: 683000 | #Constraints: 85563
1663.19/1667.52 c #Conflicts: 684000 | #Constraints: 86563
1663.19/1667.52 c INPROCESSING
1663.19/1667.52 c GARBAGE COLLECT
1663.19/1667.52 c #Conflicts: 685000 | #Constraints: 58037
1663.19/1667.52 c #Conflicts: 686000 | #Constraints: 59037
1663.19/1667.52 c #Conflicts: 687000 | #Constraints: 60037
1663.19/1667.52 c #Conflicts: 688000 | #Constraints: 61037
1663.19/1667.52 c #Conflicts: 689000 | #Constraints: 62037
1663.19/1667.52 c #Conflicts: 690000 | #Constraints: 63037
1663.19/1667.52 c #Conflicts: 691000 | #Constraints: 64037
1663.19/1667.52 c #Conflicts: 692000 | #Constraints: 65037
1663.19/1667.52 c #Conflicts: 693000 | #Constraints: 66037
1663.19/1667.52 c #Conflicts: 694000 | #Constraints: 67037
1663.19/1667.52 c #Conflicts: 695000 | #Constraints: 68037
1663.19/1667.52 c #Conflicts: 696000 | #Constraints: 69037
1663.19/1667.52 c #Conflicts: 697000 | #Constraints: 70037
1663.19/1667.52 c #Conflicts: 698000 | #Constraints: 71037
1663.19/1667.52 c #Conflicts: 699000 | #Constraints: 72037
1663.19/1667.52 c #Conflicts: 700000 | #Constraints: 73037
1663.19/1667.52 c #Conflicts: 701000 | #Constraints: 74037
1663.19/1667.52 c #Conflicts: 702000 | #Constraints: 75037
1663.19/1667.52 c #Conflicts: 703000 | #Constraints: 76037
1663.19/1667.52 c #Conflicts: 704000 | #Constraints: 77037
1663.19/1667.52 c #Conflicts: 705000 | #Constraints: 78037
1663.19/1667.52 c #Conflicts: 706000 | #Constraints: 79037
1663.19/1667.52 c #Conflicts: 707000 | #Constraints: 80037
1663.19/1667.52 c #Conflicts: 708000 | #Constraints: 81037
1663.19/1667.52 c #Conflicts: 709000 | #Constraints: 82037
1663.19/1667.52 c #Conflicts: 710000 | #Constraints: 83037
1663.19/1667.52 c #Conflicts: 711000 | #Constraints: 84037
1663.19/1667.52 c #Conflicts: 712000 | #Constraints: 85038
1663.19/1667.52 c #Conflicts: 713000 | #Constraints: 86038
1663.19/1667.52 c #Conflicts: 714000 | #Constraints: 87038
1663.19/1667.52 c #Conflicts: 715000 | #Constraints: 88038
1663.19/1667.52 c #Conflicts: 716000 | #Constraints: 89038
1663.19/1667.52 c #Conflicts: 717000 | #Constraints: 90038
1663.19/1667.52 c #Conflicts: 718000 | #Constraints: 91038
1663.19/1667.52 c #Conflicts: 719000 | #Constraints: 92038
1663.19/1667.52 c #Conflicts: 720000 | #Constraints: 93038
1663.19/1667.52 c #Conflicts: 721000 | #Constraints: 94038
1663.19/1667.52 c #Conflicts: 722000 | #Constraints: 95038
1663.19/1667.52 c #Conflicts: 723000 | #Constraints: 96038
1663.19/1667.52 c #Conflicts: 724000 | #Constraints: 97038
1663.19/1667.52 c #Conflicts: 725000 | #Constraints: 98038
1663.19/1667.52 c #Conflicts: 726000 | #Constraints: 99038
1663.19/1667.52 c #Conflicts: 727000 | #Constraints: 100038
1663.19/1667.52 c #Conflicts: 728000 | #Constraints: 101038
1663.19/1667.52 c #Conflicts: 729000 | #Constraints: 102038
1663.19/1667.52 c #Conflicts: 730000 | #Constraints: 103038
1663.19/1667.52 c #Conflicts: 731000 | #Constraints: 104038
1663.19/1667.52 c #Conflicts: 732000 | #Constraints: 105038
1663.19/1667.52 c #Conflicts: 733000 | #Constraints: 106038
1663.19/1667.52 c #Conflicts: 734000 | #Constraints: 107038
1663.19/1667.52 c #Conflicts: 735000 | #Constraints: 108038
1663.19/1667.52 c #Conflicts: 736000 | #Constraints: 109038
1663.19/1667.52 c #Conflicts: 737000 | #Constraints: 110038
1663.19/1667.52 c #Conflicts: 738000 | #Constraints: 111038
1663.19/1667.52 c #Conflicts: 739000 | #Constraints: 112038
1663.19/1667.52 c #Conflicts: 740000 | #Constraints: 113038
1848.32/1853.19 c INPROCESSING
1848.32/1853.19 c GARBAGE COLLECT
1848.32/1853.19 c #Conflicts: 741000 | #Constraints: 67892
1848.32/1853.19 c #Conflicts: 742000 | #Constraints: 68892
1848.32/1853.19 c #Conflicts: 743000 | #Constraints: 69892
1848.32/1853.19 c #Conflicts: 744000 | #Constraints: 70892
1848.32/1853.19 c #Conflicts: 745000 | #Constraints: 71892
1848.32/1853.19 c #Conflicts: 746000 | #Constraints: 72893
1848.32/1853.19 c #Conflicts: 747000 | #Constraints: 73893
1848.32/1853.19 c #Conflicts: 748000 | #Constraints: 74893
1848.32/1853.19 c #Conflicts: 749000 | #Constraints: 75893
1848.32/1853.19 c #Conflicts: 750000 | #Constraints: 76893
1848.32/1853.19 c #Conflicts: 751000 | #Constraints: 77893
1848.32/1853.19 c #Conflicts: 752000 | #Constraints: 78893
1848.32/1853.19 c #Conflicts: 753000 | #Constraints: 79893
1848.32/1853.19 c #Conflicts: 754000 | #Constraints: 80893
1848.32/1853.19 c #Conflicts: 755000 | #Constraints: 81893
1848.32/1853.19 c #Conflicts: 756000 | #Constraints: 82893
1848.32/1853.19 c #Conflicts: 757000 | #Constraints: 83893
1848.32/1853.19 c #Conflicts: 758000 | #Constraints: 84893
1848.32/1853.19 c #Conflicts: 759000 | #Constraints: 85893
1848.32/1853.19 c #Conflicts: 760000 | #Constraints: 86893
1848.32/1853.19 c #Conflicts: 761000 | #Constraints: 87894
1848.32/1853.19 c #Conflicts: 762000 | #Constraints: 88894
1848.32/1853.19 c #Conflicts: 763000 | #Constraints: 89894
1848.32/1853.19 c INPROCESSING
1848.32/1853.19 c GARBAGE COLLECT
1848.32/1853.19 c #Conflicts: 764000 | #Constraints: 59511
1848.32/1853.19 c #Conflicts: 765000 | #Constraints: 60511
1848.32/1853.19 c #Conflicts: 766000 | #Constraints: 61511
1848.32/1853.19 c #Conflicts: 767000 | #Constraints: 62511
1848.32/1853.19 c #Conflicts: 768000 | #Constraints: 63511
1848.32/1853.19 c #Conflicts: 769000 | #Constraints: 64511
1848.32/1853.19 c #Conflicts: 770000 | #Constraints: 65511
1848.32/1853.19 c #Conflicts: 771000 | #Constraints: 66511
1848.32/1853.19 c #Conflicts: 772000 | #Constraints: 67511
1848.32/1853.19 c #Conflicts: 773000 | #Constraints: 68511
1848.32/1853.19 c #Conflicts: 774000 | #Constraints: 69511
1848.32/1853.19 c #Conflicts: 775000 | #Constraints: 70511
1848.32/1853.19 c #Conflicts: 776000 | #Constraints: 71511
1848.32/1853.19 c #Conflicts: 777000 | #Constraints: 72511
1848.32/1853.19 c #Conflicts: 778000 | #Constraints: 73511
1848.32/1853.19 c #Conflicts: 779000 | #Constraints: 74511
1848.32/1853.19 c #Conflicts: 780000 | #Constraints: 75511
1848.32/1853.19 c #Conflicts: 781000 | #Constraints: 76511
1848.32/1853.19 c #Conflicts: 782000 | #Constraints: 77511
1848.32/1853.19 c #Conflicts: 783000 | #Constraints: 78511
1848.32/1853.19 c #Conflicts: 784000 | #Constraints: 79511
1848.32/1853.19 c #Conflicts: 785000 | #Constraints: 80511
1848.32/1853.19 c #Conflicts: 786000 | #Constraints: 81511
1848.32/1853.19 c #Conflicts: 787000 | #Constraints: 82511
1848.32/1853.19 c #Conflicts: 788000 | #Constraints: 83511
1848.32/1853.19 c #Conflicts: 789000 | #Constraints: 84511
1848.32/1853.19 c #Conflicts: 790000 | #Constraints: 85511
1848.32/1853.19 c #Conflicts: 791000 | #Constraints: 86511
1848.32/1853.19 c #Conflicts: 792000 | #Constraints: 87511
1848.32/1853.19 c #Conflicts: 793000 | #Constraints: 88511
1848.32/1853.19 c #Conflicts: 794000 | #Constraints: 89511
1848.32/1853.19 c #Conflicts: 795000 | #Constraints: 90511
1848.32/1853.19 c #Conflicts: 796000 | #Constraints: 91511
1848.32/1853.19 c #Conflicts: 797000 | #Constraints: 92511
1848.32/1853.19 c #Conflicts: 798000 | #Constraints: 93511
1848.32/1853.19 c #Conflicts: 799000 | #Constraints: 94511
1848.32/1853.19 c #Conflicts: 800000 | #Constraints: 95511
1848.32/1853.19 c #Conflicts: 801000 | #Constraints: 96511
1848.32/1853.19 c #Conflicts: 802000 | #Constraints: 97511
1848.32/1853.19 c #Conflicts: 803000 | #Constraints: 98511
1848.32/1853.19 c #Conflicts: 804000 | #Constraints: 99511
1848.32/1853.19 c #Conflicts: 805000 | #Constraints: 100511
1848.32/1853.19 c #Conflicts: 806000 | #Constraints: 101511
1848.32/1853.19 c #Conflicts: 807000 | #Constraints: 102511
1848.32/1853.19 c #Conflicts: 808000 | #Constraints: 103511
1848.32/1853.19 c #Conflicts: 809000 | #Constraints: 104511
1848.32/1853.19 c #Conflicts: 810000 | #Constraints: 105511
1848.32/1853.19 c #Conflicts: 811000 | #Constraints: 106511
1848.32/1853.19 c #Conflicts: 812000 | #Constraints: 107511
1848.32/1853.19 c #Conflicts: 813000 | #Constraints: 108511
1848.32/1853.19 c #Conflicts: 814000 | #Constraints: 109511
1848.32/1853.19 c #Conflicts: 815000 | #Constraints: 110511
1848.32/1853.19 c #Conflicts: 816000 | #Constraints: 111511
1848.32/1853.19 c #Conflicts: 817000 | #Constraints: 112511
2024.02/2029.31 c #Conflicts: 818000 | #Constraints: 113511
2024.02/2029.31 c #Conflicts: 819000 | #Constraints: 114511
2024.02/2029.31 c #Conflicts: 820000 | #Constraints: 115511
2024.02/2029.31 c #Conflicts: 821000 | #Constraints: 116511
2024.02/2029.31 c #Conflicts: 822000 | #Constraints: 117511
2024.02/2029.31 c INPROCESSING
2024.02/2029.31 c GARBAGE COLLECT
2024.02/2029.31 c #Conflicts: 823000 | #Constraints: 69785
2024.02/2029.31 c #Conflicts: 824000 | #Constraints: 70785
2024.02/2029.31 c #Conflicts: 825000 | #Constraints: 71785
2024.02/2029.31 c #Conflicts: 826000 | #Constraints: 72785
2024.02/2029.31 c #Conflicts: 827000 | #Constraints: 73785
2024.02/2029.31 c #Conflicts: 828000 | #Constraints: 74785
2024.02/2029.31 c #Conflicts: 829000 | #Constraints: 75785
2024.02/2029.31 c #Conflicts: 830000 | #Constraints: 76785
2024.02/2029.31 c #Conflicts: 831000 | #Constraints: 77785
2024.02/2029.31 c #Conflicts: 832000 | #Constraints: 78785
2024.02/2029.31 c #Conflicts: 833000 | #Constraints: 79785
2024.02/2029.31 c #Conflicts: 834000 | #Constraints: 80785
2024.02/2029.31 c #Conflicts: 835000 | #Constraints: 81785
2024.02/2029.31 c #Conflicts: 836000 | #Constraints: 82785
2024.02/2029.31 c #Conflicts: 837000 | #Constraints: 83785
2024.02/2029.31 c #Conflicts: 838000 | #Constraints: 84785
2024.02/2029.31 c #Conflicts: 839000 | #Constraints: 85785
2024.02/2029.31 c #Conflicts: 840000 | #Constraints: 86785
2024.02/2029.31 c #Conflicts: 841000 | #Constraints: 87785
2024.02/2029.31 c #Conflicts: 842000 | #Constraints: 88785
2024.02/2029.31 c #Conflicts: 843000 | #Constraints: 89785
2024.02/2029.31 c #Conflicts: 844000 | #Constraints: 90785
2024.02/2029.31 c #Conflicts: 845000 | #Constraints: 91785
2024.02/2029.31 c #Conflicts: 846000 | #Constraints: 92785
2024.02/2029.31 c #Conflicts: 847000 | #Constraints: 93785
2024.02/2029.31 c #Conflicts: 848000 | #Constraints: 94785
2024.02/2029.31 c INPROCESSING
2024.02/2029.31 c GARBAGE COLLECT
2024.02/2029.31 c #Conflicts: 849000 | #Constraints: 62585
2024.02/2029.31 c #Conflicts: 850000 | #Constraints: 63585
2024.02/2029.31 c #Conflicts: 851000 | #Constraints: 64585
2024.02/2029.31 c #Conflicts: 852000 | #Constraints: 65585
2024.02/2029.31 c #Conflicts: 853000 | #Constraints: 66585
2024.02/2029.31 c #Conflicts: 854000 | #Constraints: 67585
2024.02/2029.31 c #Conflicts: 855000 | #Constraints: 68585
2024.02/2029.31 c #Conflicts: 856000 | #Constraints: 69585
2024.02/2029.31 c #Conflicts: 857000 | #Constraints: 70585
2024.02/2029.31 c #Conflicts: 858000 | #Constraints: 71585
2024.02/2029.31 c #Conflicts: 859000 | #Constraints: 72585
2024.02/2029.31 c #Conflicts: 860000 | #Constraints: 73585
2024.02/2029.31 c #Conflicts: 861000 | #Constraints: 74585
2024.02/2029.31 c #Conflicts: 862000 | #Constraints: 75585
2024.02/2029.31 c #Conflicts: 863000 | #Constraints: 76585
2024.02/2029.31 c #Conflicts: 864000 | #Constraints: 77585
2024.02/2029.31 c #Conflicts: 865000 | #Constraints: 78585
2024.02/2029.31 c #Conflicts: 866000 | #Constraints: 79585
2024.02/2029.31 c #Conflicts: 867000 | #Constraints: 80585
2024.02/2029.31 c #Conflicts: 868000 | #Constraints: 81585
2024.02/2029.31 c #Conflicts: 869000 | #Constraints: 82585
2024.02/2029.31 c #Conflicts: 870000 | #Constraints: 83585
2024.02/2029.31 c #Conflicts: 871000 | #Constraints: 84585
2024.02/2029.31 c #Conflicts: 872000 | #Constraints: 85585
2024.02/2029.31 c #Conflicts: 873000 | #Constraints: 86585
2024.02/2029.31 c #Conflicts: 874000 | #Constraints: 87585
2024.02/2029.31 c #Conflicts: 875000 | #Constraints: 88585
2024.02/2029.31 c #Conflicts: 876000 | #Constraints: 89585
2024.02/2029.31 c #Conflicts: 877000 | #Constraints: 90585
2024.02/2029.31 c #Conflicts: 878000 | #Constraints: 91585
2024.02/2029.31 c #Conflicts: 879000 | #Constraints: 92585
2024.02/2029.31 c #Conflicts: 880000 | #Constraints: 93585
2024.02/2029.31 c #Conflicts: 881000 | #Constraints: 94585
2024.02/2029.31 c #Conflicts: 882000 | #Constraints: 95585
2024.02/2029.31 c #Conflicts: 883000 | #Constraints: 96585
2024.02/2029.31 c #Conflicts: 884000 | #Constraints: 97585
2024.02/2029.31 c #Conflicts: 885000 | #Constraints: 98585
2024.02/2029.31 c #Conflicts: 886000 | #Constraints: 99585
2024.02/2029.31 c #Conflicts: 887000 | #Constraints: 100585
2024.02/2029.31 c #Conflicts: 888000 | #Constraints: 101585
2024.02/2029.31 c #Conflicts: 889000 | #Constraints: 102585
2024.02/2029.31 c #Conflicts: 890000 | #Constraints: 103585
2024.02/2029.31 c #Conflicts: 891000 | #Constraints: 104585
2024.02/2029.31 c #Conflicts: 892000 | #Constraints: 105585
2024.02/2029.31 c #Conflicts: 893000 | #Constraints: 106585
2024.02/2029.31 c #Conflicts: 894000 | #Constraints: 107585
2024.02/2029.31 c #Conflicts: 895000 | #Constraints: 108585
2264.24/2270.21 c #Conflicts: 896000 | #Constraints: 109585
2264.24/2270.21 c #Conflicts: 897000 | #Constraints: 110585
2264.24/2270.21 c #Conflicts: 898000 | #Constraints: 111585
2264.24/2270.21 c #Conflicts: 899000 | #Constraints: 112585
2264.24/2270.21 c #Conflicts: 900000 | #Constraints: 113585
2264.24/2270.21 c #Conflicts: 901000 | #Constraints: 114585
2264.24/2270.21 c #Conflicts: 902000 | #Constraints: 115585
2264.24/2270.21 c #Conflicts: 903000 | #Constraints: 116585
2264.24/2270.21 c #Conflicts: 904000 | #Constraints: 117585
2264.24/2270.21 c #Conflicts: 905000 | #Constraints: 118585
2264.24/2270.21 c #Conflicts: 906000 | #Constraints: 119585
2264.24/2270.21 c #Conflicts: 907000 | #Constraints: 120585
2264.24/2270.21 c #Conflicts: 908000 | #Constraints: 121585
2264.24/2270.21 c #Conflicts: 909000 | #Constraints: 122585
2264.24/2270.21 c #Conflicts: 910000 | #Constraints: 123585
2264.24/2270.21 c INPROCESSING
2264.24/2270.21 c GARBAGE COLLECT
2264.24/2270.21 c #Conflicts: 911000 | #Constraints: 72989
2264.24/2270.21 c #Conflicts: 912000 | #Constraints: 73989
2264.24/2270.21 c #Conflicts: 913000 | #Constraints: 74989
2264.24/2270.21 c #Conflicts: 914000 | #Constraints: 75989
2264.24/2270.21 c #Conflicts: 915000 | #Constraints: 76989
2264.24/2270.21 c #Conflicts: 916000 | #Constraints: 77989
2264.24/2270.21 c #Conflicts: 917000 | #Constraints: 78989
2264.24/2270.21 c #Conflicts: 918000 | #Constraints: 79989
2264.24/2270.21 c #Conflicts: 919000 | #Constraints: 80989
2264.24/2270.21 c #Conflicts: 920000 | #Constraints: 81989
2264.24/2270.21 c #Conflicts: 921000 | #Constraints: 82989
2264.24/2270.21 c #Conflicts: 922000 | #Constraints: 83989
2264.24/2270.21 c #Conflicts: 923000 | #Constraints: 84989
2264.24/2270.21 c #Conflicts: 924000 | #Constraints: 85989
2264.24/2270.21 c #Conflicts: 925000 | #Constraints: 86989
2264.24/2270.21 c #Conflicts: 926000 | #Constraints: 87989
2264.24/2270.21 c #Conflicts: 927000 | #Constraints: 88989
2264.24/2270.21 c #Conflicts: 928000 | #Constraints: 89989
2264.24/2270.21 c #Conflicts: 929000 | #Constraints: 90989
2264.24/2270.21 c #Conflicts: 930000 | #Constraints: 91989
2264.24/2270.21 c #Conflicts: 931000 | #Constraints: 92989
2264.24/2270.21 c #Conflicts: 932000 | #Constraints: 93989
2264.24/2270.21 c #Conflicts: 933000 | #Constraints: 94989
2264.24/2270.21 c #Conflicts: 934000 | #Constraints: 95989
2264.24/2270.21 c #Conflicts: 935000 | #Constraints: 96989
2264.24/2270.21 c #Conflicts: 936000 | #Constraints: 97989
2264.24/2270.21 c INPROCESSING
2264.24/2270.21 c GARBAGE COLLECT
2264.24/2270.21 c #Conflicts: 937000 | #Constraints: 64473
2264.24/2270.21 c #Conflicts: 938000 | #Constraints: 65473
2264.24/2270.21 c #Conflicts: 939000 | #Constraints: 66473
2264.24/2270.21 c #Conflicts: 940000 | #Constraints: 67473
2264.24/2270.21 c #Conflicts: 941000 | #Constraints: 68473
2264.24/2270.21 c #Conflicts: 942000 | #Constraints: 69473
2264.24/2270.21 c #Conflicts: 943000 | #Constraints: 70473
2264.24/2270.21 c #Conflicts: 944000 | #Constraints: 71473
2264.24/2270.21 c #Conflicts: 945000 | #Constraints: 72473
2264.24/2270.21 c #Conflicts: 946000 | #Constraints: 73473
2264.24/2270.21 c #Conflicts: 947000 | #Constraints: 74473
2264.24/2270.21 c #Conflicts: 948000 | #Constraints: 75473
2264.24/2270.21 c #Conflicts: 949000 | #Constraints: 76473
2264.24/2270.21 c #Conflicts: 950000 | #Constraints: 77473
2264.24/2270.21 c #Conflicts: 951000 | #Constraints: 78473
2264.24/2270.21 c #Conflicts: 952000 | #Constraints: 79473
2264.24/2270.21 c #Conflicts: 953000 | #Constraints: 80473
2264.24/2270.21 c #Conflicts: 954000 | #Constraints: 81473
2264.24/2270.21 c #Conflicts: 955000 | #Constraints: 82473
2264.24/2270.21 c #Conflicts: 956000 | #Constraints: 83473
2264.24/2270.21 c #Conflicts: 957000 | #Constraints: 84473
2264.24/2270.21 c #Conflicts: 958000 | #Constraints: 85473
2264.24/2270.21 c #Conflicts: 959000 | #Constraints: 86473
2264.24/2270.21 c #Conflicts: 960000 | #Constraints: 87473
2264.24/2270.21 c #Conflicts: 961000 | #Constraints: 88473
2264.24/2270.21 c #Conflicts: 962000 | #Constraints: 89473
2264.24/2270.21 c #Conflicts: 963000 | #Constraints: 90473
2264.24/2270.21 c #Conflicts: 964000 | #Constraints: 91473
2264.24/2270.21 c #Conflicts: 965000 | #Constraints: 92473
2264.24/2270.21 c #Conflicts: 966000 | #Constraints: 93473
2264.24/2270.21 c #Conflicts: 967000 | #Constraints: 94473
2264.24/2270.21 c #Conflicts: 968000 | #Constraints: 95473
2264.24/2270.21 c #Conflicts: 969000 | #Constraints: 96473
2264.24/2270.21 c #Conflicts: 970000 | #Constraints: 97473
2264.24/2270.21 c #Conflicts: 971000 | #Constraints: 98473
2264.24/2270.21 c #Conflicts: 972000 | #Constraints: 99473
2491.62/2498.21 c #Conflicts: 973000 | #Constraints: 100473
2491.62/2498.21 c #Conflicts: 974000 | #Constraints: 101473
2491.62/2498.21 c #Conflicts: 975000 | #Constraints: 102473
2491.62/2498.21 c #Conflicts: 976000 | #Constraints: 103473
2491.62/2498.21 c #Conflicts: 977000 | #Constraints: 104473
2491.62/2498.21 c #Conflicts: 978000 | #Constraints: 105473
2491.62/2498.21 c #Conflicts: 979000 | #Constraints: 106473
2491.62/2498.21 c #Conflicts: 980000 | #Constraints: 107473
2491.62/2498.21 c #Conflicts: 981000 | #Constraints: 108473
2491.62/2498.21 c #Conflicts: 982000 | #Constraints: 109473
2491.62/2498.21 c #Conflicts: 983000 | #Constraints: 110473
2491.62/2498.21 c #Conflicts: 984000 | #Constraints: 111473
2491.62/2498.21 c #Conflicts: 985000 | #Constraints: 112473
2491.62/2498.21 c #Conflicts: 986000 | #Constraints: 113473
2491.62/2498.21 c #Conflicts: 987000 | #Constraints: 114473
2491.62/2498.21 c #Conflicts: 988000 | #Constraints: 115473
2491.62/2498.21 c #Conflicts: 989000 | #Constraints: 116473
2491.62/2498.21 c #Conflicts: 990000 | #Constraints: 117473
2491.62/2498.21 c #Conflicts: 991000 | #Constraints: 118473
2491.62/2498.21 c #Conflicts: 992000 | #Constraints: 119473
2491.62/2498.21 c #Conflicts: 993000 | #Constraints: 120473
2491.62/2498.21 c #Conflicts: 994000 | #Constraints: 121473
2491.62/2498.21 c #Conflicts: 995000 | #Constraints: 122473
2491.62/2498.21 c #Conflicts: 996000 | #Constraints: 123473
2491.62/2498.21 c #Conflicts: 997000 | #Constraints: 124473
2491.62/2498.21 c #Conflicts: 998000 | #Constraints: 125473
2491.62/2498.21 c #Conflicts: 999000 | #Constraints: 126473
2491.62/2498.21 c #Conflicts: 1000000 | #Constraints: 127473
2491.62/2498.21 c #Conflicts: 1001000 | #Constraints: 128473
2491.62/2498.21 c INPROCESSING
2491.62/2498.21 c GARBAGE COLLECT
2491.62/2498.21 c #Conflicts: 1002000 | #Constraints: 75303
2491.62/2498.21 c #Conflicts: 1003000 | #Constraints: 76303
2491.62/2498.21 c #Conflicts: 1004000 | #Constraints: 77303
2491.62/2498.21 c #Conflicts: 1005000 | #Constraints: 78303
2491.62/2498.21 c #Conflicts: 1006000 | #Constraints: 79303
2491.62/2498.21 c #Conflicts: 1007000 | #Constraints: 80303
2491.62/2498.21 c #Conflicts: 1008000 | #Constraints: 81303
2491.62/2498.21 c #Conflicts: 1009000 | #Constraints: 82303
2491.62/2498.21 c #Conflicts: 1010000 | #Constraints: 83303
2491.62/2498.21 c #Conflicts: 1011000 | #Constraints: 84303
2491.62/2498.21 c #Conflicts: 1012000 | #Constraints: 85303
2491.62/2498.21 c #Conflicts: 1013000 | #Constraints: 86303
2491.62/2498.21 c #Conflicts: 1014000 | #Constraints: 87303
2491.62/2498.21 c #Conflicts: 1015000 | #Constraints: 88303
2491.62/2498.21 c #Conflicts: 1016000 | #Constraints: 89303
2491.62/2498.21 c #Conflicts: 1017000 | #Constraints: 90303
2491.62/2498.21 c #Conflicts: 1018000 | #Constraints: 91303
2491.62/2498.21 c #Conflicts: 1019000 | #Constraints: 92303
2491.62/2498.21 c #Conflicts: 1020000 | #Constraints: 93303
2491.62/2498.21 c #Conflicts: 1021000 | #Constraints: 94303
2491.62/2498.21 c #Conflicts: 1022000 | #Constraints: 95303
2491.62/2498.21 c #Conflicts: 1023000 | #Constraints: 96303
2491.62/2498.21 c #Conflicts: 1024000 | #Constraints: 97303
2491.62/2498.21 c #Conflicts: 1025000 | #Constraints: 98303
2491.62/2498.21 c #Conflicts: 1026000 | #Constraints: 99303
2491.62/2498.21 c #Conflicts: 1027000 | #Constraints: 100303
2491.62/2498.21 c #Conflicts: 1028000 | #Constraints: 101303
2491.62/2498.21 c #Conflicts: 1029000 | #Constraints: 102303
2491.62/2498.21 c INPROCESSING
2491.62/2498.21 c GARBAGE COLLECT
2491.62/2498.21 c #Conflicts: 1030000 | #Constraints: 66196
2491.62/2498.21 c #Conflicts: 1031000 | #Constraints: 67196
2491.62/2498.21 c #Conflicts: 1032000 | #Constraints: 68196
2491.62/2498.21 c #Conflicts: 1033000 | #Constraints: 69196
2491.62/2498.21 c #Conflicts: 1034000 | #Constraints: 70196
2491.62/2498.21 c #Conflicts: 1035000 | #Constraints: 71196
2491.62/2498.21 c #Conflicts: 1036000 | #Constraints: 72196
2491.62/2498.21 c #Conflicts: 1037000 | #Constraints: 73196
2491.62/2498.21 c #Conflicts: 1038000 | #Constraints: 74196
2491.62/2498.21 c #Conflicts: 1039000 | #Constraints: 75196
2491.62/2498.21 c #Conflicts: 1040000 | #Constraints: 76196
2491.62/2498.21 c #Conflicts: 1041000 | #Constraints: 77196
2491.62/2498.21 c #Conflicts: 1042000 | #Constraints: 78196
2491.62/2498.21 c #Conflicts: 1043000 | #Constraints: 79196
2491.62/2498.21 c #Conflicts: 1044000 | #Constraints: 80196
2491.62/2498.21 c #Conflicts: 1045000 | #Constraints: 81196
2491.62/2498.21 c #Conflicts: 1046000 | #Constraints: 82196
2491.62/2498.21 c #Conflicts: 1047000 | #Constraints: 83196
2491.62/2498.21 c #Conflicts: 1048000 | #Constraints: 84196
2491.62/2498.21 c #Conflicts: 1049000 | #Constraints: 85196
2491.62/2498.21 c #Conflicts: 1050000 | #Constraints: 86196
2792.38/2799.80 c #Conflicts: 1051000 | #Constraints: 87196
2792.38/2799.80 c #Conflicts: 1052000 | #Constraints: 88196
2792.38/2799.80 c #Conflicts: 1053000 | #Constraints: 89196
2792.38/2799.80 c #Conflicts: 1054000 | #Constraints: 90196
2792.38/2799.80 c #Conflicts: 1055000 | #Constraints: 91196
2792.38/2799.80 c #Conflicts: 1056000 | #Constraints: 92196
2792.38/2799.80 c #Conflicts: 1057000 | #Constraints: 93196
2792.38/2799.80 c #Conflicts: 1058000 | #Constraints: 94196
2792.38/2799.80 c #Conflicts: 1059000 | #Constraints: 95196
2792.38/2799.80 c #Conflicts: 1060000 | #Constraints: 96196
2792.38/2799.80 c #Conflicts: 1061000 | #Constraints: 97196
2792.38/2799.80 c #Conflicts: 1062000 | #Constraints: 98196
2792.38/2799.80 c #Conflicts: 1063000 | #Constraints: 99196
2792.38/2799.80 c #Conflicts: 1064000 | #Constraints: 100196
2792.38/2799.80 c #Conflicts: 1065000 | #Constraints: 101196
2792.38/2799.80 c #Conflicts: 1066000 | #Constraints: 102196
2792.38/2799.80 c #Conflicts: 1067000 | #Constraints: 103196
2792.38/2799.80 c #Conflicts: 1068000 | #Constraints: 104196
2792.38/2799.80 c #Conflicts: 1069000 | #Constraints: 105196
2792.38/2799.80 c #Conflicts: 1070000 | #Constraints: 106196
2792.38/2799.80 c #Conflicts: 1071000 | #Constraints: 107196
2792.38/2799.80 c #Conflicts: 1072000 | #Constraints: 108196
2792.38/2799.80 c #Conflicts: 1073000 | #Constraints: 109196
2792.38/2799.80 c #Conflicts: 1074000 | #Constraints: 110196
2792.38/2799.80 c #Conflicts: 1075000 | #Constraints: 111196
2792.38/2799.80 c #Conflicts: 1076000 | #Constraints: 112196
2792.38/2799.80 c #Conflicts: 1077000 | #Constraints: 113196
2792.38/2799.80 c #Conflicts: 1078000 | #Constraints: 114196
2792.38/2799.80 c #Conflicts: 1079000 | #Constraints: 115196
2792.38/2799.80 c #Conflicts: 1080000 | #Constraints: 116196
2792.38/2799.80 c #Conflicts: 1081000 | #Constraints: 117196
2792.38/2799.80 c #Conflicts: 1082000 | #Constraints: 118196
2792.38/2799.80 c #Conflicts: 1083000 | #Constraints: 119196
2792.38/2799.80 c #Conflicts: 1084000 | #Constraints: 120196
2792.38/2799.80 c #Conflicts: 1085000 | #Constraints: 121196
2792.38/2799.80 c #Conflicts: 1086000 | #Constraints: 122196
2792.38/2799.80 c #Conflicts: 1087000 | #Constraints: 123196
2792.38/2799.80 c #Conflicts: 1088000 | #Constraints: 124196
2792.38/2799.80 c #Conflicts: 1089000 | #Constraints: 125196
2792.38/2799.80 c #Conflicts: 1090000 | #Constraints: 126196
2792.38/2799.80 c #Conflicts: 1091000 | #Constraints: 127196
2792.38/2799.80 c #Conflicts: 1092000 | #Constraints: 128196
2792.38/2799.80 c #Conflicts: 1093000 | #Constraints: 129196
2792.38/2799.80 c #Conflicts: 1094000 | #Constraints: 130196
2792.38/2799.80 c #Conflicts: 1095000 | #Constraints: 131196
2792.38/2799.80 c #Conflicts: 1096000 | #Constraints: 132196
2792.38/2799.80 c #Conflicts: 1097000 | #Constraints: 133196
2792.38/2799.80 c #Conflicts: 1098000 | #Constraints: 134196
2792.38/2799.80 c INPROCESSING
2792.38/2799.80 c GARBAGE COLLECT
2792.38/2799.80 c #Conflicts: 1099000 | #Constraints: 78684
2792.38/2799.80 c #Conflicts: 1100000 | #Constraints: 79684
2792.38/2799.80 c #Conflicts: 1101000 | #Constraints: 80684
2792.38/2799.80 c #Conflicts: 1102000 | #Constraints: 81684
2792.38/2799.80 c #Conflicts: 1103000 | #Constraints: 82684
2792.38/2799.80 c #Conflicts: 1104000 | #Constraints: 83684
2792.38/2799.80 c #Conflicts: 1105000 | #Constraints: 84684
2792.38/2799.80 c #Conflicts: 1106000 | #Constraints: 85684
2792.38/2799.80 c #Conflicts: 1107000 | #Constraints: 86684
2792.38/2799.80 c #Conflicts: 1108000 | #Constraints: 87684
2792.38/2799.80 c #Conflicts: 1109000 | #Constraints: 88684
2792.38/2799.80 c #Conflicts: 1110000 | #Constraints: 89684
2792.38/2799.80 c #Conflicts: 1111000 | #Constraints: 90684
2792.38/2799.80 c #Conflicts: 1112000 | #Constraints: 91684
2792.38/2799.80 c #Conflicts: 1113000 | #Constraints: 92684
2792.38/2799.80 c #Conflicts: 1114000 | #Constraints: 93684
2792.38/2799.80 c #Conflicts: 1115000 | #Constraints: 94684
2792.38/2799.80 c #Conflicts: 1116000 | #Constraints: 95684
2792.38/2799.80 c #Conflicts: 1117000 | #Constraints: 96684
2792.38/2799.80 c #Conflicts: 1118000 | #Constraints: 97684
2792.38/2799.80 c #Conflicts: 1119000 | #Constraints: 98684
2792.38/2799.80 c #Conflicts: 1120000 | #Constraints: 99684
2792.38/2799.80 c #Conflicts: 1121000 | #Constraints: 100684
2792.38/2799.80 c #Conflicts: 1122000 | #Constraints: 101684
2792.38/2799.80 c #Conflicts: 1123000 | #Constraints: 102684
2792.38/2799.80 c #Conflicts: 1124000 | #Constraints: 103684
2792.38/2799.80 c #Conflicts: 1125000 | #Constraints: 104684
2792.38/2799.80 c #Conflicts: 1126000 | #Constraints: 105684
2792.38/2799.80 c #Conflicts: 1127000 | #Constraints: 106684
2792.38/2799.80 c INPROCESSING
3012.95/3021.08 c GARBAGE COLLECT
3012.95/3021.08 c #Conflicts: 1128000 | #Constraints: 68113
3012.95/3021.08 c #Conflicts: 1129000 | #Constraints: 69113
3012.95/3021.08 c #Conflicts: 1130000 | #Constraints: 70113
3012.95/3021.08 c #Conflicts: 1131000 | #Constraints: 71113
3012.95/3021.08 c #Conflicts: 1132000 | #Constraints: 72113
3012.95/3021.08 c #Conflicts: 1133000 | #Constraints: 73113
3012.95/3021.08 c #Conflicts: 1134000 | #Constraints: 74113
3012.95/3021.08 c #Conflicts: 1135000 | #Constraints: 75113
3012.95/3021.08 c #Conflicts: 1136000 | #Constraints: 76113
3012.95/3021.08 c #Conflicts: 1137000 | #Constraints: 77113
3012.95/3021.08 c #Conflicts: 1138000 | #Constraints: 78113
3012.95/3021.08 c #Conflicts: 1139000 | #Constraints: 79113
3012.95/3021.08 c #Conflicts: 1140000 | #Constraints: 80113
3012.95/3021.08 c #Conflicts: 1141000 | #Constraints: 81113
3012.95/3021.08 c #Conflicts: 1142000 | #Constraints: 82113
3012.95/3021.08 c #Conflicts: 1143000 | #Constraints: 83113
3012.95/3021.08 c #Conflicts: 1144000 | #Constraints: 84113
3012.95/3021.08 c #Conflicts: 1145000 | #Constraints: 85113
3012.95/3021.08 c #Conflicts: 1146000 | #Constraints: 86113
3012.95/3021.08 c #Conflicts: 1147000 | #Constraints: 87113
3012.95/3021.08 c #Conflicts: 1148000 | #Constraints: 88113
3012.95/3021.08 c #Conflicts: 1149000 | #Constraints: 89113
3012.95/3021.08 c #Conflicts: 1150000 | #Constraints: 90113
3012.95/3021.08 c #Conflicts: 1151000 | #Constraints: 91113
3012.95/3021.08 c #Conflicts: 1152000 | #Constraints: 92113
3012.95/3021.08 c #Conflicts: 1153000 | #Constraints: 93113
3012.95/3021.08 c #Conflicts: 1154000 | #Constraints: 94113
3012.95/3021.08 c #Conflicts: 1155000 | #Constraints: 95113
3012.95/3021.08 c #Conflicts: 1156000 | #Constraints: 96113
3012.95/3021.08 c #Conflicts: 1157000 | #Constraints: 97113
3012.95/3021.08 c #Conflicts: 1158000 | #Constraints: 98113
3012.95/3021.08 c #Conflicts: 1159000 | #Constraints: 99113
3012.95/3021.08 c #Conflicts: 1160000 | #Constraints: 100113
3012.95/3021.08 c #Conflicts: 1161000 | #Constraints: 101113
3012.95/3021.08 c #Conflicts: 1162000 | #Constraints: 102113
3012.95/3021.08 c #Conflicts: 1163000 | #Constraints: 103113
3012.95/3021.08 c #Conflicts: 1164000 | #Constraints: 104113
3012.95/3021.08 c #Conflicts: 1165000 | #Constraints: 105113
3012.95/3021.08 c #Conflicts: 1166000 | #Constraints: 106113
3012.95/3021.08 c #Conflicts: 1167000 | #Constraints: 107113
3012.95/3021.08 c #Conflicts: 1168000 | #Constraints: 108113
3012.95/3021.08 c #Conflicts: 1169000 | #Constraints: 109113
3012.95/3021.08 c #Conflicts: 1170000 | #Constraints: 110113
3012.95/3021.08 c #Conflicts: 1171000 | #Constraints: 111113
3012.95/3021.08 c #Conflicts: 1172000 | #Constraints: 112113
3012.95/3021.08 c #Conflicts: 1173000 | #Constraints: 113113
3012.95/3021.08 c #Conflicts: 1174000 | #Constraints: 114113
3012.95/3021.08 c #Conflicts: 1175000 | #Constraints: 115113
3012.95/3021.08 c #Conflicts: 1176000 | #Constraints: 116113
3012.95/3021.08 c #Conflicts: 1177000 | #Constraints: 117113
3012.95/3021.08 c #Conflicts: 1178000 | #Constraints: 118113
3012.95/3021.08 c #Conflicts: 1179000 | #Constraints: 119113
3012.95/3021.08 c #Conflicts: 1180000 | #Constraints: 120113
3012.95/3021.08 c #Conflicts: 1181000 | #Constraints: 121113
3012.95/3021.08 c #Conflicts: 1182000 | #Constraints: 122113
3012.95/3021.08 c #Conflicts: 1183000 | #Constraints: 123113
3012.95/3021.08 c #Conflicts: 1184000 | #Constraints: 124113
3012.95/3021.08 c #Conflicts: 1185000 | #Constraints: 125113
3012.95/3021.08 c #Conflicts: 1186000 | #Constraints: 126113
3012.95/3021.08 c #Conflicts: 1187000 | #Constraints: 127113
3012.95/3021.08 c #Conflicts: 1188000 | #Constraints: 128113
3012.95/3021.08 c #Conflicts: 1189000 | #Constraints: 129113
3012.95/3021.08 c #Conflicts: 1190000 | #Constraints: 130113
3012.95/3021.08 c #Conflicts: 1191000 | #Constraints: 131113
3012.95/3021.08 c #Conflicts: 1192000 | #Constraints: 132113
3012.95/3021.08 c #Conflicts: 1193000 | #Constraints: 133113
3012.95/3021.08 c #Conflicts: 1194000 | #Constraints: 134113
3012.95/3021.08 c #Conflicts: 1195000 | #Constraints: 135113
3012.95/3021.08 c #Conflicts: 1196000 | #Constraints: 136113
3012.95/3021.08 c #Conflicts: 1197000 | #Constraints: 137113
3012.95/3021.08 c #Conflicts: 1198000 | #Constraints: 138113
3012.95/3021.08 c INPROCESSING
3012.95/3021.08 c GARBAGE COLLECT
3012.95/3021.08 c #Conflicts: 1199000 | #Constraints: 80534
3012.95/3021.08 c #Conflicts: 1200000 | #Constraints: 81534
3012.95/3021.08 c #Conflicts: 1201000 | #Constraints: 82534
3012.95/3021.08 c #Conflicts: 1202000 | #Constraints: 83534
3012.95/3021.08 c #Conflicts: 1203000 | #Constraints: 84534
3012.95/3021.08 c #Conflicts: 1204000 | #Constraints: 85534
3012.95/3021.08 c #Conflicts: 1205000 | #Constraints: 86534
3206.28/3215.00 c #Conflicts: 1206000 | #Constraints: 87534
3206.28/3215.00 c #Conflicts: 1207000 | #Constraints: 88534
3206.28/3215.00 c #Conflicts: 1208000 | #Constraints: 89534
3206.28/3215.00 c #Conflicts: 1209000 | #Constraints: 90534
3206.28/3215.00 c #Conflicts: 1210000 | #Constraints: 91534
3206.28/3215.00 c #Conflicts: 1211000 | #Constraints: 92534
3206.28/3215.00 c #Conflicts: 1212000 | #Constraints: 93534
3206.28/3215.00 c #Conflicts: 1213000 | #Constraints: 94534
3206.28/3215.00 c #Conflicts: 1214000 | #Constraints: 95534
3206.28/3215.00 c #Conflicts: 1215000 | #Constraints: 96534
3206.28/3215.00 c #Conflicts: 1216000 | #Constraints: 97534
3206.28/3215.00 c #Conflicts: 1217000 | #Constraints: 98534
3206.28/3215.00 c #Conflicts: 1218000 | #Constraints: 99534
3206.28/3215.00 c #Conflicts: 1219000 | #Constraints: 100534
3206.28/3215.00 c #Conflicts: 1220000 | #Constraints: 101534
3206.28/3215.00 c #Conflicts: 1221000 | #Constraints: 102534
3206.28/3215.00 c #Conflicts: 1222000 | #Constraints: 103534
3206.28/3215.00 c #Conflicts: 1223000 | #Constraints: 104534
3206.28/3215.00 c #Conflicts: 1224000 | #Constraints: 105534
3206.28/3215.00 c #Conflicts: 1225000 | #Constraints: 106534
3206.28/3215.00 c #Conflicts: 1226000 | #Constraints: 107534
3206.28/3215.00 c #Conflicts: 1227000 | #Constraints: 108534
3206.28/3215.00 c #Conflicts: 1228000 | #Constraints: 109534
3206.28/3215.00 c INPROCESSING
3206.28/3215.00 c GARBAGE COLLECT
3206.28/3215.00 c #Conflicts: 1229000 | #Constraints: 69914
3206.28/3215.00 c #Conflicts: 1230000 | #Constraints: 70914
3206.28/3215.00 c #Conflicts: 1231000 | #Constraints: 71914
3206.28/3215.00 c #Conflicts: 1232000 | #Constraints: 72914
3206.28/3215.00 c #Conflicts: 1233000 | #Constraints: 73914
3206.28/3215.00 c #Conflicts: 1234000 | #Constraints: 74914
3206.28/3215.00 c #Conflicts: 1235000 | #Constraints: 75914
3206.28/3215.00 c #Conflicts: 1236000 | #Constraints: 76914
3206.28/3215.00 c #Conflicts: 1237000 | #Constraints: 77914
3206.28/3215.00 c #Conflicts: 1238000 | #Constraints: 78914
3206.28/3215.00 c #Conflicts: 1239000 | #Constraints: 79914
3206.28/3215.00 c #Conflicts: 1240000 | #Constraints: 80914
3206.28/3215.00 c #Conflicts: 1241000 | #Constraints: 81914
3206.28/3215.00 c #Conflicts: 1242000 | #Constraints: 82914
3206.28/3215.00 c #Conflicts: 1243000 | #Constraints: 83914
3206.28/3215.00 c #Conflicts: 1244000 | #Constraints: 84914
3206.28/3215.00 c #Conflicts: 1245000 | #Constraints: 85914
3206.28/3215.00 c #Conflicts: 1246000 | #Constraints: 86914
3206.28/3215.00 c #Conflicts: 1247000 | #Constraints: 87914
3206.28/3215.00 c #Conflicts: 1248000 | #Constraints: 88914
3206.28/3215.00 c #Conflicts: 1249000 | #Constraints: 89914
3206.28/3215.00 c #Conflicts: 1250000 | #Constraints: 90914
3206.28/3215.00 c #Conflicts: 1251000 | #Constraints: 91914
3206.28/3215.00 c #Conflicts: 1252000 | #Constraints: 92914
3206.28/3215.00 c #Conflicts: 1253000 | #Constraints: 93914
3206.28/3215.00 c #Conflicts: 1254000 | #Constraints: 94914
3206.28/3215.00 c #Conflicts: 1255000 | #Constraints: 95914
3206.28/3215.00 c #Conflicts: 1256000 | #Constraints: 96914
3206.28/3215.00 c #Conflicts: 1257000 | #Constraints: 97914
3206.28/3215.00 c #Conflicts: 1258000 | #Constraints: 98914
3206.28/3215.00 c #Conflicts: 1259000 | #Constraints: 99914
3206.28/3215.00 c #Conflicts: 1260000 | #Constraints: 100914
3206.28/3215.00 c #Conflicts: 1261000 | #Constraints: 101914
3206.28/3215.00 c #Conflicts: 1262000 | #Constraints: 102914
3206.28/3215.00 c #Conflicts: 1263000 | #Constraints: 103914
3206.28/3215.00 c #Conflicts: 1264000 | #Constraints: 104914
3206.28/3215.00 c #Conflicts: 1265000 | #Constraints: 105914
3206.28/3215.00 c #Conflicts: 1266000 | #Constraints: 106914
3206.28/3215.00 c #Conflicts: 1267000 | #Constraints: 107914
3206.28/3215.00 c #Conflicts: 1268000 | #Constraints: 108914
3206.28/3215.00 c #Conflicts: 1269000 | #Constraints: 109914
3206.28/3215.00 c #Conflicts: 1270000 | #Constraints: 110914
3206.28/3215.00 c #Conflicts: 1271000 | #Constraints: 111914
3206.28/3215.00 c #Conflicts: 1272000 | #Constraints: 112914
3206.28/3215.00 c #Conflicts: 1273000 | #Constraints: 113914
3206.28/3215.00 c #Conflicts: 1274000 | #Constraints: 114914
3206.28/3215.00 c #Conflicts: 1275000 | #Constraints: 115914
3206.28/3215.00 c #Conflicts: 1276000 | #Constraints: 116914
3206.28/3215.00 c #Conflicts: 1277000 | #Constraints: 117914
3206.28/3215.00 c #Conflicts: 1278000 | #Constraints: 118914
3206.28/3215.00 c #Conflicts: 1279000 | #Constraints: 119914
3206.28/3215.00 c #Conflicts: 1280000 | #Constraints: 120914
3206.28/3215.00 c #Conflicts: 1281000 | #Constraints: 121914
3206.28/3215.00 c #Conflicts: 1282000 | #Constraints: 122914
3206.28/3215.00 c #Conflicts: 1283000 | #Constraints: 123914
3352.57/3361.63 c #Conflicts: 1284000 | #Constraints: 124914
3352.57/3361.63 c #Conflicts: 1285000 | #Constraints: 125914
3352.57/3361.63 c #Conflicts: 1286000 | #Constraints: 126914
3352.57/3361.63 c #Conflicts: 1287000 | #Constraints: 127914
3352.57/3361.63 c #Conflicts: 1288000 | #Constraints: 128914
3352.57/3361.63 c #Conflicts: 1289000 | #Constraints: 129914
3352.57/3361.63 c #Conflicts: 1290000 | #Constraints: 130914
3352.57/3361.63 c #Conflicts: 1291000 | #Constraints: 131914
3352.57/3361.63 c #Conflicts: 1292000 | #Constraints: 132914
3352.57/3361.63 c #Conflicts: 1293000 | #Constraints: 133914
3352.57/3361.63 c #Conflicts: 1294000 | #Constraints: 134914
3352.57/3361.63 c #Conflicts: 1295000 | #Constraints: 135914
3352.57/3361.63 c #Conflicts: 1296000 | #Constraints: 136914
3352.57/3361.63 c #Conflicts: 1297000 | #Constraints: 137914
3352.57/3361.63 c #Conflicts: 1298000 | #Constraints: 138914
3352.57/3361.63 c #Conflicts: 1299000 | #Constraints: 139914
3352.57/3361.63 c #Conflicts: 1300000 | #Constraints: 140914
3352.57/3361.63 c #Conflicts: 1301000 | #Constraints: 141914
3352.57/3361.63 c #Conflicts: 1302000 | #Constraints: 142914
3352.57/3361.63 c #Conflicts: 1303000 | #Constraints: 143914
3352.57/3361.63 c INPROCESSING
3352.57/3361.63 c GARBAGE COLLECT
3352.57/3361.63 c rational objective 155
3585.81/3595.51 c #Conflicts: 1304000 | #Constraints: 83481
3585.81/3595.51 c #Conflicts: 1305000 | #Constraints: 84481
3585.81/3595.51 c #Conflicts: 1306000 | #Constraints: 85481
3585.81/3595.51 c #Conflicts: 1307000 | #Constraints: 86481
3585.81/3595.51 c #Conflicts: 1308000 | #Constraints: 87481
3585.81/3595.51 c #Conflicts: 1309000 | #Constraints: 88481
3585.81/3595.51 c #Conflicts: 1310000 | #Constraints: 89481
3585.81/3595.51 c #Conflicts: 1311000 | #Constraints: 90481
3585.81/3595.51 c #Conflicts: 1312000 | #Constraints: 91481
3585.81/3595.51 c #Conflicts: 1313000 | #Constraints: 92481
3585.81/3595.51 c #Conflicts: 1314000 | #Constraints: 93481
3585.81/3595.51 c #Conflicts: 1315000 | #Constraints: 94481
3585.81/3595.51 c #Conflicts: 1316000 | #Constraints: 95481
3585.81/3595.51 c #Conflicts: 1317000 | #Constraints: 96481
3585.81/3595.51 c #Conflicts: 1318000 | #Constraints: 97481
3585.81/3595.51 c #Conflicts: 1319000 | #Constraints: 98481
3585.81/3595.51 c #Conflicts: 1320000 | #Constraints: 99481
3585.81/3595.51 c #Conflicts: 1321000 | #Constraints: 100481
3585.81/3595.51 c #Conflicts: 1322000 | #Constraints: 101481
3585.81/3595.51 c #Conflicts: 1323000 | #Constraints: 102481
3585.81/3595.51 c #Conflicts: 1324000 | #Constraints: 103481
3585.81/3595.51 c #Conflicts: 1325000 | #Constraints: 104481
3585.81/3595.51 c #Conflicts: 1326000 | #Constraints: 105481
3585.81/3595.51 c #Conflicts: 1327000 | #Constraints: 106481
3585.81/3595.51 c #Conflicts: 1328000 | #Constraints: 107481
3585.81/3595.51 c #Conflicts: 1329000 | #Constraints: 108481
3585.81/3595.51 c #Conflicts: 1330000 | #Constraints: 109481
3585.81/3595.51 c #Conflicts: 1331000 | #Constraints: 110481
3585.81/3595.51 c #Conflicts: 1332000 | #Constraints: 111481
3585.81/3595.51 c #Conflicts: 1333000 | #Constraints: 112481
3585.81/3595.51 c #Conflicts: 1334000 | #Constraints: 113481
3585.81/3595.51 c #Conflicts: 1335000 | #Constraints: 114481
3585.81/3595.51 c INPROCESSING
3585.81/3595.51 c GARBAGE COLLECT
3585.81/3595.51 c #Conflicts: 1336000 | #Constraints: 73195
3585.81/3595.51 c #Conflicts: 1337000 | #Constraints: 74195
3585.81/3595.51 c #Conflicts: 1338000 | #Constraints: 75195
3585.81/3595.51 c #Conflicts: 1339000 | #Constraints: 76195
3585.81/3595.51 c #Conflicts: 1340000 | #Constraints: 77195
3585.81/3595.51 c #Conflicts: 1341000 | #Constraints: 78195
3585.81/3595.51 c #Conflicts: 1342000 | #Constraints: 79195
3585.81/3595.51 c #Conflicts: 1343000 | #Constraints: 80195
3585.81/3595.51 c #Conflicts: 1344000 | #Constraints: 81195
3585.81/3595.51 c #Conflicts: 1345000 | #Constraints: 82195
3585.81/3595.51 c #Conflicts: 1346000 | #Constraints: 83195
3585.81/3595.51 c #Conflicts: 1347000 | #Constraints: 84195
3585.81/3595.51 c #Conflicts: 1348000 | #Constraints: 85195
3585.81/3595.51 c #Conflicts: 1349000 | #Constraints: 86195
3585.81/3595.51 c #Conflicts: 1350000 | #Constraints: 87195
3585.81/3595.51 c #Conflicts: 1351000 | #Constraints: 88195
3585.81/3595.51 c #Conflicts: 1352000 | #Constraints: 89195
3585.81/3595.51 c #Conflicts: 1353000 | #Constraints: 90195
3585.81/3595.51 c #Conflicts: 1354000 | #Constraints: 91195
3585.81/3595.51 c #Conflicts: 1355000 | #Constraints: 92195
3585.81/3595.51 c #Conflicts: 1356000 | #Constraints: 93195
3585.81/3595.51 c #Conflicts: 1357000 | #Constraints: 94195
3585.81/3595.51 c #Conflicts: 1358000 | #Constraints: 95195
3585.81/3595.51 c #Conflicts: 1359000 | #Constraints: 96195
3585.81/3595.51 c #Conflicts: 1360000 | #Constraints: 97195
3585.81/3595.51 c #Conflicts: 1361000 | #Constraints: 98195
3585.81/3595.51 c #Conflicts: 1362000 | #Constraints: 99195
3585.81/3595.51 c #Conflicts: 1363000 | #Constraints: 100195
3585.81/3595.51 c #Conflicts: 1364000 | #Constraints: 101195
3585.81/3595.51 c #Conflicts: 1365000 | #Constraints: 102195
3585.81/3595.51 c #Conflicts: 1366000 | #Constraints: 103195
3585.81/3595.51 c #Conflicts: 1367000 | #Constraints: 104195
3585.81/3595.51 c #Conflicts: 1368000 | #Constraints: 105195
3585.81/3595.51 c #Conflicts: 1369000 | #Constraints: 106195
3585.81/3595.51 c #Conflicts: 1370000 | #Constraints: 107195
3585.81/3595.51 c #Conflicts: 1371000 | #Constraints: 108195
3585.81/3595.51 c #Conflicts: 1372000 | #Constraints: 109195
3585.81/3595.51 c #Conflicts: 1373000 | #Constraints: 110195
3585.81/3595.51 c #Conflicts: 1374000 | #Constraints: 111195
3585.81/3595.51 c #Conflicts: 1375000 | #Constraints: 112195
3585.81/3595.51 c #Conflicts: 1376000 | #Constraints: 113195
3585.81/3595.51 c #Conflicts: 1377000 | #Constraints: 114195
3585.81/3595.51 c #Conflicts: 1378000 | #Constraints: 115195
3585.81/3595.51 c #Conflicts: 1379000 | #Constraints: 116195
3585.81/3595.51 c #Conflicts: 1380000 | #Constraints: 117195
3585.81/3595.51 c #Conflicts: 1381000 | #Constraints: 118195
3585.81/3595.51 c #Conflicts: 1382000 | #Constraints: 119195
3600.07/3609.80 c #Conflicts: 1383000 | #Constraints: 120195
3600.07/3609.80 c #Conflicts: 1384000 | #Constraints: 121195
3600.07/3609.80 c #Conflicts: 1385000 | #Constraints: 122195
3600.07/3609.80 c #Conflicts: 1386000 | #Constraints: 123195
3600.07/3609.80 c cpu time 3568.86 s
3600.07/3609.80 c deterministic time 228521529539 2.29e+11
3600.07/3609.80 c optimization time 132.005 s
3600.07/3609.80 c total solve time 3436.75 s
3600.07/3609.80 c core-guided solve time 0 s
3600.07/3609.80 c propagation time 1737.06 s
3600.07/3609.80 c conflict analysis time 1414.28 s
3600.07/3609.80 c propagations 1372962005
3600.07/3609.80 c resolve steps 92623531
3600.07/3609.80 c decisions 26636676
3600.07/3609.80 c conflicts 1386243
3600.07/3609.80 c restarts 2651
3600.07/3609.80 c inprocessing phases 50
3600.07/3609.80 c garbage collections 50 ,( 100.00 )
3600.07/3609.80 c input clauses 18602 ,( 99.17 )
3600.07/3609.80 c input cardinalities 155 ,( 0.83 )
3600.07/3609.80 c input general constraints 0 ,( 0.00 )
3600.07/3609.80 c input average constraint length 6.43
3600.07/3609.80 c input average constraint degree 1.97
3600.07/3609.80 c learned clauses 1033357 ,( 74.54 )
3600.07/3609.80 c learned cardinalities 42036 ,( 3.03 )
3600.07/3609.80 c learned general constraints 310860 ,( 22.42 )
3600.07/3609.80 c learned average constraint length 752.98
3600.07/3609.80 c learned average constraint degree 18772614.02
3600.07/3609.80 c watched CF 32, 64, 128, Arb: 82442 , 0 , 0 , 0
3600.07/3609.80 c counting CF 32, 64, 128, Arb: 228418 , 0 , 0 , 0
3600.07/3609.80 c watched constraints 82442 ,( 26.52 )
3600.07/3609.80 c counting constraints 228418 ,( 73.48 )
3600.07/3609.80 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 1339876141 , 639433522 , 1911146691 ,( 78439381 , 1832707310 )
3600.07/3609.80 c gcd simplifications 804
3600.07/3609.80 c detected cardinalities 5592
3600.07/3609.80 c weakened non-implied lits 393154060
3600.07/3609.80 c weakened non-implying lits 242434
3600.07/3609.80 c original variables 18445
3600.07/3609.80 c clausal propagations 628598461
3600.07/3609.80 c cardinality propagations 502154448
3600.07/3609.80 c watched propagations 4768707
3600.07/3609.80 c counting propagations 225412459
3600.07/3609.80 c watch lookups 80133944765
3600.07/3609.80 c watch backjump lookups 0
3600.07/3609.80 c watch checks 34027167658
3600.07/3609.80 c propagation checks 106551685459
3600.07/3609.80 c constraint additions 5007851461
3600.07/3609.80 c trail pops 1400969992
3600.07/3609.80 c formula constraints 18757
3600.07/3609.80 c learned constraints 1386237
3600.07/3609.80 c bound constraints 0
3600.07/3609.80 c core-guided constraints 0
3600.07/3609.80 c encountered formula constraints 59977379
3600.07/3609.80 c encountered learned constraints 34029793
3600.07/3609.80 c encountered bound constraints 0
3600.07/3609.80 c encountered core-guided constraints 0
3600.07/3609.80 c LP total time 395.415 s
3600.07/3609.80 c LP solve time 376.52 s
3600.07/3609.80 c LP constraints added 19596
3600.07/3609.80 c LP constraints removed 389
3600.07/3609.80 c LP pivots internal 147741
3600.07/3609.80 c LP pivots root 163781
3600.07/3609.80 c LP calls 20
3600.07/3609.80 c LP optimalities 8
3600.07/3609.80 c LP no pivot count 0
3600.07/3609.80 c LP infeasibilities 5
3600.07/3609.80 c LP valid Farkas constraints 5
3600.07/3609.80 c LP learned Farkas constraints 5
3600.07/3609.80 c LP basis resets 1
3600.07/3609.80 c LP cycling count 0
3600.07/3609.80 c LP singular count 1
3600.07/3609.80 c LP no primal count 0
3600.07/3609.80 c LP no farkas count 0
3600.07/3609.80 c LP other issue count 0
3600.07/3609.80 c LP Gomory cuts 6
3600.07/3609.80 c LP learned cuts 833
3600.07/3609.80 c LP deleted cuts 389
3600.07/3609.80 c LP encountered Gomory constraints 2047
3600.07/3609.80 c LP encountered Farkas constraints 545
3600.07/3609.80 c LP encountered learned Farkas constraints 5
3600.07/3609.80 c CG auxiliary variables introduced 0
3600.07/3609.80 c CG solutions found 0
3600.07/3609.80 c CG cores constructed 0
3600.07/3609.80 c CG core cardinality constraints returned 0
3600.07/3609.80 c CG unit cores 0
3600.07/3609.80 c CG single cores 0
3600.07/3609.80 c CG blocks removed during cardinality reduction 0
3600.07/3609.80 c CG first core best 0
3600.07/3609.80 c CG decision core best 0
3600.07/3609.80 c CG core reduction tie 0
3600.07/3609.80 c CG core degree average 0.00
3600.07/3609.80 c CG core slack average 0.00
3600.07/3609.80 c CG core upper bound improvements 0
3600.07/3609.80 c STR number of successful calls 0
3600.07/3609.80 c STR number of unsuccessful calls 0
3600.07/3609.80 c STR number of inconclusive calls 0
3600.07/3609.80 c STR number of successful attempts 0
3600.07/3609.80 c STR number of unsuccessful attempts 0
3600.07/3609.80 c STR number of inconclusive attempts 0
3600.07/3609.80 c STR average degree increase per successful call inf
3600.07/3609.80 c STR average degree increase per successful attempt inf
3600.07/3609.80 c STR total number of conflicts for successful attempts 0
3600.07/3609.80 c STR total number of conflicts for unsuccessful attempts 0
3600.07/3609.80 c STR total number of conflicts for inconclusive attempts 0
3600.07/3609.80 c STR average number of conflicts per successful attempt inf
3600.07/3609.80 c STR average number of conflicts per unsuccessful attempt inf
3600.07/3609.80 c STR average number of conflicts per inconclusive attempt inf
3600.07/3609.80 c AVG.sumWPerc 65.27
3600.07/3609.80 c bigint constraints 0
3600.07/3609.80 s UNKNOWN
3600.07/3609.80 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 (54109 MiB free)
memory of node 1: 64507 MiB (61266 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4507051-1751175079/watcher-4507051-1751175079 -o /tmp/evaluation-result-4507051-1751175079/solver-4507051-1751175079 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1751167846-18822 --watchdog 3760 --file-size-limit 100000 run-dec-ls-log.sh HOME/instance-4507051-1751175079.opb PROOFDIR/proof-4507051-1751175079
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=19785, runsolver pid=19782
[startup+0.100071 s]*
/proc/loadavg: 4.15 4.13 4.10 5/270 19787
/proc/meminfo: memFree=118137336/131249988 swapFree=33010684/33010684
[pid=19785] ppid=19782 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/19785/stat : 19785 (run-dec-ls-log.) S 19782 19785 18809 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 33186734 4292608 736 18446744073709551615 94842027208704 94842028103237 140723857238016 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94842028342288 94842028390032 94842059374592 140723857242395 140723857242593 140723857242593 140723857248195 0
/proc/19785/statm: 1048 736 672 219 0 110 0
[pid=19787] ppid=19785 vsize=75824 memory=31384 CPUtime=0.08 cores=5,7
/proc/19787/stat : 19787 (roundingsat) R 19785 19785 18809 0 -1 4194304 5399 0 0 0 6 2 0 0 20 0 1 0 33186734 77643776 7814 18446744073709551615 4227072 8923433 140726310979984 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 18153472 140726310988112 140726310988328 140726310988328 140726310993898 0
/proc/19787/statm: 18956 7814 2272 1147 0 6383 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 80016 KiB
Current children cumulated memory: 34328 KiB
[startup+0.205878 s]*
/proc/loadavg: 4.15 4.13 4.10 5/270 19787
/proc/meminfo: memFree=118101044/131249988 swapFree=33010684/33010684
[pid=19785] ppid=19782 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/19785/stat : 19785 (run-dec-ls-log.) S 19782 19785 18809 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 33186734 4292608 736 18446744073709551615 94842027208704 94842028103237 140723857238016 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94842028342288 94842028390032 94842059374592 140723857242395 140723857242593 140723857242593 140723857248195 0
/proc/19785/statm: 1048 736 672 219 0 110 0
[pid=19787] ppid=19785 vsize=111808 memory=56896 CPUtime=0.19 cores=5,7
/proc/19787/stat : 19787 (roundingsat) R 19785 19785 18809 0 -1 4194304 11272 0 0 0 16 3 0 0 20 0 1 0 33186734 114491392 14224 18446744073709551615 4227072 8923433 140726310979984 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 18153472 140726310988112 140726310988328 140726310988328 140726310993898 0
/proc/19787/statm: 27952 14224 2304 1147 0 15379 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 116000 KiB
Current children cumulated memory: 59840 KiB
[startup+0.306045 s]*
/proc/loadavg: 4.15 4.13 4.10 5/270 19787
/proc/meminfo: memFree=118100288/131249988 swapFree=33010684/33010684
[pid=19785] ppid=19782 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/19785/stat : 19785 (run-dec-ls-log.) S 19782 19785 18809 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 33186734 4292608 736 18446744073709551615 94842027208704 94842028103237 140723857238016 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94842028342288 94842028390032 94842059374592 140723857242395 140723857242593 140723857242593 140723857248195 0
/proc/19785/statm: 1048 736 672 219 0 110 0
[pid=19787] ppid=19785 vsize=112276 memory=58048 CPUtime=0.29 cores=5,7
/proc/19787/stat : 19787 (roundingsat) R 19785 19785 18809 0 -1 4194304 11538 0 0 0 26 3 0 0 20 0 1 0 33186734 114970624 14512 18446744073709551615 4227072 8923433 140726310979984 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 18153472 140726310988112 140726310988328 140726310988328 140726310993898 0
/proc/19787/statm: 28069 14512 2304 1147 0 15496 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 116468 KiB
Current children cumulated memory: 60992 KiB
[startup+0.700231 s]
/proc/loadavg: 4.15 4.13 4.10 5/270 19787
/proc/meminfo: memFree=118097376/131249988 swapFree=33010684/33010684
[pid=19785] ppid=19782 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/19785/stat : 19785 (run-dec-ls-log.) S 19782 19785 18809 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 33186734 4292608 736 18446744073709551615 94842027208704 94842028103237 140723857238016 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94842028342288 94842028390032 94842059374592 140723857242395 140723857242593 140723857242593 140723857248195 0
/proc/19785/statm: 1048 736 672 219 0 110 0
[pid=19787] ppid=19785 vsize=113464 memory=59072 CPUtime=0.67 cores=5,7
/proc/19787/stat : 19787 (roundingsat) R 19785 19785 18809 0 -1 4194304 11794 0 0 0 64 3 0 0 20 0 1 0 33186734 116187136 14768 18446744073709551615 4227072 8923433 140726310979984 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 18153472 140726310988112 140726310988328 140726310988328 140726310993898 0
/proc/19787/statm: 28366 14768 2304 1147 0 15793 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 117656 KiB
Current children cumulated memory: 62016 KiB
[startup+1.50022 s]
/proc/loadavg: 4.15 4.13 4.10 5/270 19787
/proc/meminfo: memFree=118097376/131249988 swapFree=33010684/33010684
[pid=19785] ppid=19782 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/19785/stat : 19785 (run-dec-ls-log.) S 19782 19785 18809 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 33186734 4292608 736 18446744073709551615 94842027208704 94842028103237 140723857238016 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94842028342288 94842028390032 94842059374592 140723857242395 140723857242593 140723857242593 140723857248195 0
/proc/19785/statm: 1048 736 672 219 0 110 0
[pid=19787] ppid=19785 vsize=113464 memory=59072 CPUtime=1.47 cores=5,7
/proc/19787/stat : 19787 (roundingsat) R 19785 19785 18809 0 -1 4194304 11794 0 0 0 144 3 0 0 20 0 1 0 33186734 116187136 14768 18446744073709551615 4227072 8923433 140726310979984 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 18153472 140726310988112 140726310988328 140726310988328 140726310993898 0
/proc/19787/statm: 28366 14768 2304 1147 0 15793 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 117656 KiB
Current children cumulated memory: 62016 KiB
[startup+3.10543 s]
/proc/loadavg: 4.15 4.13 4.10 5/265 19817
/proc/meminfo: memFree=120899020/131249988 swapFree=33010684/33010684
[pid=19785] ppid=19782 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/19785/stat : 19785 (run-dec-ls-log.) S 19782 19785 18809 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 33186734 4292608 736 18446744073709551615 94842027208704 94842028103237 140723857238016 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94842028342288 94842028390032 94842059374592 140723857242395 140723857242593 140723857242593 140723857248195 0
/proc/19785/statm: 1048 736 672 219 0 110 0
[pid=19787] ppid=19785 vsize=116396 memory=62912 CPUtime=3.07 cores=5,7
/proc/19787/stat : 19787 (roundingsat) R 19785 19785 18809 0 -1 4194304 12761 0 0 0 304 3 0 0 20 0 1 0 33186734 119189504 15728 18446744073709551615 4227072 8923433 140726310979984 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 18153472 140726310988112 140726310988328 140726310988328 140726310993898 0
/proc/19787/statm: 29099 15728 2304 1147 0 16526 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 120588 KiB
Current children cumulated memory: 65856 KiB
[startup+6.30016 s]
/proc/loadavg: 4.22 4.14 4.10 5/270 19879
/proc/meminfo: memFree=122312316/131249988 swapFree=33010684/33010684
[pid=19785] ppid=19782 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/19785/stat : 19785 (run-dec-ls-log.) S 19782 19785 18809 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 33186734 4292608 736 18446744073709551615 94842027208704 94842028103237 140723857238016 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94842028342288 94842028390032 94842059374592 140723857242395 140723857242593 140723857242593 140723857248195 0
/proc/19785/statm: 1048 736 672 219 0 110 0
[pid=19787] ppid=19785 vsize=119448 memory=68936 CPUtime=6.26 cores=5,7
/proc/19787/stat : 19787 (roundingsat) R 19785 19785 18809 0 -1 4194304 13755 0 0 0 615 11 0 0 20 0 1 0 33186734 122314752 17234 18446744073709551615 4227072 8923433 140726310979984 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 18153472 140726310988112 140726310988328 140726310988328 140726310993898 0
/proc/19787/statm: 29862 17234 2368 1147 0 17289 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 123640 KiB
Current children cumulated memory: 71880 KiB
[startup+12.7002 s]
/proc/loadavg: 4.20 4.14 4.10 5/270 19925
/proc/meminfo: memFree=129777564/131249988 swapFree=33010684/33010684
[pid=19785] ppid=19782 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/19785/stat : 19785 (run-dec-ls-log.) S 19782 19785 18809 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 33186734 4292608 736 18446744073709551615 94842027208704 94842028103237 140723857238016 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94842028342288 94842028390032 94842059374592 140723857242395 140723857242593 140723857242593 140723857248195 0
/proc/19785/statm: 1048 736 672 219 0 110 0
[pid=19787] ppid=19785 vsize=129176 memory=77128 CPUtime=12.64 cores=5,7
/proc/19787/stat : 19787 (roundingsat) R 19785 19785 18809 0 -1 4194304 15795 0 0 0 1236 28 0 0 20 0 1 0 33186734 132276224 19282 18446744073709551615 4227072 8923433 140726310979984 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 18153472 140726310988112 140726310988328 140726310988328 140726310993898 0
/proc/19787/statm: 32294 19282 2368 1147 0 19721 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 133368 KiB
Current children cumulated memory: 80072 KiB
[startup+25.5002 s]
/proc/loadavg: 4.16 4.13 4.10 5/269 19925
/proc/meminfo: memFree=129605256/131249988 swapFree=33010684/33010684
[pid=19785] ppid=19782 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/19785/stat : 19785 (run-dec-ls-log.) S 19782 19785 18809 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 33186734 4292608 736 18446744073709551615 94842027208704 94842028103237 140723857238016 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94842028342288 94842028390032 94842059374592 140723857242395 140723857242593 140723857242593 140723857248195 0
/proc/19785/statm: 1048 736 672 219 0 110 0
[pid=19787] ppid=19785 vsize=154704 memory=98792 CPUtime=25.41 cores=5,7
/proc/19787/stat : 19787 (roundingsat) R 19785 19785 18809 0 -1 4194304 19639 0 0 0 2484 57 0 0 20 0 1 0 33186734 158416896 24698 18446744073709551615 4227072 8923433 140726310979984 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 18153472 140726310988112 140726310988328 140726310988328 140726310993898 0
/proc/19787/statm: 38676 24698 2368 1147 0 26103 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 158896 KiB
Current children cumulated memory: 101736 KiB
[startup+51.1055 s]
/proc/loadavg: 4.17 4.14 4.10 5/269 19925
/proc/meminfo: memFree=129341336/131249988 swapFree=33010684/33010684
[pid=19785] ppid=19782 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/19785/stat : 19785 (run-dec-ls-log.) S 19782 19785 18809 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 33186734 4292608 736 18446744073709551615 94842027208704 94842028103237 140723857238016 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94842028342288 94842028390032 94842059374592 140723857242395 140723857242593 140723857242593 140723857248195 0
/proc/19785/statm: 1048 736 672 219 0 110 0
[pid=19787] ppid=19785 vsize=168636 memory=119136 CPUtime=50.94 cores=5,7
/proc/19787/stat : 19787 (roundingsat) R 19785 19785 18809 0 -1 4194304 23233 0 0 0 4988 106 0 0 20 0 1 0 33186734 172683264 29784 18446744073709551615 4227072 8923433 140726310979984 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 18153472 140726310988112 140726310988328 140726310988328 140726310993898 0
/proc/19787/statm: 42159 29784 2368 1147 0 29586 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 172828 KiB
Current children cumulated memory: 122080 KiB
[startup+102.3 s]
/proc/loadavg: 4.13 4.13 4.09 5/271 19929
/proc/meminfo: memFree=128805524/131249988 swapFree=33010684/33010684
[pid=19785] ppid=19782 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/19785/stat : 19785 (run-dec-ls-log.) S 19782 19785 18809 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 33186734 4292608 736 18446744073709551615 94842027208704 94842028103237 140723857238016 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94842028342288 94842028390032 94842059374592 140723857242395 140723857242593 140723857242593 140723857248195 0
/proc/19785/statm: 1048 736 672 219 0 110 0
[pid=19787] ppid=19785 vsize=234160 memory=179708 CPUtime=102.01 cores=5,7
/proc/19787/stat : 19787 (roundingsat) R 19785 19785 18809 0 -1 4194304 32527 0 0 0 10025 176 0 0 20 0 1 0 33186734 239779840 44927 18446744073709551615 4227072 8923433 140726310979984 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 18153472 140726310988112 140726310988328 140726310988328 140726310993898 0
/proc/19787/statm: 58540 44927 2368 1147 0 45967 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 238352 KiB
Current children cumulated memory: 182652 KiB
[startup+162.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/270 19933
/proc/meminfo: memFree=128186448/131249988 swapFree=33010684/33010684
[pid=19785] ppid=19782 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/19785/stat : 19785 (run-dec-ls-log.) S 19782 19785 18809 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 33186734 4292608 736 18446744073709551615 94842027208704 94842028103237 140723857238016 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94842028342288 94842028390032 94842059374592 140723857242395 140723857242593 140723857242593 140723857248195 0
/proc/19785/statm: 1048 736 672 219 0 110 0
[pid=19787] ppid=19785 vsize=256248 memory=205648 CPUtime=161.87 cores=5,7
/proc/19787/stat : 19787 (roundingsat) R 19785 19785 18809 0 -1 4194304 37986 0 0 0 15925 262 0 0 20 0 1 0 33186734 262397952 51412 18446744073709551615 4227072 8923433 140726310979984 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 18153472 140726310988112 140726310988328 140726310988328 140726310993898 0
/proc/19787/statm: 64062 51412 2368 1147 0 51489 0
Current children cumulated CPU time: 161.87 s
Current children cumulated vsize: 260440 KiB
Current children cumulated memory: 208592 KiB
[startup+222.3 s]
/proc/loadavg: 4.07 4.11 4.09 5/270 19935
/proc/meminfo: memFree=127628764/131249988 swapFree=33010684/33010684
[pid=19785] ppid=19782 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/19785/stat : 19785 (run-dec-ls-log.) S 19782 19785 18809 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 33186734 4292608 736 18446744073709551615 94842027208704 94842028103237 140723857238016 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94842028342288 94842028390032 94842059374592 140723857242395 140723857242593 140723857242593 140723857248195 0
/proc/19785/statm: 1048 736 672 219 0 110 0
[pid=19787] ppid=19785 vsize=304008 memory=230572 CPUtime=221.73 cores=5,7
/proc/19787/stat : 19787 (roundingsat) R 19785 19785 18809 0 -1 4194304 42196 0 0 0 21813 360 0 0 20 0 1 0 33186734 311304192 57643 18446744073709551615 4227072 8923433 140726310979984 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 18153472 140726310988112 140726310988328 140726310988328 140726310993898 0
/proc/19787/statm: 76002 57643 2368 1147 0 63429 0
################
# More data... #
################
/proc/19787/statm: 379620 279099 2464 1147 0 367047 0
Current children cumulated CPU time: 3034.18 s
Current children cumulated vsize: 1522672 KiB
Current children cumulated memory: 1119340 KiB
[startup+3102.3 s]
/proc/loadavg: 4.15 4.13 4.09 5/270 20088
/proc/meminfo: memFree=104633400/131249988 swapFree=33010684/33010684
[pid=19785] ppid=19782 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/19785/stat : 19785 (run-dec-ls-log.) S 19782 19785 18809 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 33186734 4292608 736 18446744073709551615 94842027208704 94842028103237 140723857238016 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94842028342288 94842028390032 94842059374592 140723857242395 140723857242593 140723857242593 140723857248195 0
/proc/19785/statm: 1048 736 672 219 0 110 0
[pid=19787] ppid=19785 vsize=1518480 memory=1116908 CPUtime=3094.01 cores=5,7
/proc/19787/stat : 19787 (roundingsat) R 19785 19785 18809 0 -1 4194304 136761 0 0 0 306644 2757 0 0 20 0 1 0 33186734 1554923520 279227 18446744073709551615 4227072 8923433 140726310979984 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 18153472 140726310988112 140726310988328 140726310988328 140726310993898 0
/proc/19787/statm: 379620 279227 2464 1147 0 367047 0
Current children cumulated CPU time: 3094.01 s
Current children cumulated vsize: 1522672 KiB
Current children cumulated memory: 1119852 KiB
[startup+3162.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/270 20092
/proc/meminfo: memFree=104283584/131249988 swapFree=33010684/33010684
[pid=19785] ppid=19782 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/19785/stat : 19785 (run-dec-ls-log.) S 19782 19785 18809 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 33186734 4292608 736 18446744073709551615 94842027208704 94842028103237 140723857238016 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94842028342288 94842028390032 94842059374592 140723857242395 140723857242593 140723857242593 140723857248195 0
/proc/19785/statm: 1048 736 672 219 0 110 0
[pid=19787] ppid=19785 vsize=1518480 memory=1116908 CPUtime=3153.84 cores=5,7
/proc/19787/stat : 19787 (roundingsat) R 19785 19785 18809 0 -1 4194304 136762 0 0 0 312572 2812 0 0 20 0 1 0 33186734 1554923520 279227 18446744073709551615 4227072 8923433 140726310979984 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 18153472 140726310988112 140726310988328 140726310988328 140726310993898 0
/proc/19787/statm: 379620 279227 2464 1147 0 367047 0
Current children cumulated CPU time: 3153.84 s
Current children cumulated vsize: 1522672 KiB
Current children cumulated memory: 1119852 KiB
[startup+3222.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/269 20094
/proc/meminfo: memFree=103963740/131249988 swapFree=33010684/33010684
[pid=19785] ppid=19782 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/19785/stat : 19785 (run-dec-ls-log.) S 19782 19785 18809 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 33186734 4292608 736 18446744073709551615 94842027208704 94842028103237 140723857238016 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94842028342288 94842028390032 94842059374592 140723857242395 140723857242593 140723857242593 140723857248195 0
/proc/19785/statm: 1048 736 672 219 0 110 0
[pid=19787] ppid=19785 vsize=1519988 memory=1118444 CPUtime=3213.67 cores=5,7
/proc/19787/stat : 19787 (roundingsat) R 19785 19785 18809 0 -1 4194304 137161 0 0 0 318510 2857 0 0 20 0 1 0 33186734 1556467712 279611 18446744073709551615 4227072 8923433 140726310979984 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 18153472 140726310988112 140726310988328 140726310988328 140726310993898 0
/proc/19787/statm: 379997 279611 2464 1147 0 367424 0
Current children cumulated CPU time: 3213.67 s
Current children cumulated vsize: 1524180 KiB
Current children cumulated memory: 1121388 KiB
[startup+3282.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/270 20101
/proc/meminfo: memFree=103674884/131249988 swapFree=33010684/33010684
[pid=19785] ppid=19782 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/19785/stat : 19785 (run-dec-ls-log.) S 19782 19785 18809 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 33186734 4292608 736 18446744073709551615 94842027208704 94842028103237 140723857238016 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94842028342288 94842028390032 94842059374592 140723857242395 140723857242593 140723857242593 140723857248195 0
/proc/19785/statm: 1048 736 672 219 0 110 0
[pid=19787] ppid=19785 vsize=1525832 memory=1123180 CPUtime=3273.49 cores=5,7
/proc/19787/stat : 19787 (roundingsat) R 19785 19785 18809 0 -1 4194304 138334 0 0 0 324458 2891 0 0 20 0 1 0 33186734 1562451968 280795 18446744073709551615 4227072 8923433 140726310979984 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 18153472 140726310988112 140726310988328 140726310988328 140726310993898 0
/proc/19787/statm: 381458 280795 2464 1147 0 368885 0
Current children cumulated CPU time: 3273.49 s
Current children cumulated vsize: 1530024 KiB
Current children cumulated memory: 1126124 KiB
[startup+3342.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/270 20103
/proc/meminfo: memFree=103251612/131249988 swapFree=33010684/33010684
[pid=19785] ppid=19782 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/19785/stat : 19785 (run-dec-ls-log.) S 19782 19785 18809 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 33186734 4292608 736 18446744073709551615 94842027208704 94842028103237 140723857238016 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94842028342288 94842028390032 94842059374592 140723857242395 140723857242593 140723857242593 140723857248195 0
/proc/19785/statm: 1048 736 672 219 0 110 0
[pid=19787] ppid=19785 vsize=1532812 memory=1129324 CPUtime=3333.31 cores=5,7
/proc/19787/stat : 19787 (roundingsat) R 19785 19785 18809 0 -1 4194304 139862 0 0 0 330413 2918 0 0 20 0 1 0 33186734 1569599488 282331 18446744073709551615 4227072 8923433 140726310979984 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 18153472 140726310988112 140726310988328 140726310988328 140726310993898 0
/proc/19787/statm: 383203 282331 2464 1147 0 370630 0
Current children cumulated CPU time: 3333.31 s
Current children cumulated vsize: 1537004 KiB
Current children cumulated memory: 1132268 KiB
[startup+3402.3 s]
/proc/loadavg: 4.21 4.14 4.10 5/272 20108
/proc/meminfo: memFree=102665828/131249988 swapFree=33010684/33010684
[pid=19785] ppid=19782 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/19785/stat : 19785 (run-dec-ls-log.) S 19782 19785 18809 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 33186734 4292608 736 18446744073709551615 94842027208704 94842028103237 140723857238016 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94842028342288 94842028390032 94842059374592 140723857242395 140723857242593 140723857242593 140723857248195 0
/proc/19785/statm: 1048 736 672 219 0 110 0
[pid=19787] ppid=19785 vsize=1725744 memory=1287956 CPUtime=3393.14 cores=5,7
/proc/19787/stat : 19787 (roundingsat) R 19785 19785 18809 0 -1 4194304 178514 0 0 0 336347 2967 0 0 20 0 1 0 33186734 1767161856 321989 18446744073709551615 4227072 8923433 140726310979984 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 18153472 140726310988112 140726310988328 140726310988328 140726310993898 0
/proc/19787/statm: 431436 321989 2464 1147 0 418863 0
Current children cumulated CPU time: 3393.14 s
Current children cumulated vsize: 1729936 KiB
Current children cumulated memory: 1290900 KiB
[startup+3462.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/272 20110
/proc/meminfo: memFree=102414548/131249988 swapFree=33010684/33010684
[pid=19785] ppid=19782 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/19785/stat : 19785 (run-dec-ls-log.) S 19782 19785 18809 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 33186734 4292608 736 18446744073709551615 94842027208704 94842028103237 140723857238016 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94842028342288 94842028390032 94842059374592 140723857242395 140723857242593 140723857242593 140723857248195 0
/proc/19785/statm: 1048 736 672 219 0 110 0
[pid=19787] ppid=19785 vsize=1725744 memory=1288084 CPUtime=3452.97 cores=5,7
/proc/19787/stat : 19787 (roundingsat) R 19785 19785 18809 0 -1 4194304 178688 0 0 0 342302 2995 0 0 20 0 1 0 33186734 1767161856 322021 18446744073709551615 4227072 8923433 140726310979984 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 18153472 140726310988112 140726310988328 140726310988328 140726310993898 0
/proc/19787/statm: 431436 322021 2464 1147 0 418863 0
Current children cumulated CPU time: 3452.97 s
Current children cumulated vsize: 1729936 KiB
Current children cumulated memory: 1291028 KiB
[startup+3522.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/272 20112
/proc/meminfo: memFree=102068020/131249988 swapFree=33010684/33010684
[pid=19785] ppid=19782 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/19785/stat : 19785 (run-dec-ls-log.) S 19782 19785 18809 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 33186734 4292608 736 18446744073709551615 94842027208704 94842028103237 140723857238016 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94842028342288 94842028390032 94842059374592 140723857242395 140723857242593 140723857242593 140723857248195 0
/proc/19785/statm: 1048 736 672 219 0 110 0
[pid=19787] ppid=19785 vsize=1725744 memory=1288084 CPUtime=3512.81 cores=5,7
/proc/19787/stat : 19787 (roundingsat) R 19785 19785 18809 0 -1 4194304 178690 0 0 0 348240 3041 0 0 20 0 1 0 33186734 1767161856 322021 18446744073709551615 4227072 8923433 140726310979984 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 18153472 140726310988112 140726310988328 140726310988328 140726310993898 0
/proc/19787/statm: 431436 322021 2464 1147 0 418863 0
Current children cumulated CPU time: 3512.81 s
Current children cumulated vsize: 1729936 KiB
Current children cumulated memory: 1291028 KiB
[startup+3582.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/272 20114
/proc/meminfo: memFree=101784416/131249988 swapFree=33010684/33010684
[pid=19785] ppid=19782 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/19785/stat : 19785 (run-dec-ls-log.) S 19782 19785 18809 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 33186734 4292608 736 18446744073709551615 94842027208704 94842028103237 140723857238016 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94842028342288 94842028390032 94842059374592 140723857242395 140723857242593 140723857242593 140723857248195 0
/proc/19785/statm: 1048 736 672 219 0 110 0
[pid=19787] ppid=19785 vsize=1725744 memory=1296020 CPUtime=3572.64 cores=5,7
/proc/19787/stat : 19787 (roundingsat) R 19785 19785 18809 0 -1 4194304 178709 0 0 0 354166 3098 0 0 20 0 1 0 33186734 1767161856 324005 18446744073709551615 4227072 8923433 140726310979984 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 18153472 140726310988112 140726310988328 140726310988328 140726310993898 0
/proc/19787/statm: 431436 324005 2464 1147 0 418863 0
Current children cumulated CPU time: 3572.64 s
Current children cumulated vsize: 1729936 KiB
Current children cumulated memory: 1298964 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.8 s]
/proc/loadavg: 4.09 4.11 4.09 5/271 20114
/proc/meminfo: memFree=101528152/131249988 swapFree=33010684/33010684
[pid=19785] ppid=19782 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/19785/stat : 19785 (run-dec-ls-log.) S 19782 19785 18809 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 33186734 4292608 736 18446744073709551615 94842027208704 94842028103237 140723857238016 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94842028342288 94842028390032 94842059374592 140723857242395 140723857242593 140723857242593 140723857248195 0
/proc/19785/statm: 1048 736 672 219 0 110 0
[pid=19787] ppid=19785 vsize=1725744 memory=1296788 CPUtime=3600.07 cores=5,7
/proc/19787/stat : 19787 (roundingsat) R 19785 19785 18809 0 -1 4194304 178718 0 0 0 356886 3121 0 0 20 0 1 0 33186734 1767161856 324197 18446744073709551615 4227072 8923433 140726310979984 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 18153472 140726310988112 140726310988328 140726310988328 140726310993898 0
/proc/19787/statm: 431436 324197 2464 1147 0 418863 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 1729936 KiB
Current children cumulated memory: 1299732 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3609.8 s]
# the end of solver process 19785 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.002717 s
Sleeping 2 seconds
[startup+3609.84 s]
# the end of solver process 19787 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3568.88 s, system=31.2376 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
Child status: 2
Real time (s): 3609.84
CPU time (s): 3600.12
CPU user time (s): 3568.88
CPU system time (s): 31.2376
CPU usage (%): 99.7306
Max. virtual memory (cumulated for all children) (KiB): 1729936
Max. memory (cumulated for all children) (KiB): 1299732
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3568.88
system time used= 31.2376
maximum resident set size= 1297044
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 178945
page faults= 0
swaps= 0
block input operations= 0
block output operations= 12188128
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 343
involuntary context switches= 5342
# summary of solver processes directly reported to runsolver:
# pid: 19785,19787
# total CPU time (s): 3600.12
# total CPU user time (s): 3568.88
# total CPU system time (s): 31.2376
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.42993 second user time and 16.5643 second system time
The end
Begin job on nodeC034 at 2025-06-29 07:31:19
IDJOB=4507051
IDBENCH=158319
IDSOLVER=3354
FILE ID=nodeC034/4507051-1751175079
RUNJOBID= nodeC034-1751167846-18822
SLURM_JOB_ID= 9587509
Free space on /tmp= 432748 MiB
SOLVER NAME= roundingsat-ls-log 63f22ad
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathNG/normalized-NG_K155.opb
COMMAND LINE= run-dec-ls-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4507051-1751175079/watcher-4507051-1751175079 -o /tmp/evaluation-result-4507051-1751175079/solver-4507051-1751175079 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1751167846-18822 --watchdog 3760 --file-size-limit 100000 run-dec-ls-log.sh HOME/instance-4507051-1751175079.opb PROOFDIR/proof-4507051-1751175079
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 4394b20101c323a14e6df6504cadd31d
RANDOM SEED=73268541
nodeC034 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.757
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.53
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.750
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.53
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 : 3560.351
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.53
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 : 3611.136
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.53
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.757
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.53
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 : 3622.795
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.53
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 : 3603.540
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.53
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 : 3599.805
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.53
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249988 kB
MemFree: 118145240 kB
MemAvailable: 124434796 kB
Buffers: 3280 kB
Cached: 7092956 kB
SwapCached: 0 kB
Active: 5620432 kB
Inactive: 6871820 kB
Active(anon): 5414144 kB
Inactive(anon): 0 kB
Active(file): 206288 kB
Inactive(file): 6871820 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 88976 kB
Writeback: 0 kB
AnonPages: 5392280 kB
Mapped: 115072 kB
Shmem: 18104 kB
KReclaimable: 100976 kB
Slab: 190156 kB
SReclaimable: 100976 kB
SUnreclaim: 89180 kB
KernelStack: 4400 kB
PageTables: 13820 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635676 kB
Committed_AS: 6313524 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150632 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 4190208 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: 189140 kB
DirectMap2M: 7970816 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 433028 MiB
End job on nodeC034 at 2025-06-29 08:31:29