0.00/0.03 c RoundingSat 2
0.00/0.03 c branch pb25
0.00/0.03 c commit 63f22ad
0.29/0.35 c #variables 19754 #constraints 20088
96.06/96.48 c #Conflicts: 1000 | #Constraints: 21087
96.06/96.48 c #Conflicts: 2000 | #Constraints: 22087
96.06/96.48 c INPROCESSING
96.06/96.48 c GARBAGE COLLECT
96.06/96.48 c #Conflicts: 3000 | #Constraints: 21432
96.06/96.48 c #Conflicts: 4000 | #Constraints: 22432
96.06/96.48 c INPROCESSING
96.06/96.48 c GARBAGE COLLECT
96.06/96.48 c #Conflicts: 5000 | #Constraints: 21928
96.06/96.48 c #Conflicts: 6000 | #Constraints: 22928
96.06/96.48 c INPROCESSING
96.06/96.48 c GARBAGE COLLECT
96.06/96.48 c #Conflicts: 7000 | #Constraints: 22024
96.06/96.48 c #Conflicts: 8000 | #Constraints: 23024
96.06/96.48 c #Conflicts: 9000 | #Constraints: 24024
96.06/96.48 c INPROCESSING
96.06/96.48 c GARBAGE COLLECT
96.06/96.48 c #Conflicts: 10000 | #Constraints: 22795
96.06/96.48 c #Conflicts: 11000 | #Constraints: 23795
96.06/96.48 c #Conflicts: 12000 | #Constraints: 24795
96.06/96.48 c #Conflicts: 13000 | #Constraints: 25795
96.06/96.48 c #Conflicts: 14000 | #Constraints: 26795
96.06/96.48 c #Conflicts: 15000 | #Constraints: 27795
96.06/96.48 c #Conflicts: 16000 | #Constraints: 28795
96.06/96.48 c INPROCESSING
96.06/96.48 c GARBAGE COLLECT
96.06/96.48 c #Conflicts: 17000 | #Constraints: 25124
96.06/96.48 c #Conflicts: 18000 | #Constraints: 26124
96.06/96.48 c #Conflicts: 19000 | #Constraints: 27124
96.06/96.48 c #Conflicts: 20000 | #Constraints: 28124
96.06/96.48 c INPROCESSING
96.06/96.48 c GARBAGE COLLECT
96.06/96.48 c #Conflicts: 21000 | #Constraints: 24873
96.06/96.48 c #Conflicts: 22000 | #Constraints: 25873
96.06/96.48 c #Conflicts: 23000 | #Constraints: 26873
96.06/96.48 c #Conflicts: 24000 | #Constraints: 27873
96.06/96.48 c #Conflicts: 25000 | #Constraints: 28873
96.06/96.48 c #Conflicts: 26000 | #Constraints: 29873
96.06/96.48 c #Conflicts: 27000 | #Constraints: 30873
96.06/96.48 c #Conflicts: 28000 | #Constraints: 31873
96.06/96.48 c #Conflicts: 29000 | #Constraints: 32873
96.06/96.48 c #Conflicts: 30000 | #Constraints: 33873
96.06/96.48 c INPROCESSING
96.06/96.48 c GARBAGE COLLECT
96.06/96.48 c #Conflicts: 31000 | #Constraints: 27699
96.06/96.48 c #Conflicts: 32000 | #Constraints: 28699
96.06/96.48 c #Conflicts: 33000 | #Constraints: 29699
96.06/96.48 c #Conflicts: 34000 | #Constraints: 30699
96.06/96.48 c #Conflicts: 35000 | #Constraints: 31699
96.06/96.48 c #Conflicts: 36000 | #Constraints: 32699
96.06/96.48 c INPROCESSING
96.06/96.48 c GARBAGE COLLECT
96.06/96.48 c #Conflicts: 37000 | #Constraints: 27537
96.06/96.48 c #Conflicts: 38000 | #Constraints: 28537
96.06/96.48 c #Conflicts: 39000 | #Constraints: 29537
96.06/96.48 c #Conflicts: 40000 | #Constraints: 30537
96.06/96.48 c #Conflicts: 41000 | #Constraints: 31537
96.06/96.48 c #Conflicts: 42000 | #Constraints: 32537
96.06/96.48 c #Conflicts: 43000 | #Constraints: 33537
96.06/96.48 c #Conflicts: 44000 | #Constraints: 34537
96.06/96.48 c #Conflicts: 45000 | #Constraints: 35537
96.06/96.48 c #Conflicts: 46000 | #Constraints: 36537
96.06/96.48 c #Conflicts: 47000 | #Constraints: 37537
96.06/96.48 c #Conflicts: 48000 | #Constraints: 38537
96.06/96.48 c #Conflicts: 49000 | #Constraints: 39537
96.06/96.48 c INPROCESSING
96.06/96.48 c GARBAGE COLLECT
96.06/96.48 c #Conflicts: 50000 | #Constraints: 30728
96.06/96.48 c #Conflicts: 51000 | #Constraints: 31728
96.06/96.48 c #Conflicts: 52000 | #Constraints: 32728
96.06/96.48 c #Conflicts: 53000 | #Constraints: 33728
96.06/96.48 c #Conflicts: 54000 | #Constraints: 34728
96.06/96.48 c #Conflicts: 55000 | #Constraints: 35728
96.06/96.48 c #Conflicts: 56000 | #Constraints: 36728
96.06/96.48 c INPROCESSING
96.06/96.48 c GARBAGE COLLECT
96.06/96.48 c #Conflicts: 57000 | #Constraints: 30006
96.06/96.48 c #Conflicts: 58000 | #Constraints: 31006
96.06/96.48 c #Conflicts: 59000 | #Constraints: 32006
96.06/96.48 c #Conflicts: 60000 | #Constraints: 33006
96.06/96.48 c #Conflicts: 61000 | #Constraints: 34006
96.06/96.48 c #Conflicts: 62000 | #Constraints: 35006
96.06/96.48 c #Conflicts: 63000 | #Constraints: 36006
96.06/96.48 c #Conflicts: 64000 | #Constraints: 37006
96.06/96.48 c #Conflicts: 65000 | #Constraints: 38006
96.06/96.48 c #Conflicts: 66000 | #Constraints: 39006
96.06/96.48 c #Conflicts: 67000 | #Constraints: 40006
96.06/96.48 c #Conflicts: 68000 | #Constraints: 41006
96.06/96.48 c #Conflicts: 69000 | #Constraints: 42006
96.06/96.48 c #Conflicts: 70000 | #Constraints: 43006
96.06/96.48 c #Conflicts: 71000 | #Constraints: 44006
96.06/96.48 c #Conflicts: 72000 | #Constraints: 45006
96.06/96.48 c INPROCESSING
96.06/96.48 c GARBAGE COLLECT
211.52/212.21 c #Conflicts: 73000 | #Constraints: 33569
211.52/212.21 c #Conflicts: 74000 | #Constraints: 34569
211.52/212.21 c #Conflicts: 75000 | #Constraints: 35569
211.52/212.21 c #Conflicts: 76000 | #Constraints: 36569
211.52/212.21 c #Conflicts: 77000 | #Constraints: 37569
211.52/212.21 c #Conflicts: 78000 | #Constraints: 38569
211.52/212.21 c #Conflicts: 79000 | #Constraints: 39569
211.52/212.21 c #Conflicts: 80000 | #Constraints: 40569
211.52/212.21 c INPROCESSING
211.52/212.21 c GARBAGE COLLECT
211.52/212.21 c #Conflicts: 81000 | #Constraints: 32537
211.52/212.21 c #Conflicts: 82000 | #Constraints: 33537
211.52/212.21 c #Conflicts: 83000 | #Constraints: 34537
211.52/212.21 c #Conflicts: 84000 | #Constraints: 35537
211.52/212.21 c #Conflicts: 85000 | #Constraints: 36537
211.52/212.21 c #Conflicts: 86000 | #Constraints: 37537
211.52/212.21 c #Conflicts: 87000 | #Constraints: 38537
211.52/212.21 c #Conflicts: 88000 | #Constraints: 39537
211.52/212.21 c #Conflicts: 89000 | #Constraints: 40537
211.52/212.21 c #Conflicts: 90000 | #Constraints: 41537
211.52/212.21 c #Conflicts: 91000 | #Constraints: 42537
211.52/212.21 c #Conflicts: 92000 | #Constraints: 43537
211.52/212.21 c #Conflicts: 93000 | #Constraints: 44537
211.52/212.21 c #Conflicts: 94000 | #Constraints: 45537
211.52/212.21 c #Conflicts: 95000 | #Constraints: 46537
211.52/212.21 c #Conflicts: 96000 | #Constraints: 47537
211.52/212.21 c #Conflicts: 97000 | #Constraints: 48537
211.52/212.21 c #Conflicts: 98000 | #Constraints: 49537
211.52/212.21 c #Conflicts: 99000 | #Constraints: 50537
211.52/212.21 c #Conflicts: 100000 | #Constraints: 51537
211.52/212.21 c INPROCESSING
211.52/212.21 c GARBAGE COLLECT
211.52/212.21 c #Conflicts: 101000 | #Constraints: 37060
211.52/212.21 c #Conflicts: 102000 | #Constraints: 38060
211.52/212.21 c #Conflicts: 103000 | #Constraints: 39060
211.52/212.21 c #Conflicts: 104000 | #Constraints: 40060
211.52/212.21 c #Conflicts: 105000 | #Constraints: 41060
211.52/212.21 c #Conflicts: 106000 | #Constraints: 42060
211.52/212.21 c #Conflicts: 107000 | #Constraints: 43060
211.52/212.21 c #Conflicts: 108000 | #Constraints: 44060
211.52/212.21 c #Conflicts: 109000 | #Constraints: 45060
211.52/212.21 c INPROCESSING
211.52/212.21 c GARBAGE COLLECT
211.52/212.21 c #Conflicts: 110000 | #Constraints: 35177
211.52/212.21 c #Conflicts: 111000 | #Constraints: 36177
211.52/212.21 c #Conflicts: 112000 | #Constraints: 37177
211.52/212.21 c #Conflicts: 113000 | #Constraints: 38177
211.52/212.21 c #Conflicts: 114000 | #Constraints: 39177
211.52/212.21 c #Conflicts: 115000 | #Constraints: 40177
211.52/212.21 c #Conflicts: 116000 | #Constraints: 41177
211.52/212.21 c #Conflicts: 117000 | #Constraints: 42177
211.52/212.21 c #Conflicts: 118000 | #Constraints: 43177
211.52/212.21 c #Conflicts: 119000 | #Constraints: 44177
211.52/212.21 c #Conflicts: 120000 | #Constraints: 45177
211.52/212.21 c #Conflicts: 121000 | #Constraints: 46177
211.52/212.21 c #Conflicts: 122000 | #Constraints: 47177
211.52/212.21 c #Conflicts: 123000 | #Constraints: 48177
211.52/212.21 c #Conflicts: 124000 | #Constraints: 49177
211.52/212.21 c #Conflicts: 125000 | #Constraints: 50177
211.52/212.21 c #Conflicts: 126000 | #Constraints: 51177
211.52/212.21 c #Conflicts: 127000 | #Constraints: 52177
211.52/212.21 c #Conflicts: 128000 | #Constraints: 53177
211.52/212.21 c #Conflicts: 129000 | #Constraints: 54177
211.52/212.21 c #Conflicts: 130000 | #Constraints: 55177
211.52/212.21 c #Conflicts: 131000 | #Constraints: 56177
211.52/212.21 c #Conflicts: 132000 | #Constraints: 57177
211.52/212.21 c INPROCESSING
211.52/212.21 c GARBAGE COLLECT
211.52/212.21 c #Conflicts: 133000 | #Constraints: 40114
211.52/212.21 c #Conflicts: 134000 | #Constraints: 41114
211.52/212.21 c #Conflicts: 135000 | #Constraints: 42114
211.52/212.21 c #Conflicts: 136000 | #Constraints: 43114
211.52/212.21 c #Conflicts: 137000 | #Constraints: 44114
211.52/212.21 c #Conflicts: 138000 | #Constraints: 45114
211.52/212.21 c #Conflicts: 139000 | #Constraints: 46114
211.52/212.21 c #Conflicts: 140000 | #Constraints: 47114
211.52/212.21 c #Conflicts: 141000 | #Constraints: 48114
211.52/212.21 c #Conflicts: 142000 | #Constraints: 49114
211.52/212.21 c INPROCESSING
211.52/212.21 c GARBAGE COLLECT
211.52/212.21 c #Conflicts: 143000 | #Constraints: 38016
211.52/212.21 c #Conflicts: 144000 | #Constraints: 39016
211.52/212.21 c #Conflicts: 145000 | #Constraints: 40016
211.52/212.21 c #Conflicts: 146000 | #Constraints: 41016
211.52/212.21 c #Conflicts: 147000 | #Constraints: 42016
211.52/212.21 c #Conflicts: 148000 | #Constraints: 43016
361.16/362.34 c #Conflicts: 149000 | #Constraints: 44016
361.16/362.34 c #Conflicts: 150000 | #Constraints: 45016
361.16/362.34 c #Conflicts: 151000 | #Constraints: 46016
361.16/362.34 c #Conflicts: 152000 | #Constraints: 47016
361.16/362.34 c #Conflicts: 153000 | #Constraints: 48016
361.16/362.34 c #Conflicts: 154000 | #Constraints: 49016
361.16/362.34 c #Conflicts: 155000 | #Constraints: 50016
361.16/362.34 c #Conflicts: 156000 | #Constraints: 51016
361.16/362.34 c #Conflicts: 157000 | #Constraints: 52016
361.16/362.34 c #Conflicts: 158000 | #Constraints: 53016
361.16/362.34 c #Conflicts: 159000 | #Constraints: 54016
361.16/362.34 c #Conflicts: 160000 | #Constraints: 55016
361.16/362.34 c #Conflicts: 161000 | #Constraints: 56016
361.16/362.34 c #Conflicts: 162000 | #Constraints: 57016
361.16/362.34 c #Conflicts: 163000 | #Constraints: 58016
361.16/362.34 c #Conflicts: 164000 | #Constraints: 59016
361.16/362.34 c #Conflicts: 165000 | #Constraints: 60016
361.16/362.34 c #Conflicts: 166000 | #Constraints: 61016
361.16/362.34 c #Conflicts: 167000 | #Constraints: 62016
361.16/362.34 c #Conflicts: 168000 | #Constraints: 63016
361.16/362.34 c INPROCESSING
361.16/362.34 c GARBAGE COLLECT
361.16/362.34 c #Conflicts: 169000 | #Constraints: 43033
361.16/362.34 c #Conflicts: 170000 | #Constraints: 44033
361.16/362.34 c #Conflicts: 171000 | #Constraints: 45033
361.16/362.34 c #Conflicts: 172000 | #Constraints: 46033
361.16/362.34 c #Conflicts: 173000 | #Constraints: 47033
361.16/362.34 c #Conflicts: 174000 | #Constraints: 48033
361.16/362.34 c #Conflicts: 175000 | #Constraints: 49033
361.16/362.34 c #Conflicts: 176000 | #Constraints: 50033
361.16/362.34 c #Conflicts: 177000 | #Constraints: 51033
361.16/362.34 c #Conflicts: 178000 | #Constraints: 52033
361.16/362.34 c #Conflicts: 179000 | #Constraints: 53033
361.16/362.34 c #Conflicts: 180000 | #Constraints: 54033
361.16/362.34 c INPROCESSING
361.16/362.34 c GARBAGE COLLECT
361.16/362.34 c #Conflicts: 181000 | #Constraints: 41155
361.16/362.34 c #Conflicts: 182000 | #Constraints: 42155
361.16/362.34 c #Conflicts: 183000 | #Constraints: 43155
361.16/362.34 c #Conflicts: 184000 | #Constraints: 44155
361.16/362.34 c #Conflicts: 185000 | #Constraints: 45155
361.16/362.34 c #Conflicts: 186000 | #Constraints: 46155
361.16/362.34 c #Conflicts: 187000 | #Constraints: 47155
361.16/362.34 c #Conflicts: 188000 | #Constraints: 48155
361.16/362.34 c #Conflicts: 189000 | #Constraints: 49155
361.16/362.34 c #Conflicts: 190000 | #Constraints: 50155
361.16/362.34 c #Conflicts: 191000 | #Constraints: 51155
361.16/362.34 c #Conflicts: 192000 | #Constraints: 52155
361.16/362.34 c #Conflicts: 193000 | #Constraints: 53155
361.16/362.34 c #Conflicts: 194000 | #Constraints: 54155
361.16/362.34 c #Conflicts: 195000 | #Constraints: 55155
361.16/362.34 c #Conflicts: 196000 | #Constraints: 56155
361.16/362.34 c #Conflicts: 197000 | #Constraints: 57155
361.16/362.34 c #Conflicts: 198000 | #Constraints: 58155
361.16/362.34 c #Conflicts: 199000 | #Constraints: 59155
361.16/362.34 c #Conflicts: 200000 | #Constraints: 60155
361.16/362.34 c #Conflicts: 201000 | #Constraints: 61155
361.16/362.34 c #Conflicts: 202000 | #Constraints: 62155
361.16/362.34 c #Conflicts: 203000 | #Constraints: 63155
361.16/362.34 c #Conflicts: 204000 | #Constraints: 64155
361.16/362.34 c #Conflicts: 205000 | #Constraints: 65155
361.16/362.34 c #Conflicts: 206000 | #Constraints: 66155
361.16/362.34 c #Conflicts: 207000 | #Constraints: 67155
361.16/362.34 c #Conflicts: 208000 | #Constraints: 68155
361.16/362.34 c #Conflicts: 209000 | #Constraints: 69155
361.16/362.34 c INPROCESSING
361.16/362.34 c GARBAGE COLLECT
361.16/362.34 c #Conflicts: 210000 | #Constraints: 46266
361.16/362.34 c #Conflicts: 211000 | #Constraints: 47266
361.16/362.34 c #Conflicts: 212000 | #Constraints: 48266
361.16/362.34 c #Conflicts: 213000 | #Constraints: 49266
361.16/362.34 c #Conflicts: 214000 | #Constraints: 50266
361.16/362.34 c #Conflicts: 215000 | #Constraints: 51266
361.16/362.34 c #Conflicts: 216000 | #Constraints: 52266
361.16/362.34 c #Conflicts: 217000 | #Constraints: 53266
361.16/362.34 c #Conflicts: 218000 | #Constraints: 54266
361.16/362.34 c #Conflicts: 219000 | #Constraints: 55266
361.16/362.34 c #Conflicts: 220000 | #Constraints: 56266
361.16/362.34 c #Conflicts: 221000 | #Constraints: 57266
361.16/362.34 c #Conflicts: 222000 | #Constraints: 58266
361.16/362.34 c INPROCESSING
361.16/362.34 c GARBAGE COLLECT
361.16/362.34 c #Conflicts: 223000 | #Constraints: 43481
361.16/362.34 c #Conflicts: 224000 | #Constraints: 44481
518.23/519.96 c #Conflicts: 225000 | #Constraints: 45481
518.23/519.96 c #Conflicts: 226000 | #Constraints: 46481
518.23/519.96 c #Conflicts: 227000 | #Constraints: 47481
518.23/519.96 c #Conflicts: 228000 | #Constraints: 48481
518.23/519.96 c #Conflicts: 229000 | #Constraints: 49481
518.23/519.96 c #Conflicts: 230000 | #Constraints: 50481
518.23/519.96 c #Conflicts: 231000 | #Constraints: 51481
518.23/519.96 c #Conflicts: 232000 | #Constraints: 52481
518.23/519.96 c #Conflicts: 233000 | #Constraints: 53481
518.23/519.96 c #Conflicts: 234000 | #Constraints: 54481
518.23/519.96 c #Conflicts: 235000 | #Constraints: 55481
518.23/519.96 c #Conflicts: 236000 | #Constraints: 56481
518.23/519.96 c #Conflicts: 237000 | #Constraints: 57481
518.23/519.96 c #Conflicts: 238000 | #Constraints: 58481
518.23/519.96 c #Conflicts: 239000 | #Constraints: 59481
518.23/519.96 c #Conflicts: 240000 | #Constraints: 60481
518.23/519.96 c #Conflicts: 241000 | #Constraints: 61481
518.23/519.96 c #Conflicts: 242000 | #Constraints: 62481
518.23/519.96 c #Conflicts: 243000 | #Constraints: 63481
518.23/519.96 c #Conflicts: 244000 | #Constraints: 64481
518.23/519.96 c #Conflicts: 245000 | #Constraints: 65481
518.23/519.96 c #Conflicts: 246000 | #Constraints: 66481
518.23/519.96 c #Conflicts: 247000 | #Constraints: 67481
518.23/519.96 c #Conflicts: 248000 | #Constraints: 68481
518.23/519.96 c #Conflicts: 249000 | #Constraints: 69481
518.23/519.96 c #Conflicts: 250000 | #Constraints: 70481
518.23/519.96 c #Conflicts: 251000 | #Constraints: 71481
518.23/519.96 c #Conflicts: 252000 | #Constraints: 72481
518.23/519.96 c #Conflicts: 253000 | #Constraints: 73481
518.23/519.96 c #Conflicts: 254000 | #Constraints: 74481
518.23/519.96 c INPROCESSING
518.23/519.96 c GARBAGE COLLECT
518.23/519.96 c #Conflicts: 255000 | #Constraints: 49038
518.23/519.96 c #Conflicts: 256000 | #Constraints: 50038
518.23/519.96 c #Conflicts: 257000 | #Constraints: 51038
518.23/519.96 c #Conflicts: 258000 | #Constraints: 52038
518.23/519.96 c #Conflicts: 259000 | #Constraints: 53038
518.23/519.96 c #Conflicts: 260000 | #Constraints: 54038
518.23/519.96 c #Conflicts: 261000 | #Constraints: 55038
518.23/519.96 c #Conflicts: 262000 | #Constraints: 56038
518.23/519.96 c #Conflicts: 263000 | #Constraints: 57038
518.23/519.96 c #Conflicts: 264000 | #Constraints: 58038
518.23/519.96 c #Conflicts: 265000 | #Constraints: 59038
518.23/519.96 c #Conflicts: 266000 | #Constraints: 60038
518.23/519.96 c #Conflicts: 267000 | #Constraints: 61038
518.23/519.96 c #Conflicts: 268000 | #Constraints: 62038
518.23/519.96 c INPROCESSING
518.23/519.96 c GARBAGE COLLECT
518.23/519.96 c #Conflicts: 269000 | #Constraints: 45733
518.23/519.96 c #Conflicts: 270000 | #Constraints: 46733
518.23/519.96 c #Conflicts: 271000 | #Constraints: 47733
518.23/519.96 c #Conflicts: 272000 | #Constraints: 48733
518.23/519.96 c #Conflicts: 273000 | #Constraints: 49734
518.23/519.96 c #Conflicts: 274000 | #Constraints: 50734
518.23/519.96 c #Conflicts: 275000 | #Constraints: 51734
518.23/519.96 c #Conflicts: 276000 | #Constraints: 52734
518.23/519.96 c #Conflicts: 277000 | #Constraints: 53734
518.23/519.96 c #Conflicts: 278000 | #Constraints: 54734
518.23/519.96 c #Conflicts: 279000 | #Constraints: 55734
518.23/519.96 c #Conflicts: 280000 | #Constraints: 56734
518.23/519.96 c #Conflicts: 281000 | #Constraints: 57734
518.23/519.96 c #Conflicts: 282000 | #Constraints: 58734
518.23/519.96 c #Conflicts: 283000 | #Constraints: 59734
518.23/519.96 c #Conflicts: 284000 | #Constraints: 60734
518.23/519.96 c #Conflicts: 285000 | #Constraints: 61734
518.23/519.96 c #Conflicts: 286000 | #Constraints: 62734
518.23/519.96 c #Conflicts: 287000 | #Constraints: 63734
518.23/519.96 c #Conflicts: 288000 | #Constraints: 64734
518.23/519.96 c #Conflicts: 289000 | #Constraints: 65734
518.23/519.96 c #Conflicts: 290000 | #Constraints: 66734
518.23/519.96 c #Conflicts: 291000 | #Constraints: 67734
518.23/519.96 c #Conflicts: 292000 | #Constraints: 68734
518.23/519.96 c #Conflicts: 293000 | #Constraints: 69734
518.23/519.96 c #Conflicts: 294000 | #Constraints: 70734
518.23/519.96 c #Conflicts: 295000 | #Constraints: 71734
518.23/519.96 c #Conflicts: 296000 | #Constraints: 72734
518.23/519.96 c #Conflicts: 297000 | #Constraints: 73734
518.23/519.96 c #Conflicts: 298000 | #Constraints: 74734
518.23/519.96 c #Conflicts: 299000 | #Constraints: 75734
518.23/519.96 c #Conflicts: 300000 | #Constraints: 76734
518.23/519.96 c #Conflicts: 301000 | #Constraints: 77734
518.23/519.96 c #Conflicts: 302000 | #Constraints: 78734
642.08/644.11 c #Conflicts: 303000 | #Constraints: 79734
642.08/644.11 c INPROCESSING
642.08/644.11 c GARBAGE COLLECT
642.08/644.11 c #Conflicts: 304000 | #Constraints: 51431
642.08/644.11 c #Conflicts: 305000 | #Constraints: 52431
642.08/644.11 c #Conflicts: 306000 | #Constraints: 53431
642.08/644.11 c #Conflicts: 307000 | #Constraints: 54431
642.08/644.11 c #Conflicts: 308000 | #Constraints: 55431
642.08/644.11 c #Conflicts: 309000 | #Constraints: 56431
642.08/644.11 c #Conflicts: 310000 | #Constraints: 57431
642.08/644.11 c #Conflicts: 311000 | #Constraints: 58431
642.08/644.11 c #Conflicts: 312000 | #Constraints: 59431
642.08/644.11 c #Conflicts: 313000 | #Constraints: 60431
642.08/644.11 c #Conflicts: 314000 | #Constraints: 61431
642.08/644.11 c #Conflicts: 315000 | #Constraints: 62431
642.08/644.11 c #Conflicts: 316000 | #Constraints: 63431
642.08/644.11 c #Conflicts: 317000 | #Constraints: 64431
642.08/644.11 c #Conflicts: 318000 | #Constraints: 65431
642.08/644.11 c #Conflicts: 319000 | #Constraints: 66431
642.08/644.11 c INPROCESSING
642.08/644.11 c GARBAGE COLLECT
642.08/644.11 c #Conflicts: 320000 | #Constraints: 48612
642.08/644.11 c #Conflicts: 321000 | #Constraints: 49612
642.08/644.11 c #Conflicts: 322000 | #Constraints: 50612
642.08/644.11 c #Conflicts: 323000 | #Constraints: 51612
642.08/644.11 c #Conflicts: 324000 | #Constraints: 52612
642.08/644.11 c #Conflicts: 325000 | #Constraints: 53612
642.08/644.11 c #Conflicts: 326000 | #Constraints: 54612
642.08/644.11 c #Conflicts: 327000 | #Constraints: 55612
642.08/644.11 c #Conflicts: 328000 | #Constraints: 56612
642.08/644.11 c #Conflicts: 329000 | #Constraints: 57612
642.08/644.11 c #Conflicts: 330000 | #Constraints: 58612
642.08/644.11 c #Conflicts: 331000 | #Constraints: 59612
642.08/644.11 c #Conflicts: 332000 | #Constraints: 60612
642.08/644.11 c #Conflicts: 333000 | #Constraints: 61612
642.08/644.11 c #Conflicts: 334000 | #Constraints: 62612
642.08/644.11 c #Conflicts: 335000 | #Constraints: 63612
642.08/644.11 c #Conflicts: 336000 | #Constraints: 64612
642.08/644.11 c #Conflicts: 337000 | #Constraints: 65612
642.08/644.11 c #Conflicts: 338000 | #Constraints: 66612
642.08/644.11 c #Conflicts: 339000 | #Constraints: 67612
642.08/644.11 c #Conflicts: 340000 | #Constraints: 68612
642.08/644.11 c #Conflicts: 341000 | #Constraints: 69612
642.08/644.11 c #Conflicts: 342000 | #Constraints: 70612
642.08/644.11 c #Conflicts: 343000 | #Constraints: 71612
642.08/644.11 c #Conflicts: 344000 | #Constraints: 72612
642.08/644.11 c #Conflicts: 345000 | #Constraints: 73612
642.08/644.11 c #Conflicts: 346000 | #Constraints: 74612
642.08/644.11 c #Conflicts: 347000 | #Constraints: 75612
642.08/644.11 c #Conflicts: 348000 | #Constraints: 76612
642.08/644.11 c #Conflicts: 349000 | #Constraints: 77612
642.08/644.11 c #Conflicts: 350000 | #Constraints: 78612
642.08/644.11 c #Conflicts: 351000 | #Constraints: 79612
642.08/644.11 c #Conflicts: 352000 | #Constraints: 80612
642.08/644.11 c #Conflicts: 353000 | #Constraints: 81612
642.08/644.11 c #Conflicts: 354000 | #Constraints: 82612
642.08/644.11 c #Conflicts: 355000 | #Constraints: 83612
642.08/644.11 c #Conflicts: 356000 | #Constraints: 84612
642.08/644.11 c #Conflicts: 357000 | #Constraints: 85612
642.08/644.11 c INPROCESSING
642.08/644.11 c GARBAGE COLLECT
642.08/644.11 c #Conflicts: 358000 | #Constraints: 54412
642.08/644.11 c #Conflicts: 359000 | #Constraints: 55412
642.08/644.11 c #Conflicts: 360000 | #Constraints: 56412
642.08/644.11 c #Conflicts: 361000 | #Constraints: 57412
642.08/644.11 c #Conflicts: 362000 | #Constraints: 58412
642.08/644.11 c #Conflicts: 363000 | #Constraints: 59412
642.08/644.11 c #Conflicts: 364000 | #Constraints: 60412
642.08/644.11 c #Conflicts: 365000 | #Constraints: 61412
642.08/644.11 c #Conflicts: 366000 | #Constraints: 62412
642.08/644.11 c #Conflicts: 367000 | #Constraints: 63412
642.08/644.11 c #Conflicts: 368000 | #Constraints: 64412
642.08/644.11 c #Conflicts: 369000 | #Constraints: 65412
642.08/644.11 c #Conflicts: 370000 | #Constraints: 66412
642.08/644.11 c #Conflicts: 371000 | #Constraints: 67412
642.08/644.11 c #Conflicts: 372000 | #Constraints: 68412
642.08/644.11 c #Conflicts: 373000 | #Constraints: 69412
642.08/644.11 c #Conflicts: 374000 | #Constraints: 70412
642.08/644.11 c INPROCESSING
642.08/644.11 c GARBAGE COLLECT
642.08/644.11 c #Conflicts: 375000 | #Constraints: 51266
642.08/644.11 c #Conflicts: 376000 | #Constraints: 52266
642.08/644.11 c #Conflicts: 377000 | #Constraints: 53266
642.08/644.11 c #Conflicts: 378000 | #Constraints: 54266
793.24/795.75 c #Conflicts: 379000 | #Constraints: 55266
793.24/795.75 c #Conflicts: 380000 | #Constraints: 56266
793.24/795.75 c #Conflicts: 381000 | #Constraints: 57266
793.24/795.75 c #Conflicts: 382000 | #Constraints: 58266
793.24/795.75 c #Conflicts: 383000 | #Constraints: 59266
793.24/795.75 c #Conflicts: 384000 | #Constraints: 60266
793.24/795.75 c #Conflicts: 385000 | #Constraints: 61266
793.24/795.75 c #Conflicts: 386000 | #Constraints: 62266
793.24/795.75 c #Conflicts: 387000 | #Constraints: 63266
793.24/795.75 c #Conflicts: 388000 | #Constraints: 64266
793.24/795.75 c #Conflicts: 389000 | #Constraints: 65266
793.24/795.75 c #Conflicts: 390000 | #Constraints: 66266
793.24/795.75 c #Conflicts: 391000 | #Constraints: 67266
793.24/795.75 c #Conflicts: 392000 | #Constraints: 68266
793.24/795.75 c #Conflicts: 393000 | #Constraints: 69266
793.24/795.75 c #Conflicts: 394000 | #Constraints: 70266
793.24/795.75 c #Conflicts: 395000 | #Constraints: 71266
793.24/795.75 c #Conflicts: 396000 | #Constraints: 72266
793.24/795.75 c #Conflicts: 397000 | #Constraints: 73266
793.24/795.75 c #Conflicts: 398000 | #Constraints: 74266
793.24/795.75 c #Conflicts: 399000 | #Constraints: 75266
793.24/795.75 c #Conflicts: 400000 | #Constraints: 76266
793.24/795.75 c #Conflicts: 401000 | #Constraints: 77266
793.24/795.75 c #Conflicts: 402000 | #Constraints: 78266
793.24/795.75 c #Conflicts: 403000 | #Constraints: 79266
793.24/795.75 c #Conflicts: 404000 | #Constraints: 80266
793.24/795.75 c #Conflicts: 405000 | #Constraints: 81266
793.24/795.75 c #Conflicts: 406000 | #Constraints: 82266
793.24/795.75 c #Conflicts: 407000 | #Constraints: 83266
793.24/795.75 c #Conflicts: 408000 | #Constraints: 84266
793.24/795.75 c #Conflicts: 409000 | #Constraints: 85266
793.24/795.75 c #Conflicts: 410000 | #Constraints: 86266
793.24/795.75 c #Conflicts: 411000 | #Constraints: 87266
793.24/795.75 c #Conflicts: 412000 | #Constraints: 88266
793.24/795.75 c #Conflicts: 413000 | #Constraints: 89266
793.24/795.75 c #Conflicts: 414000 | #Constraints: 90266
793.24/795.75 c #Conflicts: 415000 | #Constraints: 91266
793.24/795.75 c INPROCESSING
793.24/795.75 c GARBAGE COLLECT
793.24/795.75 c #Conflicts: 416000 | #Constraints: 57069
793.24/795.75 c #Conflicts: 417000 | #Constraints: 58069
793.24/795.75 c #Conflicts: 418000 | #Constraints: 59069
793.24/795.75 c #Conflicts: 419000 | #Constraints: 60069
793.24/795.75 c #Conflicts: 420000 | #Constraints: 61069
793.24/795.75 c #Conflicts: 421000 | #Constraints: 62069
793.24/795.75 c #Conflicts: 422000 | #Constraints: 63069
793.24/795.75 c #Conflicts: 423000 | #Constraints: 64069
793.24/795.75 c #Conflicts: 424000 | #Constraints: 65069
793.24/795.75 c #Conflicts: 425000 | #Constraints: 66069
793.24/795.75 c #Conflicts: 426000 | #Constraints: 67069
793.24/795.75 c #Conflicts: 427000 | #Constraints: 68069
793.24/795.75 c #Conflicts: 428000 | #Constraints: 69069
793.24/795.75 c #Conflicts: 429000 | #Constraints: 70069
793.24/795.75 c #Conflicts: 430000 | #Constraints: 71069
793.24/795.75 c #Conflicts: 431000 | #Constraints: 72069
793.24/795.75 c #Conflicts: 432000 | #Constraints: 73069
793.24/795.75 c #Conflicts: 433000 | #Constraints: 74069
793.24/795.75 c #Conflicts: 434000 | #Constraints: 75069
793.24/795.75 c INPROCESSING
793.24/795.75 c GARBAGE COLLECT
793.24/795.75 c #Conflicts: 435000 | #Constraints: 54183
793.24/795.75 c #Conflicts: 436000 | #Constraints: 55183
793.24/795.75 c #Conflicts: 437000 | #Constraints: 56183
793.24/795.75 c #Conflicts: 438000 | #Constraints: 57183
793.24/795.75 c #Conflicts: 439000 | #Constraints: 58183
793.24/795.75 c #Conflicts: 440000 | #Constraints: 59183
793.24/795.75 c #Conflicts: 441000 | #Constraints: 60183
793.24/795.75 c #Conflicts: 442000 | #Constraints: 61183
793.24/795.75 c #Conflicts: 443000 | #Constraints: 62183
793.24/795.75 c #Conflicts: 444000 | #Constraints: 63183
793.24/795.75 c #Conflicts: 445000 | #Constraints: 64184
793.24/795.75 c #Conflicts: 446000 | #Constraints: 65184
793.24/795.75 c #Conflicts: 447000 | #Constraints: 66184
793.24/795.75 c #Conflicts: 448000 | #Constraints: 67184
793.24/795.75 c #Conflicts: 449000 | #Constraints: 68184
793.24/795.75 c #Conflicts: 450000 | #Constraints: 69184
793.24/795.75 c #Conflicts: 451000 | #Constraints: 70184
793.24/795.75 c #Conflicts: 452000 | #Constraints: 71184
793.24/795.75 c #Conflicts: 453000 | #Constraints: 72184
793.24/795.75 c #Conflicts: 454000 | #Constraints: 73184
793.24/795.75 c #Conflicts: 455000 | #Constraints: 74184
948.40/951.32 c #Conflicts: 456000 | #Constraints: 75184
948.40/951.32 c #Conflicts: 457000 | #Constraints: 76184
948.40/951.32 c #Conflicts: 458000 | #Constraints: 77184
948.40/951.32 c #Conflicts: 459000 | #Constraints: 78184
948.40/951.32 c #Conflicts: 460000 | #Constraints: 79184
948.40/951.32 c #Conflicts: 461000 | #Constraints: 80184
948.40/951.32 c #Conflicts: 462000 | #Constraints: 81184
948.40/951.32 c #Conflicts: 463000 | #Constraints: 82184
948.40/951.32 c #Conflicts: 464000 | #Constraints: 83184
948.40/951.32 c #Conflicts: 465000 | #Constraints: 84184
948.40/951.32 c #Conflicts: 466000 | #Constraints: 85184
948.40/951.32 c #Conflicts: 467000 | #Constraints: 86184
948.40/951.32 c #Conflicts: 468000 | #Constraints: 87184
948.40/951.32 c #Conflicts: 469000 | #Constraints: 88184
948.40/951.32 c #Conflicts: 470000 | #Constraints: 89184
948.40/951.32 c #Conflicts: 471000 | #Constraints: 90184
948.40/951.32 c #Conflicts: 472000 | #Constraints: 91184
948.40/951.32 c #Conflicts: 473000 | #Constraints: 92184
948.40/951.32 c #Conflicts: 474000 | #Constraints: 93184
948.40/951.32 c #Conflicts: 475000 | #Constraints: 94184
948.40/951.32 c #Conflicts: 476000 | #Constraints: 95184
948.40/951.32 c #Conflicts: 477000 | #Constraints: 96184
948.40/951.32 c #Conflicts: 478000 | #Constraints: 97184
948.40/951.32 c INPROCESSING
948.40/951.32 c GARBAGE COLLECT
948.40/951.32 c #Conflicts: 479000 | #Constraints: 60353
948.40/951.32 c #Conflicts: 480000 | #Constraints: 61353
948.40/951.32 c #Conflicts: 481000 | #Constraints: 62353
948.40/951.32 c #Conflicts: 482000 | #Constraints: 63353
948.40/951.32 c #Conflicts: 483000 | #Constraints: 64353
948.40/951.32 c #Conflicts: 484000 | #Constraints: 65353
948.40/951.32 c #Conflicts: 485000 | #Constraints: 66353
948.40/951.32 c #Conflicts: 486000 | #Constraints: 67353
948.40/951.32 c #Conflicts: 487000 | #Constraints: 68353
948.40/951.32 c #Conflicts: 488000 | #Constraints: 69353
948.40/951.32 c #Conflicts: 489000 | #Constraints: 70353
948.40/951.32 c #Conflicts: 490000 | #Constraints: 71353
948.40/951.32 c #Conflicts: 491000 | #Constraints: 72353
948.40/951.32 c #Conflicts: 492000 | #Constraints: 73353
948.40/951.32 c #Conflicts: 493000 | #Constraints: 74353
948.40/951.32 c #Conflicts: 494000 | #Constraints: 75353
948.40/951.32 c #Conflicts: 495000 | #Constraints: 76353
948.40/951.32 c #Conflicts: 496000 | #Constraints: 77353
948.40/951.32 c #Conflicts: 497000 | #Constraints: 78353
948.40/951.32 c #Conflicts: 498000 | #Constraints: 79353
948.40/951.32 c INPROCESSING
948.40/951.32 c GARBAGE COLLECT
948.40/951.32 c #Conflicts: 499000 | #Constraints: 56060
948.40/951.32 c #Conflicts: 500000 | #Constraints: 57060
948.40/951.32 c #Conflicts: 501000 | #Constraints: 58060
948.40/951.32 c #Conflicts: 502000 | #Constraints: 59060
948.40/951.32 c #Conflicts: 503000 | #Constraints: 60060
948.40/951.32 c #Conflicts: 504000 | #Constraints: 61060
948.40/951.32 c #Conflicts: 505000 | #Constraints: 62060
948.40/951.32 c #Conflicts: 506000 | #Constraints: 63060
948.40/951.32 c #Conflicts: 507000 | #Constraints: 64060
948.40/951.32 c #Conflicts: 508000 | #Constraints: 65060
948.40/951.32 c #Conflicts: 509000 | #Constraints: 66060
948.40/951.32 c #Conflicts: 510000 | #Constraints: 67060
948.40/951.32 c #Conflicts: 511000 | #Constraints: 68060
948.40/951.32 c #Conflicts: 512000 | #Constraints: 69060
948.40/951.32 c #Conflicts: 513000 | #Constraints: 70060
948.40/951.32 c #Conflicts: 514000 | #Constraints: 71060
948.40/951.32 c #Conflicts: 515000 | #Constraints: 72060
948.40/951.32 c #Conflicts: 516000 | #Constraints: 73060
948.40/951.32 c #Conflicts: 517000 | #Constraints: 74060
948.40/951.32 c #Conflicts: 518000 | #Constraints: 75060
948.40/951.32 c #Conflicts: 519000 | #Constraints: 76060
948.40/951.32 c #Conflicts: 520000 | #Constraints: 77060
948.40/951.32 c #Conflicts: 521000 | #Constraints: 78060
948.40/951.32 c #Conflicts: 522000 | #Constraints: 79060
948.40/951.32 c #Conflicts: 523000 | #Constraints: 80060
948.40/951.32 c #Conflicts: 524000 | #Constraints: 81060
948.40/951.32 c #Conflicts: 525000 | #Constraints: 82060
948.40/951.32 c #Conflicts: 526000 | #Constraints: 83060
948.40/951.32 c #Conflicts: 527000 | #Constraints: 84060
948.40/951.32 c #Conflicts: 528000 | #Constraints: 85060
948.40/951.32 c #Conflicts: 529000 | #Constraints: 86060
948.40/951.32 c #Conflicts: 530000 | #Constraints: 87060
948.40/951.32 c #Conflicts: 531000 | #Constraints: 88060
948.40/951.32 c #Conflicts: 532000 | #Constraints: 89060
948.40/951.32 c #Conflicts: 533000 | #Constraints: 90060
994.76/997.85 c #Conflicts: 534000 | #Constraints: 91060
994.76/997.85 c #Conflicts: 535000 | #Constraints: 92060
994.76/997.85 c #Conflicts: 536000 | #Constraints: 93060
994.76/997.85 c #Conflicts: 537000 | #Constraints: 94060
994.76/997.85 c #Conflicts: 538000 | #Constraints: 95060
994.76/997.85 c #Conflicts: 539000 | #Constraints: 96060
994.76/997.85 c #Conflicts: 540000 | #Constraints: 97060
994.76/997.85 c #Conflicts: 541000 | #Constraints: 98060
994.76/997.85 c #Conflicts: 542000 | #Constraints: 99060
994.76/997.85 c #Conflicts: 543000 | #Constraints: 100060
994.76/997.85 c #Conflicts: 544000 | #Constraints: 101060
994.76/997.85 c #Conflicts: 545000 | #Constraints: 102060
994.76/997.85 c INPROCESSING
994.76/997.85 c GARBAGE COLLECT
994.76/997.85 c rational objective 166
1160.28/1163.89 c #Conflicts: 546000 | #Constraints: 62628
1160.28/1163.89 c #Conflicts: 547000 | #Constraints: 63628
1160.28/1163.89 c #Conflicts: 548000 | #Constraints: 64628
1160.28/1163.89 c #Conflicts: 549000 | #Constraints: 65628
1160.28/1163.89 c #Conflicts: 550000 | #Constraints: 66628
1160.28/1163.89 c #Conflicts: 551000 | #Constraints: 67628
1160.28/1163.89 c #Conflicts: 552000 | #Constraints: 68628
1160.28/1163.89 c #Conflicts: 553000 | #Constraints: 69628
1160.28/1163.89 c #Conflicts: 554000 | #Constraints: 70628
1160.28/1163.89 c #Conflicts: 555000 | #Constraints: 71628
1160.28/1163.89 c #Conflicts: 556000 | #Constraints: 72628
1160.28/1163.89 c #Conflicts: 557000 | #Constraints: 73628
1160.28/1163.89 c #Conflicts: 558000 | #Constraints: 74628
1160.28/1163.89 c #Conflicts: 559000 | #Constraints: 75628
1160.28/1163.89 c #Conflicts: 560000 | #Constraints: 76628
1160.28/1163.89 c #Conflicts: 561000 | #Constraints: 77628
1160.28/1163.89 c #Conflicts: 562000 | #Constraints: 78628
1160.28/1163.89 c #Conflicts: 563000 | #Constraints: 79628
1160.28/1163.89 c #Conflicts: 564000 | #Constraints: 80628
1160.28/1163.89 c #Conflicts: 565000 | #Constraints: 81628
1160.28/1163.89 c #Conflicts: 566000 | #Constraints: 82628
1160.28/1163.89 c INPROCESSING
1160.28/1163.89 c GARBAGE COLLECT
1160.28/1163.89 c #Conflicts: 567000 | #Constraints: 58148
1160.28/1163.89 c #Conflicts: 568000 | #Constraints: 59148
1160.28/1163.89 c #Conflicts: 569000 | #Constraints: 60148
1160.28/1163.89 c #Conflicts: 570000 | #Constraints: 61148
1160.28/1163.89 c #Conflicts: 571000 | #Constraints: 62148
1160.28/1163.89 c #Conflicts: 572000 | #Constraints: 63148
1160.28/1163.89 c #Conflicts: 573000 | #Constraints: 64148
1160.28/1163.89 c #Conflicts: 574000 | #Constraints: 65148
1160.28/1163.89 c #Conflicts: 575000 | #Constraints: 66148
1160.28/1163.89 c #Conflicts: 576000 | #Constraints: 67148
1160.28/1163.89 c #Conflicts: 577000 | #Constraints: 68148
1160.28/1163.89 c #Conflicts: 578000 | #Constraints: 69148
1160.28/1163.89 c #Conflicts: 579000 | #Constraints: 70148
1160.28/1163.89 c #Conflicts: 580000 | #Constraints: 71148
1160.28/1163.89 c #Conflicts: 581000 | #Constraints: 72148
1160.28/1163.89 c #Conflicts: 582000 | #Constraints: 73148
1160.28/1163.89 c #Conflicts: 583000 | #Constraints: 74148
1160.28/1163.89 c #Conflicts: 584000 | #Constraints: 75148
1160.28/1163.89 c #Conflicts: 585000 | #Constraints: 76148
1160.28/1163.89 c #Conflicts: 586000 | #Constraints: 77148
1160.28/1163.89 c #Conflicts: 587000 | #Constraints: 78148
1160.28/1163.89 c #Conflicts: 588000 | #Constraints: 79148
1160.28/1163.89 c #Conflicts: 589000 | #Constraints: 80148
1160.28/1163.89 c #Conflicts: 590000 | #Constraints: 81148
1160.28/1163.89 c #Conflicts: 591000 | #Constraints: 82148
1160.28/1163.89 c #Conflicts: 592000 | #Constraints: 83148
1160.28/1163.89 c #Conflicts: 593000 | #Constraints: 84148
1160.28/1163.89 c #Conflicts: 594000 | #Constraints: 85148
1160.28/1163.89 c #Conflicts: 595000 | #Constraints: 86148
1160.28/1163.89 c #Conflicts: 596000 | #Constraints: 87148
1160.28/1163.89 c #Conflicts: 597000 | #Constraints: 88148
1160.28/1163.89 c #Conflicts: 598000 | #Constraints: 89148
1160.28/1163.89 c #Conflicts: 599000 | #Constraints: 90148
1160.28/1163.89 c #Conflicts: 600000 | #Constraints: 91148
1160.28/1163.89 c #Conflicts: 601000 | #Constraints: 92148
1160.28/1163.89 c #Conflicts: 602000 | #Constraints: 93148
1160.28/1163.89 c #Conflicts: 603000 | #Constraints: 94148
1160.28/1163.89 c #Conflicts: 604000 | #Constraints: 95148
1160.28/1163.89 c #Conflicts: 605000 | #Constraints: 96148
1160.28/1163.89 c #Conflicts: 606000 | #Constraints: 97148
1160.28/1163.89 c #Conflicts: 607000 | #Constraints: 98148
1160.28/1163.89 c #Conflicts: 608000 | #Constraints: 99148
1160.28/1163.89 c #Conflicts: 609000 | #Constraints: 100148
1160.28/1163.89 c #Conflicts: 610000 | #Constraints: 101148
1160.28/1163.89 c #Conflicts: 611000 | #Constraints: 102148
1160.28/1163.89 c #Conflicts: 612000 | #Constraints: 103148
1160.28/1163.89 c #Conflicts: 613000 | #Constraints: 104148
1160.28/1163.89 c #Conflicts: 614000 | #Constraints: 105148
1160.28/1163.89 c #Conflicts: 615000 | #Constraints: 106148
1160.28/1163.89 c #Conflicts: 616000 | #Constraints: 107148
1160.28/1163.89 c #Conflicts: 617000 | #Constraints: 108148
1160.28/1163.89 c INPROCESSING
1160.28/1163.89 c GARBAGE COLLECT
1160.28/1163.89 c rational objective 166
1219.71/1223.44 c #Conflicts: 618000 | #Constraints: 66181
1219.71/1223.44 c #Conflicts: 619000 | #Constraints: 67181
1219.71/1223.44 c #Conflicts: 620000 | #Constraints: 68181
1219.71/1223.44 c #Conflicts: 621000 | #Constraints: 69181
1219.71/1223.44 c #Conflicts: 622000 | #Constraints: 70181
1219.71/1223.44 c #Conflicts: 623000 | #Constraints: 71181
1219.71/1223.44 c #Conflicts: 624000 | #Constraints: 72181
1219.71/1223.44 c #Conflicts: 625000 | #Constraints: 73181
1219.71/1223.44 c #Conflicts: 626000 | #Constraints: 74181
1219.71/1223.44 c #Conflicts: 627000 | #Constraints: 75181
1219.71/1223.44 c #Conflicts: 628000 | #Constraints: 76181
1219.71/1223.44 c #Conflicts: 629000 | #Constraints: 77181
1219.71/1223.44 c #Conflicts: 630000 | #Constraints: 78181
1219.71/1223.44 c #Conflicts: 631000 | #Constraints: 79181
1219.71/1223.44 c #Conflicts: 632000 | #Constraints: 80181
1219.71/1223.44 c #Conflicts: 633000 | #Constraints: 81181
1219.71/1223.44 c #Conflicts: 634000 | #Constraints: 82181
1219.71/1223.44 c #Conflicts: 635000 | #Constraints: 83181
1219.71/1223.44 c #Conflicts: 636000 | #Constraints: 84181
1219.71/1223.44 c #Conflicts: 637000 | #Constraints: 85181
1219.71/1223.44 c #Conflicts: 638000 | #Constraints: 86181
1219.71/1223.44 c #Conflicts: 639000 | #Constraints: 87181
1219.71/1223.44 c INPROCESSING
1219.71/1223.44 c GARBAGE COLLECT
1219.71/1223.44 c rational objective 166
1408.95/1413.25 c #Conflicts: 640000 | #Constraints: 60872
1408.95/1413.25 c #Conflicts: 641000 | #Constraints: 61872
1408.95/1413.25 c #Conflicts: 642000 | #Constraints: 62872
1408.95/1413.25 c #Conflicts: 643000 | #Constraints: 63872
1408.95/1413.25 c #Conflicts: 644000 | #Constraints: 64872
1408.95/1413.25 c #Conflicts: 645000 | #Constraints: 65872
1408.95/1413.25 c #Conflicts: 646000 | #Constraints: 66872
1408.95/1413.25 c #Conflicts: 647000 | #Constraints: 67872
1408.95/1413.25 c #Conflicts: 648000 | #Constraints: 68872
1408.95/1413.25 c #Conflicts: 649000 | #Constraints: 69872
1408.95/1413.25 c #Conflicts: 650000 | #Constraints: 70872
1408.95/1413.25 c #Conflicts: 651000 | #Constraints: 71872
1408.95/1413.25 c #Conflicts: 652000 | #Constraints: 72872
1408.95/1413.25 c #Conflicts: 653000 | #Constraints: 73872
1408.95/1413.25 c #Conflicts: 654000 | #Constraints: 74872
1408.95/1413.25 c #Conflicts: 655000 | #Constraints: 75872
1408.95/1413.25 c #Conflicts: 656000 | #Constraints: 76872
1408.95/1413.25 c #Conflicts: 657000 | #Constraints: 77872
1408.95/1413.25 c #Conflicts: 658000 | #Constraints: 78872
1408.95/1413.25 c #Conflicts: 659000 | #Constraints: 79872
1408.95/1413.25 c #Conflicts: 660000 | #Constraints: 80872
1408.95/1413.25 c #Conflicts: 661000 | #Constraints: 81872
1408.95/1413.25 c #Conflicts: 662000 | #Constraints: 82872
1408.95/1413.25 c #Conflicts: 663000 | #Constraints: 83872
1408.95/1413.25 c #Conflicts: 664000 | #Constraints: 84872
1408.95/1413.25 c #Conflicts: 665000 | #Constraints: 85872
1408.95/1413.25 c #Conflicts: 666000 | #Constraints: 86872
1408.95/1413.25 c #Conflicts: 667000 | #Constraints: 87872
1408.95/1413.25 c #Conflicts: 668000 | #Constraints: 88872
1408.95/1413.25 c #Conflicts: 669000 | #Constraints: 89872
1408.95/1413.25 c #Conflicts: 670000 | #Constraints: 90872
1408.95/1413.25 c #Conflicts: 671000 | #Constraints: 91872
1408.95/1413.25 c #Conflicts: 672000 | #Constraints: 92872
1408.95/1413.25 c #Conflicts: 673000 | #Constraints: 93872
1408.95/1413.25 c #Conflicts: 674000 | #Constraints: 94872
1408.95/1413.25 c #Conflicts: 675000 | #Constraints: 95872
1408.95/1413.25 c #Conflicts: 676000 | #Constraints: 96872
1408.95/1413.25 c #Conflicts: 677000 | #Constraints: 97872
1408.95/1413.25 c #Conflicts: 678000 | #Constraints: 98872
1408.95/1413.25 c #Conflicts: 679000 | #Constraints: 99872
1408.95/1413.25 c #Conflicts: 680000 | #Constraints: 100872
1408.95/1413.25 c #Conflicts: 681000 | #Constraints: 101872
1408.95/1413.25 c #Conflicts: 682000 | #Constraints: 102872
1408.95/1413.25 c #Conflicts: 683000 | #Constraints: 103872
1408.95/1413.25 c #Conflicts: 684000 | #Constraints: 104872
1408.95/1413.25 c #Conflicts: 685000 | #Constraints: 105872
1408.95/1413.25 c #Conflicts: 686000 | #Constraints: 106872
1408.95/1413.25 c #Conflicts: 687000 | #Constraints: 107872
1408.95/1413.25 c #Conflicts: 688000 | #Constraints: 108872
1408.95/1413.25 c #Conflicts: 689000 | #Constraints: 109872
1408.95/1413.25 c #Conflicts: 690000 | #Constraints: 110872
1408.95/1413.25 c #Conflicts: 691000 | #Constraints: 111872
1408.95/1413.25 c #Conflicts: 692000 | #Constraints: 112872
1408.95/1413.25 c #Conflicts: 693000 | #Constraints: 113872
1408.95/1413.25 c INPROCESSING
1408.95/1413.25 c GARBAGE COLLECT
1408.95/1413.25 c #Conflicts: 694000 | #Constraints: 69189
1408.95/1413.25 c #Conflicts: 695000 | #Constraints: 70189
1408.95/1413.25 c #Conflicts: 696000 | #Constraints: 71189
1408.95/1413.25 c #Conflicts: 697000 | #Constraints: 72189
1408.95/1413.25 c #Conflicts: 698000 | #Constraints: 73189
1408.95/1413.25 c #Conflicts: 699000 | #Constraints: 74189
1408.95/1413.25 c #Conflicts: 700000 | #Constraints: 75189
1408.95/1413.25 c #Conflicts: 701000 | #Constraints: 76189
1408.95/1413.25 c #Conflicts: 702000 | #Constraints: 77189
1408.95/1413.25 c #Conflicts: 703000 | #Constraints: 78189
1408.95/1413.25 c #Conflicts: 704000 | #Constraints: 79189
1408.95/1413.25 c #Conflicts: 705000 | #Constraints: 80189
1408.95/1413.25 c #Conflicts: 706000 | #Constraints: 81189
1408.95/1413.25 c #Conflicts: 707000 | #Constraints: 82189
1408.95/1413.25 c #Conflicts: 708000 | #Constraints: 83189
1408.95/1413.25 c #Conflicts: 709000 | #Constraints: 84189
1408.95/1413.25 c #Conflicts: 710000 | #Constraints: 85189
1408.95/1413.25 c #Conflicts: 711000 | #Constraints: 86189
1408.95/1413.25 c #Conflicts: 712000 | #Constraints: 87189
1408.95/1413.25 c #Conflicts: 713000 | #Constraints: 88189
1408.95/1413.25 c #Conflicts: 714000 | #Constraints: 89189
1408.95/1413.25 c #Conflicts: 715000 | #Constraints: 90189
1408.95/1413.25 c #Conflicts: 716000 | #Constraints: 91189
1408.95/1413.25 c INPROCESSING
1408.95/1413.25 c GARBAGE COLLECT
1408.95/1413.25 c #Conflicts: 717000 | #Constraints: 63575
1552.83/1557.58 c #Conflicts: 718000 | #Constraints: 64575
1552.83/1557.58 c #Conflicts: 719000 | #Constraints: 65575
1552.83/1557.58 c #Conflicts: 720000 | #Constraints: 66575
1552.83/1557.58 c #Conflicts: 721000 | #Constraints: 67575
1552.83/1557.58 c #Conflicts: 722000 | #Constraints: 68575
1552.83/1557.58 c #Conflicts: 723000 | #Constraints: 69575
1552.83/1557.58 c #Conflicts: 724000 | #Constraints: 70575
1552.83/1557.58 c #Conflicts: 725000 | #Constraints: 71575
1552.83/1557.58 c #Conflicts: 726000 | #Constraints: 72575
1552.83/1557.58 c #Conflicts: 727000 | #Constraints: 73575
1552.83/1557.58 c #Conflicts: 728000 | #Constraints: 74575
1552.83/1557.58 c #Conflicts: 729000 | #Constraints: 75575
1552.83/1557.58 c #Conflicts: 730000 | #Constraints: 76575
1552.83/1557.58 c #Conflicts: 731000 | #Constraints: 77575
1552.83/1557.58 c #Conflicts: 732000 | #Constraints: 78575
1552.83/1557.58 c #Conflicts: 733000 | #Constraints: 79575
1552.83/1557.58 c #Conflicts: 734000 | #Constraints: 80575
1552.83/1557.58 c #Conflicts: 735000 | #Constraints: 81575
1552.83/1557.58 c #Conflicts: 736000 | #Constraints: 82575
1552.83/1557.58 c #Conflicts: 737000 | #Constraints: 83575
1552.83/1557.58 c #Conflicts: 738000 | #Constraints: 84575
1552.83/1557.58 c #Conflicts: 739000 | #Constraints: 85575
1552.83/1557.58 c #Conflicts: 740000 | #Constraints: 86575
1552.83/1557.58 c #Conflicts: 741000 | #Constraints: 87575
1552.83/1557.58 c #Conflicts: 742000 | #Constraints: 88575
1552.83/1557.58 c #Conflicts: 743000 | #Constraints: 89575
1552.83/1557.58 c #Conflicts: 744000 | #Constraints: 90575
1552.83/1557.58 c #Conflicts: 745000 | #Constraints: 91575
1552.83/1557.58 c #Conflicts: 746000 | #Constraints: 92575
1552.83/1557.58 c #Conflicts: 747000 | #Constraints: 93575
1552.83/1557.58 c #Conflicts: 748000 | #Constraints: 94575
1552.83/1557.58 c #Conflicts: 749000 | #Constraints: 95575
1552.83/1557.58 c #Conflicts: 750000 | #Constraints: 96575
1552.83/1557.58 c #Conflicts: 751000 | #Constraints: 97575
1552.83/1557.58 c #Conflicts: 752000 | #Constraints: 98575
1552.83/1557.58 c #Conflicts: 753000 | #Constraints: 99575
1552.83/1557.58 c #Conflicts: 754000 | #Constraints: 100575
1552.83/1557.58 c #Conflicts: 755000 | #Constraints: 101575
1552.83/1557.58 c #Conflicts: 756000 | #Constraints: 102575
1552.83/1557.58 c #Conflicts: 757000 | #Constraints: 103575
1552.83/1557.58 c #Conflicts: 758000 | #Constraints: 104575
1552.83/1557.58 c #Conflicts: 759000 | #Constraints: 105575
1552.83/1557.58 c #Conflicts: 760000 | #Constraints: 106575
1552.83/1557.58 c #Conflicts: 761000 | #Constraints: 107575
1552.83/1557.58 c #Conflicts: 762000 | #Constraints: 108575
1552.83/1557.58 c #Conflicts: 763000 | #Constraints: 109575
1552.83/1557.58 c #Conflicts: 764000 | #Constraints: 110575
1552.83/1557.58 c #Conflicts: 765000 | #Constraints: 111575
1552.83/1557.58 c #Conflicts: 766000 | #Constraints: 112575
1552.83/1557.58 c #Conflicts: 767000 | #Constraints: 113575
1552.83/1557.58 c #Conflicts: 768000 | #Constraints: 114575
1552.83/1557.58 c #Conflicts: 769000 | #Constraints: 115575
1552.83/1557.58 c #Conflicts: 770000 | #Constraints: 116575
1552.83/1557.58 c #Conflicts: 771000 | #Constraints: 117575
1552.83/1557.58 c #Conflicts: 772000 | #Constraints: 118575
1552.83/1557.58 c #Conflicts: 773000 | #Constraints: 119575
1552.83/1557.58 c INPROCESSING
1552.83/1557.58 c GARBAGE COLLECT
1552.83/1557.58 c rational objective 166
1805.97/1811.42 c #Conflicts: 774000 | #Constraints: 71941
1805.97/1811.42 c #Conflicts: 775000 | #Constraints: 72941
1805.97/1811.42 c #Conflicts: 776000 | #Constraints: 73941
1805.97/1811.42 c #Conflicts: 777000 | #Constraints: 74941
1805.97/1811.42 c #Conflicts: 778000 | #Constraints: 75941
1805.97/1811.42 c #Conflicts: 779000 | #Constraints: 76941
1805.97/1811.42 c #Conflicts: 780000 | #Constraints: 77941
1805.97/1811.42 c #Conflicts: 781000 | #Constraints: 78941
1805.97/1811.42 c #Conflicts: 782000 | #Constraints: 79941
1805.97/1811.42 c #Conflicts: 783000 | #Constraints: 80941
1805.97/1811.42 c #Conflicts: 784000 | #Constraints: 81941
1805.97/1811.42 c #Conflicts: 785000 | #Constraints: 82941
1805.97/1811.42 c #Conflicts: 786000 | #Constraints: 83941
1805.97/1811.42 c #Conflicts: 787000 | #Constraints: 84941
1805.97/1811.42 c #Conflicts: 788000 | #Constraints: 85941
1805.97/1811.42 c #Conflicts: 789000 | #Constraints: 86941
1805.97/1811.42 c #Conflicts: 790000 | #Constraints: 87941
1805.97/1811.42 c #Conflicts: 791000 | #Constraints: 88941
1805.97/1811.42 c #Conflicts: 792000 | #Constraints: 89941
1805.97/1811.42 c #Conflicts: 793000 | #Constraints: 90941
1805.97/1811.42 c #Conflicts: 794000 | #Constraints: 91941
1805.97/1811.42 c #Conflicts: 795000 | #Constraints: 92941
1805.97/1811.42 c #Conflicts: 796000 | #Constraints: 93941
1805.97/1811.42 c #Conflicts: 797000 | #Constraints: 94941
1805.97/1811.42 c #Conflicts: 798000 | #Constraints: 95941
1805.97/1811.42 c INPROCESSING
1805.97/1811.42 c GARBAGE COLLECT
1805.97/1811.42 c #Conflicts: 799000 | #Constraints: 66483
1805.97/1811.42 c #Conflicts: 800000 | #Constraints: 67483
1805.97/1811.42 c #Conflicts: 801000 | #Constraints: 68483
1805.97/1811.42 c #Conflicts: 802000 | #Constraints: 69483
1805.97/1811.42 c #Conflicts: 803000 | #Constraints: 70483
1805.97/1811.42 c #Conflicts: 804000 | #Constraints: 71483
1805.97/1811.42 c #Conflicts: 805000 | #Constraints: 72483
1805.97/1811.42 c #Conflicts: 806000 | #Constraints: 73483
1805.97/1811.42 c #Conflicts: 807000 | #Constraints: 74483
1805.97/1811.42 c #Conflicts: 808000 | #Constraints: 75483
1805.97/1811.42 c #Conflicts: 809000 | #Constraints: 76483
1805.97/1811.42 c #Conflicts: 810000 | #Constraints: 77483
1805.97/1811.42 c #Conflicts: 811000 | #Constraints: 78483
1805.97/1811.42 c #Conflicts: 812000 | #Constraints: 79483
1805.97/1811.42 c #Conflicts: 813000 | #Constraints: 80483
1805.97/1811.42 c #Conflicts: 814000 | #Constraints: 81483
1805.97/1811.42 c #Conflicts: 815000 | #Constraints: 82483
1805.97/1811.42 c #Conflicts: 816000 | #Constraints: 83483
1805.97/1811.42 c #Conflicts: 817000 | #Constraints: 84483
1805.97/1811.42 c #Conflicts: 818000 | #Constraints: 85483
1805.97/1811.42 c #Conflicts: 819000 | #Constraints: 86483
1805.97/1811.42 c #Conflicts: 820000 | #Constraints: 87483
1805.97/1811.42 c #Conflicts: 821000 | #Constraints: 88483
1805.97/1811.42 c #Conflicts: 822000 | #Constraints: 89483
1805.97/1811.42 c #Conflicts: 823000 | #Constraints: 90483
1805.97/1811.42 c #Conflicts: 824000 | #Constraints: 91483
1805.97/1811.42 c #Conflicts: 825000 | #Constraints: 92483
1805.97/1811.42 c #Conflicts: 826000 | #Constraints: 93483
1805.97/1811.42 c #Conflicts: 827000 | #Constraints: 94483
1805.97/1811.42 c #Conflicts: 828000 | #Constraints: 95483
1805.97/1811.42 c #Conflicts: 829000 | #Constraints: 96483
1805.97/1811.42 c #Conflicts: 830000 | #Constraints: 97483
1805.97/1811.42 c #Conflicts: 831000 | #Constraints: 98483
1805.97/1811.42 c #Conflicts: 832000 | #Constraints: 99483
1805.97/1811.42 c #Conflicts: 833000 | #Constraints: 100483
1805.97/1811.42 c #Conflicts: 834000 | #Constraints: 101483
1805.97/1811.42 c #Conflicts: 835000 | #Constraints: 102483
1805.97/1811.42 c #Conflicts: 836000 | #Constraints: 103483
1805.97/1811.42 c #Conflicts: 837000 | #Constraints: 104483
1805.97/1811.42 c #Conflicts: 838000 | #Constraints: 105483
1805.97/1811.42 c #Conflicts: 839000 | #Constraints: 106483
1805.97/1811.42 c #Conflicts: 840000 | #Constraints: 107483
1805.97/1811.42 c #Conflicts: 841000 | #Constraints: 108483
1805.97/1811.42 c #Conflicts: 842000 | #Constraints: 109483
1805.97/1811.42 c #Conflicts: 843000 | #Constraints: 110483
1805.97/1811.42 c #Conflicts: 844000 | #Constraints: 111483
1805.97/1811.42 c #Conflicts: 845000 | #Constraints: 112483
1805.97/1811.42 c #Conflicts: 846000 | #Constraints: 113483
1805.97/1811.42 c #Conflicts: 847000 | #Constraints: 114483
1805.97/1811.42 c #Conflicts: 848000 | #Constraints: 115483
1805.97/1811.42 c #Conflicts: 849000 | #Constraints: 116483
1805.97/1811.42 c #Conflicts: 850000 | #Constraints: 117483
1805.97/1811.42 c #Conflicts: 851000 | #Constraints: 118483
1805.97/1811.42 c #Conflicts: 852000 | #Constraints: 119483
1995.60/2001.65 c #Conflicts: 853000 | #Constraints: 120483
1995.60/2001.65 c #Conflicts: 854000 | #Constraints: 121483
1995.60/2001.65 c #Conflicts: 855000 | #Constraints: 122483
1995.60/2001.65 c #Conflicts: 856000 | #Constraints: 123483
1995.60/2001.65 c #Conflicts: 857000 | #Constraints: 124483
1995.60/2001.65 c #Conflicts: 858000 | #Constraints: 125483
1995.60/2001.65 c INPROCESSING
1995.60/2001.65 c GARBAGE COLLECT
1995.60/2001.65 c #Conflicts: 859000 | #Constraints: 75160
1995.60/2001.65 c #Conflicts: 860000 | #Constraints: 76160
1995.60/2001.65 c #Conflicts: 861000 | #Constraints: 77160
1995.60/2001.65 c #Conflicts: 862000 | #Constraints: 78160
1995.60/2001.65 c #Conflicts: 863000 | #Constraints: 79160
1995.60/2001.65 c #Conflicts: 864000 | #Constraints: 80160
1995.60/2001.65 c #Conflicts: 865000 | #Constraints: 81161
1995.60/2001.65 c #Conflicts: 866000 | #Constraints: 82161
1995.60/2001.65 c #Conflicts: 867000 | #Constraints: 83161
1995.60/2001.65 c #Conflicts: 868000 | #Constraints: 84161
1995.60/2001.65 c #Conflicts: 869000 | #Constraints: 85161
1995.60/2001.65 c #Conflicts: 870000 | #Constraints: 86161
1995.60/2001.65 c #Conflicts: 871000 | #Constraints: 87161
1995.60/2001.65 c #Conflicts: 872000 | #Constraints: 88161
1995.60/2001.65 c #Conflicts: 873000 | #Constraints: 89161
1995.60/2001.65 c #Conflicts: 874000 | #Constraints: 90161
1995.60/2001.65 c #Conflicts: 875000 | #Constraints: 91161
1995.60/2001.65 c #Conflicts: 876000 | #Constraints: 92161
1995.60/2001.65 c #Conflicts: 877000 | #Constraints: 93161
1995.60/2001.65 c #Conflicts: 878000 | #Constraints: 94161
1995.60/2001.65 c #Conflicts: 879000 | #Constraints: 95161
1995.60/2001.65 c #Conflicts: 880000 | #Constraints: 96161
1995.60/2001.65 c #Conflicts: 881000 | #Constraints: 97161
1995.60/2001.65 c #Conflicts: 882000 | #Constraints: 98161
1995.60/2001.65 c #Conflicts: 883000 | #Constraints: 99161
1995.60/2001.65 c #Conflicts: 884000 | #Constraints: 100161
1995.60/2001.65 c INPROCESSING
1995.60/2001.65 c GARBAGE COLLECT
1995.60/2001.65 c #Conflicts: 885000 | #Constraints: 69076
1995.60/2001.65 c #Conflicts: 886000 | #Constraints: 70076
1995.60/2001.65 c #Conflicts: 887000 | #Constraints: 71076
1995.60/2001.65 c #Conflicts: 888000 | #Constraints: 72076
1995.60/2001.65 c #Conflicts: 889000 | #Constraints: 73076
1995.60/2001.65 c #Conflicts: 890000 | #Constraints: 74076
1995.60/2001.65 c #Conflicts: 891000 | #Constraints: 75076
1995.60/2001.65 c #Conflicts: 892000 | #Constraints: 76076
1995.60/2001.65 c #Conflicts: 893000 | #Constraints: 77076
1995.60/2001.65 c #Conflicts: 894000 | #Constraints: 78076
1995.60/2001.65 c #Conflicts: 895000 | #Constraints: 79076
1995.60/2001.65 c #Conflicts: 896000 | #Constraints: 80076
1995.60/2001.65 c #Conflicts: 897000 | #Constraints: 81076
1995.60/2001.65 c #Conflicts: 898000 | #Constraints: 82076
1995.60/2001.65 c #Conflicts: 899000 | #Constraints: 83076
1995.60/2001.65 c #Conflicts: 900000 | #Constraints: 84076
1995.60/2001.65 c #Conflicts: 901000 | #Constraints: 85076
1995.60/2001.65 c #Conflicts: 902000 | #Constraints: 86076
1995.60/2001.65 c #Conflicts: 903000 | #Constraints: 87076
1995.60/2001.65 c #Conflicts: 904000 | #Constraints: 88076
1995.60/2001.65 c #Conflicts: 905000 | #Constraints: 89076
1995.60/2001.65 c #Conflicts: 906000 | #Constraints: 90076
1995.60/2001.65 c #Conflicts: 907000 | #Constraints: 91076
1995.60/2001.65 c #Conflicts: 908000 | #Constraints: 92076
1995.60/2001.65 c #Conflicts: 909000 | #Constraints: 93076
1995.60/2001.65 c #Conflicts: 910000 | #Constraints: 94076
1995.60/2001.65 c #Conflicts: 911000 | #Constraints: 95076
1995.60/2001.65 c #Conflicts: 912000 | #Constraints: 96076
1995.60/2001.65 c #Conflicts: 913000 | #Constraints: 97076
1995.60/2001.65 c #Conflicts: 914000 | #Constraints: 98076
1995.60/2001.65 c #Conflicts: 915000 | #Constraints: 99076
1995.60/2001.65 c #Conflicts: 916000 | #Constraints: 100076
1995.60/2001.65 c #Conflicts: 917000 | #Constraints: 101076
1995.60/2001.65 c #Conflicts: 918000 | #Constraints: 102076
1995.60/2001.65 c #Conflicts: 919000 | #Constraints: 103076
1995.60/2001.65 c #Conflicts: 920000 | #Constraints: 104076
1995.60/2001.65 c #Conflicts: 921000 | #Constraints: 105076
1995.60/2001.65 c #Conflicts: 922000 | #Constraints: 106076
1995.60/2001.65 c #Conflicts: 923000 | #Constraints: 107076
1995.60/2001.65 c #Conflicts: 924000 | #Constraints: 108076
1995.60/2001.65 c #Conflicts: 925000 | #Constraints: 109076
1995.60/2001.65 c #Conflicts: 926000 | #Constraints: 110076
1995.60/2001.65 c #Conflicts: 927000 | #Constraints: 111076
1995.60/2001.65 c #Conflicts: 928000 | #Constraints: 112076
1995.60/2001.65 c #Conflicts: 929000 | #Constraints: 113076
2196.17/2202.85 c #Conflicts: 930000 | #Constraints: 114076
2196.17/2202.85 c #Conflicts: 931000 | #Constraints: 115076
2196.17/2202.85 c #Conflicts: 932000 | #Constraints: 116076
2196.17/2202.85 c #Conflicts: 933000 | #Constraints: 117076
2196.17/2202.85 c #Conflicts: 934000 | #Constraints: 118076
2196.17/2202.85 c #Conflicts: 935000 | #Constraints: 119076
2196.17/2202.85 c #Conflicts: 936000 | #Constraints: 120076
2196.17/2202.85 c #Conflicts: 937000 | #Constraints: 121076
2196.17/2202.85 c #Conflicts: 938000 | #Constraints: 122076
2196.17/2202.85 c #Conflicts: 939000 | #Constraints: 123076
2196.17/2202.85 c #Conflicts: 940000 | #Constraints: 124076
2196.17/2202.85 c #Conflicts: 941000 | #Constraints: 125076
2196.17/2202.85 c #Conflicts: 942000 | #Constraints: 126076
2196.17/2202.85 c #Conflicts: 943000 | #Constraints: 127076
2196.17/2202.85 c #Conflicts: 944000 | #Constraints: 128076
2196.17/2202.85 c #Conflicts: 945000 | #Constraints: 129076
2196.17/2202.85 c #Conflicts: 946000 | #Constraints: 130076
2196.17/2202.85 c #Conflicts: 947000 | #Constraints: 131076
2196.17/2202.85 c INPROCESSING
2196.17/2202.85 c GARBAGE COLLECT
2196.17/2202.85 c #Conflicts: 948000 | #Constraints: 77812
2196.17/2202.85 c #Conflicts: 949000 | #Constraints: 78812
2196.17/2202.85 c #Conflicts: 950000 | #Constraints: 79812
2196.17/2202.85 c #Conflicts: 951000 | #Constraints: 80812
2196.17/2202.85 c #Conflicts: 952000 | #Constraints: 81812
2196.17/2202.85 c #Conflicts: 953000 | #Constraints: 82812
2196.17/2202.85 c #Conflicts: 954000 | #Constraints: 83812
2196.17/2202.85 c #Conflicts: 955000 | #Constraints: 84812
2196.17/2202.85 c #Conflicts: 956000 | #Constraints: 85812
2196.17/2202.85 c #Conflicts: 957000 | #Constraints: 86812
2196.17/2202.85 c #Conflicts: 958000 | #Constraints: 87812
2196.17/2202.85 c #Conflicts: 959000 | #Constraints: 88812
2196.17/2202.85 c #Conflicts: 960000 | #Constraints: 89812
2196.17/2202.85 c #Conflicts: 961000 | #Constraints: 90812
2196.17/2202.85 c #Conflicts: 962000 | #Constraints: 91812
2196.17/2202.85 c #Conflicts: 963000 | #Constraints: 92812
2196.17/2202.85 c #Conflicts: 964000 | #Constraints: 93812
2196.17/2202.85 c #Conflicts: 965000 | #Constraints: 94812
2196.17/2202.85 c #Conflicts: 966000 | #Constraints: 95812
2196.17/2202.85 c #Conflicts: 967000 | #Constraints: 96812
2196.17/2202.85 c #Conflicts: 968000 | #Constraints: 97812
2196.17/2202.85 c #Conflicts: 969000 | #Constraints: 98812
2196.17/2202.85 c #Conflicts: 970000 | #Constraints: 99812
2196.17/2202.85 c #Conflicts: 971000 | #Constraints: 100812
2196.17/2202.85 c #Conflicts: 972000 | #Constraints: 101812
2196.17/2202.85 c #Conflicts: 973000 | #Constraints: 102812
2196.17/2202.85 c #Conflicts: 974000 | #Constraints: 103812
2196.17/2202.85 c INPROCESSING
2196.17/2202.85 c GARBAGE COLLECT
2196.17/2202.85 c #Conflicts: 975000 | #Constraints: 70937
2196.17/2202.85 c #Conflicts: 976000 | #Constraints: 71937
2196.17/2202.85 c #Conflicts: 977000 | #Constraints: 72937
2196.17/2202.85 c #Conflicts: 978000 | #Constraints: 73937
2196.17/2202.85 c #Conflicts: 979000 | #Constraints: 74937
2196.17/2202.85 c #Conflicts: 980000 | #Constraints: 75937
2196.17/2202.85 c #Conflicts: 981000 | #Constraints: 76937
2196.17/2202.85 c #Conflicts: 982000 | #Constraints: 77937
2196.17/2202.85 c #Conflicts: 983000 | #Constraints: 78937
2196.17/2202.85 c #Conflicts: 984000 | #Constraints: 79937
2196.17/2202.85 c #Conflicts: 985000 | #Constraints: 80937
2196.17/2202.85 c #Conflicts: 986000 | #Constraints: 81937
2196.17/2202.85 c #Conflicts: 987000 | #Constraints: 82937
2196.17/2202.85 c #Conflicts: 988000 | #Constraints: 83937
2196.17/2202.85 c #Conflicts: 989000 | #Constraints: 84937
2196.17/2202.85 c #Conflicts: 990000 | #Constraints: 85937
2196.17/2202.85 c #Conflicts: 991000 | #Constraints: 86937
2196.17/2202.85 c #Conflicts: 992000 | #Constraints: 87937
2196.17/2202.85 c #Conflicts: 993000 | #Constraints: 88937
2196.17/2202.85 c #Conflicts: 994000 | #Constraints: 89937
2196.17/2202.85 c #Conflicts: 995000 | #Constraints: 90937
2196.17/2202.85 c #Conflicts: 996000 | #Constraints: 91937
2196.17/2202.85 c #Conflicts: 997000 | #Constraints: 92937
2196.17/2202.85 c #Conflicts: 998000 | #Constraints: 93937
2196.17/2202.85 c #Conflicts: 999000 | #Constraints: 94937
2196.17/2202.85 c #Conflicts: 1000000 | #Constraints: 95937
2196.17/2202.85 c #Conflicts: 1001000 | #Constraints: 96937
2196.17/2202.85 c #Conflicts: 1002000 | #Constraints: 97937
2196.17/2202.85 c #Conflicts: 1003000 | #Constraints: 98937
2196.17/2202.85 c #Conflicts: 1004000 | #Constraints: 99937
2196.17/2202.85 c #Conflicts: 1005000 | #Constraints: 100937
2196.17/2202.85 c #Conflicts: 1006000 | #Constraints: 101937
2196.17/2202.85 c #Conflicts: 1007000 | #Constraints: 102937
2403.67/2410.96 c #Conflicts: 1008000 | #Constraints: 103937
2403.67/2410.96 c #Conflicts: 1009000 | #Constraints: 104937
2403.67/2410.96 c #Conflicts: 1010000 | #Constraints: 105937
2403.67/2410.96 c #Conflicts: 1011000 | #Constraints: 106937
2403.67/2410.96 c #Conflicts: 1012000 | #Constraints: 107937
2403.67/2410.96 c #Conflicts: 1013000 | #Constraints: 108937
2403.67/2410.96 c #Conflicts: 1014000 | #Constraints: 109937
2403.67/2410.96 c #Conflicts: 1015000 | #Constraints: 110937
2403.67/2410.96 c #Conflicts: 1016000 | #Constraints: 111937
2403.67/2410.96 c #Conflicts: 1017000 | #Constraints: 112937
2403.67/2410.96 c #Conflicts: 1018000 | #Constraints: 113937
2403.67/2410.96 c #Conflicts: 1019000 | #Constraints: 114937
2403.67/2410.96 c #Conflicts: 1020000 | #Constraints: 115937
2403.67/2410.96 c #Conflicts: 1021000 | #Constraints: 116938
2403.67/2410.96 c #Conflicts: 1022000 | #Constraints: 117938
2403.67/2410.96 c #Conflicts: 1023000 | #Constraints: 118938
2403.67/2410.96 c #Conflicts: 1024000 | #Constraints: 119938
2403.67/2410.96 c #Conflicts: 1025000 | #Constraints: 120938
2403.67/2410.96 c #Conflicts: 1026000 | #Constraints: 121938
2403.67/2410.96 c #Conflicts: 1027000 | #Constraints: 122938
2403.67/2410.96 c #Conflicts: 1028000 | #Constraints: 123938
2403.67/2410.96 c #Conflicts: 1029000 | #Constraints: 124938
2403.67/2410.96 c #Conflicts: 1030000 | #Constraints: 125938
2403.67/2410.96 c #Conflicts: 1031000 | #Constraints: 126938
2403.67/2410.96 c #Conflicts: 1032000 | #Constraints: 127938
2403.67/2410.96 c #Conflicts: 1033000 | #Constraints: 128938
2403.67/2410.96 c #Conflicts: 1034000 | #Constraints: 129938
2403.67/2410.96 c #Conflicts: 1035000 | #Constraints: 130938
2403.67/2410.96 c #Conflicts: 1036000 | #Constraints: 131938
2403.67/2410.96 c #Conflicts: 1037000 | #Constraints: 132938
2403.67/2410.96 c #Conflicts: 1038000 | #Constraints: 133938
2403.67/2410.96 c #Conflicts: 1039000 | #Constraints: 134938
2403.67/2410.96 c #Conflicts: 1040000 | #Constraints: 135938
2403.67/2410.96 c INPROCESSING
2403.67/2410.96 c GARBAGE COLLECT
2403.67/2410.96 c #Conflicts: 1041000 | #Constraints: 79893
2403.67/2410.96 c #Conflicts: 1042000 | #Constraints: 80893
2403.67/2410.96 c #Conflicts: 1043000 | #Constraints: 81893
2403.67/2410.96 c #Conflicts: 1044000 | #Constraints: 82893
2403.67/2410.96 c #Conflicts: 1045000 | #Constraints: 83893
2403.67/2410.96 c #Conflicts: 1046000 | #Constraints: 84893
2403.67/2410.96 c #Conflicts: 1047000 | #Constraints: 85893
2403.67/2410.96 c #Conflicts: 1048000 | #Constraints: 86893
2403.67/2410.96 c #Conflicts: 1049000 | #Constraints: 87893
2403.67/2410.96 c #Conflicts: 1050000 | #Constraints: 88893
2403.67/2410.96 c #Conflicts: 1051000 | #Constraints: 89893
2403.67/2410.96 c #Conflicts: 1052000 | #Constraints: 90894
2403.67/2410.96 c #Conflicts: 1053000 | #Constraints: 91894
2403.67/2410.96 c #Conflicts: 1054000 | #Constraints: 92894
2403.67/2410.96 c #Conflicts: 1055000 | #Constraints: 93894
2403.67/2410.96 c #Conflicts: 1056000 | #Constraints: 94894
2403.67/2410.96 c #Conflicts: 1057000 | #Constraints: 95895
2403.67/2410.96 c #Conflicts: 1058000 | #Constraints: 96895
2403.67/2410.96 c #Conflicts: 1059000 | #Constraints: 97895
2403.67/2410.96 c #Conflicts: 1060000 | #Constraints: 98895
2403.67/2410.96 c #Conflicts: 1061000 | #Constraints: 99895
2403.67/2410.96 c #Conflicts: 1062000 | #Constraints: 100895
2403.67/2410.96 c #Conflicts: 1063000 | #Constraints: 101895
2403.67/2410.96 c #Conflicts: 1064000 | #Constraints: 102895
2403.67/2410.96 c #Conflicts: 1065000 | #Constraints: 103895
2403.67/2410.96 c #Conflicts: 1066000 | #Constraints: 104895
2403.67/2410.96 c #Conflicts: 1067000 | #Constraints: 105895
2403.67/2410.96 c #Conflicts: 1068000 | #Constraints: 106895
2403.67/2410.96 c #Conflicts: 1069000 | #Constraints: 107895
2403.67/2410.96 c INPROCESSING
2403.67/2410.96 c GARBAGE COLLECT
2403.67/2410.96 c #Conflicts: 1070000 | #Constraints: 72841
2403.67/2410.96 c #Conflicts: 1071000 | #Constraints: 73841
2403.67/2410.96 c #Conflicts: 1072000 | #Constraints: 74841
2403.67/2410.96 c #Conflicts: 1073000 | #Constraints: 75841
2403.67/2410.96 c #Conflicts: 1074000 | #Constraints: 76841
2403.67/2410.96 c #Conflicts: 1075000 | #Constraints: 77841
2403.67/2410.96 c #Conflicts: 1076000 | #Constraints: 78841
2403.67/2410.96 c #Conflicts: 1077000 | #Constraints: 79841
2403.67/2410.96 c #Conflicts: 1078000 | #Constraints: 80841
2403.67/2410.96 c #Conflicts: 1079000 | #Constraints: 81841
2403.67/2410.96 c #Conflicts: 1080000 | #Constraints: 82841
2403.67/2410.96 c #Conflicts: 1081000 | #Constraints: 83841
2403.67/2410.96 c #Conflicts: 1082000 | #Constraints: 84841
2403.67/2410.96 c #Conflicts: 1083000 | #Constraints: 85841
2403.67/2410.96 c #Conflicts: 1084000 | #Constraints: 86841
2675.28/2683.37 c #Conflicts: 1085000 | #Constraints: 87841
2675.28/2683.37 c #Conflicts: 1086000 | #Constraints: 88841
2675.28/2683.37 c #Conflicts: 1087000 | #Constraints: 89841
2675.28/2683.37 c #Conflicts: 1088000 | #Constraints: 90841
2675.28/2683.37 c #Conflicts: 1089000 | #Constraints: 91841
2675.28/2683.37 c #Conflicts: 1090000 | #Constraints: 92841
2675.28/2683.37 c #Conflicts: 1091000 | #Constraints: 93841
2675.28/2683.37 c #Conflicts: 1092000 | #Constraints: 94841
2675.28/2683.37 c #Conflicts: 1093000 | #Constraints: 95841
2675.28/2683.37 c #Conflicts: 1094000 | #Constraints: 96841
2675.28/2683.37 c #Conflicts: 1095000 | #Constraints: 97841
2675.28/2683.37 c #Conflicts: 1096000 | #Constraints: 98841
2675.28/2683.37 c #Conflicts: 1097000 | #Constraints: 99841
2675.28/2683.37 c #Conflicts: 1098000 | #Constraints: 100841
2675.28/2683.37 c #Conflicts: 1099000 | #Constraints: 101841
2675.28/2683.37 c #Conflicts: 1100000 | #Constraints: 102841
2675.28/2683.37 c #Conflicts: 1101000 | #Constraints: 103841
2675.28/2683.37 c #Conflicts: 1102000 | #Constraints: 104841
2675.28/2683.37 c #Conflicts: 1103000 | #Constraints: 105841
2675.28/2683.37 c #Conflicts: 1104000 | #Constraints: 106841
2675.28/2683.37 c #Conflicts: 1105000 | #Constraints: 107841
2675.28/2683.37 c #Conflicts: 1106000 | #Constraints: 108841
2675.28/2683.37 c #Conflicts: 1107000 | #Constraints: 109841
2675.28/2683.37 c #Conflicts: 1108000 | #Constraints: 110841
2675.28/2683.37 c #Conflicts: 1109000 | #Constraints: 111841
2675.28/2683.37 c #Conflicts: 1110000 | #Constraints: 112841
2675.28/2683.37 c #Conflicts: 1111000 | #Constraints: 113841
2675.28/2683.37 c #Conflicts: 1112000 | #Constraints: 114841
2675.28/2683.37 c #Conflicts: 1113000 | #Constraints: 115841
2675.28/2683.37 c #Conflicts: 1114000 | #Constraints: 116841
2675.28/2683.37 c #Conflicts: 1115000 | #Constraints: 117841
2675.28/2683.37 c #Conflicts: 1116000 | #Constraints: 118841
2675.28/2683.37 c #Conflicts: 1117000 | #Constraints: 119841
2675.28/2683.37 c #Conflicts: 1118000 | #Constraints: 120841
2675.28/2683.37 c #Conflicts: 1119000 | #Constraints: 121841
2675.28/2683.37 c #Conflicts: 1120000 | #Constraints: 122841
2675.28/2683.37 c #Conflicts: 1121000 | #Constraints: 123841
2675.28/2683.37 c #Conflicts: 1122000 | #Constraints: 124841
2675.28/2683.37 c #Conflicts: 1123000 | #Constraints: 125841
2675.28/2683.37 c #Conflicts: 1124000 | #Constraints: 126841
2675.28/2683.37 c #Conflicts: 1125000 | #Constraints: 127841
2675.28/2683.37 c #Conflicts: 1126000 | #Constraints: 128841
2675.28/2683.37 c #Conflicts: 1127000 | #Constraints: 129841
2675.28/2683.37 c #Conflicts: 1128000 | #Constraints: 130841
2675.28/2683.37 c #Conflicts: 1129000 | #Constraints: 131841
2675.28/2683.37 c #Conflicts: 1130000 | #Constraints: 132841
2675.28/2683.37 c #Conflicts: 1131000 | #Constraints: 133841
2675.28/2683.37 c #Conflicts: 1132000 | #Constraints: 134841
2675.28/2683.37 c #Conflicts: 1133000 | #Constraints: 135841
2675.28/2683.37 c #Conflicts: 1134000 | #Constraints: 136841
2675.28/2683.37 c #Conflicts: 1135000 | #Constraints: 137841
2675.28/2683.37 c #Conflicts: 1136000 | #Constraints: 138842
2675.28/2683.37 c #Conflicts: 1137000 | #Constraints: 139842
2675.28/2683.37 c #Conflicts: 1138000 | #Constraints: 140843
2675.28/2683.37 c INPROCESSING
2675.28/2683.37 c GARBAGE COLLECT
2675.28/2683.37 c #Conflicts: 1139000 | #Constraints: 82492
2675.28/2683.37 c #Conflicts: 1140000 | #Constraints: 83492
2675.28/2683.37 c #Conflicts: 1141000 | #Constraints: 84492
2675.28/2683.37 c #Conflicts: 1142000 | #Constraints: 85492
2675.28/2683.37 c #Conflicts: 1143000 | #Constraints: 86492
2675.28/2683.37 c #Conflicts: 1144000 | #Constraints: 87492
2675.28/2683.37 c #Conflicts: 1145000 | #Constraints: 88492
2675.28/2683.37 c #Conflicts: 1146000 | #Constraints: 89492
2675.28/2683.37 c #Conflicts: 1147000 | #Constraints: 90492
2675.28/2683.37 c #Conflicts: 1148000 | #Constraints: 91492
2675.28/2683.37 c #Conflicts: 1149000 | #Constraints: 92492
2675.28/2683.37 c #Conflicts: 1150000 | #Constraints: 93492
2675.28/2683.37 c #Conflicts: 1151000 | #Constraints: 94492
2675.28/2683.37 c #Conflicts: 1152000 | #Constraints: 95492
2675.28/2683.37 c #Conflicts: 1153000 | #Constraints: 96492
2675.28/2683.37 c #Conflicts: 1154000 | #Constraints: 97492
2675.28/2683.37 c #Conflicts: 1155000 | #Constraints: 98492
2675.28/2683.37 c #Conflicts: 1156000 | #Constraints: 99492
2675.28/2683.37 c #Conflicts: 1157000 | #Constraints: 100492
2675.28/2683.37 c #Conflicts: 1158000 | #Constraints: 101492
2675.28/2683.37 c #Conflicts: 1159000 | #Constraints: 102492
2675.28/2683.37 c #Conflicts: 1160000 | #Constraints: 103492
2675.28/2683.37 c #Conflicts: 1161000 | #Constraints: 104492
2675.28/2683.37 c #Conflicts: 1162000 | #Constraints: 105492
2911.58/2920.39 c #Conflicts: 1163000 | #Constraints: 106492
2911.58/2920.39 c #Conflicts: 1164000 | #Constraints: 107492
2911.58/2920.39 c #Conflicts: 1165000 | #Constraints: 108492
2911.58/2920.39 c #Conflicts: 1166000 | #Constraints: 109492
2911.58/2920.39 c #Conflicts: 1167000 | #Constraints: 110492
2911.58/2920.39 c #Conflicts: 1168000 | #Constraints: 111492
2911.58/2920.39 c INPROCESSING
2911.58/2920.39 c GARBAGE COLLECT
2911.58/2920.39 c #Conflicts: 1169000 | #Constraints: 74735
2911.58/2920.39 c #Conflicts: 1170000 | #Constraints: 75735
2911.58/2920.39 c #Conflicts: 1171000 | #Constraints: 76735
2911.58/2920.39 c #Conflicts: 1172000 | #Constraints: 77735
2911.58/2920.39 c #Conflicts: 1173000 | #Constraints: 78735
2911.58/2920.39 c #Conflicts: 1174000 | #Constraints: 79735
2911.58/2920.39 c #Conflicts: 1175000 | #Constraints: 80735
2911.58/2920.39 c #Conflicts: 1176000 | #Constraints: 81735
2911.58/2920.39 c #Conflicts: 1177000 | #Constraints: 82735
2911.58/2920.39 c #Conflicts: 1178000 | #Constraints: 83735
2911.58/2920.39 c #Conflicts: 1179000 | #Constraints: 84735
2911.58/2920.39 c #Conflicts: 1180000 | #Constraints: 85735
2911.58/2920.39 c #Conflicts: 1181000 | #Constraints: 86735
2911.58/2920.39 c #Conflicts: 1182000 | #Constraints: 87735
2911.58/2920.39 c #Conflicts: 1183000 | #Constraints: 88735
2911.58/2920.39 c #Conflicts: 1184000 | #Constraints: 89735
2911.58/2920.39 c #Conflicts: 1185000 | #Constraints: 90735
2911.58/2920.39 c #Conflicts: 1186000 | #Constraints: 91735
2911.58/2920.39 c #Conflicts: 1187000 | #Constraints: 92735
2911.58/2920.39 c #Conflicts: 1188000 | #Constraints: 93735
2911.58/2920.39 c #Conflicts: 1189000 | #Constraints: 94735
2911.58/2920.39 c #Conflicts: 1190000 | #Constraints: 95735
2911.58/2920.39 c #Conflicts: 1191000 | #Constraints: 96735
2911.58/2920.39 c #Conflicts: 1192000 | #Constraints: 97735
2911.58/2920.39 c #Conflicts: 1193000 | #Constraints: 98735
2911.58/2920.39 c #Conflicts: 1194000 | #Constraints: 99735
2911.58/2920.39 c #Conflicts: 1195000 | #Constraints: 100735
2911.58/2920.39 c #Conflicts: 1196000 | #Constraints: 101735
2911.58/2920.39 c #Conflicts: 1197000 | #Constraints: 102735
2911.58/2920.39 c #Conflicts: 1198000 | #Constraints: 103735
2911.58/2920.39 c #Conflicts: 1199000 | #Constraints: 104735
2911.58/2920.39 c #Conflicts: 1200000 | #Constraints: 105735
2911.58/2920.39 c #Conflicts: 1201000 | #Constraints: 106735
2911.58/2920.39 c #Conflicts: 1202000 | #Constraints: 107735
2911.58/2920.39 c #Conflicts: 1203000 | #Constraints: 108735
2911.58/2920.39 c #Conflicts: 1204000 | #Constraints: 109735
2911.58/2920.39 c #Conflicts: 1205000 | #Constraints: 110735
2911.58/2920.39 c #Conflicts: 1206000 | #Constraints: 111735
2911.58/2920.39 c #Conflicts: 1207000 | #Constraints: 112735
2911.58/2920.39 c #Conflicts: 1208000 | #Constraints: 113735
2911.58/2920.39 c #Conflicts: 1209000 | #Constraints: 114735
2911.58/2920.39 c #Conflicts: 1210000 | #Constraints: 115735
2911.58/2920.39 c #Conflicts: 1211000 | #Constraints: 116735
2911.58/2920.39 c #Conflicts: 1212000 | #Constraints: 117735
2911.58/2920.39 c #Conflicts: 1213000 | #Constraints: 118735
2911.58/2920.39 c #Conflicts: 1214000 | #Constraints: 119735
2911.58/2920.39 c #Conflicts: 1215000 | #Constraints: 120735
2911.58/2920.39 c #Conflicts: 1216000 | #Constraints: 121735
2911.58/2920.39 c #Conflicts: 1217000 | #Constraints: 122735
2911.58/2920.39 c #Conflicts: 1218000 | #Constraints: 123736
2911.58/2920.39 c #Conflicts: 1219000 | #Constraints: 124737
2911.58/2920.39 c #Conflicts: 1220000 | #Constraints: 125737
2911.58/2920.39 c #Conflicts: 1221000 | #Constraints: 126738
2911.58/2920.39 c #Conflicts: 1222000 | #Constraints: 127747
2911.58/2920.39 c #Conflicts: 1223000 | #Constraints: 128747
2911.58/2920.39 c #Conflicts: 1224000 | #Constraints: 129747
2911.58/2920.39 c #Conflicts: 1225000 | #Constraints: 130747
2911.58/2920.39 c #Conflicts: 1226000 | #Constraints: 131747
2911.58/2920.39 c #Conflicts: 1227000 | #Constraints: 132747
2911.58/2920.39 c #Conflicts: 1228000 | #Constraints: 133747
2911.58/2920.39 c #Conflicts: 1229000 | #Constraints: 134747
2911.58/2920.39 c #Conflicts: 1230000 | #Constraints: 135747
2911.58/2920.39 c #Conflicts: 1231000 | #Constraints: 136747
2911.58/2920.39 c #Conflicts: 1232000 | #Constraints: 137747
2911.58/2920.39 c #Conflicts: 1233000 | #Constraints: 138747
2911.58/2920.39 c #Conflicts: 1234000 | #Constraints: 139747
2911.58/2920.39 c #Conflicts: 1235000 | #Constraints: 140747
2911.58/2920.39 c #Conflicts: 1236000 | #Constraints: 141747
2911.58/2920.39 c #Conflicts: 1237000 | #Constraints: 142747
2911.58/2920.39 c #Conflicts: 1238000 | #Constraints: 143747
2911.58/2920.39 c #Conflicts: 1239000 | #Constraints: 144747
2911.58/2920.39 c #Conflicts: 1240000 | #Constraints: 145747
3078.70/3087.90 c INPROCESSING
3078.70/3087.90 c GARBAGE COLLECT
3078.70/3087.90 c #Conflicts: 1241000 | #Constraints: 84892
3078.70/3087.90 c #Conflicts: 1242000 | #Constraints: 85892
3078.70/3087.90 c #Conflicts: 1243000 | #Constraints: 86892
3078.70/3087.90 c #Conflicts: 1244000 | #Constraints: 87892
3078.70/3087.90 c #Conflicts: 1245000 | #Constraints: 88892
3078.70/3087.90 c #Conflicts: 1246000 | #Constraints: 89892
3078.70/3087.90 c #Conflicts: 1247000 | #Constraints: 90892
3078.70/3087.90 c #Conflicts: 1248000 | #Constraints: 91892
3078.70/3087.90 c #Conflicts: 1249000 | #Constraints: 92892
3078.70/3087.90 c #Conflicts: 1250000 | #Constraints: 93892
3078.70/3087.90 c #Conflicts: 1251000 | #Constraints: 94892
3078.70/3087.90 c #Conflicts: 1252000 | #Constraints: 95892
3078.70/3087.90 c #Conflicts: 1253000 | #Constraints: 96892
3078.70/3087.90 c #Conflicts: 1254000 | #Constraints: 97892
3078.70/3087.90 c #Conflicts: 1255000 | #Constraints: 98892
3078.70/3087.90 c #Conflicts: 1256000 | #Constraints: 99892
3078.70/3087.90 c #Conflicts: 1257000 | #Constraints: 100892
3078.70/3087.90 c #Conflicts: 1258000 | #Constraints: 101892
3078.70/3087.90 c #Conflicts: 1259000 | #Constraints: 102892
3078.70/3087.90 c #Conflicts: 1260000 | #Constraints: 103892
3078.70/3087.90 c #Conflicts: 1261000 | #Constraints: 104892
3078.70/3087.90 c #Conflicts: 1262000 | #Constraints: 105892
3078.70/3087.90 c #Conflicts: 1263000 | #Constraints: 106892
3078.70/3087.90 c #Conflicts: 1264000 | #Constraints: 107892
3078.70/3087.90 c #Conflicts: 1265000 | #Constraints: 108892
3078.70/3087.90 c #Conflicts: 1266000 | #Constraints: 109892
3078.70/3087.90 c #Conflicts: 1267000 | #Constraints: 110892
3078.70/3087.90 c #Conflicts: 1268000 | #Constraints: 111892
3078.70/3087.90 c #Conflicts: 1269000 | #Constraints: 112892
3078.70/3087.90 c #Conflicts: 1270000 | #Constraints: 113892
3078.70/3087.90 c #Conflicts: 1271000 | #Constraints: 114892
3078.70/3087.90 c #Conflicts: 1272000 | #Constraints: 115892
3078.70/3087.90 c INPROCESSING
3078.70/3087.90 c GARBAGE COLLECT
3078.70/3087.90 c #Conflicts: 1273000 | #Constraints: 77982
3078.70/3087.90 c #Conflicts: 1274000 | #Constraints: 78982
3078.70/3087.90 c #Conflicts: 1275000 | #Constraints: 79982
3078.70/3087.90 c #Conflicts: 1276000 | #Constraints: 80982
3078.70/3087.90 c #Conflicts: 1277000 | #Constraints: 81982
3078.70/3087.90 c #Conflicts: 1278000 | #Constraints: 82982
3078.70/3087.90 c #Conflicts: 1279000 | #Constraints: 83982
3078.70/3087.90 c #Conflicts: 1280000 | #Constraints: 84982
3078.70/3087.90 c #Conflicts: 1281000 | #Constraints: 85982
3078.70/3087.90 c #Conflicts: 1282000 | #Constraints: 86982
3078.70/3087.90 c #Conflicts: 1283000 | #Constraints: 87982
3078.70/3087.90 c #Conflicts: 1284000 | #Constraints: 88982
3078.70/3087.90 c #Conflicts: 1285000 | #Constraints: 89982
3078.70/3087.90 c #Conflicts: 1286000 | #Constraints: 90982
3078.70/3087.90 c #Conflicts: 1287000 | #Constraints: 91982
3078.70/3087.90 c #Conflicts: 1288000 | #Constraints: 92982
3078.70/3087.90 c #Conflicts: 1289000 | #Constraints: 93982
3078.70/3087.90 c #Conflicts: 1290000 | #Constraints: 94982
3078.70/3087.90 c #Conflicts: 1291000 | #Constraints: 95982
3078.70/3087.90 c #Conflicts: 1292000 | #Constraints: 96982
3078.70/3087.90 c #Conflicts: 1293000 | #Constraints: 97982
3078.70/3087.90 c #Conflicts: 1294000 | #Constraints: 98982
3078.70/3087.90 c #Conflicts: 1295000 | #Constraints: 99982
3078.70/3087.90 c #Conflicts: 1296000 | #Constraints: 100982
3078.70/3087.90 c #Conflicts: 1297000 | #Constraints: 101982
3078.70/3087.90 c #Conflicts: 1298000 | #Constraints: 102982
3078.70/3087.90 c #Conflicts: 1299000 | #Constraints: 103982
3078.70/3087.90 c #Conflicts: 1300000 | #Constraints: 104982
3078.70/3087.90 c #Conflicts: 1301000 | #Constraints: 105982
3078.70/3087.90 c #Conflicts: 1302000 | #Constraints: 106982
3078.70/3087.90 c #Conflicts: 1303000 | #Constraints: 107982
3078.70/3087.90 c #Conflicts: 1304000 | #Constraints: 108982
3078.70/3087.90 c #Conflicts: 1305000 | #Constraints: 109982
3078.70/3087.90 c #Conflicts: 1306000 | #Constraints: 110982
3078.70/3087.90 c #Conflicts: 1307000 | #Constraints: 111982
3078.70/3087.90 c #Conflicts: 1308000 | #Constraints: 112982
3078.70/3087.90 c #Conflicts: 1309000 | #Constraints: 113982
3078.70/3087.90 c #Conflicts: 1310000 | #Constraints: 114982
3078.70/3087.90 c #Conflicts: 1311000 | #Constraints: 115982
3078.70/3087.90 c #Conflicts: 1312000 | #Constraints: 116982
3078.70/3087.90 c #Conflicts: 1313000 | #Constraints: 117982
3078.70/3087.90 c #Conflicts: 1314000 | #Constraints: 118982
3078.70/3087.90 c #Conflicts: 1315000 | #Constraints: 119982
3078.70/3087.90 c #Conflicts: 1316000 | #Constraints: 120982
3078.70/3087.90 c #Conflicts: 1317000 | #Constraints: 121982
3078.70/3087.90 c #Conflicts: 1318000 | #Constraints: 122982
3511.70/3522.27 c #Conflicts: 1319000 | #Constraints: 123982
3511.70/3522.27 c #Conflicts: 1320000 | #Constraints: 124982
3511.70/3522.27 c #Conflicts: 1321000 | #Constraints: 125982
3511.70/3522.27 c #Conflicts: 1322000 | #Constraints: 126982
3511.70/3522.27 c #Conflicts: 1323000 | #Constraints: 127982
3511.70/3522.27 c #Conflicts: 1324000 | #Constraints: 128982
3511.70/3522.27 c #Conflicts: 1325000 | #Constraints: 129982
3511.70/3522.27 c #Conflicts: 1326000 | #Constraints: 130982
3511.70/3522.27 c #Conflicts: 1327000 | #Constraints: 131982
3511.70/3522.27 c #Conflicts: 1328000 | #Constraints: 132982
3511.70/3522.27 c #Conflicts: 1329000 | #Constraints: 133982
3511.70/3522.27 c #Conflicts: 1330000 | #Constraints: 134982
3511.70/3522.27 c #Conflicts: 1331000 | #Constraints: 135982
3511.70/3522.27 c #Conflicts: 1332000 | #Constraints: 136982
3511.70/3522.27 c #Conflicts: 1333000 | #Constraints: 137982
3511.70/3522.27 c #Conflicts: 1334000 | #Constraints: 138982
3511.70/3522.27 c #Conflicts: 1335000 | #Constraints: 139982
3511.70/3522.27 c #Conflicts: 1336000 | #Constraints: 140982
3511.70/3522.27 c #Conflicts: 1337000 | #Constraints: 141982
3511.70/3522.27 c #Conflicts: 1338000 | #Constraints: 142982
3511.70/3522.27 c #Conflicts: 1339000 | #Constraints: 143982
3511.70/3522.27 c #Conflicts: 1340000 | #Constraints: 144982
3511.70/3522.27 c #Conflicts: 1341000 | #Constraints: 145982
3511.70/3522.27 c #Conflicts: 1342000 | #Constraints: 146982
3511.70/3522.27 c #Conflicts: 1343000 | #Constraints: 147982
3511.70/3522.27 c #Conflicts: 1344000 | #Constraints: 148982
3511.70/3522.27 c #Conflicts: 1345000 | #Constraints: 149982
3511.70/3522.27 c #Conflicts: 1346000 | #Constraints: 150982
3511.70/3522.27 c #Conflicts: 1347000 | #Constraints: 151982
3511.70/3522.27 c INPROCESSING
3511.70/3522.27 c GARBAGE COLLECT
3511.70/3522.27 c #Conflicts: 1348000 | #Constraints: 88019
3511.70/3522.27 c #Conflicts: 1349000 | #Constraints: 89019
3511.70/3522.27 c #Conflicts: 1350000 | #Constraints: 90019
3511.70/3522.27 c #Conflicts: 1351000 | #Constraints: 91019
3511.70/3522.27 c #Conflicts: 1352000 | #Constraints: 92019
3511.70/3522.27 c #Conflicts: 1353000 | #Constraints: 93019
3511.70/3522.27 c #Conflicts: 1354000 | #Constraints: 94019
3511.70/3522.27 c #Conflicts: 1355000 | #Constraints: 95019
3511.70/3522.27 c #Conflicts: 1356000 | #Constraints: 96019
3511.70/3522.27 c #Conflicts: 1357000 | #Constraints: 97019
3511.70/3522.27 c #Conflicts: 1358000 | #Constraints: 98019
3511.70/3522.27 c #Conflicts: 1359000 | #Constraints: 99019
3511.70/3522.27 c #Conflicts: 1360000 | #Constraints: 100019
3511.70/3522.27 c #Conflicts: 1361000 | #Constraints: 101019
3511.70/3522.27 c #Conflicts: 1362000 | #Constraints: 102019
3511.70/3522.27 c #Conflicts: 1363000 | #Constraints: 103019
3511.70/3522.27 c #Conflicts: 1364000 | #Constraints: 104019
3511.70/3522.27 c #Conflicts: 1365000 | #Constraints: 105019
3511.70/3522.27 c #Conflicts: 1366000 | #Constraints: 106019
3511.70/3522.27 c #Conflicts: 1367000 | #Constraints: 107019
3511.70/3522.27 c #Conflicts: 1368000 | #Constraints: 108019
3511.70/3522.27 c #Conflicts: 1369000 | #Constraints: 109019
3511.70/3522.27 c #Conflicts: 1370000 | #Constraints: 110019
3511.70/3522.27 c #Conflicts: 1371000 | #Constraints: 111019
3511.70/3522.27 c #Conflicts: 1372000 | #Constraints: 112019
3511.70/3522.27 c #Conflicts: 1373000 | #Constraints: 113019
3511.70/3522.27 c #Conflicts: 1374000 | #Constraints: 114020
3511.70/3522.27 c #Conflicts: 1375000 | #Constraints: 115020
3511.70/3522.27 c #Conflicts: 1376000 | #Constraints: 116020
3511.70/3522.27 c #Conflicts: 1377000 | #Constraints: 117020
3511.70/3522.27 c #Conflicts: 1378000 | #Constraints: 118020
3511.70/3522.27 c #Conflicts: 1379000 | #Constraints: 119020
3511.70/3522.27 c #Conflicts: 1380000 | #Constraints: 120020
3511.70/3522.27 c INPROCESSING
3511.70/3522.27 c GARBAGE COLLECT
3511.70/3522.27 c #Conflicts: 1381000 | #Constraints: 80310
3511.70/3522.27 c #Conflicts: 1382000 | #Constraints: 81310
3511.70/3522.27 c #Conflicts: 1383000 | #Constraints: 82310
3511.70/3522.27 c #Conflicts: 1384000 | #Constraints: 83311
3511.70/3522.27 c #Conflicts: 1385000 | #Constraints: 84311
3511.70/3522.27 c #Conflicts: 1386000 | #Constraints: 85311
3511.70/3522.27 c #Conflicts: 1387000 | #Constraints: 86311
3511.70/3522.27 c #Conflicts: 1388000 | #Constraints: 87311
3511.70/3522.27 c #Conflicts: 1389000 | #Constraints: 88311
3511.70/3522.27 c #Conflicts: 1390000 | #Constraints: 89311
3511.70/3522.27 c #Conflicts: 1391000 | #Constraints: 90311
3511.70/3522.27 c #Conflicts: 1392000 | #Constraints: 91311
3511.70/3522.27 c #Conflicts: 1393000 | #Constraints: 92311
3511.70/3522.27 c #Conflicts: 1394000 | #Constraints: 93311
3511.70/3522.27 c #Conflicts: 1395000 | #Constraints: 94311
3600.09/3610.90 c #Conflicts: 1396000 | #Constraints: 95311
3600.09/3610.90 c #Conflicts: 1397000 | #Constraints: 96311
3600.09/3610.90 c #Conflicts: 1398000 | #Constraints: 97311
3600.09/3610.90 c #Conflicts: 1399000 | #Constraints: 98311
3600.09/3610.90 c #Conflicts: 1400000 | #Constraints: 99311
3600.09/3610.90 c #Conflicts: 1401000 | #Constraints: 100311
3600.09/3610.90 c #Conflicts: 1402000 | #Constraints: 101311
3600.09/3610.90 c #Conflicts: 1403000 | #Constraints: 102311
3600.09/3610.90 c #Conflicts: 1404000 | #Constraints: 103311
3600.09/3610.90 c #Conflicts: 1405000 | #Constraints: 104311
3600.09/3610.90 c #Conflicts: 1406000 | #Constraints: 105311
3600.09/3610.90 c #Conflicts: 1407000 | #Constraints: 106311
3600.09/3610.90 c #Conflicts: 1408000 | #Constraints: 107311
3600.09/3610.90 c #Conflicts: 1409000 | #Constraints: 108311
3600.09/3610.90 c #Conflicts: 1410000 | #Constraints: 109311
3600.09/3610.90 c #Conflicts: 1411000 | #Constraints: 110311
3600.09/3610.90 c #Conflicts: 1412000 | #Constraints: 111311
3600.09/3610.90 c #Conflicts: 1413000 | #Constraints: 112311
3600.09/3610.90 c #Conflicts: 1414000 | #Constraints: 113311
3600.09/3610.90 c #Conflicts: 1415000 | #Constraints: 114311
3600.09/3610.90 c #Conflicts: 1416000 | #Constraints: 115311
3600.09/3610.90 c #Conflicts: 1417000 | #Constraints: 116311
3600.09/3610.90 c #Conflicts: 1418000 | #Constraints: 117311
3600.09/3610.90 c #Conflicts: 1419000 | #Constraints: 118311
3600.09/3610.90 c #Conflicts: 1420000 | #Constraints: 119311
3600.09/3610.90 c #Conflicts: 1421000 | #Constraints: 120311
3600.09/3610.90 c #Conflicts: 1422000 | #Constraints: 121311
3600.09/3610.90 c #Conflicts: 1423000 | #Constraints: 122311
3600.09/3610.90 c #Conflicts: 1424000 | #Constraints: 123311
3600.09/3610.90 c #Conflicts: 1425000 | #Constraints: 124311
3600.09/3610.90 c #Conflicts: 1426000 | #Constraints: 125311
3600.09/3610.90 c #Conflicts: 1427000 | #Constraints: 126311
3600.09/3610.90 c #Conflicts: 1428000 | #Constraints: 127311
3600.09/3610.90 c #Conflicts: 1429000 | #Constraints: 128311
3600.09/3610.90 c cpu time 3570.38 s
3600.09/3610.90 c deterministic time 240220117672 2.40e+11
3600.09/3610.90 c optimization time 129.673 s
3600.09/3610.90 c total solve time 3440.46 s
3600.09/3610.90 c core-guided solve time 0 s
3600.09/3610.90 c propagation time 1820.83 s
3600.09/3610.90 c conflict analysis time 1235.72 s
3600.09/3610.90 c propagations 1426056014
3600.09/3610.90 c resolve steps 89283299
3600.09/3610.90 c decisions 31491683
3600.09/3610.90 c conflicts 1429229
3600.09/3610.90 c restarts 2777
3600.09/3610.90 c inprocessing phases 50
3600.09/3610.90 c garbage collections 50 ,( 100.00 )
3600.09/3610.90 c input clauses 19922 ,( 99.17 )
3600.09/3610.90 c input cardinalities 166 ,( 0.83 )
3600.09/3610.90 c input general constraints 0 ,( 0.00 )
3600.09/3610.90 c input average constraint length 6.43
3600.09/3610.90 c input average constraint degree 1.97
3600.09/3610.90 c learned clauses 1052872 ,( 73.67 )
3600.09/3610.90 c learned cardinalities 45453 ,( 3.18 )
3600.09/3610.90 c learned general constraints 330933 ,( 23.15 )
3600.09/3610.90 c learned average constraint length 719.47
3600.09/3610.90 c learned average constraint degree 15786869.41
3600.09/3610.90 c watched CF 32, 64, 128, Arb: 84932 , 0 , 0 , 0
3600.09/3610.90 c counting CF 32, 64, 128, Arb: 246001 , 0 , 0 , 0
3600.09/3610.90 c watched constraints 84932 ,( 25.66 )
3600.09/3610.90 c counting constraints 246001 ,( 74.34 )
3600.09/3610.90 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 1327808486 , 721551257 , 1881119826 ,( 82968297 , 1798151529 )
3600.09/3610.90 c gcd simplifications 697
3600.09/3610.90 c detected cardinalities 6453
3600.09/3610.90 c weakened non-implied lits 397987132
3600.09/3610.90 c weakened non-implying lits 213337
3600.09/3610.90 c original variables 19754
3600.09/3610.90 c clausal propagations 653262068
3600.09/3610.90 c cardinality propagations 523987436
3600.09/3610.90 c watched propagations 4490236
3600.09/3610.90 c counting propagations 231321247
3600.09/3610.90 c watch lookups 78802044578
3600.09/3610.90 c watch backjump lookups 0
3600.09/3610.90 c watch checks 33273535739
3600.09/3610.90 c propagation checks 120306615277
3600.09/3610.90 c constraint additions 4920997843
3600.09/3610.90 c trail pops 1458959753
3600.09/3610.90 c formula constraints 20088
3600.09/3610.90 c learned constraints 1429226
3600.09/3610.90 c bound constraints 0
3600.09/3610.90 c core-guided constraints 0
3600.09/3610.90 c encountered formula constraints 56834856
3600.09/3610.90 c encountered learned constraints 33877577
3600.09/3610.90 c encountered bound constraints 0
3600.09/3610.90 c encountered core-guided constraints 0
3600.09/3610.90 c LP total time 598.426 s
3600.09/3610.90 c LP solve time 586.28 s
3600.09/3610.90 c LP constraints added 20740
3600.09/3610.90 c LP constraints removed 457
3600.09/3610.90 c LP pivots internal 151736
3600.09/3610.90 c LP pivots root 265048
3600.09/3610.90 c LP calls 37
3600.09/3610.90 c LP optimalities 6
3600.09/3610.90 c LP no pivot count 1
3600.09/3610.90 c LP infeasibilities 23
3600.09/3610.90 c LP valid Farkas constraints 23
3600.09/3610.90 c LP learned Farkas constraints 3
3600.09/3610.90 c LP basis resets 0
3600.09/3610.90 c LP cycling count 0
3600.09/3610.90 c LP singular count 0
3600.09/3610.90 c LP no primal count 0
3600.09/3610.90 c LP no farkas count 0
3600.09/3610.90 c LP other issue count 0
3600.09/3610.90 c LP Gomory cuts 6
3600.09/3610.90 c LP learned cuts 646
3600.09/3610.90 c LP deleted cuts 457
3600.09/3610.90 c LP encountered Gomory constraints 6
3600.09/3610.90 c LP encountered Farkas constraints 84
3600.09/3610.90 c LP encountered learned Farkas constraints 2
3600.09/3610.90 c CG auxiliary variables introduced 0
3600.09/3610.90 c CG solutions found 0
3600.09/3610.90 c CG cores constructed 0
3600.09/3610.90 c CG core cardinality constraints returned 0
3600.09/3610.90 c CG unit cores 0
3600.09/3610.90 c CG single cores 0
3600.09/3610.90 c CG blocks removed during cardinality reduction 0
3600.09/3610.90 c CG first core best 0
3600.09/3610.90 c CG decision core best 0
3600.09/3610.90 c CG core reduction tie 0
3600.09/3610.90 c CG core degree average 0.00
3600.09/3610.90 c CG core slack average 0.00
3600.09/3610.90 c CG core upper bound improvements 0
3600.09/3610.90 c STR number of successful calls 0
3600.09/3610.90 c STR number of unsuccessful calls 0
3600.09/3610.90 c STR number of inconclusive calls 0
3600.09/3610.90 c STR number of successful attempts 0
3600.09/3610.90 c STR number of unsuccessful attempts 0
3600.09/3610.90 c STR number of inconclusive attempts 0
3600.09/3610.90 c STR average degree increase per successful call inf
3600.09/3610.90 c STR average degree increase per successful attempt inf
3600.09/3610.90 c STR total number of conflicts for successful attempts 0
3600.09/3610.90 c STR total number of conflicts for unsuccessful attempts 0
3600.09/3610.90 c STR total number of conflicts for inconclusive attempts 0
3600.09/3610.90 c STR average number of conflicts per successful attempt inf
3600.09/3610.90 c STR average number of conflicts per unsuccessful attempt inf
3600.09/3610.90 c STR average number of conflicts per inconclusive attempt inf
3600.09/3610.90 c AVG.sumWPerc 65.98
3600.09/3610.90 c bigint constraints 0
3600.09/3610.90 s UNKNOWN
3600.09/3610.90 c Program interrupted by user.
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63794 MiB (63258 MiB free)
memory of node 1: 64507 MiB (63962 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4506904-1751180326/watcher-4506904-1751180326 -o /tmp/evaluation-result-4506904-1751180326/solver-4506904-1751180326 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1751180326-22851 --watchdog 3760 run-dec.sh HOME/instance-4506904-1751180326.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing 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
Starting watchdog thread
Linux 5.14.0-503.14.1.el9_5.x86_64
Current StackSize limit: 8192 KiB
solver pid=22908, runsolver pid=22891
[startup+0.100243 s]*
/proc/loadavg: 0.47 1.32 2.34 6/257 22912
/proc/meminfo: memFree=130257784/131382116 swapFree=33010684/33010684
[pid=22908] ppid=22891 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/22908/stat : 22908 (run-dec.sh) S 22891 22908 22838 0 -1 4194304 201 0 0 0 0 0 0 0 20 0 1 0 33712334 4292608 736 18446744073709551615 94125946937344 94125947831877 140723303669344 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94125948070928 94125948118672 94125963993088 140723303672173 140723303672296 140723303672296 140723303677898 0
/proc/22908/statm: 1048 736 672 219 0 110 0
[pid=22912] ppid=22908 vsize=59708 memory=14788 CPUtime=0.08 cores=5,7
/proc/22912/stat : 22912 (roundingsat) R 22908 22908 22838 0 -1 4194304 1478 0 0 0 6 2 0 0 20 0 1 0 33712336 61140992 3697 18446744073709551615 4227072 8923433 140736650574976 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 29085696 140736650578359 140736650578472 140736650578472 140736650584042 0
/proc/22912/statm: 14927 3697 1920 1147 0 2354 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 63900 KiB
Current children cumulated memory: 17732 KiB
[startup+0.213865 s]*
/proc/loadavg: 0.47 1.32 2.34 5/257 22912
/proc/meminfo: memFree=130245028/131382116 swapFree=33010684/33010684
[pid=22908] ppid=22891 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/22908/stat : 22908 (run-dec.sh) S 22891 22908 22838 0 -1 4194304 201 0 0 0 0 0 0 0 20 0 1 0 33712334 4292608 736 18446744073709551615 94125946937344 94125947831877 140723303669344 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94125948070928 94125948118672 94125963993088 140723303672173 140723303672296 140723303672296 140723303677898 0
/proc/22908/statm: 1048 736 672 219 0 110 0
[pid=22912] ppid=22908 vsize=60996 memory=16068 CPUtime=0.19 cores=5,7
/proc/22912/stat : 22912 (roundingsat) R 22908 22908 22838 0 -1 4194304 1813 0 0 0 14 5 0 0 20 0 1 0 33712336 62459904 4017 18446744073709551615 4227072 8923433 140736650574976 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 29085696 140736650578359 140736650578472 140736650578472 140736650584042 0
/proc/22912/statm: 15249 4017 1920 1147 0 2676 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 65188 KiB
Current children cumulated memory: 19012 KiB
[startup+0.313696 s]*
/proc/loadavg: 0.47 1.32 2.34 6/257 22912
/proc/meminfo: memFree=130182276/131382116 swapFree=33010684/33010684
[pid=22908] ppid=22891 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/22908/stat : 22908 (run-dec.sh) S 22891 22908 22838 0 -1 4194304 201 0 0 0 0 0 0 0 20 0 1 0 33712334 4292608 736 18446744073709551615 94125946937344 94125947831877 140723303669344 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94125948070928 94125948118672 94125963993088 140723303672173 140723303672296 140723303672296 140723303677898 0
/proc/22908/statm: 1048 736 672 219 0 110 0
[pid=22912] ppid=22908 vsize=94328 memory=38480 CPUtime=0.29 cores=5,7
/proc/22912/stat : 22912 (roundingsat) R 22908 22908 22838 0 -1 4194304 5612 0 0 0 22 7 0 0 20 0 1 0 33712336 96591872 9620 18446744073709551615 4227072 8923433 140736650574976 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 29085696 140736650578359 140736650578472 140736650578472 140736650584042 0
/proc/22912/statm: 23582 9620 2272 1147 0 11009 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 98520 KiB
Current children cumulated memory: 41424 KiB
[startup+0.700438 s]
/proc/loadavg: 0.47 1.32 2.34 6/257 22912
/proc/meminfo: memFree=130118944/131382116 swapFree=33010684/33010684
[pid=22908] ppid=22891 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/22908/stat : 22908 (run-dec.sh) S 22891 22908 22838 0 -1 4194304 201 0 0 0 0 0 0 0 20 0 1 0 33712334 4292608 736 18446744073709551615 94125946937344 94125947831877 140723303669344 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94125948070928 94125948118672 94125963993088 140723303672173 140723303672296 140723303672296 140723303677898 0
/proc/22908/statm: 1048 736 672 219 0 110 0
[pid=22912] ppid=22908 vsize=107040 memory=53064 CPUtime=0.66 cores=5,7
/proc/22912/stat : 22912 (roundingsat) R 22908 22908 22838 0 -1 4194304 9999 0 0 0 57 9 0 0 20 0 1 0 33712336 109608960 13266 18446744073709551615 4227072 8923433 140736650574976 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 29085696 140736650578359 140736650578472 140736650578472 140736650584042 0
/proc/22912/statm: 26760 13266 2272 1147 0 14187 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 111232 KiB
Current children cumulated memory: 56008 KiB
[startup+1.50037 s]
/proc/loadavg: 0.47 1.32 2.34 6/257 22912
/proc/meminfo: memFree=130110880/131382116 swapFree=33010684/33010684
[pid=22908] ppid=22891 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/22908/stat : 22908 (run-dec.sh) S 22891 22908 22838 0 -1 4194304 201 0 0 0 0 0 0 0 20 0 1 0 33712334 4292608 736 18446744073709551615 94125946937344 94125947831877 140723303669344 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94125948070928 94125948118672 94125963993088 140723303672173 140723303672296 140723303672296 140723303677898 0
/proc/22908/statm: 1048 736 672 219 0 110 0
[pid=22912] ppid=22908 vsize=107980 memory=55112 CPUtime=1.46 cores=5,7
/proc/22912/stat : 22912 (roundingsat) R 22908 22908 22838 0 -1 4194304 10483 0 0 0 136 10 0 0 20 0 1 0 33712336 110571520 13778 18446744073709551615 4227072 8923433 140736650574976 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 29085696 140736650578359 140736650578472 140736650578472 140736650584042 0
/proc/22912/statm: 26995 13778 2304 1147 0 14422 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 112172 KiB
Current children cumulated memory: 58056 KiB
[startup+3.11312 s]
/proc/loadavg: 0.47 1.32 2.34 6/257 22912
/proc/meminfo: memFree=130083832/131382116 swapFree=33010684/33010684
[pid=22908] ppid=22891 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/22908/stat : 22908 (run-dec.sh) S 22891 22908 22838 0 -1 4194304 201 0 0 0 0 0 0 0 20 0 1 0 33712334 4292608 736 18446744073709551615 94125946937344 94125947831877 140723303669344 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94125948070928 94125948118672 94125963993088 140723303672173 140723303672296 140723303672296 140723303677898 0
/proc/22908/statm: 1048 736 672 219 0 110 0
[pid=22912] ppid=22908 vsize=108724 memory=58668 CPUtime=3.06 cores=5,7
/proc/22912/stat : 22912 (roundingsat) R 22908 22908 22838 0 -1 4194304 10811 0 0 0 291 15 0 0 20 0 1 0 33712336 111333376 14667 18446744073709551615 4227072 8923433 140736650574976 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 29085696 140736650578359 140736650578472 140736650578472 140736650584042 0
/proc/22912/statm: 27181 14667 2368 1147 0 14608 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 112916 KiB
Current children cumulated memory: 61612 KiB
[startup+6.30033 s]
/proc/loadavg: 0.75 1.37 2.35 6/257 22912
/proc/meminfo: memFree=130059204/131382116 swapFree=33010684/33010684
[pid=22908] ppid=22891 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/22908/stat : 22908 (run-dec.sh) S 22891 22908 22838 0 -1 4194304 201 0 0 0 0 0 0 0 20 0 1 0 33712334 4292608 736 18446744073709551615 94125946937344 94125947831877 140723303669344 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94125948070928 94125948118672 94125963993088 140723303672173 140723303672296 140723303672296 140723303677898 0
/proc/22908/statm: 1048 736 672 219 0 110 0
[pid=22912] ppid=22908 vsize=120300 memory=70552 CPUtime=6.24 cores=5,7
/proc/22912/stat : 22912 (roundingsat) R 22908 22908 22838 0 -1 4194304 13267 0 0 0 590 34 0 0 20 0 1 0 33712336 123187200 17638 18446744073709551615 4227072 8923433 140736650574976 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 29085696 140736650578359 140736650578472 140736650578472 140736650584042 0
/proc/22912/statm: 30075 17638 2368 1147 0 17502 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 124492 KiB
Current children cumulated memory: 73496 KiB
[startup+12.7003 s]
/proc/loadavg: 1.01 1.41 2.36 6/257 22912
/proc/meminfo: memFree=129994944/131382116 swapFree=33010684/33010684
[pid=22908] ppid=22891 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/22908/stat : 22908 (run-dec.sh) S 22891 22908 22838 0 -1 4194304 201 0 0 0 0 0 0 0 20 0 1 0 33712334 4292608 736 18446744073709551615 94125946937344 94125947831877 140723303669344 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94125948070928 94125948118672 94125963993088 140723303672173 140723303672296 140723303672296 140723303677898 0
/proc/22908/statm: 1048 736 672 219 0 110 0
[pid=22912] ppid=22908 vsize=146384 memory=92724 CPUtime=12.62 cores=5,7
/proc/22912/stat : 22912 (roundingsat) R 22908 22908 22838 0 -1 4194304 17794 0 0 0 1199 63 0 0 20 0 1 0 33712336 149897216 23181 18446744073709551615 4227072 8923433 140736650574976 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 29085696 140736650578359 140736650578472 140736650578472 140736650584042 0
/proc/22912/statm: 36596 23181 2368 1147 0 24023 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 150576 KiB
Current children cumulated memory: 95668 KiB
[startup+25.5004 s]
/proc/loadavg: 1.74 1.55 2.39 6/257 22912
/proc/meminfo: memFree=129958676/131382116 swapFree=33010684/33010684
[pid=22908] ppid=22891 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/22908/stat : 22908 (run-dec.sh) S 22891 22908 22838 0 -1 4194304 201 0 0 0 0 0 0 0 20 0 1 0 33712334 4292608 736 18446744073709551615 94125946937344 94125947831877 140723303669344 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94125948070928 94125948118672 94125963993088 140723303672173 140723303672296 140723303672296 140723303677898 0
/proc/22908/statm: 1048 736 672 219 0 110 0
[pid=22912] ppid=22908 vsize=152260 memory=97844 CPUtime=25.37 cores=5,7
/proc/22912/stat : 22912 (roundingsat) R 22908 22908 22838 0 -1 4194304 19095 0 0 0 2461 76 0 0 20 0 1 0 33712336 155914240 24461 18446744073709551615 4227072 8923433 140736650574976 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 29085696 140736650578359 140736650578472 140736650578472 140736650584042 0
/proc/22912/statm: 38065 24461 2368 1147 0 25492 0
Current children cumulated CPU time: 25.37 s
Current children cumulated vsize: 156452 KiB
Current children cumulated memory: 100788 KiB
[startup+51.1133 s]
/proc/loadavg: 2.51 1.75 2.44 6/257 22913
/proc/meminfo: memFree=129786440/131382116 swapFree=33010684/33010684
[pid=22908] ppid=22891 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/22908/stat : 22908 (run-dec.sh) S 22891 22908 22838 0 -1 4194304 201 0 0 0 0 0 0 0 20 0 1 0 33712334 4292608 736 18446744073709551615 94125946937344 94125947831877 140723303669344 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94125948070928 94125948118672 94125963993088 140723303672173 140723303672296 140723303672296 140723303677898 0
/proc/22908/statm: 1048 736 672 219 0 110 0
[pid=22912] ppid=22908 vsize=188952 memory=139592 CPUtime=50.92 cores=5,7
/proc/22912/stat : 22912 (roundingsat) R 22908 22908 22838 0 -1 4194304 26019 0 0 0 4947 145 0 0 20 0 1 0 33712336 193486848 34898 18446744073709551615 4227072 8923433 140736650574976 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 29085696 140736650578359 140736650578472 140736650578472 140736650584042 0
/proc/22912/statm: 47238 34898 2368 1147 0 34665 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 193144 KiB
Current children cumulated memory: 142536 KiB
[startup+102.3 s]
/proc/loadavg: 3.45 2.13 2.53 6/255 22915
/proc/meminfo: memFree=129638064/131382116 swapFree=33010684/33010684
[pid=22908] ppid=22891 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/22908/stat : 22908 (run-dec.sh) S 22891 22908 22838 0 -1 4194304 201 0 0 0 0 0 0 0 20 0 1 0 33712334 4292608 736 18446744073709551615 94125946937344 94125947831877 140723303669344 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94125948070928 94125948118672 94125963993088 140723303672173 140723303672296 140723303672296 140723303677898 0
/proc/22908/statm: 1048 736 672 219 0 110 0
[pid=22912] ppid=22908 vsize=231580 memory=169276 CPUtime=101.95 cores=5,7
/proc/22912/stat : 22912 (roundingsat) R 22908 22908 22838 0 -1 4194304 31385 0 0 0 9963 232 0 0 20 0 1 0 33712336 237137920 42319 18446744073709551615 4227072 8923433 140736650574976 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 29085696 140736650578359 140736650578472 140736650578472 140736650584042 0
/proc/22912/statm: 57895 42319 2368 1147 0 45322 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 235772 KiB
Current children cumulated memory: 172220 KiB
[startup+162.3 s]
/proc/loadavg: 3.89 2.50 2.64 6/256 22929
/proc/meminfo: memFree=129496904/131382116 swapFree=33010684/33010684
[pid=22908] ppid=22891 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/22908/stat : 22908 (run-dec.sh) S 22891 22908 22838 0 -1 4194304 201 0 0 0 0 0 0 0 20 0 1 0 33712334 4292608 736 18446744073709551615 94125946937344 94125947831877 140723303669344 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94125948070928 94125948118672 94125963993088 140723303672173 140723303672296 140723303672296 140723303677898 0
/proc/22908/statm: 1048 736 672 219 0 110 0
[pid=22912] ppid=22908 vsize=278488 memory=209280 CPUtime=161.76 cores=5,7
/proc/22912/stat : 22912 (roundingsat) R 22908 22908 22838 0 -1 4194304 35776 0 0 0 15869 307 0 0 20 0 1 0 33712336 285171712 52320 18446744073709551615 4227072 8923433 140736650574976 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 29085696 140736650578359 140736650578472 140736650578472 140736650584042 0
/proc/22912/statm: 69622 52320 2368 1147 0 57049 0
Current children cumulated CPU time: 161.76 s
Current children cumulated vsize: 282680 KiB
Current children cumulated memory: 212224 KiB
[startup+222.3 s]
/proc/loadavg: 4.00 2.79 2.73 6/256 22931
/proc/meminfo: memFree=129375920/131382116 swapFree=33010684/33010684
[pid=22908] ppid=22891 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/22908/stat : 22908 (run-dec.sh) S 22891 22908 22838 0 -1 4194304 201 0 0 0 0 0 0 0 20 0 1 0 33712334 4292608 736 18446744073709551615 94125946937344 94125947831877 140723303669344 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94125948070928 94125948118672 94125963993088 140723303672173 140723303672296 140723303672296 140723303677898 0
/proc/22908/statm: 1048 736 672 219 0 110 0
[pid=22912] ppid=22908 vsize=303648 memory=234240 CPUtime=221.59 cores=5,7
/proc/22912/stat : 22912 (roundingsat) R 22908 22908 22838 0 -1 4194304 42005 0 0 0 21734 425 0 0 20 0 1 0 33712336 310935552 58560 18446744073709551615 4227072 8923433 140736650574976 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 29085696 140736650578359 140736650578472 140736650578472 140736650584042 0
/proc/22912/statm: 75912 58560 2368 1147 0 63339 0
Current children cumulated CPU time: 221.59 s
################
# More data... #
################
/proc/22912/statm: 281440 234729 2368 1147 0 268867 0
Current children cumulated CPU time: 3093.05 s
Current children cumulated vsize: 1129952 KiB
Current children cumulated memory: 941860 KiB
[startup+3162.3 s]
/proc/loadavg: 4.15 4.10 4.03 6/254 23069
/proc/meminfo: memFree=126341868/131382116 swapFree=33010684/33010684
[pid=22908] ppid=22891 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/22908/stat : 22908 (run-dec.sh) S 22891 22908 22838 0 -1 4194304 201 0 0 0 0 0 0 0 20 0 1 0 33712334 4292608 736 18446744073709551615 94125946937344 94125947831877 140723303669344 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94125948070928 94125948118672 94125963993088 140723303672173 140723303672296 140723303672296 140723303677898 0
/proc/22908/statm: 1048 736 672 219 0 110 0
[pid=22912] ppid=22908 vsize=1128832 memory=941476 CPUtime=3152.88 cores=5,7
/proc/22912/stat : 22912 (roundingsat) R 22908 22908 22838 0 -1 4194304 123953 0 0 0 312556 2732 0 0 20 0 1 0 33712336 1155923968 235369 18446744073709551615 4227072 8923433 140736650574976 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 29085696 140736650578359 140736650578472 140736650578472 140736650584042 0
/proc/22912/statm: 282208 235369 2368 1147 0 269635 0
Current children cumulated CPU time: 3152.88 s
Current children cumulated vsize: 1133024 KiB
Current children cumulated memory: 944420 KiB
[startup+3222.3 s]
/proc/loadavg: 4.18 4.11 4.03 6/254 23071
/proc/meminfo: memFree=126317960/131382116 swapFree=33010684/33010684
[pid=22908] ppid=22891 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/22908/stat : 22908 (run-dec.sh) S 22891 22908 22838 0 -1 4194304 201 0 0 0 0 0 0 0 20 0 1 0 33712334 4292608 736 18446744073709551615 94125946937344 94125947831877 140723303669344 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94125948070928 94125948118672 94125963993088 140723303672173 140723303672296 140723303672296 140723303677898 0
/proc/22908/statm: 1048 736 672 219 0 110 0
[pid=22912] ppid=22908 vsize=1137248 memory=949156 CPUtime=3212.7 cores=5,7
/proc/22912/stat : 22912 (roundingsat) R 22908 22908 22838 0 -1 4194304 125877 0 0 0 318504 2766 0 0 20 0 1 0 33712336 1164541952 237289 18446744073709551615 4227072 8923433 140736650574976 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 29085696 140736650578359 140736650578472 140736650578472 140736650584042 0
/proc/22912/statm: 284312 237289 2368 1147 0 271739 0
Current children cumulated CPU time: 3212.7 s
Current children cumulated vsize: 1141440 KiB
Current children cumulated memory: 952100 KiB
[startup+3282.3 s]
/proc/loadavg: 4.11 4.10 4.03 6/255 23076
/proc/meminfo: memFree=126308736/131382116 swapFree=33010684/33010684
[pid=22908] ppid=22891 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/22908/stat : 22908 (run-dec.sh) S 22891 22908 22838 0 -1 4194304 201 0 0 0 0 0 0 0 20 0 1 0 33712334 4292608 736 18446744073709551615 94125946937344 94125947831877 140723303669344 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94125948070928 94125948118672 94125963993088 140723303672173 140723303672296 140723303672296 140723303677898 0
/proc/22908/statm: 1048 736 672 219 0 110 0
[pid=22912] ppid=22908 vsize=1137248 memory=949284 CPUtime=3272.52 cores=5,7
/proc/22912/stat : 22912 (roundingsat) R 22908 22908 22838 0 -1 4194304 125881 0 0 0 324442 2810 0 0 20 0 1 0 33712336 1164541952 237321 18446744073709551615 4227072 8923433 140736650574976 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 29085696 140736650578359 140736650578472 140736650578472 140736650584042 0
/proc/22912/statm: 284312 237321 2368 1147 0 271739 0
Current children cumulated CPU time: 3272.52 s
Current children cumulated vsize: 1141440 KiB
Current children cumulated memory: 952228 KiB
[startup+3342.3 s]
/proc/loadavg: 4.19 4.13 4.05 6/255 23078
/proc/meminfo: memFree=126309056/131382116 swapFree=33010684/33010684
[pid=22908] ppid=22891 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/22908/stat : 22908 (run-dec.sh) S 22891 22908 22838 0 -1 4194304 201 0 0 0 0 0 0 0 20 0 1 0 33712334 4292608 736 18446744073709551615 94125946937344 94125947831877 140723303669344 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94125948070928 94125948118672 94125963993088 140723303672173 140723303672296 140723303672296 140723303677898 0
/proc/22908/statm: 1048 736 672 219 0 110 0
[pid=22912] ppid=22908 vsize=1138092 memory=950180 CPUtime=3332.34 cores=5,7
/proc/22912/stat : 22912 (roundingsat) R 22908 22908 22838 0 -1 4194304 126162 0 0 0 330409 2825 0 0 20 0 1 0 33712336 1165406208 237545 18446744073709551615 4227072 8923433 140736650574976 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 29085696 140736650578359 140736650578472 140736650578472 140736650584042 0
/proc/22912/statm: 284523 237545 2368 1147 0 271950 0
Current children cumulated CPU time: 3332.34 s
Current children cumulated vsize: 1142284 KiB
Current children cumulated memory: 953124 KiB
[startup+3402.3 s]
/proc/loadavg: 4.12 4.12 4.05 6/255 23084
/proc/meminfo: memFree=126309104/131382116 swapFree=33010684/33010684
[pid=22908] ppid=22891 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/22908/stat : 22908 (run-dec.sh) S 22891 22908 22838 0 -1 4194304 201 0 0 0 0 0 0 0 20 0 1 0 33712334 4292608 736 18446744073709551615 94125946937344 94125947831877 140723303669344 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94125948070928 94125948118672 94125963993088 140723303672173 140723303672296 140723303672296 140723303677898 0
/proc/22908/statm: 1048 736 672 219 0 110 0
[pid=22912] ppid=22908 vsize=1138552 memory=950948 CPUtime=3392.17 cores=5,7
/proc/22912/stat : 22912 (roundingsat) R 22908 22908 22838 0 -1 4194304 126286 0 0 0 336373 2844 0 0 20 0 1 0 33712336 1165877248 237737 18446744073709551615 4227072 8923433 140736650574976 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 29085696 140736650578359 140736650578472 140736650578472 140736650584042 0
/proc/22912/statm: 284638 237737 2464 1147 0 272065 0
Current children cumulated CPU time: 3392.17 s
Current children cumulated vsize: 1142744 KiB
Current children cumulated memory: 953892 KiB
[startup+3462.3 s]
/proc/loadavg: 4.15 4.12 4.05 6/255 23086
/proc/meminfo: memFree=126310588/131382116 swapFree=33010684/33010684
[pid=22908] ppid=22891 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/22908/stat : 22908 (run-dec.sh) S 22891 22908 22838 0 -1 4194304 201 0 0 0 0 0 0 0 20 0 1 0 33712334 4292608 736 18446744073709551615 94125946937344 94125947831877 140723303669344 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94125948070928 94125948118672 94125963993088 140723303672173 140723303672296 140723303672296 140723303677898 0
/proc/22908/statm: 1048 736 672 219 0 110 0
[pid=22912] ppid=22908 vsize=1138552 memory=950948 CPUtime=3451.99 cores=5,7
/proc/22912/stat : 22912 (roundingsat) R 22908 22908 22838 0 -1 4194304 126286 0 0 0 342340 2859 0 0 20 0 1 0 33712336 1165877248 237737 18446744073709551615 4227072 8923433 140736650574976 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 29085696 140736650578359 140736650578472 140736650578472 140736650584042 0
/proc/22912/statm: 284638 237737 2464 1147 0 272065 0
Current children cumulated CPU time: 3451.99 s
Current children cumulated vsize: 1142744 KiB
Current children cumulated memory: 953892 KiB
[startup+3522.3 s]
/proc/loadavg: 4.11 4.12 4.05 6/254 23088
/proc/meminfo: memFree=126266324/131382116 swapFree=33010684/33010684
[pid=22908] ppid=22891 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/22908/stat : 22908 (run-dec.sh) S 22891 22908 22838 0 -1 4194304 201 0 0 0 0 0 0 0 20 0 1 0 33712334 4292608 736 18446744073709551615 94125946937344 94125947831877 140723303669344 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94125948070928 94125948118672 94125963993088 140723303672173 140723303672296 140723303672296 140723303677898 0
/proc/22908/statm: 1048 736 672 219 0 110 0
[pid=22912] ppid=22908 vsize=1138552 memory=950948 CPUtime=3511.8 cores=5,7
/proc/22912/stat : 22912 (roundingsat) R 22908 22908 22838 0 -1 4194304 126462 0 0 0 348278 2902 0 0 20 0 1 0 33712336 1165877248 237737 18446744073709551615 4227072 8923433 140736650574976 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 29085696 140736650578359 140736650578472 140736650578472 140736650584042 0
/proc/22912/statm: 284638 237737 2464 1147 0 272065 0
Current children cumulated CPU time: 3511.8 s
Current children cumulated vsize: 1142744 KiB
Current children cumulated memory: 953892 KiB
[startup+3582.3 s]
/proc/loadavg: 4.08 4.11 4.05 6/254 23090
/proc/meminfo: memFree=126257060/131382116 swapFree=33010684/33010684
[pid=22908] ppid=22891 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/22908/stat : 22908 (run-dec.sh) S 22891 22908 22838 0 -1 4194304 201 0 0 0 0 0 0 0 20 0 1 0 33712334 4292608 736 18446744073709551615 94125946937344 94125947831877 140723303669344 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94125948070928 94125948118672 94125963993088 140723303672173 140723303672296 140723303672296 140723303677898 0
/proc/22908/statm: 1048 736 672 219 0 110 0
[pid=22912] ppid=22908 vsize=1138552 memory=950948 CPUtime=3571.59 cores=5,7
/proc/22912/stat : 22912 (roundingsat) R 22908 22908 22838 0 -1 4194304 126534 0 0 0 354207 2952 0 0 20 0 1 0 33712336 1165877248 237737 18446744073709551615 4227072 8923433 140736650574976 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 29085696 140736650578359 140736650578472 140736650578472 140736650584042 0
/proc/22912/statm: 284638 237737 2464 1147 0 272065 0
Current children cumulated CPU time: 3571.59 s
Current children cumulated vsize: 1142744 KiB
Current children cumulated memory: 953892 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.9 s]
/proc/loadavg: 4.11 4.11 4.05 5/249 23100
/proc/meminfo: memFree=127476448/131382116 swapFree=33010684/33010684
[pid=22908] ppid=22891 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/22908/stat : 22908 (run-dec.sh) S 22891 22908 22838 0 -1 4194304 201 0 0 0 0 0 0 0 20 0 1 0 33712334 4292608 736 18446744073709551615 94125946937344 94125947831877 140723303669344 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94125948070928 94125948118672 94125963993088 140723303672173 140723303672296 140723303672296 140723303677898 0
/proc/22908/statm: 1048 736 672 219 0 110 0
[pid=22912] ppid=22908 vsize=1138552 memory=950948 CPUtime=3600.09 cores=5,7
/proc/22912/stat : 22912 (roundingsat) R 22908 22908 22838 0 -1 4194304 126565 0 0 0 357037 2972 0 0 20 0 1 0 33712336 1165877248 237737 18446744073709551615 4227072 8923433 140736650574976 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 29085696 140736650578359 140736650578472 140736650578472 140736650584042 0
/proc/22912/statm: 284638 237737 2464 1147 0 272065 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 1142744 KiB
Current children cumulated memory: 953892 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3610.91 s]
# the end of solver process 22908 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.001148 s, system=0.004593 s
Sleeping 2 seconds
[startup+3610.92 s]
# the end of solver process 22912 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3570.38 s, system=29.7418 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.9 s]
/proc/loadavg: 4.11 4.11 4.05 5/249 23100
/proc/meminfo: memFree=127476448/131382116 swapFree=33010684/33010684
[pid=22908] ppid=22891 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/22908/stat : 22908 (run-dec.sh) S 22891 22908 22838 0 -1 4194304 201 0 0 0 0 0 0 0 20 0 1 0 33712334 4292608 736 18446744073709551615 94125946937344 94125947831877 140723303669344 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94125948070928 94125948118672 94125963993088 140723303672173 140723303672296 140723303672296 140723303677898 0
/proc/22908/statm: 1048 736 672 219 0 110 0
[pid=22912] ppid=22908 vsize=1138552 memory=950948 CPUtime=3600.09 cores=5,7
/proc/22912/stat : 22912 (roundingsat) R 22908 22908 22838 0 -1 4194304 126565 0 0 0 357037 2972 0 0 20 0 1 0 33712336 1165877248 237737 18446744073709551615 4227072 8923433 140736650574976 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 29085696 140736650578359 140736650578472 140736650578472 140736650584042 0
/proc/22912/statm: 284638 237737 2464 1147 0 272065 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 1142744 KiB
Current children cumulated memory: 953892 KiB
Child status: 2
Real time (s): 3610.92
CPU time (s): 3600.13
CPU user time (s): 3570.38
CPU system time (s): 29.7418
CPU usage (%): 99.7011
Max. virtual memory (cumulated for all children) (KiB): 1142744
Max. memory (cumulated for all children) (KiB): 953892
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3570.38
system time used= 29.7418
maximum resident set size= 951076
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 126799
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 368
involuntary context switches= 21276
# summary of solver processes directly reported to runsolver:
# pid: 22908,22912
# total CPU time (s): 3600.13
# total CPU user time (s): 3570.38
# total CPU system time (s): 29.7418
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.0614 second user time and 35.8945 second system time
The end
Begin job on nodeC011 at 2025-06-29 08:58:46
IDJOB=4506904
IDBENCH=158308
IDSOLVER=3349
FILE ID=nodeC011/4506904-1751180326
RUNJOBID= nodeC011-1751180326-22851
SLURM_JOB_ID= 9587547
Free space on /tmp= 433048 MiB
SOLVER NAME= roundingsat 63f22ad
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathNG/normalized-NG_K166.opb
COMMAND LINE= run-dec.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4506904-1751180326/watcher-4506904-1751180326 -o /tmp/evaluation-result-4506904-1751180326/solver-4506904-1751180326 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1751180326-22851 --watchdog 3760 run-dec.sh HOME/instance-4506904-1751180326.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 50117bf6e22b142cc615b717d0d3b45a
RANDOM SEED=1304843974
nodeC011 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.216
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6984.20
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.310
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6984.20
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.430
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6984.20
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.291
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6984.20
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.159
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6984.20
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.235
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6984.20
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.279
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6984.20
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.290
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6984.20
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382116 kB
MemFree: 130276348 kB
MemAvailable: 129939604 kB
Buffers: 3280 kB
Cached: 474572 kB
SwapCached: 0 kB
Active: 319040 kB
Inactive: 226780 kB
Active(anon): 85928 kB
Inactive(anon): 0 kB
Active(file): 233112 kB
Inactive(file): 226780 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 34884 kB
Writeback: 8 kB
AnonPages: 71048 kB
Mapped: 101892 kB
Shmem: 17960 kB
KReclaimable: 85596 kB
Slab: 164884 kB
SReclaimable: 85596 kB
SUnreclaim: 79288 kB
KernelStack: 3888 kB
PageTables: 2808 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 335284 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149272 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 10240 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 191304 kB
DirectMap2M: 8099840 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 433028 MiB
End job on nodeC011 at 2025-06-29 09:58:57