0.00/0.01 c RoundingSat 2
0.00/0.01 c branch pb25
0.00/0.01 c commit 63f22ad
0.08/0.13 c #variables 18445 #constraints 18757
96.23/96.54 c #Conflicts: 1000 | #Constraints: 19756
96.23/96.54 c #Conflicts: 2000 | #Constraints: 20756
96.23/96.54 c INPROCESSING
96.23/96.54 c GARBAGE COLLECT
96.23/96.54 c #Conflicts: 3000 | #Constraints: 19996
96.23/96.54 c #Conflicts: 4000 | #Constraints: 20996
96.23/96.54 c INPROCESSING
96.23/96.54 c GARBAGE COLLECT
96.23/96.54 c #Conflicts: 5000 | #Constraints: 20464
96.23/96.54 c #Conflicts: 6000 | #Constraints: 21464
96.23/96.54 c INPROCESSING
96.23/96.54 c GARBAGE COLLECT
96.23/96.54 c #Conflicts: 7000 | #Constraints: 20554
96.23/96.54 c #Conflicts: 8000 | #Constraints: 21554
96.23/96.54 c #Conflicts: 9000 | #Constraints: 22554
96.23/96.54 c INPROCESSING
96.23/96.54 c GARBAGE COLLECT
96.23/96.54 c #Conflicts: 10000 | #Constraints: 21335
96.23/96.54 c #Conflicts: 11000 | #Constraints: 22335
96.23/96.54 c #Conflicts: 12000 | #Constraints: 23335
96.23/96.54 c INPROCESSING
96.23/96.54 c GARBAGE COLLECT
96.23/96.54 c #Conflicts: 13000 | #Constraints: 21870
96.23/96.54 c #Conflicts: 14000 | #Constraints: 22870
96.23/96.54 c #Conflicts: 15000 | #Constraints: 23870
96.23/96.54 c #Conflicts: 16000 | #Constraints: 24870
96.23/96.54 c #Conflicts: 17000 | #Constraints: 25870
96.23/96.54 c #Conflicts: 18000 | #Constraints: 26870
96.23/96.54 c #Conflicts: 19000 | #Constraints: 27870
96.23/96.54 c #Conflicts: 20000 | #Constraints: 28870
96.23/96.54 c INPROCESSING
96.23/96.54 c GARBAGE COLLECT
96.23/96.54 c #Conflicts: 21000 | #Constraints: 24544
96.23/96.54 c #Conflicts: 22000 | #Constraints: 25544
96.23/96.54 c #Conflicts: 23000 | #Constraints: 26544
96.23/96.54 c #Conflicts: 24000 | #Constraints: 27544
96.23/96.54 c INPROCESSING
96.23/96.54 c GARBAGE COLLECT
96.23/96.54 c #Conflicts: 25000 | #Constraints: 23825
96.23/96.54 c #Conflicts: 26000 | #Constraints: 24825
96.23/96.54 c #Conflicts: 27000 | #Constraints: 25825
96.23/96.54 c #Conflicts: 28000 | #Constraints: 26825
96.23/96.54 c INPROCESSING
96.23/96.54 c GARBAGE COLLECT
96.23/96.54 c #Conflicts: 29000 | #Constraints: 23461
96.23/96.54 c #Conflicts: 30000 | #Constraints: 24461
96.23/96.54 c #Conflicts: 31000 | #Constraints: 25461
96.23/96.54 c #Conflicts: 32000 | #Constraints: 26461
96.23/96.54 c #Conflicts: 33000 | #Constraints: 27461
96.23/96.54 c #Conflicts: 34000 | #Constraints: 28461
96.23/96.54 c #Conflicts: 35000 | #Constraints: 29461
96.23/96.54 c #Conflicts: 36000 | #Constraints: 30461
96.23/96.54 c #Conflicts: 37000 | #Constraints: 31461
96.23/96.54 c #Conflicts: 38000 | #Constraints: 32461
96.23/96.54 c #Conflicts: 39000 | #Constraints: 33461
96.23/96.54 c #Conflicts: 40000 | #Constraints: 34461
96.23/96.54 c #Conflicts: 41000 | #Constraints: 35461
96.23/96.54 c INPROCESSING
96.23/96.54 c GARBAGE COLLECT
96.23/96.54 c #Conflicts: 42000 | #Constraints: 27905
96.23/96.54 c #Conflicts: 43000 | #Constraints: 28905
96.23/96.54 c #Conflicts: 44000 | #Constraints: 29905
96.23/96.54 c #Conflicts: 45000 | #Constraints: 30905
96.23/96.54 c #Conflicts: 46000 | #Constraints: 31905
96.23/96.54 c #Conflicts: 47000 | #Constraints: 32905
96.23/96.54 c INPROCESSING
96.23/96.54 c GARBAGE COLLECT
96.23/96.54 c #Conflicts: 48000 | #Constraints: 26901
96.23/96.54 c #Conflicts: 49000 | #Constraints: 27901
96.23/96.54 c #Conflicts: 50000 | #Constraints: 28901
96.23/96.54 c #Conflicts: 51000 | #Constraints: 29901
96.23/96.54 c #Conflicts: 52000 | #Constraints: 30901
96.23/96.54 c #Conflicts: 53000 | #Constraints: 31901
96.23/96.54 c #Conflicts: 54000 | #Constraints: 32901
96.23/96.54 c #Conflicts: 55000 | #Constraints: 33901
96.23/96.54 c #Conflicts: 56000 | #Constraints: 34901
96.23/96.54 c #Conflicts: 57000 | #Constraints: 35901
96.23/96.54 c #Conflicts: 58000 | #Constraints: 36901
96.23/96.54 c #Conflicts: 59000 | #Constraints: 37901
96.23/96.54 c #Conflicts: 60000 | #Constraints: 38901
96.23/96.54 c #Conflicts: 61000 | #Constraints: 39901
96.23/96.54 c #Conflicts: 62000 | #Constraints: 40901
96.23/96.54 c INPROCESSING
96.23/96.54 c GARBAGE COLLECT
96.23/96.54 c #Conflicts: 63000 | #Constraints: 30623
96.23/96.54 c #Conflicts: 64000 | #Constraints: 31623
96.23/96.54 c #Conflicts: 65000 | #Constraints: 32623
96.23/96.54 c #Conflicts: 66000 | #Constraints: 33623
96.23/96.54 c #Conflicts: 67000 | #Constraints: 34623
96.23/96.54 c #Conflicts: 68000 | #Constraints: 35623
96.23/96.54 c #Conflicts: 69000 | #Constraints: 36623
96.23/96.54 c INPROCESSING
96.23/96.54 c GARBAGE COLLECT
96.23/96.54 c #Conflicts: 70000 | #Constraints: 28643
96.23/96.54 c #Conflicts: 71000 | #Constraints: 29643
96.23/96.54 c #Conflicts: 72000 | #Constraints: 30643
211.04/211.69 c #Conflicts: 73000 | #Constraints: 31643
211.04/211.69 c #Conflicts: 74000 | #Constraints: 32643
211.04/211.69 c #Conflicts: 75000 | #Constraints: 33643
211.04/211.69 c #Conflicts: 76000 | #Constraints: 34643
211.04/211.69 c #Conflicts: 77000 | #Constraints: 35643
211.04/211.69 c #Conflicts: 78000 | #Constraints: 36643
211.04/211.69 c #Conflicts: 79000 | #Constraints: 37643
211.04/211.69 c #Conflicts: 80000 | #Constraints: 38643
211.04/211.69 c #Conflicts: 81000 | #Constraints: 39643
211.04/211.69 c #Conflicts: 82000 | #Constraints: 40643
211.04/211.69 c #Conflicts: 83000 | #Constraints: 41643
211.04/211.69 c #Conflicts: 84000 | #Constraints: 42643
211.04/211.69 c #Conflicts: 85000 | #Constraints: 43643
211.04/211.69 c #Conflicts: 86000 | #Constraints: 44643
211.04/211.69 c #Conflicts: 87000 | #Constraints: 45643
211.04/211.69 c #Conflicts: 88000 | #Constraints: 46643
211.04/211.69 c INPROCESSING
211.04/211.69 c GARBAGE COLLECT
211.04/211.69 c #Conflicts: 89000 | #Constraints: 33723
211.04/211.69 c #Conflicts: 90000 | #Constraints: 34723
211.04/211.69 c #Conflicts: 91000 | #Constraints: 35723
211.04/211.69 c #Conflicts: 92000 | #Constraints: 36723
211.04/211.69 c #Conflicts: 93000 | #Constraints: 37723
211.04/211.69 c #Conflicts: 94000 | #Constraints: 38723
211.04/211.69 c #Conflicts: 95000 | #Constraints: 39723
211.04/211.69 c #Conflicts: 96000 | #Constraints: 40723
211.04/211.69 c INPROCESSING
211.04/211.69 c GARBAGE COLLECT
211.04/211.69 c #Conflicts: 97000 | #Constraints: 30808
211.04/211.69 c #Conflicts: 98000 | #Constraints: 31808
211.04/211.69 c #Conflicts: 99000 | #Constraints: 32808
211.04/211.69 c #Conflicts: 100000 | #Constraints: 33808
211.04/211.69 c #Conflicts: 101000 | #Constraints: 34809
211.04/211.69 c #Conflicts: 102000 | #Constraints: 35809
211.04/211.69 c #Conflicts: 103000 | #Constraints: 36809
211.04/211.69 c #Conflicts: 104000 | #Constraints: 37809
211.04/211.69 c #Conflicts: 105000 | #Constraints: 38809
211.04/211.69 c #Conflicts: 106000 | #Constraints: 39809
211.04/211.69 c #Conflicts: 107000 | #Constraints: 40809
211.04/211.69 c #Conflicts: 108000 | #Constraints: 41809
211.04/211.69 c #Conflicts: 109000 | #Constraints: 42809
211.04/211.69 c #Conflicts: 110000 | #Constraints: 43809
211.04/211.69 c #Conflicts: 111000 | #Constraints: 44809
211.04/211.69 c #Conflicts: 112000 | #Constraints: 45809
211.04/211.69 c #Conflicts: 113000 | #Constraints: 46809
211.04/211.69 c #Conflicts: 114000 | #Constraints: 47809
211.04/211.69 c #Conflicts: 115000 | #Constraints: 48809
211.04/211.69 c #Conflicts: 116000 | #Constraints: 49809
211.04/211.69 c #Conflicts: 117000 | #Constraints: 50809
211.04/211.69 c #Conflicts: 118000 | #Constraints: 51809
211.04/211.69 c INPROCESSING
211.04/211.69 c GARBAGE COLLECT
211.04/211.69 c #Conflicts: 119000 | #Constraints: 36392
211.04/211.69 c #Conflicts: 120000 | #Constraints: 37392
211.04/211.69 c #Conflicts: 121000 | #Constraints: 38392
211.04/211.69 c #Conflicts: 122000 | #Constraints: 39392
211.04/211.69 c #Conflicts: 123000 | #Constraints: 40392
211.04/211.69 c #Conflicts: 124000 | #Constraints: 41392
211.04/211.69 c #Conflicts: 125000 | #Constraints: 42392
211.04/211.69 c #Conflicts: 126000 | #Constraints: 43392
211.04/211.69 c #Conflicts: 127000 | #Constraints: 44392
211.04/211.69 c #Conflicts: 128000 | #Constraints: 45392
211.04/211.69 c INPROCESSING
211.04/211.69 c GARBAGE COLLECT
211.04/211.69 c #Conflicts: 129000 | #Constraints: 34197
211.04/211.69 c #Conflicts: 130000 | #Constraints: 35197
211.04/211.69 c #Conflicts: 131000 | #Constraints: 36197
211.04/211.69 c #Conflicts: 132000 | #Constraints: 37197
211.04/211.69 c #Conflicts: 133000 | #Constraints: 38197
211.04/211.69 c #Conflicts: 134000 | #Constraints: 39197
211.04/211.69 c #Conflicts: 135000 | #Constraints: 40197
211.04/211.69 c #Conflicts: 136000 | #Constraints: 41197
211.04/211.69 c #Conflicts: 137000 | #Constraints: 42197
211.04/211.69 c #Conflicts: 138000 | #Constraints: 43197
211.04/211.69 c #Conflicts: 139000 | #Constraints: 44197
211.04/211.69 c #Conflicts: 140000 | #Constraints: 45197
211.04/211.69 c #Conflicts: 141000 | #Constraints: 46197
211.04/211.69 c #Conflicts: 142000 | #Constraints: 47197
211.04/211.69 c #Conflicts: 143000 | #Constraints: 48197
211.04/211.69 c #Conflicts: 144000 | #Constraints: 49197
211.04/211.69 c #Conflicts: 145000 | #Constraints: 50197
211.04/211.69 c #Conflicts: 146000 | #Constraints: 51197
211.04/211.69 c #Conflicts: 147000 | #Constraints: 52197
211.04/211.69 c #Conflicts: 148000 | #Constraints: 53197
337.54/338.46 c #Conflicts: 149000 | #Constraints: 54197
337.54/338.46 c #Conflicts: 150000 | #Constraints: 55197
337.54/338.46 c #Conflicts: 151000 | #Constraints: 56197
337.54/338.46 c #Conflicts: 152000 | #Constraints: 57197
337.54/338.46 c #Conflicts: 153000 | #Constraints: 58197
337.54/338.46 c INPROCESSING
337.54/338.46 c GARBAGE COLLECT
337.54/338.46 c #Conflicts: 154000 | #Constraints: 39908
337.54/338.46 c #Conflicts: 155000 | #Constraints: 40908
337.54/338.46 c #Conflicts: 156000 | #Constraints: 41908
337.54/338.46 c #Conflicts: 157000 | #Constraints: 42908
337.54/338.46 c #Conflicts: 158000 | #Constraints: 43908
337.54/338.46 c #Conflicts: 159000 | #Constraints: 44908
337.54/338.46 c #Conflicts: 160000 | #Constraints: 45908
337.54/338.46 c #Conflicts: 161000 | #Constraints: 46908
337.54/338.46 c #Conflicts: 162000 | #Constraints: 47908
337.54/338.46 c #Conflicts: 163000 | #Constraints: 48908
337.54/338.46 c INPROCESSING
337.54/338.46 c GARBAGE COLLECT
337.54/338.46 c #Conflicts: 164000 | #Constraints: 35981
337.54/338.46 c #Conflicts: 165000 | #Constraints: 36981
337.54/338.46 c #Conflicts: 166000 | #Constraints: 37981
337.54/338.46 c #Conflicts: 167000 | #Constraints: 38981
337.54/338.46 c #Conflicts: 168000 | #Constraints: 39981
337.54/338.46 c #Conflicts: 169000 | #Constraints: 40981
337.54/338.46 c #Conflicts: 170000 | #Constraints: 41981
337.54/338.46 c #Conflicts: 171000 | #Constraints: 42981
337.54/338.46 c #Conflicts: 172000 | #Constraints: 43981
337.54/338.46 c #Conflicts: 173000 | #Constraints: 44981
337.54/338.46 c #Conflicts: 174000 | #Constraints: 45981
337.54/338.46 c #Conflicts: 175000 | #Constraints: 46981
337.54/338.46 c #Conflicts: 176000 | #Constraints: 47981
337.54/338.46 c #Conflicts: 177000 | #Constraints: 48981
337.54/338.46 c #Conflicts: 178000 | #Constraints: 49981
337.54/338.46 c #Conflicts: 179000 | #Constraints: 50981
337.54/338.46 c #Conflicts: 180000 | #Constraints: 51981
337.54/338.46 c #Conflicts: 181000 | #Constraints: 52981
337.54/338.46 c #Conflicts: 182000 | #Constraints: 53981
337.54/338.46 c #Conflicts: 183000 | #Constraints: 54981
337.54/338.46 c #Conflicts: 184000 | #Constraints: 55981
337.54/338.46 c #Conflicts: 185000 | #Constraints: 56981
337.54/338.46 c #Conflicts: 186000 | #Constraints: 57981
337.54/338.46 c #Conflicts: 187000 | #Constraints: 58981
337.54/338.46 c #Conflicts: 188000 | #Constraints: 59981
337.54/338.46 c #Conflicts: 189000 | #Constraints: 60981
337.54/338.46 c #Conflicts: 190000 | #Constraints: 61981
337.54/338.46 c #Conflicts: 191000 | #Constraints: 62981
337.54/338.46 c INPROCESSING
337.54/338.46 c GARBAGE COLLECT
337.54/338.46 c #Conflicts: 192000 | #Constraints: 42041
337.54/338.46 c #Conflicts: 193000 | #Constraints: 43041
337.54/338.46 c #Conflicts: 194000 | #Constraints: 44041
337.54/338.46 c #Conflicts: 195000 | #Constraints: 45041
337.54/338.46 c #Conflicts: 196000 | #Constraints: 46041
337.54/338.46 c #Conflicts: 197000 | #Constraints: 47041
337.54/338.46 c #Conflicts: 198000 | #Constraints: 48041
337.54/338.46 c #Conflicts: 199000 | #Constraints: 49041
337.54/338.46 c #Conflicts: 200000 | #Constraints: 50041
337.54/338.46 c #Conflicts: 201000 | #Constraints: 51041
337.54/338.46 c #Conflicts: 202000 | #Constraints: 52041
337.54/338.46 c #Conflicts: 203000 | #Constraints: 53041
337.54/338.46 c #Conflicts: 204000 | #Constraints: 54041
337.54/338.46 c INPROCESSING
337.54/338.46 c GARBAGE COLLECT
337.54/338.46 c #Conflicts: 205000 | #Constraints: 39301
337.54/338.46 c #Conflicts: 206000 | #Constraints: 40301
337.54/338.46 c #Conflicts: 207000 | #Constraints: 41301
337.54/338.46 c #Conflicts: 208000 | #Constraints: 42301
337.54/338.46 c #Conflicts: 209000 | #Constraints: 43301
337.54/338.46 c #Conflicts: 210000 | #Constraints: 44301
337.54/338.46 c #Conflicts: 211000 | #Constraints: 45301
337.54/338.46 c #Conflicts: 212000 | #Constraints: 46301
337.54/338.46 c #Conflicts: 213000 | #Constraints: 47301
337.54/338.46 c #Conflicts: 214000 | #Constraints: 48301
337.54/338.46 c #Conflicts: 215000 | #Constraints: 49301
337.54/338.46 c #Conflicts: 216000 | #Constraints: 50301
337.54/338.46 c #Conflicts: 217000 | #Constraints: 51301
337.54/338.46 c #Conflicts: 218000 | #Constraints: 52301
337.54/338.46 c #Conflicts: 219000 | #Constraints: 53301
337.54/338.46 c #Conflicts: 220000 | #Constraints: 54301
337.54/338.46 c #Conflicts: 221000 | #Constraints: 55301
337.54/338.46 c #Conflicts: 222000 | #Constraints: 56301
337.54/338.46 c #Conflicts: 223000 | #Constraints: 57301
337.54/338.46 c #Conflicts: 224000 | #Constraints: 58301
534.47/535.86 c #Conflicts: 225000 | #Constraints: 59301
534.47/535.86 c #Conflicts: 226000 | #Constraints: 60301
534.47/535.86 c #Conflicts: 227000 | #Constraints: 61301
534.47/535.86 c #Conflicts: 228000 | #Constraints: 62301
534.47/535.86 c #Conflicts: 229000 | #Constraints: 63301
534.47/535.86 c #Conflicts: 230000 | #Constraints: 64301
534.47/535.86 c #Conflicts: 231000 | #Constraints: 65301
534.47/535.86 c #Conflicts: 232000 | #Constraints: 66301
534.47/535.86 c #Conflicts: 233000 | #Constraints: 67301
534.47/535.86 c #Conflicts: 234000 | #Constraints: 68301
534.47/535.86 c #Conflicts: 235000 | #Constraints: 69301
534.47/535.86 c INPROCESSING
534.47/535.86 c GARBAGE COLLECT
534.47/535.86 c #Conflicts: 236000 | #Constraints: 45471
534.47/535.86 c #Conflicts: 237000 | #Constraints: 46471
534.47/535.86 c #Conflicts: 238000 | #Constraints: 47471
534.47/535.86 c #Conflicts: 239000 | #Constraints: 48471
534.47/535.86 c #Conflicts: 240000 | #Constraints: 49471
534.47/535.86 c #Conflicts: 241000 | #Constraints: 50471
534.47/535.86 c #Conflicts: 242000 | #Constraints: 51471
534.47/535.86 c #Conflicts: 243000 | #Constraints: 52471
534.47/535.86 c #Conflicts: 244000 | #Constraints: 53471
534.47/535.86 c #Conflicts: 245000 | #Constraints: 54471
534.47/535.86 c #Conflicts: 246000 | #Constraints: 55471
534.47/535.86 c #Conflicts: 247000 | #Constraints: 56471
534.47/535.86 c #Conflicts: 248000 | #Constraints: 57471
534.47/535.86 c INPROCESSING
534.47/535.86 c GARBAGE COLLECT
534.47/535.86 c #Conflicts: 249000 | #Constraints: 40364
534.47/535.86 c #Conflicts: 250000 | #Constraints: 41364
534.47/535.86 c #Conflicts: 251000 | #Constraints: 42364
534.47/535.86 c #Conflicts: 252000 | #Constraints: 43364
534.47/535.86 c #Conflicts: 253000 | #Constraints: 44364
534.47/535.86 c #Conflicts: 254000 | #Constraints: 45364
534.47/535.86 c #Conflicts: 255000 | #Constraints: 46364
534.47/535.86 c #Conflicts: 256000 | #Constraints: 47364
534.47/535.86 c #Conflicts: 257000 | #Constraints: 48364
534.47/535.86 c #Conflicts: 258000 | #Constraints: 49364
534.47/535.86 c #Conflicts: 259000 | #Constraints: 50364
534.47/535.86 c #Conflicts: 260000 | #Constraints: 51364
534.47/535.86 c #Conflicts: 261000 | #Constraints: 52364
534.47/535.86 c #Conflicts: 262000 | #Constraints: 53364
534.47/535.86 c #Conflicts: 263000 | #Constraints: 54364
534.47/535.86 c #Conflicts: 264000 | #Constraints: 55364
534.47/535.86 c #Conflicts: 265000 | #Constraints: 56364
534.47/535.86 c #Conflicts: 266000 | #Constraints: 57364
534.47/535.86 c #Conflicts: 267000 | #Constraints: 58364
534.47/535.86 c #Conflicts: 268000 | #Constraints: 59364
534.47/535.86 c #Conflicts: 269000 | #Constraints: 60364
534.47/535.86 c #Conflicts: 270000 | #Constraints: 61364
534.47/535.86 c #Conflicts: 271000 | #Constraints: 62364
534.47/535.86 c #Conflicts: 272000 | #Constraints: 63364
534.47/535.86 c #Conflicts: 273000 | #Constraints: 64364
534.47/535.86 c #Conflicts: 274000 | #Constraints: 65364
534.47/535.86 c #Conflicts: 275000 | #Constraints: 66364
534.47/535.86 c #Conflicts: 276000 | #Constraints: 67364
534.47/535.86 c #Conflicts: 277000 | #Constraints: 68364
534.47/535.86 c #Conflicts: 278000 | #Constraints: 69364
534.47/535.86 c #Conflicts: 279000 | #Constraints: 70364
534.47/535.86 c #Conflicts: 280000 | #Constraints: 71364
534.47/535.86 c #Conflicts: 281000 | #Constraints: 72364
534.47/535.86 c #Conflicts: 282000 | #Constraints: 73364
534.47/535.86 c INPROCESSING
534.47/535.86 c GARBAGE COLLECT
534.47/535.86 c #Conflicts: 283000 | #Constraints: 47222
534.47/535.86 c #Conflicts: 284000 | #Constraints: 48222
534.47/535.86 c #Conflicts: 285000 | #Constraints: 49222
534.47/535.86 c #Conflicts: 286000 | #Constraints: 50222
534.47/535.86 c #Conflicts: 287000 | #Constraints: 51222
534.47/535.86 c #Conflicts: 288000 | #Constraints: 52222
534.47/535.86 c #Conflicts: 289000 | #Constraints: 53222
534.47/535.86 c #Conflicts: 290000 | #Constraints: 54222
534.47/535.86 c #Conflicts: 291000 | #Constraints: 55222
534.47/535.86 c #Conflicts: 292000 | #Constraints: 56222
534.47/535.86 c #Conflicts: 293000 | #Constraints: 57222
534.47/535.86 c #Conflicts: 294000 | #Constraints: 58222
534.47/535.86 c #Conflicts: 295000 | #Constraints: 59222
534.47/535.86 c #Conflicts: 296000 | #Constraints: 60222
534.47/535.86 c #Conflicts: 297000 | #Constraints: 61222
534.47/535.86 c INPROCESSING
534.47/535.86 c GARBAGE COLLECT
534.47/535.86 c #Conflicts: 298000 | #Constraints: 43027
534.47/535.86 c #Conflicts: 299000 | #Constraints: 44027
534.47/535.86 c #Conflicts: 300000 | #Constraints: 45027
664.46/666.18 c #Conflicts: 301000 | #Constraints: 46027
664.46/666.18 c #Conflicts: 302000 | #Constraints: 47027
664.46/666.18 c #Conflicts: 303000 | #Constraints: 48027
664.46/666.18 c #Conflicts: 304000 | #Constraints: 49027
664.46/666.18 c #Conflicts: 305000 | #Constraints: 50027
664.46/666.18 c #Conflicts: 306000 | #Constraints: 51027
664.46/666.18 c #Conflicts: 307000 | #Constraints: 52027
664.46/666.18 c #Conflicts: 308000 | #Constraints: 53027
664.46/666.18 c #Conflicts: 309000 | #Constraints: 54027
664.46/666.18 c #Conflicts: 310000 | #Constraints: 55027
664.46/666.18 c #Conflicts: 311000 | #Constraints: 56027
664.46/666.18 c #Conflicts: 312000 | #Constraints: 57027
664.46/666.18 c #Conflicts: 313000 | #Constraints: 58027
664.46/666.18 c #Conflicts: 314000 | #Constraints: 59027
664.46/666.18 c #Conflicts: 315000 | #Constraints: 60027
664.46/666.18 c #Conflicts: 316000 | #Constraints: 61027
664.46/666.18 c #Conflicts: 317000 | #Constraints: 62027
664.46/666.18 c #Conflicts: 318000 | #Constraints: 63027
664.46/666.18 c #Conflicts: 319000 | #Constraints: 64027
664.46/666.18 c #Conflicts: 320000 | #Constraints: 65027
664.46/666.18 c #Conflicts: 321000 | #Constraints: 66027
664.46/666.18 c #Conflicts: 322000 | #Constraints: 67027
664.46/666.18 c #Conflicts: 323000 | #Constraints: 68027
664.46/666.18 c #Conflicts: 324000 | #Constraints: 69027
664.46/666.18 c #Conflicts: 325000 | #Constraints: 70027
664.46/666.18 c #Conflicts: 326000 | #Constraints: 71027
664.46/666.18 c #Conflicts: 327000 | #Constraints: 72027
664.46/666.18 c #Conflicts: 328000 | #Constraints: 73027
664.46/666.18 c #Conflicts: 329000 | #Constraints: 74027
664.46/666.18 c #Conflicts: 330000 | #Constraints: 75027
664.46/666.18 c #Conflicts: 331000 | #Constraints: 76027
664.46/666.18 c #Conflicts: 332000 | #Constraints: 77027
664.46/666.18 c #Conflicts: 333000 | #Constraints: 78027
664.46/666.18 c #Conflicts: 334000 | #Constraints: 79027
664.46/666.18 c #Conflicts: 335000 | #Constraints: 80027
664.46/666.18 c INPROCESSING
664.46/666.18 c GARBAGE COLLECT
664.46/666.18 c #Conflicts: 336000 | #Constraints: 51197
664.46/666.18 c #Conflicts: 337000 | #Constraints: 52197
664.46/666.18 c #Conflicts: 338000 | #Constraints: 53197
664.46/666.18 c #Conflicts: 339000 | #Constraints: 54197
664.46/666.18 c #Conflicts: 340000 | #Constraints: 55197
664.46/666.18 c #Conflicts: 341000 | #Constraints: 56197
664.46/666.18 c #Conflicts: 342000 | #Constraints: 57197
664.46/666.18 c #Conflicts: 343000 | #Constraints: 58197
664.46/666.18 c #Conflicts: 344000 | #Constraints: 59197
664.46/666.18 c #Conflicts: 345000 | #Constraints: 60197
664.46/666.18 c #Conflicts: 346000 | #Constraints: 61197
664.46/666.18 c #Conflicts: 347000 | #Constraints: 62197
664.46/666.18 c #Conflicts: 348000 | #Constraints: 63197
664.46/666.18 c #Conflicts: 349000 | #Constraints: 64197
664.46/666.18 c #Conflicts: 350000 | #Constraints: 65197
664.46/666.18 c #Conflicts: 351000 | #Constraints: 66197
664.46/666.18 c INPROCESSING
664.46/666.18 c GARBAGE COLLECT
664.46/666.18 c #Conflicts: 352000 | #Constraints: 46276
664.46/666.18 c #Conflicts: 353000 | #Constraints: 47276
664.46/666.18 c #Conflicts: 354000 | #Constraints: 48276
664.46/666.18 c #Conflicts: 355000 | #Constraints: 49276
664.46/666.18 c #Conflicts: 356000 | #Constraints: 50276
664.46/666.18 c #Conflicts: 357000 | #Constraints: 51276
664.46/666.18 c #Conflicts: 358000 | #Constraints: 52276
664.46/666.18 c #Conflicts: 359000 | #Constraints: 53276
664.46/666.18 c #Conflicts: 360000 | #Constraints: 54276
664.46/666.18 c #Conflicts: 361000 | #Constraints: 55276
664.46/666.18 c #Conflicts: 362000 | #Constraints: 56276
664.46/666.18 c #Conflicts: 363000 | #Constraints: 57276
664.46/666.18 c #Conflicts: 364000 | #Constraints: 58276
664.46/666.18 c #Conflicts: 365000 | #Constraints: 59276
664.46/666.18 c #Conflicts: 366000 | #Constraints: 60276
664.46/666.18 c #Conflicts: 367000 | #Constraints: 61276
664.46/666.18 c #Conflicts: 368000 | #Constraints: 62276
664.46/666.18 c #Conflicts: 369000 | #Constraints: 63276
664.46/666.18 c #Conflicts: 370000 | #Constraints: 64276
664.46/666.18 c #Conflicts: 371000 | #Constraints: 65276
664.46/666.18 c #Conflicts: 372000 | #Constraints: 66276
664.46/666.18 c #Conflicts: 373000 | #Constraints: 67276
664.46/666.18 c #Conflicts: 374000 | #Constraints: 68276
664.46/666.18 c #Conflicts: 375000 | #Constraints: 69276
664.46/666.18 c #Conflicts: 376000 | #Constraints: 70276
664.46/666.18 c #Conflicts: 377000 | #Constraints: 71276
664.46/666.18 c #Conflicts: 378000 | #Constraints: 72276
819.39/821.43 c #Conflicts: 379000 | #Constraints: 73276
819.39/821.43 c #Conflicts: 380000 | #Constraints: 74276
819.39/821.43 c #Conflicts: 381000 | #Constraints: 75276
819.39/821.43 c #Conflicts: 382000 | #Constraints: 76276
819.39/821.43 c #Conflicts: 383000 | #Constraints: 77276
819.39/821.43 c #Conflicts: 384000 | #Constraints: 78276
819.39/821.43 c #Conflicts: 385000 | #Constraints: 79276
819.39/821.43 c #Conflicts: 386000 | #Constraints: 80276
819.39/821.43 c #Conflicts: 387000 | #Constraints: 81276
819.39/821.43 c #Conflicts: 388000 | #Constraints: 82276
819.39/821.43 c #Conflicts: 389000 | #Constraints: 83276
819.39/821.43 c #Conflicts: 390000 | #Constraints: 84276
819.39/821.43 c #Conflicts: 391000 | #Constraints: 85276
819.39/821.43 c INPROCESSING
819.39/821.43 c GARBAGE COLLECT
819.39/821.43 c #Conflicts: 392000 | #Constraints: 53616
819.39/821.43 c #Conflicts: 393000 | #Constraints: 54616
819.39/821.43 c #Conflicts: 394000 | #Constraints: 55616
819.39/821.43 c #Conflicts: 395000 | #Constraints: 56616
819.39/821.43 c #Conflicts: 396000 | #Constraints: 57616
819.39/821.43 c #Conflicts: 397000 | #Constraints: 58616
819.39/821.43 c #Conflicts: 398000 | #Constraints: 59616
819.39/821.43 c #Conflicts: 399000 | #Constraints: 60616
819.39/821.43 c #Conflicts: 400000 | #Constraints: 61616
819.39/821.43 c #Conflicts: 401000 | #Constraints: 62616
819.39/821.43 c #Conflicts: 402000 | #Constraints: 63616
819.39/821.43 c #Conflicts: 403000 | #Constraints: 64616
819.39/821.43 c #Conflicts: 404000 | #Constraints: 65616
819.39/821.43 c #Conflicts: 405000 | #Constraints: 66616
819.39/821.43 c #Conflicts: 406000 | #Constraints: 67616
819.39/821.43 c #Conflicts: 407000 | #Constraints: 68616
819.39/821.43 c #Conflicts: 408000 | #Constraints: 69616
819.39/821.43 c INPROCESSING
819.39/821.43 c GARBAGE COLLECT
819.39/821.43 c #Conflicts: 409000 | #Constraints: 48107
819.39/821.43 c #Conflicts: 410000 | #Constraints: 49107
819.39/821.43 c #Conflicts: 411000 | #Constraints: 50107
819.39/821.43 c #Conflicts: 412000 | #Constraints: 51107
819.39/821.43 c #Conflicts: 413000 | #Constraints: 52107
819.39/821.43 c #Conflicts: 414000 | #Constraints: 53107
819.39/821.43 c #Conflicts: 415000 | #Constraints: 54107
819.39/821.43 c #Conflicts: 416000 | #Constraints: 55107
819.39/821.43 c #Conflicts: 417000 | #Constraints: 56107
819.39/821.43 c #Conflicts: 418000 | #Constraints: 57107
819.39/821.43 c #Conflicts: 419000 | #Constraints: 58107
819.39/821.43 c #Conflicts: 420000 | #Constraints: 59107
819.39/821.43 c #Conflicts: 421000 | #Constraints: 60107
819.39/821.43 c #Conflicts: 422000 | #Constraints: 61107
819.39/821.43 c #Conflicts: 423000 | #Constraints: 62107
819.39/821.43 c #Conflicts: 424000 | #Constraints: 63107
819.39/821.43 c #Conflicts: 425000 | #Constraints: 64107
819.39/821.43 c #Conflicts: 426000 | #Constraints: 65107
819.39/821.43 c #Conflicts: 427000 | #Constraints: 66107
819.39/821.43 c #Conflicts: 428000 | #Constraints: 67107
819.39/821.43 c #Conflicts: 429000 | #Constraints: 68107
819.39/821.43 c #Conflicts: 430000 | #Constraints: 69107
819.39/821.43 c #Conflicts: 431000 | #Constraints: 70107
819.39/821.43 c #Conflicts: 432000 | #Constraints: 71107
819.39/821.43 c #Conflicts: 433000 | #Constraints: 72107
819.39/821.43 c #Conflicts: 434000 | #Constraints: 73107
819.39/821.43 c #Conflicts: 435000 | #Constraints: 74107
819.39/821.43 c #Conflicts: 436000 | #Constraints: 75107
819.39/821.43 c #Conflicts: 437000 | #Constraints: 76107
819.39/821.43 c #Conflicts: 438000 | #Constraints: 77107
819.39/821.43 c #Conflicts: 439000 | #Constraints: 78107
819.39/821.43 c #Conflicts: 440000 | #Constraints: 79107
819.39/821.43 c #Conflicts: 441000 | #Constraints: 80107
819.39/821.43 c #Conflicts: 442000 | #Constraints: 81107
819.39/821.43 c #Conflicts: 443000 | #Constraints: 82107
819.39/821.43 c #Conflicts: 444000 | #Constraints: 83107
819.39/821.43 c #Conflicts: 445000 | #Constraints: 84107
819.39/821.43 c #Conflicts: 446000 | #Constraints: 85107
819.39/821.43 c #Conflicts: 447000 | #Constraints: 86107
819.39/821.43 c #Conflicts: 448000 | #Constraints: 87107
819.39/821.43 c #Conflicts: 449000 | #Constraints: 88107
819.39/821.43 c #Conflicts: 450000 | #Constraints: 89107
819.39/821.43 c #Conflicts: 451000 | #Constraints: 90107
819.39/821.43 c #Conflicts: 452000 | #Constraints: 91107
819.39/821.43 c INPROCESSING
819.39/821.43 c GARBAGE COLLECT
819.39/821.43 c #Conflicts: 453000 | #Constraints: 56394
819.39/821.43 c #Conflicts: 454000 | #Constraints: 57394
819.39/821.43 c #Conflicts: 455000 | #Constraints: 58394
1055.50/1058.19 c #Conflicts: 456000 | #Constraints: 59394
1055.50/1058.19 c #Conflicts: 457000 | #Constraints: 60394
1055.50/1058.19 c #Conflicts: 458000 | #Constraints: 61394
1055.50/1058.19 c #Conflicts: 459000 | #Constraints: 62394
1055.50/1058.19 c #Conflicts: 460000 | #Constraints: 63394
1055.50/1058.19 c #Conflicts: 461000 | #Constraints: 64394
1055.50/1058.19 c #Conflicts: 462000 | #Constraints: 65394
1055.50/1058.19 c #Conflicts: 463000 | #Constraints: 66394
1055.50/1058.19 c #Conflicts: 464000 | #Constraints: 67394
1055.50/1058.19 c #Conflicts: 465000 | #Constraints: 68394
1055.50/1058.19 c #Conflicts: 466000 | #Constraints: 69394
1055.50/1058.19 c #Conflicts: 467000 | #Constraints: 70394
1055.50/1058.19 c #Conflicts: 468000 | #Constraints: 71394
1055.50/1058.19 c #Conflicts: 469000 | #Constraints: 72394
1055.50/1058.19 c #Conflicts: 470000 | #Constraints: 73394
1055.50/1058.19 c #Conflicts: 471000 | #Constraints: 74394
1055.50/1058.19 c INPROCESSING
1055.50/1058.19 c GARBAGE COLLECT
1055.50/1058.19 c #Conflicts: 472000 | #Constraints: 50953
1055.50/1058.19 c #Conflicts: 473000 | #Constraints: 51953
1055.50/1058.19 c #Conflicts: 474000 | #Constraints: 52953
1055.50/1058.19 c #Conflicts: 475000 | #Constraints: 53953
1055.50/1058.19 c #Conflicts: 476000 | #Constraints: 54953
1055.50/1058.19 c #Conflicts: 477000 | #Constraints: 55953
1055.50/1058.19 c #Conflicts: 478000 | #Constraints: 56953
1055.50/1058.19 c #Conflicts: 479000 | #Constraints: 57953
1055.50/1058.19 c #Conflicts: 480000 | #Constraints: 58953
1055.50/1058.19 c #Conflicts: 481000 | #Constraints: 59953
1055.50/1058.19 c #Conflicts: 482000 | #Constraints: 60953
1055.50/1058.19 c #Conflicts: 483000 | #Constraints: 61953
1055.50/1058.19 c #Conflicts: 484000 | #Constraints: 62953
1055.50/1058.19 c #Conflicts: 485000 | #Constraints: 63953
1055.50/1058.19 c #Conflicts: 486000 | #Constraints: 64953
1055.50/1058.19 c #Conflicts: 487000 | #Constraints: 65953
1055.50/1058.19 c #Conflicts: 488000 | #Constraints: 66953
1055.50/1058.19 c #Conflicts: 489000 | #Constraints: 67953
1055.50/1058.19 c #Conflicts: 490000 | #Constraints: 68953
1055.50/1058.19 c #Conflicts: 491000 | #Constraints: 69953
1055.50/1058.19 c #Conflicts: 492000 | #Constraints: 70953
1055.50/1058.19 c #Conflicts: 493000 | #Constraints: 71953
1055.50/1058.19 c #Conflicts: 494000 | #Constraints: 72953
1055.50/1058.19 c #Conflicts: 495000 | #Constraints: 73953
1055.50/1058.19 c #Conflicts: 496000 | #Constraints: 74953
1055.50/1058.19 c #Conflicts: 497000 | #Constraints: 75953
1055.50/1058.19 c #Conflicts: 498000 | #Constraints: 76953
1055.50/1058.19 c #Conflicts: 499000 | #Constraints: 77953
1055.50/1058.19 c #Conflicts: 500000 | #Constraints: 78953
1055.50/1058.19 c #Conflicts: 501000 | #Constraints: 79953
1055.50/1058.19 c #Conflicts: 502000 | #Constraints: 80953
1055.50/1058.19 c #Conflicts: 503000 | #Constraints: 81953
1055.50/1058.19 c #Conflicts: 504000 | #Constraints: 82953
1055.50/1058.19 c #Conflicts: 505000 | #Constraints: 83953
1055.50/1058.19 c #Conflicts: 506000 | #Constraints: 84953
1055.50/1058.19 c #Conflicts: 507000 | #Constraints: 85953
1055.50/1058.19 c #Conflicts: 508000 | #Constraints: 86953
1055.50/1058.19 c #Conflicts: 509000 | #Constraints: 87953
1055.50/1058.19 c #Conflicts: 510000 | #Constraints: 88953
1055.50/1058.19 c #Conflicts: 511000 | #Constraints: 89953
1055.50/1058.19 c #Conflicts: 512000 | #Constraints: 90953
1055.50/1058.19 c #Conflicts: 513000 | #Constraints: 91953
1055.50/1058.19 c #Conflicts: 514000 | #Constraints: 92953
1055.50/1058.19 c #Conflicts: 515000 | #Constraints: 93953
1055.50/1058.19 c #Conflicts: 516000 | #Constraints: 94953
1055.50/1058.19 c #Conflicts: 517000 | #Constraints: 95953
1055.50/1058.19 c INPROCESSING
1055.50/1058.19 c GARBAGE COLLECT
1055.50/1058.19 c #Conflicts: 518000 | #Constraints: 58784
1055.50/1058.19 c #Conflicts: 519000 | #Constraints: 59784
1055.50/1058.19 c #Conflicts: 520000 | #Constraints: 60784
1055.50/1058.19 c #Conflicts: 521000 | #Constraints: 61784
1055.50/1058.19 c #Conflicts: 522000 | #Constraints: 62784
1055.50/1058.19 c #Conflicts: 523000 | #Constraints: 63784
1055.50/1058.19 c #Conflicts: 524000 | #Constraints: 64784
1055.50/1058.19 c #Conflicts: 525000 | #Constraints: 65784
1055.50/1058.19 c #Conflicts: 526000 | #Constraints: 66784
1055.50/1058.19 c #Conflicts: 527000 | #Constraints: 67784
1055.50/1058.19 c #Conflicts: 528000 | #Constraints: 68784
1055.50/1058.19 c #Conflicts: 529000 | #Constraints: 69784
1055.50/1058.19 c #Conflicts: 530000 | #Constraints: 70784
1055.50/1058.19 c #Conflicts: 531000 | #Constraints: 71784
1055.50/1058.19 c #Conflicts: 532000 | #Constraints: 72784
1068.56/1071.27 c #Conflicts: 533000 | #Constraints: 73784
1068.56/1071.27 c #Conflicts: 534000 | #Constraints: 74784
1068.56/1071.27 c #Conflicts: 535000 | #Constraints: 75784
1068.56/1071.27 c #Conflicts: 536000 | #Constraints: 76784
1068.56/1071.27 c #Conflicts: 537000 | #Constraints: 77784
1068.56/1071.27 c INPROCESSING
1068.56/1071.27 c GARBAGE COLLECT
1068.56/1071.27 c rational objective 155
1189.77/1192.72 c #Conflicts: 538000 | #Constraints: 52380
1189.77/1192.72 c #Conflicts: 539000 | #Constraints: 53380
1189.77/1192.72 c #Conflicts: 540000 | #Constraints: 54380
1189.77/1192.72 c #Conflicts: 541000 | #Constraints: 55380
1189.77/1192.72 c #Conflicts: 542000 | #Constraints: 56380
1189.77/1192.72 c #Conflicts: 543000 | #Constraints: 57380
1189.77/1192.72 c #Conflicts: 544000 | #Constraints: 58380
1189.77/1192.72 c #Conflicts: 545000 | #Constraints: 59380
1189.77/1192.72 c #Conflicts: 546000 | #Constraints: 60380
1189.77/1192.72 c #Conflicts: 547000 | #Constraints: 61380
1189.77/1192.72 c #Conflicts: 548000 | #Constraints: 62380
1189.77/1192.72 c #Conflicts: 549000 | #Constraints: 63380
1189.77/1192.72 c #Conflicts: 550000 | #Constraints: 64380
1189.77/1192.72 c #Conflicts: 551000 | #Constraints: 65380
1189.77/1192.72 c #Conflicts: 552000 | #Constraints: 66380
1189.77/1192.72 c #Conflicts: 553000 | #Constraints: 67380
1189.77/1192.72 c #Conflicts: 554000 | #Constraints: 68380
1189.77/1192.72 c #Conflicts: 555000 | #Constraints: 69380
1189.77/1192.72 c #Conflicts: 556000 | #Constraints: 70380
1189.77/1192.72 c #Conflicts: 557000 | #Constraints: 71380
1189.77/1192.72 c #Conflicts: 558000 | #Constraints: 72380
1189.77/1192.72 c #Conflicts: 559000 | #Constraints: 73380
1189.77/1192.72 c #Conflicts: 560000 | #Constraints: 74380
1189.77/1192.72 c #Conflicts: 561000 | #Constraints: 75380
1189.77/1192.72 c #Conflicts: 562000 | #Constraints: 76380
1189.77/1192.72 c #Conflicts: 563000 | #Constraints: 77380
1189.77/1192.72 c #Conflicts: 564000 | #Constraints: 78380
1189.77/1192.72 c #Conflicts: 565000 | #Constraints: 79380
1189.77/1192.72 c #Conflicts: 566000 | #Constraints: 80380
1189.77/1192.72 c #Conflicts: 567000 | #Constraints: 81380
1189.77/1192.72 c #Conflicts: 568000 | #Constraints: 82380
1189.77/1192.72 c #Conflicts: 569000 | #Constraints: 83380
1189.77/1192.72 c #Conflicts: 570000 | #Constraints: 84380
1189.77/1192.72 c #Conflicts: 571000 | #Constraints: 85380
1189.77/1192.72 c #Conflicts: 572000 | #Constraints: 86380
1189.77/1192.72 c #Conflicts: 573000 | #Constraints: 87380
1189.77/1192.72 c #Conflicts: 574000 | #Constraints: 88380
1189.77/1192.72 c #Conflicts: 575000 | #Constraints: 89380
1189.77/1192.72 c #Conflicts: 576000 | #Constraints: 90380
1189.77/1192.72 c #Conflicts: 577000 | #Constraints: 91380
1189.77/1192.72 c #Conflicts: 578000 | #Constraints: 92380
1189.77/1192.72 c #Conflicts: 579000 | #Constraints: 93380
1189.77/1192.72 c #Conflicts: 580000 | #Constraints: 94380
1189.77/1192.72 c #Conflicts: 581000 | #Constraints: 95380
1189.77/1192.72 c #Conflicts: 582000 | #Constraints: 96380
1189.77/1192.72 c #Conflicts: 583000 | #Constraints: 97380
1189.77/1192.72 c #Conflicts: 584000 | #Constraints: 98380
1189.77/1192.72 c #Conflicts: 585000 | #Constraints: 99380
1189.77/1192.72 c #Conflicts: 586000 | #Constraints: 100380
1189.77/1192.72 c #Conflicts: 587000 | #Constraints: 101380
1189.77/1192.72 c INPROCESSING
1189.77/1192.72 c GARBAGE COLLECT
1189.77/1192.72 c rational objective 155
1457.82/1461.41 c #Conflicts: 588000 | #Constraints: 61745
1457.82/1461.41 c #Conflicts: 589000 | #Constraints: 62745
1457.82/1461.41 c #Conflicts: 590000 | #Constraints: 63745
1457.82/1461.41 c #Conflicts: 591000 | #Constraints: 64745
1457.82/1461.41 c #Conflicts: 592000 | #Constraints: 65745
1457.82/1461.41 c #Conflicts: 593000 | #Constraints: 66745
1457.82/1461.41 c #Conflicts: 594000 | #Constraints: 67745
1457.82/1461.41 c #Conflicts: 595000 | #Constraints: 68745
1457.82/1461.41 c #Conflicts: 596000 | #Constraints: 69745
1457.82/1461.41 c #Conflicts: 597000 | #Constraints: 70745
1457.82/1461.41 c #Conflicts: 598000 | #Constraints: 71745
1457.82/1461.41 c #Conflicts: 599000 | #Constraints: 72745
1457.82/1461.41 c #Conflicts: 600000 | #Constraints: 73745
1457.82/1461.41 c #Conflicts: 601000 | #Constraints: 74745
1457.82/1461.41 c #Conflicts: 602000 | #Constraints: 75745
1457.82/1461.41 c #Conflicts: 603000 | #Constraints: 76745
1457.82/1461.41 c #Conflicts: 604000 | #Constraints: 77745
1457.82/1461.41 c #Conflicts: 605000 | #Constraints: 78745
1457.82/1461.41 c #Conflicts: 606000 | #Constraints: 79745
1457.82/1461.41 c #Conflicts: 607000 | #Constraints: 80746
1457.82/1461.42 c #Conflicts: 608000 | #Constraints: 81746
1457.82/1461.42 c INPROCESSING
1457.82/1461.42 c GARBAGE COLLECT
1457.82/1461.42 c #Conflicts: 609000 | #Constraints: 54938
1457.82/1461.42 c #Conflicts: 610000 | #Constraints: 55938
1457.82/1461.42 c #Conflicts: 611000 | #Constraints: 56938
1457.82/1461.42 c #Conflicts: 612000 | #Constraints: 57938
1457.82/1461.42 c #Conflicts: 613000 | #Constraints: 58938
1457.82/1461.42 c #Conflicts: 614000 | #Constraints: 59938
1457.82/1461.42 c #Conflicts: 615000 | #Constraints: 60938
1457.82/1461.42 c #Conflicts: 616000 | #Constraints: 61938
1457.82/1461.42 c #Conflicts: 617000 | #Constraints: 62938
1457.82/1461.42 c #Conflicts: 618000 | #Constraints: 63938
1457.82/1461.42 c #Conflicts: 619000 | #Constraints: 64938
1457.82/1461.42 c #Conflicts: 620000 | #Constraints: 65938
1457.82/1461.42 c #Conflicts: 621000 | #Constraints: 66938
1457.82/1461.42 c #Conflicts: 622000 | #Constraints: 67938
1457.82/1461.42 c #Conflicts: 623000 | #Constraints: 68938
1457.82/1461.42 c #Conflicts: 624000 | #Constraints: 69938
1457.82/1461.42 c #Conflicts: 625000 | #Constraints: 70938
1457.82/1461.42 c #Conflicts: 626000 | #Constraints: 71938
1457.82/1461.42 c #Conflicts: 627000 | #Constraints: 72938
1457.82/1461.42 c #Conflicts: 628000 | #Constraints: 73938
1457.82/1461.42 c #Conflicts: 629000 | #Constraints: 74938
1457.82/1461.42 c #Conflicts: 630000 | #Constraints: 75938
1457.82/1461.42 c #Conflicts: 631000 | #Constraints: 76938
1457.82/1461.42 c #Conflicts: 632000 | #Constraints: 77938
1457.82/1461.42 c #Conflicts: 633000 | #Constraints: 78938
1457.82/1461.42 c #Conflicts: 634000 | #Constraints: 79938
1457.82/1461.42 c #Conflicts: 635000 | #Constraints: 80938
1457.82/1461.42 c #Conflicts: 636000 | #Constraints: 81938
1457.82/1461.42 c #Conflicts: 637000 | #Constraints: 82938
1457.82/1461.42 c #Conflicts: 638000 | #Constraints: 83938
1457.82/1461.42 c #Conflicts: 639000 | #Constraints: 84938
1457.82/1461.42 c #Conflicts: 640000 | #Constraints: 85938
1457.82/1461.42 c #Conflicts: 641000 | #Constraints: 86938
1457.82/1461.42 c #Conflicts: 642000 | #Constraints: 87938
1457.82/1461.42 c #Conflicts: 643000 | #Constraints: 88938
1457.82/1461.42 c #Conflicts: 644000 | #Constraints: 89938
1457.82/1461.42 c #Conflicts: 645000 | #Constraints: 90938
1457.82/1461.42 c #Conflicts: 646000 | #Constraints: 91938
1457.82/1461.42 c #Conflicts: 647000 | #Constraints: 92938
1457.82/1461.42 c #Conflicts: 648000 | #Constraints: 93938
1457.82/1461.42 c #Conflicts: 649000 | #Constraints: 94938
1457.82/1461.42 c #Conflicts: 650000 | #Constraints: 95938
1457.82/1461.42 c #Conflicts: 651000 | #Constraints: 96938
1457.82/1461.42 c #Conflicts: 652000 | #Constraints: 97938
1457.82/1461.42 c #Conflicts: 653000 | #Constraints: 98938
1457.82/1461.42 c #Conflicts: 654000 | #Constraints: 99938
1457.82/1461.42 c #Conflicts: 655000 | #Constraints: 100938
1457.82/1461.42 c #Conflicts: 656000 | #Constraints: 101938
1457.82/1461.42 c #Conflicts: 657000 | #Constraints: 102938
1457.82/1461.42 c #Conflicts: 658000 | #Constraints: 103938
1457.82/1461.42 c #Conflicts: 659000 | #Constraints: 104938
1457.82/1461.42 c #Conflicts: 660000 | #Constraints: 105938
1457.82/1461.42 c #Conflicts: 661000 | #Constraints: 106938
1457.82/1461.42 c INPROCESSING
1457.82/1461.42 c GARBAGE COLLECT
1457.82/1461.42 c rational objective 155
1642.48/1646.52 c #Conflicts: 662000 | #Constraints: 64563
1642.48/1646.52 c #Conflicts: 663000 | #Constraints: 65563
1642.48/1646.52 c #Conflicts: 664000 | #Constraints: 66563
1642.48/1646.52 c #Conflicts: 665000 | #Constraints: 67563
1642.48/1646.52 c #Conflicts: 666000 | #Constraints: 68563
1642.48/1646.52 c #Conflicts: 667000 | #Constraints: 69563
1642.48/1646.52 c #Conflicts: 668000 | #Constraints: 70563
1642.48/1646.52 c #Conflicts: 669000 | #Constraints: 71563
1642.48/1646.52 c #Conflicts: 670000 | #Constraints: 72563
1642.48/1646.52 c #Conflicts: 671000 | #Constraints: 73563
1642.48/1646.52 c #Conflicts: 672000 | #Constraints: 74563
1642.48/1646.52 c #Conflicts: 673000 | #Constraints: 75563
1642.48/1646.52 c #Conflicts: 674000 | #Constraints: 76563
1642.48/1646.52 c #Conflicts: 675000 | #Constraints: 77563
1642.48/1646.52 c #Conflicts: 676000 | #Constraints: 78563
1642.48/1646.52 c #Conflicts: 677000 | #Constraints: 79563
1642.48/1646.52 c #Conflicts: 678000 | #Constraints: 80563
1642.48/1646.52 c #Conflicts: 679000 | #Constraints: 81563
1642.48/1646.52 c #Conflicts: 680000 | #Constraints: 82563
1642.48/1646.52 c #Conflicts: 681000 | #Constraints: 83563
1642.48/1646.52 c #Conflicts: 682000 | #Constraints: 84563
1642.48/1646.52 c #Conflicts: 683000 | #Constraints: 85563
1642.48/1646.52 c #Conflicts: 684000 | #Constraints: 86563
1642.48/1646.52 c INPROCESSING
1642.48/1646.52 c GARBAGE COLLECT
1642.48/1646.52 c #Conflicts: 685000 | #Constraints: 58037
1642.48/1646.52 c #Conflicts: 686000 | #Constraints: 59037
1642.48/1646.52 c #Conflicts: 687000 | #Constraints: 60037
1642.48/1646.52 c #Conflicts: 688000 | #Constraints: 61037
1642.48/1646.52 c #Conflicts: 689000 | #Constraints: 62037
1642.48/1646.52 c #Conflicts: 690000 | #Constraints: 63037
1642.48/1646.52 c #Conflicts: 691000 | #Constraints: 64037
1642.48/1646.52 c #Conflicts: 692000 | #Constraints: 65037
1642.48/1646.52 c #Conflicts: 693000 | #Constraints: 66037
1642.48/1646.52 c #Conflicts: 694000 | #Constraints: 67037
1642.48/1646.52 c #Conflicts: 695000 | #Constraints: 68037
1642.48/1646.52 c #Conflicts: 696000 | #Constraints: 69037
1642.48/1646.52 c #Conflicts: 697000 | #Constraints: 70037
1642.48/1646.52 c #Conflicts: 698000 | #Constraints: 71037
1642.48/1646.52 c #Conflicts: 699000 | #Constraints: 72037
1642.48/1646.52 c #Conflicts: 700000 | #Constraints: 73037
1642.48/1646.52 c #Conflicts: 701000 | #Constraints: 74037
1642.48/1646.52 c #Conflicts: 702000 | #Constraints: 75037
1642.48/1646.52 c #Conflicts: 703000 | #Constraints: 76037
1642.48/1646.52 c #Conflicts: 704000 | #Constraints: 77037
1642.48/1646.52 c #Conflicts: 705000 | #Constraints: 78037
1642.48/1646.52 c #Conflicts: 706000 | #Constraints: 79037
1642.48/1646.52 c #Conflicts: 707000 | #Constraints: 80037
1642.48/1646.52 c #Conflicts: 708000 | #Constraints: 81037
1642.48/1646.52 c #Conflicts: 709000 | #Constraints: 82037
1642.48/1646.52 c #Conflicts: 710000 | #Constraints: 83037
1642.48/1646.52 c #Conflicts: 711000 | #Constraints: 84037
1642.48/1646.52 c #Conflicts: 712000 | #Constraints: 85038
1642.48/1646.52 c #Conflicts: 713000 | #Constraints: 86038
1642.48/1646.52 c #Conflicts: 714000 | #Constraints: 87038
1642.48/1646.52 c #Conflicts: 715000 | #Constraints: 88038
1642.48/1646.52 c #Conflicts: 716000 | #Constraints: 89038
1642.48/1646.52 c #Conflicts: 717000 | #Constraints: 90038
1642.48/1646.52 c #Conflicts: 718000 | #Constraints: 91038
1642.48/1646.52 c #Conflicts: 719000 | #Constraints: 92038
1642.48/1646.52 c #Conflicts: 720000 | #Constraints: 93038
1642.48/1646.52 c #Conflicts: 721000 | #Constraints: 94038
1642.48/1646.52 c #Conflicts: 722000 | #Constraints: 95038
1642.48/1646.52 c #Conflicts: 723000 | #Constraints: 96038
1642.48/1646.52 c #Conflicts: 724000 | #Constraints: 97038
1642.48/1646.52 c #Conflicts: 725000 | #Constraints: 98038
1642.48/1646.52 c #Conflicts: 726000 | #Constraints: 99038
1642.48/1646.52 c #Conflicts: 727000 | #Constraints: 100038
1642.48/1646.52 c #Conflicts: 728000 | #Constraints: 101038
1642.48/1646.52 c #Conflicts: 729000 | #Constraints: 102038
1642.48/1646.52 c #Conflicts: 730000 | #Constraints: 103038
1642.48/1646.52 c #Conflicts: 731000 | #Constraints: 104038
1642.48/1646.52 c #Conflicts: 732000 | #Constraints: 105038
1642.48/1646.52 c #Conflicts: 733000 | #Constraints: 106038
1642.48/1646.52 c #Conflicts: 734000 | #Constraints: 107038
1642.48/1646.52 c #Conflicts: 735000 | #Constraints: 108038
1642.48/1646.52 c #Conflicts: 736000 | #Constraints: 109038
1642.48/1646.52 c #Conflicts: 737000 | #Constraints: 110038
1642.48/1646.52 c #Conflicts: 738000 | #Constraints: 111038
1642.48/1646.52 c #Conflicts: 739000 | #Constraints: 112038
1642.48/1646.52 c #Conflicts: 740000 | #Constraints: 113038
1826.03/1830.57 c INPROCESSING
1826.03/1830.57 c GARBAGE COLLECT
1826.03/1830.57 c #Conflicts: 741000 | #Constraints: 67892
1826.03/1830.57 c #Conflicts: 742000 | #Constraints: 68892
1826.03/1830.57 c #Conflicts: 743000 | #Constraints: 69892
1826.03/1830.57 c #Conflicts: 744000 | #Constraints: 70892
1826.03/1830.57 c #Conflicts: 745000 | #Constraints: 71892
1826.03/1830.57 c #Conflicts: 746000 | #Constraints: 72893
1826.03/1830.57 c #Conflicts: 747000 | #Constraints: 73893
1826.03/1830.57 c #Conflicts: 748000 | #Constraints: 74893
1826.03/1830.57 c #Conflicts: 749000 | #Constraints: 75893
1826.03/1830.57 c #Conflicts: 750000 | #Constraints: 76893
1826.03/1830.57 c #Conflicts: 751000 | #Constraints: 77893
1826.03/1830.57 c #Conflicts: 752000 | #Constraints: 78893
1826.03/1830.57 c #Conflicts: 753000 | #Constraints: 79893
1826.03/1830.57 c #Conflicts: 754000 | #Constraints: 80893
1826.03/1830.57 c #Conflicts: 755000 | #Constraints: 81893
1826.03/1830.57 c #Conflicts: 756000 | #Constraints: 82893
1826.03/1830.57 c #Conflicts: 757000 | #Constraints: 83893
1826.03/1830.57 c #Conflicts: 758000 | #Constraints: 84893
1826.03/1830.57 c #Conflicts: 759000 | #Constraints: 85893
1826.03/1830.57 c #Conflicts: 760000 | #Constraints: 86893
1826.03/1830.57 c #Conflicts: 761000 | #Constraints: 87894
1826.03/1830.57 c #Conflicts: 762000 | #Constraints: 88894
1826.03/1830.57 c #Conflicts: 763000 | #Constraints: 89894
1826.03/1830.57 c INPROCESSING
1826.03/1830.57 c GARBAGE COLLECT
1826.03/1830.57 c #Conflicts: 764000 | #Constraints: 59511
1826.03/1830.57 c #Conflicts: 765000 | #Constraints: 60511
1826.03/1830.57 c #Conflicts: 766000 | #Constraints: 61511
1826.03/1830.57 c #Conflicts: 767000 | #Constraints: 62511
1826.03/1830.57 c #Conflicts: 768000 | #Constraints: 63511
1826.03/1830.57 c #Conflicts: 769000 | #Constraints: 64511
1826.03/1830.57 c #Conflicts: 770000 | #Constraints: 65511
1826.03/1830.57 c #Conflicts: 771000 | #Constraints: 66511
1826.03/1830.57 c #Conflicts: 772000 | #Constraints: 67511
1826.03/1830.57 c #Conflicts: 773000 | #Constraints: 68511
1826.03/1830.57 c #Conflicts: 774000 | #Constraints: 69511
1826.03/1830.57 c #Conflicts: 775000 | #Constraints: 70511
1826.03/1830.57 c #Conflicts: 776000 | #Constraints: 71511
1826.03/1830.57 c #Conflicts: 777000 | #Constraints: 72511
1826.03/1830.57 c #Conflicts: 778000 | #Constraints: 73511
1826.03/1830.57 c #Conflicts: 779000 | #Constraints: 74511
1826.03/1830.57 c #Conflicts: 780000 | #Constraints: 75511
1826.03/1830.57 c #Conflicts: 781000 | #Constraints: 76511
1826.03/1830.57 c #Conflicts: 782000 | #Constraints: 77511
1826.03/1830.57 c #Conflicts: 783000 | #Constraints: 78511
1826.03/1830.57 c #Conflicts: 784000 | #Constraints: 79511
1826.03/1830.57 c #Conflicts: 785000 | #Constraints: 80511
1826.03/1830.57 c #Conflicts: 786000 | #Constraints: 81511
1826.03/1830.57 c #Conflicts: 787000 | #Constraints: 82511
1826.03/1830.57 c #Conflicts: 788000 | #Constraints: 83511
1826.03/1830.57 c #Conflicts: 789000 | #Constraints: 84511
1826.03/1830.57 c #Conflicts: 790000 | #Constraints: 85511
1826.03/1830.57 c #Conflicts: 791000 | #Constraints: 86511
1826.03/1830.57 c #Conflicts: 792000 | #Constraints: 87511
1826.03/1830.57 c #Conflicts: 793000 | #Constraints: 88511
1826.03/1830.57 c #Conflicts: 794000 | #Constraints: 89511
1826.03/1830.57 c #Conflicts: 795000 | #Constraints: 90511
1826.03/1830.57 c #Conflicts: 796000 | #Constraints: 91511
1826.03/1830.57 c #Conflicts: 797000 | #Constraints: 92511
1826.03/1830.57 c #Conflicts: 798000 | #Constraints: 93511
1826.03/1830.57 c #Conflicts: 799000 | #Constraints: 94511
1826.03/1830.57 c #Conflicts: 800000 | #Constraints: 95511
1826.03/1830.57 c #Conflicts: 801000 | #Constraints: 96511
1826.03/1830.57 c #Conflicts: 802000 | #Constraints: 97511
1826.03/1830.57 c #Conflicts: 803000 | #Constraints: 98511
1826.03/1830.57 c #Conflicts: 804000 | #Constraints: 99511
1826.03/1830.57 c #Conflicts: 805000 | #Constraints: 100511
1826.03/1830.57 c #Conflicts: 806000 | #Constraints: 101511
1826.03/1830.57 c #Conflicts: 807000 | #Constraints: 102511
1826.03/1830.57 c #Conflicts: 808000 | #Constraints: 103511
1826.03/1830.57 c #Conflicts: 809000 | #Constraints: 104511
1826.03/1830.57 c #Conflicts: 810000 | #Constraints: 105511
1826.03/1830.57 c #Conflicts: 811000 | #Constraints: 106511
1826.03/1830.57 c #Conflicts: 812000 | #Constraints: 107511
1826.03/1830.57 c #Conflicts: 813000 | #Constraints: 108511
1826.03/1830.57 c #Conflicts: 814000 | #Constraints: 109511
1826.03/1830.57 c #Conflicts: 815000 | #Constraints: 110511
1826.03/1830.57 c #Conflicts: 816000 | #Constraints: 111511
1826.03/1830.57 c #Conflicts: 817000 | #Constraints: 112511
1999.29/2004.22 c #Conflicts: 818000 | #Constraints: 113511
1999.29/2004.22 c #Conflicts: 819000 | #Constraints: 114511
1999.29/2004.22 c #Conflicts: 820000 | #Constraints: 115511
1999.29/2004.22 c #Conflicts: 821000 | #Constraints: 116511
1999.29/2004.22 c #Conflicts: 822000 | #Constraints: 117511
1999.29/2004.22 c INPROCESSING
1999.29/2004.22 c GARBAGE COLLECT
1999.29/2004.22 c #Conflicts: 823000 | #Constraints: 69785
1999.29/2004.22 c #Conflicts: 824000 | #Constraints: 70785
1999.29/2004.22 c #Conflicts: 825000 | #Constraints: 71785
1999.29/2004.22 c #Conflicts: 826000 | #Constraints: 72785
1999.29/2004.22 c #Conflicts: 827000 | #Constraints: 73785
1999.29/2004.22 c #Conflicts: 828000 | #Constraints: 74785
1999.29/2004.22 c #Conflicts: 829000 | #Constraints: 75785
1999.29/2004.22 c #Conflicts: 830000 | #Constraints: 76785
1999.29/2004.22 c #Conflicts: 831000 | #Constraints: 77785
1999.29/2004.22 c #Conflicts: 832000 | #Constraints: 78785
1999.29/2004.22 c #Conflicts: 833000 | #Constraints: 79785
1999.29/2004.22 c #Conflicts: 834000 | #Constraints: 80785
1999.29/2004.22 c #Conflicts: 835000 | #Constraints: 81785
1999.29/2004.22 c #Conflicts: 836000 | #Constraints: 82785
1999.29/2004.22 c #Conflicts: 837000 | #Constraints: 83785
1999.29/2004.22 c #Conflicts: 838000 | #Constraints: 84785
1999.29/2004.22 c #Conflicts: 839000 | #Constraints: 85785
1999.29/2004.22 c #Conflicts: 840000 | #Constraints: 86785
1999.29/2004.22 c #Conflicts: 841000 | #Constraints: 87785
1999.29/2004.22 c #Conflicts: 842000 | #Constraints: 88785
1999.29/2004.22 c #Conflicts: 843000 | #Constraints: 89785
1999.29/2004.22 c #Conflicts: 844000 | #Constraints: 90785
1999.29/2004.22 c #Conflicts: 845000 | #Constraints: 91785
1999.29/2004.22 c #Conflicts: 846000 | #Constraints: 92785
1999.29/2004.22 c #Conflicts: 847000 | #Constraints: 93785
1999.29/2004.22 c #Conflicts: 848000 | #Constraints: 94785
1999.29/2004.22 c INPROCESSING
1999.29/2004.22 c GARBAGE COLLECT
1999.29/2004.22 c #Conflicts: 849000 | #Constraints: 62585
1999.29/2004.22 c #Conflicts: 850000 | #Constraints: 63585
1999.29/2004.22 c #Conflicts: 851000 | #Constraints: 64585
1999.29/2004.22 c #Conflicts: 852000 | #Constraints: 65585
1999.29/2004.22 c #Conflicts: 853000 | #Constraints: 66585
1999.29/2004.22 c #Conflicts: 854000 | #Constraints: 67585
1999.29/2004.22 c #Conflicts: 855000 | #Constraints: 68585
1999.29/2004.22 c #Conflicts: 856000 | #Constraints: 69585
1999.29/2004.22 c #Conflicts: 857000 | #Constraints: 70585
1999.29/2004.22 c #Conflicts: 858000 | #Constraints: 71585
1999.29/2004.22 c #Conflicts: 859000 | #Constraints: 72585
1999.29/2004.22 c #Conflicts: 860000 | #Constraints: 73585
1999.29/2004.22 c #Conflicts: 861000 | #Constraints: 74585
1999.29/2004.22 c #Conflicts: 862000 | #Constraints: 75585
1999.29/2004.22 c #Conflicts: 863000 | #Constraints: 76585
1999.29/2004.22 c #Conflicts: 864000 | #Constraints: 77585
1999.29/2004.22 c #Conflicts: 865000 | #Constraints: 78585
1999.29/2004.22 c #Conflicts: 866000 | #Constraints: 79585
1999.29/2004.22 c #Conflicts: 867000 | #Constraints: 80585
1999.29/2004.22 c #Conflicts: 868000 | #Constraints: 81585
1999.29/2004.22 c #Conflicts: 869000 | #Constraints: 82585
1999.29/2004.22 c #Conflicts: 870000 | #Constraints: 83585
1999.29/2004.22 c #Conflicts: 871000 | #Constraints: 84585
1999.29/2004.22 c #Conflicts: 872000 | #Constraints: 85585
1999.29/2004.22 c #Conflicts: 873000 | #Constraints: 86585
1999.29/2004.22 c #Conflicts: 874000 | #Constraints: 87585
1999.29/2004.22 c #Conflicts: 875000 | #Constraints: 88585
1999.29/2004.22 c #Conflicts: 876000 | #Constraints: 89585
1999.29/2004.22 c #Conflicts: 877000 | #Constraints: 90585
1999.29/2004.22 c #Conflicts: 878000 | #Constraints: 91585
1999.29/2004.22 c #Conflicts: 879000 | #Constraints: 92585
1999.29/2004.22 c #Conflicts: 880000 | #Constraints: 93585
1999.29/2004.22 c #Conflicts: 881000 | #Constraints: 94585
1999.29/2004.22 c #Conflicts: 882000 | #Constraints: 95585
1999.29/2004.22 c #Conflicts: 883000 | #Constraints: 96585
1999.29/2004.22 c #Conflicts: 884000 | #Constraints: 97585
1999.29/2004.22 c #Conflicts: 885000 | #Constraints: 98585
1999.29/2004.22 c #Conflicts: 886000 | #Constraints: 99585
1999.29/2004.22 c #Conflicts: 887000 | #Constraints: 100585
1999.29/2004.22 c #Conflicts: 888000 | #Constraints: 101585
1999.29/2004.22 c #Conflicts: 889000 | #Constraints: 102585
1999.29/2004.22 c #Conflicts: 890000 | #Constraints: 103585
1999.29/2004.22 c #Conflicts: 891000 | #Constraints: 104585
1999.29/2004.22 c #Conflicts: 892000 | #Constraints: 105585
1999.29/2004.22 c #Conflicts: 893000 | #Constraints: 106585
1999.29/2004.22 c #Conflicts: 894000 | #Constraints: 107585
1999.29/2004.22 c #Conflicts: 895000 | #Constraints: 108585
2236.33/2241.95 c #Conflicts: 896000 | #Constraints: 109585
2236.33/2241.95 c #Conflicts: 897000 | #Constraints: 110585
2236.33/2241.95 c #Conflicts: 898000 | #Constraints: 111585
2236.33/2241.95 c #Conflicts: 899000 | #Constraints: 112585
2236.33/2241.95 c #Conflicts: 900000 | #Constraints: 113585
2236.33/2241.95 c #Conflicts: 901000 | #Constraints: 114585
2236.33/2241.95 c #Conflicts: 902000 | #Constraints: 115585
2236.33/2241.95 c #Conflicts: 903000 | #Constraints: 116585
2236.33/2241.95 c #Conflicts: 904000 | #Constraints: 117585
2236.33/2241.95 c #Conflicts: 905000 | #Constraints: 118585
2236.33/2241.95 c #Conflicts: 906000 | #Constraints: 119585
2236.33/2241.95 c #Conflicts: 907000 | #Constraints: 120585
2236.33/2241.95 c #Conflicts: 908000 | #Constraints: 121585
2236.33/2241.95 c #Conflicts: 909000 | #Constraints: 122585
2236.33/2241.95 c #Conflicts: 910000 | #Constraints: 123585
2236.33/2241.95 c INPROCESSING
2236.33/2241.95 c GARBAGE COLLECT
2236.33/2241.95 c #Conflicts: 911000 | #Constraints: 72989
2236.33/2241.95 c #Conflicts: 912000 | #Constraints: 73989
2236.33/2241.95 c #Conflicts: 913000 | #Constraints: 74989
2236.33/2241.95 c #Conflicts: 914000 | #Constraints: 75989
2236.33/2241.95 c #Conflicts: 915000 | #Constraints: 76989
2236.33/2241.95 c #Conflicts: 916000 | #Constraints: 77989
2236.33/2241.95 c #Conflicts: 917000 | #Constraints: 78989
2236.33/2241.95 c #Conflicts: 918000 | #Constraints: 79989
2236.33/2241.95 c #Conflicts: 919000 | #Constraints: 80989
2236.33/2241.95 c #Conflicts: 920000 | #Constraints: 81989
2236.33/2241.95 c #Conflicts: 921000 | #Constraints: 82989
2236.33/2241.95 c #Conflicts: 922000 | #Constraints: 83989
2236.33/2241.95 c #Conflicts: 923000 | #Constraints: 84989
2236.33/2241.95 c #Conflicts: 924000 | #Constraints: 85989
2236.33/2241.95 c #Conflicts: 925000 | #Constraints: 86989
2236.33/2241.95 c #Conflicts: 926000 | #Constraints: 87989
2236.33/2241.95 c #Conflicts: 927000 | #Constraints: 88989
2236.33/2241.95 c #Conflicts: 928000 | #Constraints: 89989
2236.33/2241.95 c #Conflicts: 929000 | #Constraints: 90989
2236.33/2241.95 c #Conflicts: 930000 | #Constraints: 91989
2236.33/2241.95 c #Conflicts: 931000 | #Constraints: 92989
2236.33/2241.95 c #Conflicts: 932000 | #Constraints: 93989
2236.33/2241.95 c #Conflicts: 933000 | #Constraints: 94989
2236.33/2241.95 c #Conflicts: 934000 | #Constraints: 95989
2236.33/2241.95 c #Conflicts: 935000 | #Constraints: 96989
2236.33/2241.95 c #Conflicts: 936000 | #Constraints: 97989
2236.33/2241.95 c INPROCESSING
2236.33/2241.95 c GARBAGE COLLECT
2236.33/2241.95 c #Conflicts: 937000 | #Constraints: 64473
2236.33/2241.95 c #Conflicts: 938000 | #Constraints: 65473
2236.33/2241.95 c #Conflicts: 939000 | #Constraints: 66473
2236.33/2241.95 c #Conflicts: 940000 | #Constraints: 67473
2236.33/2241.95 c #Conflicts: 941000 | #Constraints: 68473
2236.33/2241.95 c #Conflicts: 942000 | #Constraints: 69473
2236.33/2241.95 c #Conflicts: 943000 | #Constraints: 70473
2236.33/2241.95 c #Conflicts: 944000 | #Constraints: 71473
2236.33/2241.95 c #Conflicts: 945000 | #Constraints: 72473
2236.33/2241.95 c #Conflicts: 946000 | #Constraints: 73473
2236.33/2241.95 c #Conflicts: 947000 | #Constraints: 74473
2236.33/2241.95 c #Conflicts: 948000 | #Constraints: 75473
2236.33/2241.95 c #Conflicts: 949000 | #Constraints: 76473
2236.33/2241.95 c #Conflicts: 950000 | #Constraints: 77473
2236.33/2241.95 c #Conflicts: 951000 | #Constraints: 78473
2236.33/2241.95 c #Conflicts: 952000 | #Constraints: 79473
2236.33/2241.95 c #Conflicts: 953000 | #Constraints: 80473
2236.33/2241.95 c #Conflicts: 954000 | #Constraints: 81473
2236.33/2241.95 c #Conflicts: 955000 | #Constraints: 82473
2236.33/2241.95 c #Conflicts: 956000 | #Constraints: 83473
2236.33/2241.95 c #Conflicts: 957000 | #Constraints: 84473
2236.33/2241.95 c #Conflicts: 958000 | #Constraints: 85473
2236.33/2241.95 c #Conflicts: 959000 | #Constraints: 86473
2236.33/2241.95 c #Conflicts: 960000 | #Constraints: 87473
2236.33/2241.95 c #Conflicts: 961000 | #Constraints: 88473
2236.33/2241.95 c #Conflicts: 962000 | #Constraints: 89473
2236.33/2241.95 c #Conflicts: 963000 | #Constraints: 90473
2236.33/2241.95 c #Conflicts: 964000 | #Constraints: 91473
2236.33/2241.95 c #Conflicts: 965000 | #Constraints: 92473
2236.33/2241.95 c #Conflicts: 966000 | #Constraints: 93473
2236.33/2241.95 c #Conflicts: 967000 | #Constraints: 94473
2236.33/2241.95 c #Conflicts: 968000 | #Constraints: 95473
2236.33/2241.95 c #Conflicts: 969000 | #Constraints: 96473
2236.33/2241.95 c #Conflicts: 970000 | #Constraints: 97473
2236.33/2241.95 c #Conflicts: 971000 | #Constraints: 98473
2236.33/2241.95 c #Conflicts: 972000 | #Constraints: 99473
2461.21/2467.49 c #Conflicts: 973000 | #Constraints: 100473
2461.21/2467.49 c #Conflicts: 974000 | #Constraints: 101473
2461.21/2467.49 c #Conflicts: 975000 | #Constraints: 102473
2461.21/2467.49 c #Conflicts: 976000 | #Constraints: 103473
2461.21/2467.49 c #Conflicts: 977000 | #Constraints: 104473
2461.21/2467.49 c #Conflicts: 978000 | #Constraints: 105473
2461.21/2467.49 c #Conflicts: 979000 | #Constraints: 106473
2461.21/2467.49 c #Conflicts: 980000 | #Constraints: 107473
2461.21/2467.49 c #Conflicts: 981000 | #Constraints: 108473
2461.21/2467.49 c #Conflicts: 982000 | #Constraints: 109473
2461.21/2467.49 c #Conflicts: 983000 | #Constraints: 110473
2461.21/2467.49 c #Conflicts: 984000 | #Constraints: 111473
2461.21/2467.49 c #Conflicts: 985000 | #Constraints: 112473
2461.21/2467.49 c #Conflicts: 986000 | #Constraints: 113473
2461.21/2467.49 c #Conflicts: 987000 | #Constraints: 114473
2461.21/2467.49 c #Conflicts: 988000 | #Constraints: 115473
2461.21/2467.49 c #Conflicts: 989000 | #Constraints: 116473
2461.21/2467.49 c #Conflicts: 990000 | #Constraints: 117473
2461.21/2467.49 c #Conflicts: 991000 | #Constraints: 118473
2461.21/2467.49 c #Conflicts: 992000 | #Constraints: 119473
2461.21/2467.49 c #Conflicts: 993000 | #Constraints: 120473
2461.21/2467.49 c #Conflicts: 994000 | #Constraints: 121473
2461.21/2467.49 c #Conflicts: 995000 | #Constraints: 122473
2461.21/2467.49 c #Conflicts: 996000 | #Constraints: 123473
2461.21/2467.49 c #Conflicts: 997000 | #Constraints: 124473
2461.21/2467.49 c #Conflicts: 998000 | #Constraints: 125473
2461.21/2467.49 c #Conflicts: 999000 | #Constraints: 126473
2461.21/2467.49 c #Conflicts: 1000000 | #Constraints: 127473
2461.21/2467.49 c #Conflicts: 1001000 | #Constraints: 128473
2461.21/2467.49 c INPROCESSING
2461.21/2467.49 c GARBAGE COLLECT
2461.21/2467.49 c #Conflicts: 1002000 | #Constraints: 75303
2461.21/2467.49 c #Conflicts: 1003000 | #Constraints: 76303
2461.21/2467.49 c #Conflicts: 1004000 | #Constraints: 77303
2461.21/2467.49 c #Conflicts: 1005000 | #Constraints: 78303
2461.21/2467.49 c #Conflicts: 1006000 | #Constraints: 79303
2461.21/2467.49 c #Conflicts: 1007000 | #Constraints: 80303
2461.21/2467.49 c #Conflicts: 1008000 | #Constraints: 81303
2461.21/2467.49 c #Conflicts: 1009000 | #Constraints: 82303
2461.21/2467.49 c #Conflicts: 1010000 | #Constraints: 83303
2461.21/2467.49 c #Conflicts: 1011000 | #Constraints: 84303
2461.21/2467.49 c #Conflicts: 1012000 | #Constraints: 85303
2461.21/2467.49 c #Conflicts: 1013000 | #Constraints: 86303
2461.21/2467.49 c #Conflicts: 1014000 | #Constraints: 87303
2461.21/2467.49 c #Conflicts: 1015000 | #Constraints: 88303
2461.21/2467.49 c #Conflicts: 1016000 | #Constraints: 89303
2461.21/2467.49 c #Conflicts: 1017000 | #Constraints: 90303
2461.21/2467.49 c #Conflicts: 1018000 | #Constraints: 91303
2461.21/2467.49 c #Conflicts: 1019000 | #Constraints: 92303
2461.21/2467.49 c #Conflicts: 1020000 | #Constraints: 93303
2461.21/2467.49 c #Conflicts: 1021000 | #Constraints: 94303
2461.21/2467.49 c #Conflicts: 1022000 | #Constraints: 95303
2461.21/2467.49 c #Conflicts: 1023000 | #Constraints: 96303
2461.21/2467.49 c #Conflicts: 1024000 | #Constraints: 97303
2461.21/2467.49 c #Conflicts: 1025000 | #Constraints: 98303
2461.21/2467.49 c #Conflicts: 1026000 | #Constraints: 99303
2461.21/2467.49 c #Conflicts: 1027000 | #Constraints: 100303
2461.21/2467.49 c #Conflicts: 1028000 | #Constraints: 101303
2461.21/2467.49 c #Conflicts: 1029000 | #Constraints: 102303
2461.21/2467.49 c INPROCESSING
2461.21/2467.49 c GARBAGE COLLECT
2461.21/2467.49 c #Conflicts: 1030000 | #Constraints: 66196
2461.21/2467.49 c #Conflicts: 1031000 | #Constraints: 67196
2461.21/2467.49 c #Conflicts: 1032000 | #Constraints: 68196
2461.21/2467.49 c #Conflicts: 1033000 | #Constraints: 69196
2461.21/2467.49 c #Conflicts: 1034000 | #Constraints: 70196
2461.21/2467.49 c #Conflicts: 1035000 | #Constraints: 71196
2461.21/2467.49 c #Conflicts: 1036000 | #Constraints: 72196
2461.21/2467.49 c #Conflicts: 1037000 | #Constraints: 73196
2461.21/2467.49 c #Conflicts: 1038000 | #Constraints: 74196
2461.21/2467.49 c #Conflicts: 1039000 | #Constraints: 75196
2461.21/2467.49 c #Conflicts: 1040000 | #Constraints: 76196
2461.21/2467.49 c #Conflicts: 1041000 | #Constraints: 77196
2461.21/2467.49 c #Conflicts: 1042000 | #Constraints: 78196
2461.21/2467.49 c #Conflicts: 1043000 | #Constraints: 79196
2461.21/2467.49 c #Conflicts: 1044000 | #Constraints: 80196
2461.21/2467.49 c #Conflicts: 1045000 | #Constraints: 81196
2461.21/2467.49 c #Conflicts: 1046000 | #Constraints: 82196
2461.21/2467.49 c #Conflicts: 1047000 | #Constraints: 83196
2461.21/2467.49 c #Conflicts: 1048000 | #Constraints: 84196
2461.21/2467.49 c #Conflicts: 1049000 | #Constraints: 85196
2461.21/2467.49 c #Conflicts: 1050000 | #Constraints: 86196
2761.59/2768.63 c #Conflicts: 1051000 | #Constraints: 87196
2761.59/2768.63 c #Conflicts: 1052000 | #Constraints: 88196
2761.59/2768.63 c #Conflicts: 1053000 | #Constraints: 89196
2761.59/2768.63 c #Conflicts: 1054000 | #Constraints: 90196
2761.59/2768.63 c #Conflicts: 1055000 | #Constraints: 91196
2761.59/2768.63 c #Conflicts: 1056000 | #Constraints: 92196
2761.59/2768.63 c #Conflicts: 1057000 | #Constraints: 93196
2761.59/2768.63 c #Conflicts: 1058000 | #Constraints: 94196
2761.59/2768.63 c #Conflicts: 1059000 | #Constraints: 95196
2761.59/2768.63 c #Conflicts: 1060000 | #Constraints: 96196
2761.59/2768.63 c #Conflicts: 1061000 | #Constraints: 97196
2761.59/2768.63 c #Conflicts: 1062000 | #Constraints: 98196
2761.59/2768.63 c #Conflicts: 1063000 | #Constraints: 99196
2761.59/2768.63 c #Conflicts: 1064000 | #Constraints: 100196
2761.59/2768.63 c #Conflicts: 1065000 | #Constraints: 101196
2761.59/2768.63 c #Conflicts: 1066000 | #Constraints: 102196
2761.59/2768.63 c #Conflicts: 1067000 | #Constraints: 103196
2761.59/2768.63 c #Conflicts: 1068000 | #Constraints: 104196
2761.59/2768.63 c #Conflicts: 1069000 | #Constraints: 105196
2761.59/2768.63 c #Conflicts: 1070000 | #Constraints: 106196
2761.59/2768.63 c #Conflicts: 1071000 | #Constraints: 107196
2761.59/2768.63 c #Conflicts: 1072000 | #Constraints: 108196
2761.59/2768.63 c #Conflicts: 1073000 | #Constraints: 109196
2761.59/2768.63 c #Conflicts: 1074000 | #Constraints: 110196
2761.59/2768.63 c #Conflicts: 1075000 | #Constraints: 111196
2761.59/2768.63 c #Conflicts: 1076000 | #Constraints: 112196
2761.59/2768.63 c #Conflicts: 1077000 | #Constraints: 113196
2761.59/2768.63 c #Conflicts: 1078000 | #Constraints: 114196
2761.59/2768.63 c #Conflicts: 1079000 | #Constraints: 115196
2761.59/2768.63 c #Conflicts: 1080000 | #Constraints: 116196
2761.59/2768.63 c #Conflicts: 1081000 | #Constraints: 117196
2761.59/2768.63 c #Conflicts: 1082000 | #Constraints: 118196
2761.59/2768.63 c #Conflicts: 1083000 | #Constraints: 119196
2761.59/2768.63 c #Conflicts: 1084000 | #Constraints: 120196
2761.59/2768.63 c #Conflicts: 1085000 | #Constraints: 121196
2761.59/2768.63 c #Conflicts: 1086000 | #Constraints: 122196
2761.59/2768.63 c #Conflicts: 1087000 | #Constraints: 123196
2761.59/2768.63 c #Conflicts: 1088000 | #Constraints: 124196
2761.59/2768.63 c #Conflicts: 1089000 | #Constraints: 125196
2761.59/2768.63 c #Conflicts: 1090000 | #Constraints: 126196
2761.59/2768.63 c #Conflicts: 1091000 | #Constraints: 127196
2761.59/2768.63 c #Conflicts: 1092000 | #Constraints: 128196
2761.59/2768.63 c #Conflicts: 1093000 | #Constraints: 129196
2761.59/2768.63 c #Conflicts: 1094000 | #Constraints: 130196
2761.59/2768.63 c #Conflicts: 1095000 | #Constraints: 131196
2761.59/2768.63 c #Conflicts: 1096000 | #Constraints: 132196
2761.59/2768.63 c #Conflicts: 1097000 | #Constraints: 133196
2761.59/2768.63 c #Conflicts: 1098000 | #Constraints: 134196
2761.59/2768.63 c INPROCESSING
2761.59/2768.63 c GARBAGE COLLECT
2761.59/2768.63 c #Conflicts: 1099000 | #Constraints: 78684
2761.59/2768.63 c #Conflicts: 1100000 | #Constraints: 79684
2761.59/2768.63 c #Conflicts: 1101000 | #Constraints: 80684
2761.59/2768.63 c #Conflicts: 1102000 | #Constraints: 81684
2761.59/2768.63 c #Conflicts: 1103000 | #Constraints: 82684
2761.59/2768.63 c #Conflicts: 1104000 | #Constraints: 83684
2761.59/2768.63 c #Conflicts: 1105000 | #Constraints: 84684
2761.59/2768.63 c #Conflicts: 1106000 | #Constraints: 85684
2761.59/2768.63 c #Conflicts: 1107000 | #Constraints: 86684
2761.59/2768.63 c #Conflicts: 1108000 | #Constraints: 87684
2761.59/2768.63 c #Conflicts: 1109000 | #Constraints: 88684
2761.59/2768.63 c #Conflicts: 1110000 | #Constraints: 89684
2761.59/2768.63 c #Conflicts: 1111000 | #Constraints: 90684
2761.59/2768.63 c #Conflicts: 1112000 | #Constraints: 91684
2761.59/2768.63 c #Conflicts: 1113000 | #Constraints: 92684
2761.59/2768.63 c #Conflicts: 1114000 | #Constraints: 93684
2761.59/2768.63 c #Conflicts: 1115000 | #Constraints: 94684
2761.59/2768.63 c #Conflicts: 1116000 | #Constraints: 95684
2761.59/2768.63 c #Conflicts: 1117000 | #Constraints: 96684
2761.59/2768.63 c #Conflicts: 1118000 | #Constraints: 97684
2761.59/2768.63 c #Conflicts: 1119000 | #Constraints: 98684
2761.59/2768.63 c #Conflicts: 1120000 | #Constraints: 99684
2761.59/2768.63 c #Conflicts: 1121000 | #Constraints: 100684
2761.59/2768.63 c #Conflicts: 1122000 | #Constraints: 101684
2761.59/2768.63 c #Conflicts: 1123000 | #Constraints: 102684
2761.59/2768.63 c #Conflicts: 1124000 | #Constraints: 103684
2761.59/2768.63 c #Conflicts: 1125000 | #Constraints: 104684
2761.59/2768.63 c #Conflicts: 1126000 | #Constraints: 105684
2761.59/2768.63 c #Conflicts: 1127000 | #Constraints: 106684
2761.59/2768.63 c INPROCESSING
2981.37/2989.04 c GARBAGE COLLECT
2981.37/2989.04 c #Conflicts: 1128000 | #Constraints: 68113
2981.37/2989.04 c #Conflicts: 1129000 | #Constraints: 69113
2981.37/2989.04 c #Conflicts: 1130000 | #Constraints: 70113
2981.37/2989.04 c #Conflicts: 1131000 | #Constraints: 71113
2981.37/2989.04 c #Conflicts: 1132000 | #Constraints: 72113
2981.37/2989.04 c #Conflicts: 1133000 | #Constraints: 73113
2981.37/2989.04 c #Conflicts: 1134000 | #Constraints: 74113
2981.37/2989.04 c #Conflicts: 1135000 | #Constraints: 75113
2981.37/2989.04 c #Conflicts: 1136000 | #Constraints: 76113
2981.37/2989.04 c #Conflicts: 1137000 | #Constraints: 77113
2981.37/2989.04 c #Conflicts: 1138000 | #Constraints: 78113
2981.37/2989.04 c #Conflicts: 1139000 | #Constraints: 79113
2981.37/2989.04 c #Conflicts: 1140000 | #Constraints: 80113
2981.37/2989.04 c #Conflicts: 1141000 | #Constraints: 81113
2981.37/2989.04 c #Conflicts: 1142000 | #Constraints: 82113
2981.37/2989.04 c #Conflicts: 1143000 | #Constraints: 83113
2981.37/2989.04 c #Conflicts: 1144000 | #Constraints: 84113
2981.37/2989.04 c #Conflicts: 1145000 | #Constraints: 85113
2981.37/2989.04 c #Conflicts: 1146000 | #Constraints: 86113
2981.37/2989.04 c #Conflicts: 1147000 | #Constraints: 87113
2981.37/2989.04 c #Conflicts: 1148000 | #Constraints: 88113
2981.37/2989.04 c #Conflicts: 1149000 | #Constraints: 89113
2981.37/2989.04 c #Conflicts: 1150000 | #Constraints: 90113
2981.37/2989.04 c #Conflicts: 1151000 | #Constraints: 91113
2981.37/2989.04 c #Conflicts: 1152000 | #Constraints: 92113
2981.37/2989.04 c #Conflicts: 1153000 | #Constraints: 93113
2981.37/2989.04 c #Conflicts: 1154000 | #Constraints: 94113
2981.37/2989.04 c #Conflicts: 1155000 | #Constraints: 95113
2981.37/2989.04 c #Conflicts: 1156000 | #Constraints: 96113
2981.37/2989.04 c #Conflicts: 1157000 | #Constraints: 97113
2981.37/2989.04 c #Conflicts: 1158000 | #Constraints: 98113
2981.37/2989.04 c #Conflicts: 1159000 | #Constraints: 99113
2981.37/2989.04 c #Conflicts: 1160000 | #Constraints: 100113
2981.37/2989.04 c #Conflicts: 1161000 | #Constraints: 101113
2981.37/2989.04 c #Conflicts: 1162000 | #Constraints: 102113
2981.37/2989.04 c #Conflicts: 1163000 | #Constraints: 103113
2981.37/2989.04 c #Conflicts: 1164000 | #Constraints: 104113
2981.37/2989.04 c #Conflicts: 1165000 | #Constraints: 105113
2981.37/2989.04 c #Conflicts: 1166000 | #Constraints: 106113
2981.37/2989.04 c #Conflicts: 1167000 | #Constraints: 107113
2981.37/2989.04 c #Conflicts: 1168000 | #Constraints: 108113
2981.37/2989.04 c #Conflicts: 1169000 | #Constraints: 109113
2981.37/2989.04 c #Conflicts: 1170000 | #Constraints: 110113
2981.37/2989.04 c #Conflicts: 1171000 | #Constraints: 111113
2981.37/2989.04 c #Conflicts: 1172000 | #Constraints: 112113
2981.37/2989.04 c #Conflicts: 1173000 | #Constraints: 113113
2981.37/2989.04 c #Conflicts: 1174000 | #Constraints: 114113
2981.37/2989.04 c #Conflicts: 1175000 | #Constraints: 115113
2981.37/2989.04 c #Conflicts: 1176000 | #Constraints: 116113
2981.37/2989.04 c #Conflicts: 1177000 | #Constraints: 117113
2981.37/2989.04 c #Conflicts: 1178000 | #Constraints: 118113
2981.37/2989.04 c #Conflicts: 1179000 | #Constraints: 119113
2981.37/2989.04 c #Conflicts: 1180000 | #Constraints: 120113
2981.37/2989.04 c #Conflicts: 1181000 | #Constraints: 121113
2981.37/2989.04 c #Conflicts: 1182000 | #Constraints: 122113
2981.37/2989.04 c #Conflicts: 1183000 | #Constraints: 123113
2981.37/2989.04 c #Conflicts: 1184000 | #Constraints: 124113
2981.37/2989.04 c #Conflicts: 1185000 | #Constraints: 125113
2981.37/2989.04 c #Conflicts: 1186000 | #Constraints: 126113
2981.37/2989.04 c #Conflicts: 1187000 | #Constraints: 127113
2981.37/2989.04 c #Conflicts: 1188000 | #Constraints: 128113
2981.37/2989.04 c #Conflicts: 1189000 | #Constraints: 129113
2981.37/2989.04 c #Conflicts: 1190000 | #Constraints: 130113
2981.37/2989.04 c #Conflicts: 1191000 | #Constraints: 131113
2981.37/2989.04 c #Conflicts: 1192000 | #Constraints: 132113
2981.37/2989.04 c #Conflicts: 1193000 | #Constraints: 133113
2981.37/2989.04 c #Conflicts: 1194000 | #Constraints: 134113
2981.37/2989.04 c #Conflicts: 1195000 | #Constraints: 135113
2981.37/2989.04 c #Conflicts: 1196000 | #Constraints: 136113
2981.37/2989.04 c #Conflicts: 1197000 | #Constraints: 137113
2981.37/2989.04 c #Conflicts: 1198000 | #Constraints: 138113
2981.37/2989.04 c INPROCESSING
2981.37/2989.04 c GARBAGE COLLECT
2981.37/2989.04 c #Conflicts: 1199000 | #Constraints: 80534
2981.37/2989.04 c #Conflicts: 1200000 | #Constraints: 81534
2981.37/2989.04 c #Conflicts: 1201000 | #Constraints: 82534
2981.37/2989.04 c #Conflicts: 1202000 | #Constraints: 83534
2981.37/2989.04 c #Conflicts: 1203000 | #Constraints: 84534
2981.37/2989.04 c #Conflicts: 1204000 | #Constraints: 85534
2981.37/2989.04 c #Conflicts: 1205000 | #Constraints: 86534
3173.02/3181.28 c #Conflicts: 1206000 | #Constraints: 87534
3173.02/3181.28 c #Conflicts: 1207000 | #Constraints: 88534
3173.02/3181.28 c #Conflicts: 1208000 | #Constraints: 89534
3173.02/3181.28 c #Conflicts: 1209000 | #Constraints: 90534
3173.02/3181.28 c #Conflicts: 1210000 | #Constraints: 91534
3173.02/3181.28 c #Conflicts: 1211000 | #Constraints: 92534
3173.02/3181.28 c #Conflicts: 1212000 | #Constraints: 93534
3173.02/3181.28 c #Conflicts: 1213000 | #Constraints: 94534
3173.02/3181.28 c #Conflicts: 1214000 | #Constraints: 95534
3173.02/3181.28 c #Conflicts: 1215000 | #Constraints: 96534
3173.02/3181.28 c #Conflicts: 1216000 | #Constraints: 97534
3173.02/3181.28 c #Conflicts: 1217000 | #Constraints: 98534
3173.02/3181.28 c #Conflicts: 1218000 | #Constraints: 99534
3173.02/3181.28 c #Conflicts: 1219000 | #Constraints: 100534
3173.02/3181.28 c #Conflicts: 1220000 | #Constraints: 101534
3173.02/3181.28 c #Conflicts: 1221000 | #Constraints: 102534
3173.02/3181.28 c #Conflicts: 1222000 | #Constraints: 103534
3173.02/3181.28 c #Conflicts: 1223000 | #Constraints: 104534
3173.02/3181.28 c #Conflicts: 1224000 | #Constraints: 105534
3173.02/3181.28 c #Conflicts: 1225000 | #Constraints: 106534
3173.02/3181.28 c #Conflicts: 1226000 | #Constraints: 107534
3173.02/3181.28 c #Conflicts: 1227000 | #Constraints: 108534
3173.02/3181.28 c #Conflicts: 1228000 | #Constraints: 109534
3173.02/3181.28 c INPROCESSING
3173.02/3181.28 c GARBAGE COLLECT
3173.02/3181.28 c #Conflicts: 1229000 | #Constraints: 69914
3173.02/3181.28 c #Conflicts: 1230000 | #Constraints: 70914
3173.02/3181.28 c #Conflicts: 1231000 | #Constraints: 71914
3173.02/3181.28 c #Conflicts: 1232000 | #Constraints: 72914
3173.02/3181.28 c #Conflicts: 1233000 | #Constraints: 73914
3173.02/3181.28 c #Conflicts: 1234000 | #Constraints: 74914
3173.02/3181.28 c #Conflicts: 1235000 | #Constraints: 75914
3173.02/3181.28 c #Conflicts: 1236000 | #Constraints: 76914
3173.02/3181.28 c #Conflicts: 1237000 | #Constraints: 77914
3173.02/3181.28 c #Conflicts: 1238000 | #Constraints: 78914
3173.02/3181.28 c #Conflicts: 1239000 | #Constraints: 79914
3173.02/3181.28 c #Conflicts: 1240000 | #Constraints: 80914
3173.02/3181.28 c #Conflicts: 1241000 | #Constraints: 81914
3173.02/3181.28 c #Conflicts: 1242000 | #Constraints: 82914
3173.02/3181.28 c #Conflicts: 1243000 | #Constraints: 83914
3173.02/3181.28 c #Conflicts: 1244000 | #Constraints: 84914
3173.02/3181.28 c #Conflicts: 1245000 | #Constraints: 85914
3173.02/3181.28 c #Conflicts: 1246000 | #Constraints: 86914
3173.02/3181.28 c #Conflicts: 1247000 | #Constraints: 87914
3173.02/3181.28 c #Conflicts: 1248000 | #Constraints: 88914
3173.02/3181.28 c #Conflicts: 1249000 | #Constraints: 89914
3173.02/3181.28 c #Conflicts: 1250000 | #Constraints: 90914
3173.02/3181.28 c #Conflicts: 1251000 | #Constraints: 91914
3173.02/3181.28 c #Conflicts: 1252000 | #Constraints: 92914
3173.02/3181.28 c #Conflicts: 1253000 | #Constraints: 93914
3173.02/3181.28 c #Conflicts: 1254000 | #Constraints: 94914
3173.02/3181.28 c #Conflicts: 1255000 | #Constraints: 95914
3173.02/3181.28 c #Conflicts: 1256000 | #Constraints: 96914
3173.02/3181.28 c #Conflicts: 1257000 | #Constraints: 97914
3173.02/3181.28 c #Conflicts: 1258000 | #Constraints: 98914
3173.02/3181.28 c #Conflicts: 1259000 | #Constraints: 99914
3173.02/3181.28 c #Conflicts: 1260000 | #Constraints: 100914
3173.02/3181.28 c #Conflicts: 1261000 | #Constraints: 101914
3173.02/3181.28 c #Conflicts: 1262000 | #Constraints: 102914
3173.02/3181.28 c #Conflicts: 1263000 | #Constraints: 103914
3173.02/3181.28 c #Conflicts: 1264000 | #Constraints: 104914
3173.02/3181.28 c #Conflicts: 1265000 | #Constraints: 105914
3173.02/3181.28 c #Conflicts: 1266000 | #Constraints: 106914
3173.02/3181.28 c #Conflicts: 1267000 | #Constraints: 107914
3173.02/3181.28 c #Conflicts: 1268000 | #Constraints: 108914
3173.02/3181.28 c #Conflicts: 1269000 | #Constraints: 109914
3173.02/3181.28 c #Conflicts: 1270000 | #Constraints: 110914
3173.02/3181.28 c #Conflicts: 1271000 | #Constraints: 111914
3173.02/3181.28 c #Conflicts: 1272000 | #Constraints: 112914
3173.02/3181.28 c #Conflicts: 1273000 | #Constraints: 113914
3173.02/3181.28 c #Conflicts: 1274000 | #Constraints: 114914
3173.02/3181.28 c #Conflicts: 1275000 | #Constraints: 115914
3173.02/3181.28 c #Conflicts: 1276000 | #Constraints: 116914
3173.02/3181.28 c #Conflicts: 1277000 | #Constraints: 117914
3173.02/3181.28 c #Conflicts: 1278000 | #Constraints: 118914
3173.02/3181.28 c #Conflicts: 1279000 | #Constraints: 119914
3173.02/3181.28 c #Conflicts: 1280000 | #Constraints: 120914
3173.02/3181.28 c #Conflicts: 1281000 | #Constraints: 121914
3173.02/3181.28 c #Conflicts: 1282000 | #Constraints: 122914
3173.02/3181.28 c #Conflicts: 1283000 | #Constraints: 123914
3318.33/3326.94 c #Conflicts: 1284000 | #Constraints: 124914
3318.33/3326.94 c #Conflicts: 1285000 | #Constraints: 125914
3318.33/3326.94 c #Conflicts: 1286000 | #Constraints: 126914
3318.33/3326.94 c #Conflicts: 1287000 | #Constraints: 127914
3318.33/3326.94 c #Conflicts: 1288000 | #Constraints: 128914
3318.33/3326.94 c #Conflicts: 1289000 | #Constraints: 129914
3318.33/3326.94 c #Conflicts: 1290000 | #Constraints: 130914
3318.33/3326.94 c #Conflicts: 1291000 | #Constraints: 131914
3318.33/3326.94 c #Conflicts: 1292000 | #Constraints: 132914
3318.33/3326.94 c #Conflicts: 1293000 | #Constraints: 133914
3318.33/3326.94 c #Conflicts: 1294000 | #Constraints: 134914
3318.33/3326.94 c #Conflicts: 1295000 | #Constraints: 135914
3318.33/3326.94 c #Conflicts: 1296000 | #Constraints: 136914
3318.33/3326.94 c #Conflicts: 1297000 | #Constraints: 137914
3318.33/3326.94 c #Conflicts: 1298000 | #Constraints: 138914
3318.33/3326.94 c #Conflicts: 1299000 | #Constraints: 139914
3318.33/3326.94 c #Conflicts: 1300000 | #Constraints: 140914
3318.33/3326.94 c #Conflicts: 1301000 | #Constraints: 141914
3318.33/3326.94 c #Conflicts: 1302000 | #Constraints: 142914
3318.33/3326.94 c #Conflicts: 1303000 | #Constraints: 143914
3318.33/3326.94 c INPROCESSING
3318.33/3326.94 c GARBAGE COLLECT
3318.33/3326.94 c rational objective 155
3541.08/3550.24 c #Conflicts: 1304000 | #Constraints: 83481
3541.08/3550.24 c #Conflicts: 1305000 | #Constraints: 84481
3541.08/3550.24 c #Conflicts: 1306000 | #Constraints: 85481
3541.08/3550.24 c #Conflicts: 1307000 | #Constraints: 86481
3541.08/3550.24 c #Conflicts: 1308000 | #Constraints: 87481
3541.08/3550.24 c #Conflicts: 1309000 | #Constraints: 88481
3541.08/3550.24 c #Conflicts: 1310000 | #Constraints: 89481
3541.08/3550.24 c #Conflicts: 1311000 | #Constraints: 90481
3541.08/3550.24 c #Conflicts: 1312000 | #Constraints: 91481
3541.08/3550.24 c #Conflicts: 1313000 | #Constraints: 92481
3541.08/3550.24 c #Conflicts: 1314000 | #Constraints: 93481
3541.08/3550.24 c #Conflicts: 1315000 | #Constraints: 94481
3541.08/3550.24 c #Conflicts: 1316000 | #Constraints: 95481
3541.08/3550.24 c #Conflicts: 1317000 | #Constraints: 96481
3541.08/3550.24 c #Conflicts: 1318000 | #Constraints: 97481
3541.08/3550.24 c #Conflicts: 1319000 | #Constraints: 98481
3541.08/3550.24 c #Conflicts: 1320000 | #Constraints: 99481
3541.08/3550.24 c #Conflicts: 1321000 | #Constraints: 100481
3541.08/3550.24 c #Conflicts: 1322000 | #Constraints: 101481
3541.08/3550.24 c #Conflicts: 1323000 | #Constraints: 102481
3541.08/3550.24 c #Conflicts: 1324000 | #Constraints: 103481
3541.08/3550.24 c #Conflicts: 1325000 | #Constraints: 104481
3541.08/3550.24 c #Conflicts: 1326000 | #Constraints: 105481
3541.08/3550.24 c #Conflicts: 1327000 | #Constraints: 106481
3541.08/3550.24 c #Conflicts: 1328000 | #Constraints: 107481
3541.08/3550.24 c #Conflicts: 1329000 | #Constraints: 108481
3541.08/3550.24 c #Conflicts: 1330000 | #Constraints: 109481
3541.08/3550.24 c #Conflicts: 1331000 | #Constraints: 110481
3541.08/3550.24 c #Conflicts: 1332000 | #Constraints: 111481
3541.08/3550.24 c #Conflicts: 1333000 | #Constraints: 112481
3541.08/3550.24 c #Conflicts: 1334000 | #Constraints: 113481
3541.08/3550.24 c #Conflicts: 1335000 | #Constraints: 114481
3541.08/3550.24 c INPROCESSING
3541.08/3550.24 c GARBAGE COLLECT
3541.08/3550.24 c #Conflicts: 1336000 | #Constraints: 73195
3541.08/3550.24 c #Conflicts: 1337000 | #Constraints: 74195
3541.08/3550.24 c #Conflicts: 1338000 | #Constraints: 75195
3541.08/3550.24 c #Conflicts: 1339000 | #Constraints: 76195
3541.08/3550.24 c #Conflicts: 1340000 | #Constraints: 77195
3541.08/3550.24 c #Conflicts: 1341000 | #Constraints: 78195
3541.08/3550.24 c #Conflicts: 1342000 | #Constraints: 79195
3541.08/3550.24 c #Conflicts: 1343000 | #Constraints: 80195
3541.08/3550.24 c #Conflicts: 1344000 | #Constraints: 81195
3541.08/3550.24 c #Conflicts: 1345000 | #Constraints: 82195
3541.08/3550.24 c #Conflicts: 1346000 | #Constraints: 83195
3541.08/3550.24 c #Conflicts: 1347000 | #Constraints: 84195
3541.08/3550.24 c #Conflicts: 1348000 | #Constraints: 85195
3541.08/3550.24 c #Conflicts: 1349000 | #Constraints: 86195
3541.08/3550.24 c #Conflicts: 1350000 | #Constraints: 87195
3541.08/3550.24 c #Conflicts: 1351000 | #Constraints: 88195
3541.08/3550.24 c #Conflicts: 1352000 | #Constraints: 89195
3541.08/3550.24 c #Conflicts: 1353000 | #Constraints: 90195
3541.08/3550.24 c #Conflicts: 1354000 | #Constraints: 91195
3541.08/3550.24 c #Conflicts: 1355000 | #Constraints: 92195
3541.08/3550.24 c #Conflicts: 1356000 | #Constraints: 93195
3541.08/3550.24 c #Conflicts: 1357000 | #Constraints: 94195
3541.08/3550.24 c #Conflicts: 1358000 | #Constraints: 95195
3541.08/3550.24 c #Conflicts: 1359000 | #Constraints: 96195
3541.08/3550.24 c #Conflicts: 1360000 | #Constraints: 97195
3541.08/3550.24 c #Conflicts: 1361000 | #Constraints: 98195
3541.08/3550.24 c #Conflicts: 1362000 | #Constraints: 99195
3541.08/3550.24 c #Conflicts: 1363000 | #Constraints: 100195
3541.08/3550.24 c #Conflicts: 1364000 | #Constraints: 101195
3541.08/3550.24 c #Conflicts: 1365000 | #Constraints: 102195
3541.08/3550.24 c #Conflicts: 1366000 | #Constraints: 103195
3541.08/3550.24 c #Conflicts: 1367000 | #Constraints: 104195
3541.08/3550.24 c #Conflicts: 1368000 | #Constraints: 105195
3541.08/3550.24 c #Conflicts: 1369000 | #Constraints: 106195
3541.08/3550.24 c #Conflicts: 1370000 | #Constraints: 107195
3541.08/3550.24 c #Conflicts: 1371000 | #Constraints: 108195
3541.08/3550.24 c #Conflicts: 1372000 | #Constraints: 109195
3541.08/3550.24 c #Conflicts: 1373000 | #Constraints: 110195
3541.08/3550.24 c #Conflicts: 1374000 | #Constraints: 111195
3541.08/3550.24 c #Conflicts: 1375000 | #Constraints: 112195
3541.08/3550.24 c #Conflicts: 1376000 | #Constraints: 113195
3541.08/3550.24 c #Conflicts: 1377000 | #Constraints: 114195
3541.08/3550.24 c #Conflicts: 1378000 | #Constraints: 115195
3541.08/3550.24 c #Conflicts: 1379000 | #Constraints: 116195
3541.08/3550.24 c #Conflicts: 1380000 | #Constraints: 117195
3541.08/3550.24 c #Conflicts: 1381000 | #Constraints: 118195
3541.08/3550.24 c #Conflicts: 1382000 | #Constraints: 119195
3600.05/3609.30 c #Conflicts: 1383000 | #Constraints: 120195
3600.05/3609.30 c #Conflicts: 1384000 | #Constraints: 121195
3600.05/3609.30 c #Conflicts: 1385000 | #Constraints: 122195
3600.05/3609.30 c #Conflicts: 1386000 | #Constraints: 123195
3600.05/3609.30 c #Conflicts: 1387000 | #Constraints: 124195
3600.05/3609.30 c #Conflicts: 1388000 | #Constraints: 125195
3600.05/3609.30 c #Conflicts: 1389000 | #Constraints: 126195
3600.05/3609.30 c #Conflicts: 1390000 | #Constraints: 127195
3600.05/3609.30 c #Conflicts: 1391000 | #Constraints: 128195
3600.05/3609.30 c #Conflicts: 1392000 | #Constraints: 129195
3600.05/3609.30 c #Conflicts: 1393000 | #Constraints: 130195
3600.05/3609.30 c #Conflicts: 1394000 | #Constraints: 131195
3600.05/3609.30 c #Conflicts: 1395000 | #Constraints: 132195
3600.05/3609.30 c #Conflicts: 1396000 | #Constraints: 133195
3600.05/3609.30 c #Conflicts: 1397000 | #Constraints: 134195
3600.05/3609.30 c #Conflicts: 1398000 | #Constraints: 135195
3600.05/3609.30 c #Conflicts: 1399000 | #Constraints: 136195
3600.05/3609.30 c cpu time 3568.47 s
3600.05/3609.30 c deterministic time 232711102896 2.33e+11
3600.05/3609.30 c optimization time 168.13 s
3600.05/3609.30 c total solve time 3400.25 s
3600.05/3609.30 c core-guided solve time 0 s
3600.05/3609.30 c propagation time 1785.96 s
3600.05/3609.30 c conflict analysis time 1447.76 s
3600.05/3609.30 c propagations 1387058908
3600.05/3609.30 c resolve steps 93509226
3600.05/3609.30 c decisions 26915315
3600.05/3609.30 c conflicts 1399824
3600.05/3609.30 c restarts 2684
3600.05/3609.30 c inprocessing phases 50
3600.05/3609.30 c garbage collections 50 ,( 100.00 )
3600.05/3609.30 c input clauses 18602 ,( 99.17 )
3600.05/3609.30 c input cardinalities 155 ,( 0.83 )
3600.05/3609.30 c input general constraints 0 ,( 0.00 )
3600.05/3609.30 c input average constraint length 6.43
3600.05/3609.30 c input average constraint degree 1.97
3600.05/3609.30 c learned clauses 1043755 ,( 74.56 )
3600.05/3609.30 c learned cardinalities 42251 ,( 3.02 )
3600.05/3609.30 c learned general constraints 313828 ,( 22.42 )
3600.05/3609.30 c learned average constraint length 752.35
3600.05/3609.30 c learned average constraint degree 18763719.74
3600.05/3609.30 c watched CF 32, 64, 128, Arb: 83124 , 0 , 0 , 0
3600.05/3609.30 c counting CF 32, 64, 128, Arb: 230704 , 0 , 0 , 0
3600.05/3609.30 c watched constraints 83124 ,( 26.49 )
3600.05/3609.30 c counting constraints 230704 ,( 73.51 )
3600.05/3609.30 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 1358076011 , 648355732 , 1949051939 ,( 79739838 , 1869312101 )
3600.05/3609.30 c gcd simplifications 812
3600.05/3609.30 c detected cardinalities 5625
3600.05/3609.30 c weakened non-implied lits 397437928
3600.05/3609.30 c weakened non-implying lits 246136
3600.05/3609.30 c original variables 18445
3600.05/3609.30 c clausal propagations 634524905
3600.05/3609.30 c cardinality propagations 507528909
3600.05/3609.30 c watched propagations 4802854
3600.05/3609.30 c counting propagations 228088405
3600.05/3609.30 c watch lookups 82145317439
3600.05/3609.30 c watch backjump lookups 0
3600.05/3609.30 c watch checks 34468995064
3600.05/3609.30 c propagation checks 108207880773
3600.05/3609.30 c constraint additions 5059266850
3600.05/3609.30 c trail pops 1415357024
3600.05/3609.30 c formula constraints 18757
3600.05/3609.30 c learned constraints 1399818
3600.05/3609.30 c bound constraints 0
3600.05/3609.30 c core-guided constraints 0
3600.05/3609.30 c encountered formula constraints 60467437
3600.05/3609.30 c encountered learned constraints 34438953
3600.05/3609.30 c encountered bound constraints 0
3600.05/3609.30 c encountered core-guided constraints 0
3600.05/3609.30 c LP total time 394.065 s
3600.05/3609.30 c LP solve time 375.05 s
3600.05/3609.30 c LP constraints added 19596
3600.05/3609.30 c LP constraints removed 389
3600.05/3609.30 c LP pivots internal 147741
3600.05/3609.30 c LP pivots root 163781
3600.05/3609.30 c LP calls 20
3600.05/3609.30 c LP optimalities 8
3600.05/3609.30 c LP no pivot count 0
3600.05/3609.30 c LP infeasibilities 5
3600.05/3609.30 c LP valid Farkas constraints 5
3600.05/3609.30 c LP learned Farkas constraints 5
3600.05/3609.30 c LP basis resets 1
3600.05/3609.30 c LP cycling count 0
3600.05/3609.30 c LP singular count 1
3600.05/3609.30 c LP no primal count 0
3600.05/3609.30 c LP no farkas count 0
3600.05/3609.30 c LP other issue count 0
3600.05/3609.30 c LP Gomory cuts 6
3600.05/3609.30 c LP learned cuts 833
3600.05/3609.30 c LP deleted cuts 389
3600.05/3609.30 c LP encountered Gomory constraints 2105
3600.05/3609.30 c LP encountered Farkas constraints 545
3600.05/3609.30 c LP encountered learned Farkas constraints 5
3600.05/3609.30 c CG auxiliary variables introduced 0
3600.05/3609.30 c CG solutions found 0
3600.05/3609.30 c CG cores constructed 0
3600.05/3609.30 c CG core cardinality constraints returned 0
3600.05/3609.30 c CG unit cores 0
3600.05/3609.30 c CG single cores 0
3600.05/3609.30 c CG blocks removed during cardinality reduction 0
3600.05/3609.30 c CG first core best 0
3600.05/3609.30 c CG decision core best 0
3600.05/3609.30 c CG core reduction tie 0
3600.05/3609.30 c CG core degree average 0.00
3600.05/3609.30 c CG core slack average 0.00
3600.05/3609.30 c CG core upper bound improvements 0
3600.05/3609.30 c STR number of successful calls 0
3600.05/3609.30 c STR number of unsuccessful calls 0
3600.05/3609.30 c STR number of inconclusive calls 0
3600.05/3609.30 c STR number of successful attempts 0
3600.05/3609.30 c STR number of unsuccessful attempts 0
3600.05/3609.30 c STR number of inconclusive attempts 0
3600.05/3609.30 c STR average degree increase per successful call inf
3600.05/3609.30 c STR average degree increase per successful attempt inf
3600.05/3609.30 c STR total number of conflicts for successful attempts 0
3600.05/3609.30 c STR total number of conflicts for unsuccessful attempts 0
3600.05/3609.30 c STR total number of conflicts for inconclusive attempts 0
3600.05/3609.30 c STR average number of conflicts per successful attempt inf
3600.05/3609.30 c STR average number of conflicts per unsuccessful attempt inf
3600.05/3609.30 c STR average number of conflicts per inconclusive attempt inf
3600.05/3609.30 c AVG.sumWPerc 65.29
3600.05/3609.30 c bigint constraints 0
3600.05/3609.30 s UNKNOWN
3600.05/3609.30 c Program interrupted by user.
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63665 MiB (62188 MiB free)
memory of node 1: 64507 MiB (63514 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4507049-1751176701/watcher-4507049-1751176701 -o /tmp/evaluation-result-4507049-1751176701/solver-4507049-1751176701 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1751169346-22497 --watchdog 3760 --file-size-limit 100000 run-dec-log.sh HOME/instance-4507049-1751176701.opb PROOFDIR/proof-4507049-1751176701
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing 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=23413, runsolver pid=23410
[startup+0.100064 s]*
/proc/loadavg: 4.15 4.12 4.11 5/271 23415
/proc/meminfo: memFree=128703772/131249996 swapFree=33010684/33010684
[pid=23413] ppid=23410 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/23413/stat : 23413 (run-dec-log.sh) S 23410 23413 22485 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 33347898 4292608 768 18446744073709551615 94276727595008 94276728489541 140724098007888 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94276728728592 94276728776336 94276728844288 140724098009377 140724098009572 140724098009572 140724098015174 0
/proc/23413/statm: 1048 768 704 219 0 110 0
[pid=23415] ppid=23413 vsize=73868 memory=28972 CPUtime=0.08 cores=1,3
/proc/23415/stat : 23415 (roundingsat) R 23413 23413 22485 0 -1 4194304 5113 0 0 0 7 1 0 0 20 0 1 0 33347898 75640832 7243 18446744073709551615 4227072 8923433 140720680867840 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 24272896 140720680872295 140720680872488 140720680872488 140720680878058 0
/proc/23415/statm: 18467 7243 2240 1147 0 5894 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 78060 KiB
Current children cumulated memory: 32044 KiB
[startup+0.205813 s]*
/proc/loadavg: 4.15 4.12 4.11 5/271 23415
/proc/meminfo: memFree=128685564/131249996 swapFree=33010684/33010684
[pid=23413] ppid=23410 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/23413/stat : 23413 (run-dec-log.sh) S 23410 23413 22485 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 33347898 4292608 768 18446744073709551615 94276727595008 94276728489541 140724098007888 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94276728728592 94276728776336 94276728844288 140724098009377 140724098009572 140724098009572 140724098015174 0
/proc/23413/statm: 1048 768 704 219 0 110 0
[pid=23415] ppid=23413 vsize=104708 memory=49808 CPUtime=0.19 cores=1,3
/proc/23415/stat : 23415 (roundingsat) R 23413 23413 22485 0 -1 4194304 10134 0 0 0 16 3 0 0 20 0 1 0 33347898 107220992 12452 18446744073709551615 4227072 8923433 140720680867840 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 24272896 140720680872295 140720680872488 140720680872488 140720680878058 0
/proc/23415/statm: 26177 12452 2240 1147 0 13604 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 108900 KiB
Current children cumulated memory: 52880 KiB
[startup+0.305643 s]*
/proc/loadavg: 4.15 4.12 4.11 5/271 23415
/proc/meminfo: memFree=128681532/131249996 swapFree=33010684/33010684
[pid=23413] ppid=23410 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/23413/stat : 23413 (run-dec-log.sh) S 23410 23413 22485 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 33347898 4292608 768 18446744073709551615 94276727595008 94276728489541 140724098007888 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94276728728592 94276728776336 94276728844288 140724098009377 140724098009572 140724098009572 140724098015174 0
/proc/23413/statm: 1048 768 704 219 0 110 0
[pid=23415] ppid=23413 vsize=105884 memory=51344 CPUtime=0.29 cores=1,3
/proc/23415/stat : 23415 (roundingsat) R 23413 23413 22485 0 -1 4194304 10512 0 0 0 26 3 0 0 20 0 1 0 33347898 108425216 12836 18446744073709551615 4227072 8923433 140720680867840 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 24272896 140720680872295 140720680872488 140720680872488 140720680878058 0
/proc/23415/statm: 26471 12836 2240 1147 0 13898 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 110076 KiB
Current children cumulated memory: 54416 KiB
[startup+0.700148 s]
/proc/loadavg: 4.15 4.12 4.11 5/271 23415
/proc/meminfo: memFree=128681280/131249996 swapFree=33010684/33010684
[pid=23413] ppid=23410 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/23413/stat : 23413 (run-dec-log.sh) S 23410 23413 22485 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 33347898 4292608 768 18446744073709551615 94276727595008 94276728489541 140724098007888 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94276728728592 94276728776336 94276728844288 140724098009377 140724098009572 140724098009572 140724098015174 0
/proc/23413/statm: 1048 768 704 219 0 110 0
[pid=23415] ppid=23413 vsize=106816 memory=53136 CPUtime=0.67 cores=1,3
/proc/23415/stat : 23415 (roundingsat) R 23413 23413 22485 0 -1 4194304 10927 0 0 0 64 3 0 0 20 0 1 0 33347898 109379584 13284 18446744073709551615 4227072 8923433 140720680867840 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 24272896 140720680872295 140720680872488 140720680872488 140720680878058 0
/proc/23415/statm: 26704 13284 2272 1147 0 14131 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 111008 KiB
Current children cumulated memory: 56208 KiB
[startup+1.50019 s]
/proc/loadavg: 4.15 4.12 4.11 5/271 23415
/proc/meminfo: memFree=128673296/131249996 swapFree=33010684/33010684
[pid=23413] ppid=23410 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/23413/stat : 23413 (run-dec-log.sh) S 23410 23413 22485 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 33347898 4292608 768 18446744073709551615 94276727595008 94276728489541 140724098007888 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94276728728592 94276728776336 94276728844288 140724098009377 140724098009572 140724098009572 140724098015174 0
/proc/23413/statm: 1048 768 704 219 0 110 0
[pid=23415] ppid=23413 vsize=108680 memory=55056 CPUtime=1.48 cores=1,3
/proc/23415/stat : 23415 (roundingsat) R 23413 23413 22485 0 -1 4194304 11373 0 0 0 143 5 0 0 20 0 1 0 33347898 111288320 13764 18446744073709551615 4227072 8923433 140720680867840 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 24272896 140720680872295 140720680872488 140720680872488 140720680878058 0
/proc/23415/statm: 27170 13764 2304 1147 0 14597 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 112872 KiB
Current children cumulated memory: 58128 KiB
[startup+3.1052 s]
/proc/loadavg: 4.13 4.12 4.11 5/271 23415
/proc/meminfo: memFree=128635052/131249996 swapFree=33010684/33010684
[pid=23413] ppid=23410 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/23413/stat : 23413 (run-dec-log.sh) S 23410 23413 22485 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 33347898 4292608 768 18446744073709551615 94276727595008 94276728489541 140724098007888 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94276728728592 94276728776336 94276728844288 140724098009377 140724098009572 140724098009572 140724098015174 0
/proc/23413/statm: 1048 768 704 219 0 110 0
[pid=23415] ppid=23413 vsize=111168 memory=60660 CPUtime=3.07 cores=1,3
/proc/23415/stat : 23415 (roundingsat) R 23413 23413 22485 0 -1 4194304 12270 0 0 0 294 13 0 0 20 0 1 0 33347898 113836032 15165 18446744073709551615 4227072 8923433 140720680867840 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 24272896 140720680872295 140720680872488 140720680872488 140720680878058 0
/proc/23415/statm: 27792 15165 2336 1147 0 15219 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 115360 KiB
Current children cumulated memory: 63732 KiB
[startup+6.30014 s]
/proc/loadavg: 4.13 4.12 4.11 5/271 23415
/proc/meminfo: memFree=128596808/131249996 swapFree=33010684/33010684
[pid=23413] ppid=23410 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/23413/stat : 23413 (run-dec-log.sh) S 23410 23413 22485 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 33347898 4292608 768 18446744073709551615 94276727595008 94276728489541 140724098007888 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94276728728592 94276728776336 94276728844288 140724098009377 140724098009572 140724098009572 140724098015174 0
/proc/23413/statm: 1048 768 704 219 0 110 0
[pid=23415] ppid=23413 vsize=121364 memory=69108 CPUtime=6.26 cores=1,3
/proc/23415/stat : 23415 (roundingsat) R 23413 23413 22485 0 -1 4194304 14400 0 0 0 597 29 0 0 20 0 1 0 33347898 124276736 17277 18446744073709551615 4227072 8923433 140720680867840 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 24272896 140720680872295 140720680872488 140720680872488 140720680878058 0
/proc/23415/statm: 30341 17277 2336 1147 0 17768 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 125556 KiB
Current children cumulated memory: 72180 KiB
[startup+12.7002 s]
/proc/loadavg: 4.12 4.12 4.11 5/271 23415
/proc/meminfo: memFree=128556244/131249996 swapFree=33010684/33010684
[pid=23413] ppid=23410 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/23413/stat : 23413 (run-dec-log.sh) S 23410 23413 22485 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 33347898 4292608 768 18446744073709551615 94276727595008 94276728489541 140724098007888 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94276728728592 94276728776336 94276728844288 140724098009377 140724098009572 140724098009572 140724098015174 0
/proc/23413/statm: 1048 768 704 219 0 110 0
[pid=23415] ppid=23413 vsize=131136 memory=79220 CPUtime=12.64 cores=1,3
/proc/23415/stat : 23415 (roundingsat) R 23413 23413 22485 0 -1 4194304 16911 0 0 0 1222 42 0 0 20 0 1 0 33347898 134283264 19805 18446744073709551615 4227072 8923433 140720680867840 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 24272896 140720680872295 140720680872488 140720680872488 140720680878058 0
/proc/23415/statm: 32784 19805 2336 1147 0 20211 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 135328 KiB
Current children cumulated memory: 82292 KiB
[startup+25.5002 s]
/proc/loadavg: 4.16 4.13 4.11 5/271 23415
/proc/meminfo: memFree=128499708/131249996 swapFree=33010684/33010684
[pid=23413] ppid=23410 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/23413/stat : 23413 (run-dec-log.sh) S 23410 23413 22485 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 33347898 4292608 768 18446744073709551615 94276727595008 94276728489541 140724098007888 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94276728728592 94276728776336 94276728844288 140724098009377 140724098009572 140724098009572 140724098015174 0
/proc/23413/statm: 1048 768 704 219 0 110 0
[pid=23415] ppid=23413 vsize=154796 memory=102868 CPUtime=25.42 cores=1,3
/proc/23415/stat : 23415 (roundingsat) R 23413 23413 22485 0 -1 4194304 20275 0 0 0 2474 68 0 0 20 0 1 0 33347898 158511104 25717 18446744073709551615 4227072 8923433 140720680867840 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 24272896 140720680872295 140720680872488 140720680872488 140720680878058 0
/proc/23415/statm: 38699 25717 2336 1147 0 26126 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 158988 KiB
Current children cumulated memory: 105940 KiB
[startup+51.1055 s]
/proc/loadavg: 4.17 4.13 4.11 5/271 23416
/proc/meminfo: memFree=128026224/131249996 swapFree=33010684/33010684
[pid=23413] ppid=23410 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/23413/stat : 23413 (run-dec-log.sh) S 23410 23413 22485 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 33347898 4292608 768 18446744073709551615 94276727595008 94276728489541 140724098007888 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94276728728592 94276728776336 94276728844288 140724098009377 140724098009572 140724098009572 140724098015174 0
/proc/23413/statm: 1048 768 704 219 0 110 0
[pid=23415] ppid=23413 vsize=181976 memory=129932 CPUtime=50.95 cores=1,3
/proc/23415/stat : 23415 (roundingsat) R 23413 23413 22485 0 -1 4194304 24555 0 0 0 4967 128 0 0 20 0 1 0 33347898 186343424 32483 18446744073709551615 4227072 8923433 140720680867840 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 24272896 140720680872295 140720680872488 140720680872488 140720680878058 0
/proc/23415/statm: 45494 32483 2336 1147 0 32921 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 186168 KiB
Current children cumulated memory: 133004 KiB
[startup+102.3 s]
/proc/loadavg: 4.18 4.14 4.11 5/275 23422
/proc/meminfo: memFree=127427200/131249996 swapFree=33010684/33010684
[pid=23413] ppid=23410 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/23413/stat : 23413 (run-dec-log.sh) S 23410 23413 22485 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 33347898 4292608 768 18446744073709551615 94276727595008 94276728489541 140724098007888 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94276728728592 94276728776336 94276728844288 140724098009377 140724098009572 140724098009572 140724098015174 0
/proc/23413/statm: 1048 768 704 219 0 110 0
[pid=23415] ppid=23413 vsize=226072 memory=169320 CPUtime=102.02 cores=1,3
/proc/23415/stat : 23415 (roundingsat) R 23413 23413 22485 0 -1 4194304 31351 0 0 0 9996 206 0 0 20 0 1 0 33347898 231497728 42330 18446744073709551615 4227072 8923433 140720680867840 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 24272896 140720680872295 140720680872488 140720680872488 140720680878058 0
/proc/23415/statm: 56518 42330 2336 1147 0 43945 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 230264 KiB
Current children cumulated memory: 172392 KiB
[startup+162.3 s]
/proc/loadavg: 4.11 4.13 4.11 5/274 23435
/proc/meminfo: memFree=126786584/131249996 swapFree=33010684/33010684
[pid=23413] ppid=23410 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/23413/stat : 23413 (run-dec-log.sh) S 23410 23413 22485 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 33347898 4292608 768 18446744073709551615 94276727595008 94276728489541 140724098007888 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94276728728592 94276728776336 94276728844288 140724098009377 140724098009572 140724098009572 140724098015174 0
/proc/23413/statm: 1048 768 704 219 0 110 0
[pid=23415] ppid=23413 vsize=250752 memory=198596 CPUtime=161.87 cores=1,3
/proc/23415/stat : 23415 (roundingsat) R 23413 23413 22485 0 -1 4194304 37659 0 0 0 15907 280 0 0 20 0 1 0 33347898 256770048 49649 18446744073709551615 4227072 8923433 140720680867840 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 24272896 140720680872295 140720680872488 140720680872488 140720680878058 0
/proc/23415/statm: 62688 49649 2336 1147 0 50115 0
Current children cumulated CPU time: 161.87 s
Current children cumulated vsize: 254944 KiB
Current children cumulated memory: 201668 KiB
[startup+222.3 s]
/proc/loadavg: 4.15 4.13 4.11 5/274 23438
/proc/meminfo: memFree=126073464/131249996 swapFree=33010684/33010684
[pid=23413] ppid=23410 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/23413/stat : 23413 (run-dec-log.sh) S 23410 23413 22485 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 33347898 4292608 768 18446744073709551615 94276727595008 94276728489541 140724098007888 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94276728728592 94276728776336 94276728844288 140724098009377 140724098009572 140724098009572 140724098015174 0
/proc/23413/statm: 1048 768 704 219 0 110 0
[pid=23415] ppid=23413 vsize=357840 memory=260752 CPUtime=221.73 cores=1,3
/proc/23415/stat : 23415 (roundingsat) R 23413 23413 22485 0 -1 4194304 44522 0 0 0 21791 382 0 0 20 0 1 0 33347898 366428160 65188 18446744073709551615 4227072 8923433 140720680867840 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 24272896 140720680872295 140720680872488 140720680872488 140720680878058 0
/proc/23415/statm: 89460 65188 2336 1147 0 76887 0
################
# More data... #
################
/proc/23415/statm: 377474 276301 2464 1147 0 364901 0
Current children cumulated CPU time: 3094.35 s
Current children cumulated vsize: 1514088 KiB
Current children cumulated memory: 1108276 KiB
[startup+3162.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/270 23580
/proc/meminfo: memFree=102624080/131249996 swapFree=33010684/33010684
[pid=23413] ppid=23410 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/23413/stat : 23413 (run-dec-log.sh) S 23410 23413 22485 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 33347898 4292608 768 18446744073709551615 94276727595008 94276728489541 140724098007888 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94276728728592 94276728776336 94276728844288 140724098009377 140724098009572 140724098009572 140724098015174 0
/proc/23413/statm: 1048 768 704 219 0 110 0
[pid=23415] ppid=23413 vsize=1510036 memory=1105332 CPUtime=3154.18 cores=1,3
/proc/23415/stat : 23415 (roundingsat) R 23413 23413 22485 0 -1 4194304 134300 0 0 0 312572 2846 0 0 20 0 1 0 33347898 1546276864 276333 18446744073709551615 4227072 8923433 140720680867840 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 24272896 140720680872295 140720680872488 140720680872488 140720680878058 0
/proc/23415/statm: 377509 276333 2464 1147 0 364936 0
Current children cumulated CPU time: 3154.18 s
Current children cumulated vsize: 1514228 KiB
Current children cumulated memory: 1108404 KiB
[startup+3222.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/272 23584
/proc/meminfo: memFree=102271000/131249996 swapFree=33010684/33010684
[pid=23413] ppid=23410 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/23413/stat : 23413 (run-dec-log.sh) S 23410 23413 22485 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 33347898 4292608 768 18446744073709551615 94276727595008 94276728489541 140724098007888 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94276728728592 94276728776336 94276728844288 140724098009377 140724098009572 140724098009572 140724098015174 0
/proc/23413/statm: 1048 768 704 219 0 110 0
[pid=23415] ppid=23413 vsize=1514452 memory=1109172 CPUtime=3214.01 cores=1,3
/proc/23415/stat : 23415 (roundingsat) R 23413 23413 22485 0 -1 4194304 135270 0 0 0 318510 2891 0 0 20 0 1 0 33347898 1550798848 277293 18446744073709551615 4227072 8923433 140720680867840 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 24272896 140720680872295 140720680872488 140720680872488 140720680878058 0
/proc/23415/statm: 378613 277293 2464 1147 0 366040 0
Current children cumulated CPU time: 3214.01 s
Current children cumulated vsize: 1518644 KiB
Current children cumulated memory: 1112244 KiB
[startup+3282.3 s]
/proc/loadavg: 4.17 4.12 4.09 5/272 23585
/proc/meminfo: memFree=101925508/131249996 swapFree=33010684/33010684
[pid=23413] ppid=23410 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/23413/stat : 23413 (run-dec-log.sh) S 23410 23413 22485 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 33347898 4292608 768 18446744073709551615 94276727595008 94276728489541 140724098007888 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94276728728592 94276728776336 94276728844288 140724098009377 140724098009572 140724098009572 140724098015174 0
/proc/23413/statm: 1048 768 704 219 0 110 0
[pid=23415] ppid=23413 vsize=1524196 memory=1124660 CPUtime=3273.85 cores=1,3
/proc/23415/stat : 23415 (roundingsat) R 23413 23413 22485 0 -1 4194304 137348 0 0 0 324459 2926 0 0 20 0 1 0 33347898 1560776704 281165 18446744073709551615 4227072 8923433 140720680867840 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 24272896 140720680872295 140720680872488 140720680872488 140720680878058 0
/proc/23415/statm: 381049 281165 2464 1147 0 368476 0
Current children cumulated CPU time: 3273.85 s
Current children cumulated vsize: 1528388 KiB
Current children cumulated memory: 1127732 KiB
[startup+3342.3 s]
/proc/loadavg: 4.06 4.10 4.09 5/272 23587
/proc/meminfo: memFree=101280404/131249996 swapFree=33010684/33010684
[pid=23413] ppid=23410 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/23413/stat : 23413 (run-dec-log.sh) S 23410 23413 22485 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 33347898 4292608 768 18446744073709551615 94276727595008 94276728489541 140724098007888 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94276728728592 94276728776336 94276728844288 140724098009377 140724098009572 140724098009572 140724098015174 0
/proc/23413/statm: 1048 768 704 219 0 110 0
[pid=23415] ppid=23413 vsize=1712160 memory=1281812 CPUtime=3333.69 cores=1,3
/proc/23415/stat : 23415 (roundingsat) R 23413 23413 22485 0 -1 4194304 175902 0 0 0 330408 2961 0 0 20 0 1 0 33347898 1753251840 320453 18446744073709551615 4227072 8923433 140720680867840 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 24272896 140720680872295 140720680872488 140720680872488 140720680878058 0
/proc/23415/statm: 428040 320453 2464 1147 0 415467 0
Current children cumulated CPU time: 3333.69 s
Current children cumulated vsize: 1716352 KiB
Current children cumulated memory: 1284884 KiB
[startup+3402.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/273 23594
/proc/meminfo: memFree=100931836/131249996 swapFree=33010684/33010684
[pid=23413] ppid=23410 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/23413/stat : 23413 (run-dec-log.sh) S 23410 23413 22485 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 33347898 4292608 768 18446744073709551615 94276727595008 94276728489541 140724098007888 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94276728728592 94276728776336 94276728844288 140724098009377 140724098009572 140724098009572 140724098015174 0
/proc/23413/statm: 1048 768 704 219 0 110 0
[pid=23415] ppid=23413 vsize=1717376 memory=1300208 CPUtime=3393.55 cores=1,3
/proc/23415/stat : 23415 (roundingsat) R 23413 23413 22485 0 -1 4194304 176935 0 0 0 336362 2993 0 0 20 0 1 0 33347898 1758593024 325052 18446744073709551615 4227072 8923433 140720680867840 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 24272896 140720680872295 140720680872488 140720680872488 140720680878058 0
/proc/23415/statm: 429344 325052 2464 1147 0 416771 0
Current children cumulated CPU time: 3393.55 s
Current children cumulated vsize: 1721568 KiB
Current children cumulated memory: 1303280 KiB
[startup+3462.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/273 23598
/proc/meminfo: memFree=100570696/131249996 swapFree=33010684/33010684
[pid=23413] ppid=23410 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/23413/stat : 23413 (run-dec-log.sh) S 23410 23413 22485 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 33347898 4292608 768 18446744073709551615 94276727595008 94276728489541 140724098007888 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94276728728592 94276728776336 94276728844288 140724098009377 140724098009572 140724098009572 140724098015174 0
/proc/23413/statm: 1048 768 704 219 0 110 0
[pid=23415] ppid=23413 vsize=1717376 memory=1316976 CPUtime=3453.4 cores=1,3
/proc/23415/stat : 23415 (roundingsat) R 23413 23413 22485 0 -1 4194304 176935 0 0 0 342299 3041 0 0 20 0 1 0 33347898 1758593024 329244 18446744073709551615 4227072 8923433 140720680867840 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 24272896 140720680872295 140720680872488 140720680872488 140720680878058 0
/proc/23415/statm: 429344 329244 2464 1147 0 416771 0
Current children cumulated CPU time: 3453.4 s
Current children cumulated vsize: 1721568 KiB
Current children cumulated memory: 1320048 KiB
[startup+3522.3 s]
/proc/loadavg: 2.87 3.80 3.99 2/250 23692
/proc/meminfo: memFree=122719624/131249996 swapFree=33010684/33010684
[pid=23413] ppid=23410 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/23413/stat : 23413 (run-dec-log.sh) S 23410 23413 22485 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 33347898 4292608 768 18446744073709551615 94276727595008 94276728489541 140724098007888 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94276728728592 94276728776336 94276728844288 140724098009377 140724098009572 140724098009572 140724098015174 0
/proc/23413/statm: 1048 768 704 219 0 110 0
[pid=23415] ppid=23413 vsize=1717376 memory=1334512 CPUtime=3513.25 cores=1,3
/proc/23415/stat : 23415 (roundingsat) R 23413 23413 22485 0 -1 4194304 176936 0 0 0 348236 3089 0 0 20 0 1 0 33347898 1758593024 333628 18446744073709551615 4227072 8923433 140720680867840 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 24272896 140720680872295 140720680872488 140720680872488 140720680878058 0
/proc/23415/statm: 429344 333628 2464 1147 0 416771 0
Current children cumulated CPU time: 3513.25 s
Current children cumulated vsize: 1721568 KiB
Current children cumulated memory: 1337584 KiB
[startup+3582.3 s]
/proc/loadavg: 1.75 3.30 3.80 2/251 23695
/proc/meminfo: memFree=122633060/131249996 swapFree=33010684/33010684
[pid=23413] ppid=23410 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/23413/stat : 23413 (run-dec-log.sh) S 23410 23413 22485 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 33347898 4292608 768 18446744073709551615 94276727595008 94276728489541 140724098007888 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94276728728592 94276728776336 94276728844288 140724098009377 140724098009572 140724098009572 140724098015174 0
/proc/23413/statm: 1048 768 704 219 0 110 0
[pid=23415] ppid=23413 vsize=1717376 memory=1334512 CPUtime=3573.11 cores=1,3
/proc/23415/stat : 23415 (roundingsat) R 23413 23413 22485 0 -1 4194304 177250 0 0 0 354169 3142 0 0 20 0 1 0 33347898 1758593024 333628 18446744073709551615 4227072 8923433 140720680867840 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 24272896 140720680872295 140720680872488 140720680872488 140720680878058 0
/proc/23415/statm: 429344 333628 2464 1147 0 416771 0
Current children cumulated CPU time: 3573.11 s
Current children cumulated vsize: 1721568 KiB
Current children cumulated memory: 1337584 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.3 s]
/proc/loadavg: 1.53 3.10 3.72 2/251 23696
/proc/meminfo: memFree=122592996/131249996 swapFree=33010684/33010684
[pid=23413] ppid=23410 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/23413/stat : 23413 (run-dec-log.sh) S 23410 23413 22485 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 33347898 4292608 768 18446744073709551615 94276727595008 94276728489541 140724098007888 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94276728728592 94276728776336 94276728844288 140724098009377 140724098009572 140724098009572 140724098015174 0
/proc/23413/statm: 1048 768 704 219 0 110 0
[pid=23415] ppid=23413 vsize=1717376 memory=1334512 CPUtime=3600.05 cores=1,3
/proc/23415/stat : 23415 (roundingsat) R 23413 23413 22485 0 -1 4194304 177253 0 0 0 356846 3159 0 0 20 0 1 0 33347898 1758593024 333628 18446744073709551615 4227072 8923433 140720680867840 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 24272896 140720680872295 140720680872488 140720680872488 140720680878058 0
/proc/23415/statm: 429344 333628 2464 1147 0 416771 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 1721568 KiB
Current children cumulated memory: 1337584 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3609.3 s]
# the end of solver process 23413 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.001057 s, system=0.001059 s
Sleeping 2 seconds
[startup+3609.33 s]
# the end of solver process 23415 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3568.49 s, system=31.5971 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.3 s]
/proc/loadavg: 1.53 3.10 3.72 2/251 23696
/proc/meminfo: memFree=122592996/131249996 swapFree=33010684/33010684
[pid=23413] ppid=23410 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/23413/stat : 23413 (run-dec-log.sh) S 23410 23413 22485 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 33347898 4292608 768 18446744073709551615 94276727595008 94276728489541 140724098007888 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94276728728592 94276728776336 94276728844288 140724098009377 140724098009572 140724098009572 140724098015174 0
/proc/23413/statm: 1048 768 704 219 0 110 0
[pid=23415] ppid=23413 vsize=1717376 memory=1334512 CPUtime=3600.05 cores=1,3
/proc/23415/stat : 23415 (roundingsat) R 23413 23413 22485 0 -1 4194304 177253 0 0 0 356846 3159 0 0 20 0 1 0 33347898 1758593024 333628 18446744073709551615 4227072 8923433 140720680867840 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 24272896 140720680872295 140720680872488 140720680872488 140720680878058 0
/proc/23415/statm: 429344 333628 2464 1147 0 416771 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 1721568 KiB
Current children cumulated memory: 1337584 KiB
Child status: 2
Real time (s): 3609.33
CPU time (s): 3600.09
CPU user time (s): 3568.49
CPU system time (s): 31.5971
CPU usage (%): 99.7439
Max. virtual memory (cumulated for all children) (KiB): 1721568
Max. memory (cumulated for all children) (KiB): 1337584
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3568.49
system time used= 31.5971
maximum resident set size= 1334768
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 177578
page faults= 0
swaps= 0
block input operations= 0
block output operations= 12311408
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 392
involuntary context switches= 7956
# summary of solver processes directly reported to runsolver:
# pid: 23413,23415
# total CPU time (s): 3600.09
# total CPU user time (s): 3568.49
# total CPU system time (s): 31.5971
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.00762 second user time and 16.3683 second system time
The end
Begin job on nodeC017 at 2025-06-29 07:58:21
IDJOB=4507049
IDBENCH=158319
IDSOLVER=3352
FILE ID=nodeC017/4507049-1751176701
RUNJOBID= nodeC017-1751169346-22497
SLURM_JOB_ID= 9587517
Free space on /tmp= 432992 MiB
SOLVER NAME= roundingsat-log 63f22ad
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathNG/normalized-NG_K155.opb
COMMAND LINE= run-dec-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4507049-1751176701/watcher-4507049-1751176701 -o /tmp/evaluation-result-4507049-1751176701/solver-4507049-1751176701 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1751169346-22497 --watchdog 3760 --file-size-limit 100000 run-dec-log.sh HOME/instance-4507049-1751176701.opb PROOFDIR/proof-4507049-1751176701
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 4394b20101c323a14e6df6504cadd31d
RANDOM SEED=1486830289
nodeC017 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.045
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 : 7000.12
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 : 3594.498
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 : 7000.12
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 : 3594.271
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 : 7000.12
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 : 3600.038
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 : 7000.12
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 : 3600.038
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 : 7000.12
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 : 3600.093
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 : 7000.12
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.820
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 : 7000.12
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 : 3600.233
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 : 7000.12
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 128719588 kB
MemAvailable: 129306536 kB
Buffers: 3280 kB
Cached: 1396036 kB
SwapCached: 0 kB
Active: 835884 kB
Inactive: 1142792 kB
Active(anon): 597136 kB
Inactive(anon): 0 kB
Active(file): 238748 kB
Inactive(file): 1142792 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 92740 kB
Writeback: 0 kB
AnonPages: 582132 kB
Mapped: 115612 kB
Shmem: 18080 kB
KReclaimable: 88892 kB
Slab: 177244 kB
SReclaimable: 88892 kB
SUnreclaim: 88352 kB
KernelStack: 4400 kB
PageTables: 4324 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 952156 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150584 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 98304 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: 176852 kB
DirectMap2M: 6934528 kB
DirectMap1G: 128974848 kB
Free space on /tmp at the end= 433008 MiB
End job on nodeC017 at 2025-06-29 08:58:31