0.00/0.01 c RoundingSat 2
0.00/0.01 c branch pb25
0.00/0.01 c commit 63f22ad
0.09/0.15 c #variables 19754 #constraints 20088
116.99/117.32 c #Conflicts: 1000 | #Constraints: 21087
116.99/117.32 c #Conflicts: 2000 | #Constraints: 22087
116.99/117.32 c INPROCESSING
116.99/117.32 c GARBAGE COLLECT
116.99/117.32 c #Conflicts: 3000 | #Constraints: 21432
116.99/117.32 c #Conflicts: 4000 | #Constraints: 22432
116.99/117.32 c INPROCESSING
116.99/117.32 c GARBAGE COLLECT
116.99/117.32 c #Conflicts: 5000 | #Constraints: 21928
116.99/117.32 c #Conflicts: 6000 | #Constraints: 22928
116.99/117.32 c INPROCESSING
116.99/117.32 c GARBAGE COLLECT
116.99/117.32 c #Conflicts: 7000 | #Constraints: 22024
116.99/117.32 c #Conflicts: 8000 | #Constraints: 23024
116.99/117.32 c #Conflicts: 9000 | #Constraints: 24024
116.99/117.32 c INPROCESSING
116.99/117.32 c GARBAGE COLLECT
116.99/117.32 c #Conflicts: 10000 | #Constraints: 22795
116.99/117.32 c #Conflicts: 11000 | #Constraints: 23795
116.99/117.32 c #Conflicts: 12000 | #Constraints: 24795
116.99/117.32 c #Conflicts: 13000 | #Constraints: 25795
116.99/117.32 c #Conflicts: 14000 | #Constraints: 26795
116.99/117.32 c #Conflicts: 15000 | #Constraints: 27795
116.99/117.32 c #Conflicts: 16000 | #Constraints: 28795
116.99/117.32 c INPROCESSING
116.99/117.32 c GARBAGE COLLECT
116.99/117.32 c #Conflicts: 17000 | #Constraints: 25124
116.99/117.32 c #Conflicts: 18000 | #Constraints: 26124
116.99/117.32 c #Conflicts: 19000 | #Constraints: 27124
116.99/117.32 c #Conflicts: 20000 | #Constraints: 28124
116.99/117.32 c INPROCESSING
116.99/117.32 c GARBAGE COLLECT
116.99/117.32 c #Conflicts: 21000 | #Constraints: 24873
116.99/117.32 c #Conflicts: 22000 | #Constraints: 25873
116.99/117.32 c #Conflicts: 23000 | #Constraints: 26873
116.99/117.32 c #Conflicts: 24000 | #Constraints: 27873
116.99/117.32 c #Conflicts: 25000 | #Constraints: 28873
116.99/117.32 c #Conflicts: 26000 | #Constraints: 29873
116.99/117.32 c #Conflicts: 27000 | #Constraints: 30873
116.99/117.32 c #Conflicts: 28000 | #Constraints: 31873
116.99/117.32 c #Conflicts: 29000 | #Constraints: 32873
116.99/117.32 c #Conflicts: 30000 | #Constraints: 33873
116.99/117.32 c INPROCESSING
116.99/117.32 c GARBAGE COLLECT
116.99/117.32 c #Conflicts: 31000 | #Constraints: 27699
116.99/117.32 c #Conflicts: 32000 | #Constraints: 28699
116.99/117.32 c #Conflicts: 33000 | #Constraints: 29699
116.99/117.32 c #Conflicts: 34000 | #Constraints: 30699
116.99/117.32 c #Conflicts: 35000 | #Constraints: 31699
116.99/117.32 c #Conflicts: 36000 | #Constraints: 32699
116.99/117.32 c INPROCESSING
116.99/117.32 c GARBAGE COLLECT
116.99/117.32 c #Conflicts: 37000 | #Constraints: 27537
116.99/117.32 c #Conflicts: 38000 | #Constraints: 28537
116.99/117.32 c #Conflicts: 39000 | #Constraints: 29537
116.99/117.32 c #Conflicts: 40000 | #Constraints: 30537
116.99/117.32 c #Conflicts: 41000 | #Constraints: 31537
116.99/117.32 c #Conflicts: 42000 | #Constraints: 32537
116.99/117.32 c #Conflicts: 43000 | #Constraints: 33537
116.99/117.32 c #Conflicts: 44000 | #Constraints: 34537
116.99/117.32 c #Conflicts: 45000 | #Constraints: 35537
116.99/117.32 c #Conflicts: 46000 | #Constraints: 36537
116.99/117.32 c #Conflicts: 47000 | #Constraints: 37537
116.99/117.32 c #Conflicts: 48000 | #Constraints: 38537
116.99/117.32 c #Conflicts: 49000 | #Constraints: 39537
116.99/117.32 c INPROCESSING
116.99/117.32 c GARBAGE COLLECT
116.99/117.32 c #Conflicts: 50000 | #Constraints: 30728
116.99/117.32 c #Conflicts: 51000 | #Constraints: 31728
116.99/117.32 c #Conflicts: 52000 | #Constraints: 32728
116.99/117.32 c #Conflicts: 53000 | #Constraints: 33728
116.99/117.32 c #Conflicts: 54000 | #Constraints: 34728
116.99/117.32 c #Conflicts: 55000 | #Constraints: 35728
116.99/117.32 c #Conflicts: 56000 | #Constraints: 36728
116.99/117.32 c INPROCESSING
116.99/117.32 c GARBAGE COLLECT
116.99/117.32 c #Conflicts: 57000 | #Constraints: 30006
116.99/117.32 c #Conflicts: 58000 | #Constraints: 31006
116.99/117.32 c #Conflicts: 59000 | #Constraints: 32006
116.99/117.32 c #Conflicts: 60000 | #Constraints: 33006
116.99/117.32 c #Conflicts: 61000 | #Constraints: 34006
116.99/117.32 c #Conflicts: 62000 | #Constraints: 35006
116.99/117.32 c #Conflicts: 63000 | #Constraints: 36006
116.99/117.32 c #Conflicts: 64000 | #Constraints: 37006
116.99/117.32 c #Conflicts: 65000 | #Constraints: 38006
116.99/117.32 c #Conflicts: 66000 | #Constraints: 39006
116.99/117.32 c #Conflicts: 67000 | #Constraints: 40006
116.99/117.32 c #Conflicts: 68000 | #Constraints: 41006
116.99/117.32 c #Conflicts: 69000 | #Constraints: 42006
116.99/117.32 c #Conflicts: 70000 | #Constraints: 43006
116.99/117.32 c #Conflicts: 71000 | #Constraints: 44006
116.99/117.32 c #Conflicts: 72000 | #Constraints: 45006
116.99/117.32 c INPROCESSING
116.99/117.32 c GARBAGE COLLECT
248.16/248.82 c #Conflicts: 73000 | #Constraints: 33569
248.16/248.82 c #Conflicts: 74000 | #Constraints: 34569
248.16/248.82 c #Conflicts: 75000 | #Constraints: 35569
248.16/248.82 c #Conflicts: 76000 | #Constraints: 36569
248.16/248.82 c #Conflicts: 77000 | #Constraints: 37569
248.16/248.82 c #Conflicts: 78000 | #Constraints: 38569
248.16/248.82 c #Conflicts: 79000 | #Constraints: 39569
248.16/248.82 c #Conflicts: 80000 | #Constraints: 40569
248.16/248.82 c INPROCESSING
248.16/248.82 c GARBAGE COLLECT
248.16/248.82 c #Conflicts: 81000 | #Constraints: 32537
248.16/248.82 c #Conflicts: 82000 | #Constraints: 33537
248.16/248.82 c #Conflicts: 83000 | #Constraints: 34537
248.16/248.82 c #Conflicts: 84000 | #Constraints: 35537
248.16/248.82 c #Conflicts: 85000 | #Constraints: 36537
248.16/248.82 c #Conflicts: 86000 | #Constraints: 37537
248.16/248.82 c #Conflicts: 87000 | #Constraints: 38537
248.16/248.82 c #Conflicts: 88000 | #Constraints: 39537
248.16/248.82 c #Conflicts: 89000 | #Constraints: 40537
248.16/248.82 c #Conflicts: 90000 | #Constraints: 41537
248.16/248.82 c #Conflicts: 91000 | #Constraints: 42537
248.16/248.82 c #Conflicts: 92000 | #Constraints: 43537
248.16/248.82 c #Conflicts: 93000 | #Constraints: 44537
248.16/248.82 c #Conflicts: 94000 | #Constraints: 45537
248.16/248.82 c #Conflicts: 95000 | #Constraints: 46537
248.16/248.82 c #Conflicts: 96000 | #Constraints: 47537
248.16/248.82 c #Conflicts: 97000 | #Constraints: 48537
248.16/248.82 c #Conflicts: 98000 | #Constraints: 49537
248.16/248.82 c #Conflicts: 99000 | #Constraints: 50537
248.16/248.82 c #Conflicts: 100000 | #Constraints: 51537
248.16/248.82 c INPROCESSING
248.16/248.82 c GARBAGE COLLECT
248.16/248.82 c #Conflicts: 101000 | #Constraints: 37060
248.16/248.82 c #Conflicts: 102000 | #Constraints: 38060
248.16/248.82 c #Conflicts: 103000 | #Constraints: 39060
248.16/248.82 c #Conflicts: 104000 | #Constraints: 40060
248.16/248.82 c #Conflicts: 105000 | #Constraints: 41060
248.16/248.82 c #Conflicts: 106000 | #Constraints: 42060
248.16/248.82 c #Conflicts: 107000 | #Constraints: 43060
248.16/248.82 c #Conflicts: 108000 | #Constraints: 44060
248.16/248.82 c #Conflicts: 109000 | #Constraints: 45060
248.16/248.82 c INPROCESSING
248.16/248.82 c GARBAGE COLLECT
248.16/248.82 c #Conflicts: 110000 | #Constraints: 35177
248.16/248.82 c #Conflicts: 111000 | #Constraints: 36177
248.16/248.82 c #Conflicts: 112000 | #Constraints: 37177
248.16/248.82 c #Conflicts: 113000 | #Constraints: 38177
248.16/248.82 c #Conflicts: 114000 | #Constraints: 39177
248.16/248.82 c #Conflicts: 115000 | #Constraints: 40177
248.16/248.82 c #Conflicts: 116000 | #Constraints: 41177
248.16/248.82 c #Conflicts: 117000 | #Constraints: 42177
248.16/248.82 c #Conflicts: 118000 | #Constraints: 43177
248.16/248.82 c #Conflicts: 119000 | #Constraints: 44177
248.16/248.82 c #Conflicts: 120000 | #Constraints: 45177
248.16/248.82 c #Conflicts: 121000 | #Constraints: 46177
248.16/248.82 c #Conflicts: 122000 | #Constraints: 47177
248.16/248.82 c #Conflicts: 123000 | #Constraints: 48177
248.16/248.82 c #Conflicts: 124000 | #Constraints: 49177
248.16/248.82 c #Conflicts: 125000 | #Constraints: 50177
248.16/248.82 c #Conflicts: 126000 | #Constraints: 51177
248.16/248.82 c #Conflicts: 127000 | #Constraints: 52177
248.16/248.82 c #Conflicts: 128000 | #Constraints: 53177
248.16/248.82 c #Conflicts: 129000 | #Constraints: 54177
248.16/248.82 c #Conflicts: 130000 | #Constraints: 55177
248.16/248.82 c #Conflicts: 131000 | #Constraints: 56177
248.16/248.82 c #Conflicts: 132000 | #Constraints: 57177
248.16/248.82 c INPROCESSING
248.16/248.82 c GARBAGE COLLECT
248.16/248.82 c #Conflicts: 133000 | #Constraints: 40114
248.16/248.82 c #Conflicts: 134000 | #Constraints: 41114
248.16/248.82 c #Conflicts: 135000 | #Constraints: 42114
248.16/248.82 c #Conflicts: 136000 | #Constraints: 43114
248.16/248.82 c #Conflicts: 137000 | #Constraints: 44114
248.16/248.82 c #Conflicts: 138000 | #Constraints: 45114
248.16/248.82 c #Conflicts: 139000 | #Constraints: 46114
248.16/248.82 c #Conflicts: 140000 | #Constraints: 47114
248.16/248.82 c #Conflicts: 141000 | #Constraints: 48114
248.16/248.82 c #Conflicts: 142000 | #Constraints: 49114
248.16/248.82 c INPROCESSING
248.16/248.82 c GARBAGE COLLECT
248.16/248.82 c #Conflicts: 143000 | #Constraints: 38016
248.16/248.82 c #Conflicts: 144000 | #Constraints: 39016
248.16/248.82 c #Conflicts: 145000 | #Constraints: 40016
248.16/248.82 c #Conflicts: 146000 | #Constraints: 41016
248.16/248.82 c #Conflicts: 147000 | #Constraints: 42016
248.16/248.82 c #Conflicts: 148000 | #Constraints: 43016
412.96/414.04 c #Conflicts: 149000 | #Constraints: 44016
412.96/414.04 c #Conflicts: 150000 | #Constraints: 45016
412.96/414.04 c #Conflicts: 151000 | #Constraints: 46016
412.96/414.04 c #Conflicts: 152000 | #Constraints: 47016
412.96/414.04 c #Conflicts: 153000 | #Constraints: 48016
412.96/414.04 c #Conflicts: 154000 | #Constraints: 49016
412.96/414.04 c #Conflicts: 155000 | #Constraints: 50016
412.96/414.04 c #Conflicts: 156000 | #Constraints: 51016
412.96/414.04 c #Conflicts: 157000 | #Constraints: 52016
412.96/414.04 c #Conflicts: 158000 | #Constraints: 53016
412.96/414.04 c #Conflicts: 159000 | #Constraints: 54016
412.96/414.04 c #Conflicts: 160000 | #Constraints: 55016
412.96/414.04 c #Conflicts: 161000 | #Constraints: 56016
412.96/414.04 c #Conflicts: 162000 | #Constraints: 57016
412.96/414.04 c #Conflicts: 163000 | #Constraints: 58016
412.96/414.04 c #Conflicts: 164000 | #Constraints: 59016
412.96/414.04 c #Conflicts: 165000 | #Constraints: 60016
412.96/414.04 c #Conflicts: 166000 | #Constraints: 61016
412.96/414.04 c #Conflicts: 167000 | #Constraints: 62016
412.96/414.04 c #Conflicts: 168000 | #Constraints: 63016
412.96/414.04 c INPROCESSING
412.96/414.04 c GARBAGE COLLECT
412.96/414.04 c #Conflicts: 169000 | #Constraints: 43033
412.96/414.04 c #Conflicts: 170000 | #Constraints: 44033
412.96/414.04 c #Conflicts: 171000 | #Constraints: 45033
412.96/414.04 c #Conflicts: 172000 | #Constraints: 46033
412.96/414.04 c #Conflicts: 173000 | #Constraints: 47033
412.96/414.04 c #Conflicts: 174000 | #Constraints: 48033
412.96/414.04 c #Conflicts: 175000 | #Constraints: 49033
412.96/414.04 c #Conflicts: 176000 | #Constraints: 50033
412.96/414.04 c #Conflicts: 177000 | #Constraints: 51033
412.96/414.04 c #Conflicts: 178000 | #Constraints: 52033
412.96/414.04 c #Conflicts: 179000 | #Constraints: 53033
412.96/414.04 c #Conflicts: 180000 | #Constraints: 54033
412.96/414.04 c INPROCESSING
412.96/414.04 c GARBAGE COLLECT
412.96/414.04 c #Conflicts: 181000 | #Constraints: 41155
412.96/414.04 c #Conflicts: 182000 | #Constraints: 42155
412.96/414.04 c #Conflicts: 183000 | #Constraints: 43155
412.96/414.04 c #Conflicts: 184000 | #Constraints: 44155
412.96/414.04 c #Conflicts: 185000 | #Constraints: 45155
412.96/414.04 c #Conflicts: 186000 | #Constraints: 46155
412.96/414.04 c #Conflicts: 187000 | #Constraints: 47155
412.96/414.04 c #Conflicts: 188000 | #Constraints: 48155
412.96/414.04 c #Conflicts: 189000 | #Constraints: 49155
412.96/414.04 c #Conflicts: 190000 | #Constraints: 50155
412.96/414.04 c #Conflicts: 191000 | #Constraints: 51155
412.96/414.04 c #Conflicts: 192000 | #Constraints: 52155
412.96/414.04 c #Conflicts: 193000 | #Constraints: 53155
412.96/414.04 c #Conflicts: 194000 | #Constraints: 54155
412.96/414.04 c #Conflicts: 195000 | #Constraints: 55155
412.96/414.04 c #Conflicts: 196000 | #Constraints: 56155
412.96/414.04 c #Conflicts: 197000 | #Constraints: 57155
412.96/414.04 c #Conflicts: 198000 | #Constraints: 58155
412.96/414.04 c #Conflicts: 199000 | #Constraints: 59155
412.96/414.04 c #Conflicts: 200000 | #Constraints: 60155
412.96/414.04 c #Conflicts: 201000 | #Constraints: 61155
412.96/414.04 c #Conflicts: 202000 | #Constraints: 62155
412.96/414.04 c #Conflicts: 203000 | #Constraints: 63155
412.96/414.04 c #Conflicts: 204000 | #Constraints: 64155
412.96/414.04 c #Conflicts: 205000 | #Constraints: 65155
412.96/414.04 c #Conflicts: 206000 | #Constraints: 66155
412.96/414.04 c #Conflicts: 207000 | #Constraints: 67155
412.96/414.04 c #Conflicts: 208000 | #Constraints: 68155
412.96/414.04 c #Conflicts: 209000 | #Constraints: 69155
412.96/414.04 c INPROCESSING
412.96/414.04 c GARBAGE COLLECT
412.96/414.04 c #Conflicts: 210000 | #Constraints: 46266
412.96/414.04 c #Conflicts: 211000 | #Constraints: 47266
412.96/414.04 c #Conflicts: 212000 | #Constraints: 48266
412.96/414.04 c #Conflicts: 213000 | #Constraints: 49266
412.96/414.04 c #Conflicts: 214000 | #Constraints: 50266
412.96/414.04 c #Conflicts: 215000 | #Constraints: 51266
412.96/414.04 c #Conflicts: 216000 | #Constraints: 52266
412.96/414.04 c #Conflicts: 217000 | #Constraints: 53266
412.96/414.04 c #Conflicts: 218000 | #Constraints: 54266
412.96/414.04 c #Conflicts: 219000 | #Constraints: 55266
412.96/414.04 c #Conflicts: 220000 | #Constraints: 56266
412.96/414.04 c #Conflicts: 221000 | #Constraints: 57266
412.96/414.04 c #Conflicts: 222000 | #Constraints: 58266
412.96/414.04 c INPROCESSING
412.96/414.04 c GARBAGE COLLECT
412.96/414.04 c #Conflicts: 223000 | #Constraints: 43481
412.96/414.04 c #Conflicts: 224000 | #Constraints: 44481
584.75/586.24 c #Conflicts: 225000 | #Constraints: 45481
584.75/586.24 c #Conflicts: 226000 | #Constraints: 46481
584.75/586.24 c #Conflicts: 227000 | #Constraints: 47481
584.75/586.24 c #Conflicts: 228000 | #Constraints: 48481
584.75/586.24 c #Conflicts: 229000 | #Constraints: 49481
584.75/586.24 c #Conflicts: 230000 | #Constraints: 50481
584.75/586.24 c #Conflicts: 231000 | #Constraints: 51481
584.75/586.24 c #Conflicts: 232000 | #Constraints: 52481
584.75/586.24 c #Conflicts: 233000 | #Constraints: 53481
584.75/586.24 c #Conflicts: 234000 | #Constraints: 54481
584.75/586.24 c #Conflicts: 235000 | #Constraints: 55481
584.75/586.24 c #Conflicts: 236000 | #Constraints: 56481
584.75/586.24 c #Conflicts: 237000 | #Constraints: 57481
584.75/586.24 c #Conflicts: 238000 | #Constraints: 58481
584.75/586.24 c #Conflicts: 239000 | #Constraints: 59481
584.75/586.24 c #Conflicts: 240000 | #Constraints: 60481
584.75/586.24 c #Conflicts: 241000 | #Constraints: 61481
584.75/586.24 c #Conflicts: 242000 | #Constraints: 62481
584.75/586.24 c #Conflicts: 243000 | #Constraints: 63481
584.75/586.24 c #Conflicts: 244000 | #Constraints: 64481
584.75/586.24 c #Conflicts: 245000 | #Constraints: 65481
584.75/586.24 c #Conflicts: 246000 | #Constraints: 66481
584.75/586.24 c #Conflicts: 247000 | #Constraints: 67481
584.75/586.24 c #Conflicts: 248000 | #Constraints: 68481
584.75/586.24 c #Conflicts: 249000 | #Constraints: 69481
584.75/586.24 c #Conflicts: 250000 | #Constraints: 70481
584.75/586.24 c #Conflicts: 251000 | #Constraints: 71481
584.75/586.24 c #Conflicts: 252000 | #Constraints: 72481
584.75/586.24 c #Conflicts: 253000 | #Constraints: 73481
584.75/586.24 c #Conflicts: 254000 | #Constraints: 74481
584.75/586.24 c INPROCESSING
584.75/586.24 c GARBAGE COLLECT
584.75/586.24 c #Conflicts: 255000 | #Constraints: 49038
584.75/586.24 c #Conflicts: 256000 | #Constraints: 50038
584.75/586.24 c #Conflicts: 257000 | #Constraints: 51038
584.75/586.24 c #Conflicts: 258000 | #Constraints: 52038
584.75/586.24 c #Conflicts: 259000 | #Constraints: 53038
584.75/586.24 c #Conflicts: 260000 | #Constraints: 54038
584.75/586.24 c #Conflicts: 261000 | #Constraints: 55038
584.75/586.24 c #Conflicts: 262000 | #Constraints: 56038
584.75/586.24 c #Conflicts: 263000 | #Constraints: 57038
584.75/586.24 c #Conflicts: 264000 | #Constraints: 58038
584.75/586.24 c #Conflicts: 265000 | #Constraints: 59038
584.75/586.24 c #Conflicts: 266000 | #Constraints: 60038
584.75/586.24 c #Conflicts: 267000 | #Constraints: 61038
584.75/586.24 c #Conflicts: 268000 | #Constraints: 62038
584.75/586.24 c INPROCESSING
584.75/586.24 c GARBAGE COLLECT
584.75/586.24 c #Conflicts: 269000 | #Constraints: 45733
584.75/586.24 c #Conflicts: 270000 | #Constraints: 46733
584.75/586.24 c #Conflicts: 271000 | #Constraints: 47733
584.75/586.24 c #Conflicts: 272000 | #Constraints: 48733
584.75/586.24 c #Conflicts: 273000 | #Constraints: 49734
584.75/586.24 c #Conflicts: 274000 | #Constraints: 50734
584.75/586.24 c #Conflicts: 275000 | #Constraints: 51734
584.75/586.24 c #Conflicts: 276000 | #Constraints: 52734
584.75/586.24 c #Conflicts: 277000 | #Constraints: 53734
584.75/586.24 c #Conflicts: 278000 | #Constraints: 54734
584.75/586.24 c #Conflicts: 279000 | #Constraints: 55734
584.75/586.24 c #Conflicts: 280000 | #Constraints: 56734
584.75/586.24 c #Conflicts: 281000 | #Constraints: 57734
584.75/586.24 c #Conflicts: 282000 | #Constraints: 58734
584.75/586.24 c #Conflicts: 283000 | #Constraints: 59734
584.75/586.24 c #Conflicts: 284000 | #Constraints: 60734
584.75/586.24 c #Conflicts: 285000 | #Constraints: 61734
584.75/586.24 c #Conflicts: 286000 | #Constraints: 62734
584.75/586.24 c #Conflicts: 287000 | #Constraints: 63734
584.75/586.24 c #Conflicts: 288000 | #Constraints: 64734
584.75/586.24 c #Conflicts: 289000 | #Constraints: 65734
584.75/586.24 c #Conflicts: 290000 | #Constraints: 66734
584.75/586.24 c #Conflicts: 291000 | #Constraints: 67734
584.75/586.24 c #Conflicts: 292000 | #Constraints: 68734
584.75/586.24 c #Conflicts: 293000 | #Constraints: 69734
584.75/586.24 c #Conflicts: 294000 | #Constraints: 70734
584.75/586.24 c #Conflicts: 295000 | #Constraints: 71734
584.75/586.24 c #Conflicts: 296000 | #Constraints: 72734
584.75/586.24 c #Conflicts: 297000 | #Constraints: 73734
584.75/586.24 c #Conflicts: 298000 | #Constraints: 74734
584.75/586.24 c #Conflicts: 299000 | #Constraints: 75734
584.75/586.24 c #Conflicts: 300000 | #Constraints: 76734
584.75/586.24 c #Conflicts: 301000 | #Constraints: 77734
584.75/586.24 c #Conflicts: 302000 | #Constraints: 78734
728.80/730.66 c #Conflicts: 303000 | #Constraints: 79734
728.80/730.66 c INPROCESSING
728.80/730.66 c GARBAGE COLLECT
728.80/730.66 c #Conflicts: 304000 | #Constraints: 51431
728.80/730.66 c #Conflicts: 305000 | #Constraints: 52431
728.80/730.66 c #Conflicts: 306000 | #Constraints: 53431
728.80/730.66 c #Conflicts: 307000 | #Constraints: 54431
728.80/730.66 c #Conflicts: 308000 | #Constraints: 55431
728.80/730.66 c #Conflicts: 309000 | #Constraints: 56431
728.80/730.66 c #Conflicts: 310000 | #Constraints: 57431
728.80/730.66 c #Conflicts: 311000 | #Constraints: 58431
728.80/730.66 c #Conflicts: 312000 | #Constraints: 59431
728.80/730.66 c #Conflicts: 313000 | #Constraints: 60431
728.80/730.66 c #Conflicts: 314000 | #Constraints: 61431
728.80/730.66 c #Conflicts: 315000 | #Constraints: 62431
728.80/730.66 c #Conflicts: 316000 | #Constraints: 63431
728.80/730.66 c #Conflicts: 317000 | #Constraints: 64431
728.80/730.66 c #Conflicts: 318000 | #Constraints: 65431
728.80/730.66 c #Conflicts: 319000 | #Constraints: 66431
728.80/730.66 c INPROCESSING
728.80/730.66 c GARBAGE COLLECT
728.80/730.66 c #Conflicts: 320000 | #Constraints: 48612
728.80/730.66 c #Conflicts: 321000 | #Constraints: 49612
728.80/730.66 c #Conflicts: 322000 | #Constraints: 50612
728.80/730.66 c #Conflicts: 323000 | #Constraints: 51612
728.80/730.66 c #Conflicts: 324000 | #Constraints: 52612
728.80/730.66 c #Conflicts: 325000 | #Constraints: 53612
728.80/730.66 c #Conflicts: 326000 | #Constraints: 54612
728.80/730.66 c #Conflicts: 327000 | #Constraints: 55612
728.80/730.66 c #Conflicts: 328000 | #Constraints: 56612
728.80/730.66 c #Conflicts: 329000 | #Constraints: 57612
728.80/730.66 c #Conflicts: 330000 | #Constraints: 58612
728.80/730.66 c #Conflicts: 331000 | #Constraints: 59612
728.80/730.66 c #Conflicts: 332000 | #Constraints: 60612
728.80/730.66 c #Conflicts: 333000 | #Constraints: 61612
728.80/730.66 c #Conflicts: 334000 | #Constraints: 62612
728.80/730.66 c #Conflicts: 335000 | #Constraints: 63612
728.80/730.66 c #Conflicts: 336000 | #Constraints: 64612
728.80/730.66 c #Conflicts: 337000 | #Constraints: 65612
728.80/730.66 c #Conflicts: 338000 | #Constraints: 66612
728.80/730.66 c #Conflicts: 339000 | #Constraints: 67612
728.80/730.66 c #Conflicts: 340000 | #Constraints: 68612
728.80/730.66 c #Conflicts: 341000 | #Constraints: 69612
728.80/730.66 c #Conflicts: 342000 | #Constraints: 70612
728.80/730.66 c #Conflicts: 343000 | #Constraints: 71612
728.80/730.66 c #Conflicts: 344000 | #Constraints: 72612
728.80/730.66 c #Conflicts: 345000 | #Constraints: 73612
728.80/730.66 c #Conflicts: 346000 | #Constraints: 74612
728.80/730.66 c #Conflicts: 347000 | #Constraints: 75612
728.80/730.66 c #Conflicts: 348000 | #Constraints: 76612
728.80/730.66 c #Conflicts: 349000 | #Constraints: 77612
728.80/730.66 c #Conflicts: 350000 | #Constraints: 78612
728.80/730.66 c #Conflicts: 351000 | #Constraints: 79612
728.80/730.66 c #Conflicts: 352000 | #Constraints: 80612
728.80/730.66 c #Conflicts: 353000 | #Constraints: 81612
728.80/730.66 c #Conflicts: 354000 | #Constraints: 82612
728.80/730.66 c #Conflicts: 355000 | #Constraints: 83612
728.80/730.66 c #Conflicts: 356000 | #Constraints: 84612
728.80/730.66 c #Conflicts: 357000 | #Constraints: 85612
728.80/730.66 c INPROCESSING
728.80/730.66 c GARBAGE COLLECT
728.80/730.66 c #Conflicts: 358000 | #Constraints: 54412
728.80/730.66 c #Conflicts: 359000 | #Constraints: 55412
728.80/730.66 c #Conflicts: 360000 | #Constraints: 56412
728.80/730.66 c #Conflicts: 361000 | #Constraints: 57412
728.80/730.66 c #Conflicts: 362000 | #Constraints: 58412
728.80/730.66 c #Conflicts: 363000 | #Constraints: 59412
728.80/730.66 c #Conflicts: 364000 | #Constraints: 60412
728.80/730.66 c #Conflicts: 365000 | #Constraints: 61412
728.80/730.66 c #Conflicts: 366000 | #Constraints: 62412
728.80/730.66 c #Conflicts: 367000 | #Constraints: 63412
728.80/730.66 c #Conflicts: 368000 | #Constraints: 64412
728.80/730.66 c #Conflicts: 369000 | #Constraints: 65412
728.80/730.66 c #Conflicts: 370000 | #Constraints: 66412
728.80/730.66 c #Conflicts: 371000 | #Constraints: 67412
728.80/730.66 c #Conflicts: 372000 | #Constraints: 68412
728.80/730.66 c #Conflicts: 373000 | #Constraints: 69412
728.80/730.66 c #Conflicts: 374000 | #Constraints: 70412
728.80/730.66 c INPROCESSING
728.80/730.66 c GARBAGE COLLECT
728.80/730.66 c #Conflicts: 375000 | #Constraints: 51266
728.80/730.66 c #Conflicts: 376000 | #Constraints: 52266
728.80/730.66 c #Conflicts: 377000 | #Constraints: 53266
728.80/730.66 c #Conflicts: 378000 | #Constraints: 54266
899.80/902.06 c #Conflicts: 379000 | #Constraints: 55266
899.80/902.06 c #Conflicts: 380000 | #Constraints: 56266
899.80/902.06 c #Conflicts: 381000 | #Constraints: 57266
899.80/902.06 c #Conflicts: 382000 | #Constraints: 58266
899.80/902.06 c #Conflicts: 383000 | #Constraints: 59266
899.80/902.06 c #Conflicts: 384000 | #Constraints: 60266
899.80/902.06 c #Conflicts: 385000 | #Constraints: 61266
899.80/902.06 c #Conflicts: 386000 | #Constraints: 62266
899.80/902.06 c #Conflicts: 387000 | #Constraints: 63266
899.80/902.06 c #Conflicts: 388000 | #Constraints: 64266
899.80/902.06 c #Conflicts: 389000 | #Constraints: 65266
899.80/902.06 c #Conflicts: 390000 | #Constraints: 66266
899.80/902.06 c #Conflicts: 391000 | #Constraints: 67266
899.80/902.06 c #Conflicts: 392000 | #Constraints: 68266
899.80/902.06 c #Conflicts: 393000 | #Constraints: 69266
899.80/902.06 c #Conflicts: 394000 | #Constraints: 70266
899.80/902.06 c #Conflicts: 395000 | #Constraints: 71266
899.80/902.06 c #Conflicts: 396000 | #Constraints: 72266
899.80/902.06 c #Conflicts: 397000 | #Constraints: 73266
899.80/902.06 c #Conflicts: 398000 | #Constraints: 74266
899.80/902.06 c #Conflicts: 399000 | #Constraints: 75266
899.80/902.06 c #Conflicts: 400000 | #Constraints: 76266
899.80/902.06 c #Conflicts: 401000 | #Constraints: 77266
899.80/902.06 c #Conflicts: 402000 | #Constraints: 78266
899.80/902.06 c #Conflicts: 403000 | #Constraints: 79266
899.80/902.06 c #Conflicts: 404000 | #Constraints: 80266
899.80/902.06 c #Conflicts: 405000 | #Constraints: 81266
899.80/902.06 c #Conflicts: 406000 | #Constraints: 82266
899.80/902.06 c #Conflicts: 407000 | #Constraints: 83266
899.80/902.06 c #Conflicts: 408000 | #Constraints: 84266
899.80/902.06 c #Conflicts: 409000 | #Constraints: 85266
899.80/902.06 c #Conflicts: 410000 | #Constraints: 86266
899.80/902.06 c #Conflicts: 411000 | #Constraints: 87266
899.80/902.06 c #Conflicts: 412000 | #Constraints: 88266
899.80/902.06 c #Conflicts: 413000 | #Constraints: 89266
899.80/902.06 c #Conflicts: 414000 | #Constraints: 90266
899.80/902.06 c #Conflicts: 415000 | #Constraints: 91266
899.80/902.06 c INPROCESSING
899.80/902.06 c GARBAGE COLLECT
899.80/902.06 c #Conflicts: 416000 | #Constraints: 57069
899.80/902.06 c #Conflicts: 417000 | #Constraints: 58069
899.80/902.06 c #Conflicts: 418000 | #Constraints: 59069
899.80/902.06 c #Conflicts: 419000 | #Constraints: 60069
899.80/902.06 c #Conflicts: 420000 | #Constraints: 61069
899.80/902.06 c #Conflicts: 421000 | #Constraints: 62069
899.80/902.06 c #Conflicts: 422000 | #Constraints: 63069
899.80/902.06 c #Conflicts: 423000 | #Constraints: 64069
899.80/902.06 c #Conflicts: 424000 | #Constraints: 65069
899.80/902.06 c #Conflicts: 425000 | #Constraints: 66069
899.80/902.06 c #Conflicts: 426000 | #Constraints: 67069
899.80/902.06 c #Conflicts: 427000 | #Constraints: 68069
899.80/902.06 c #Conflicts: 428000 | #Constraints: 69069
899.80/902.06 c #Conflicts: 429000 | #Constraints: 70069
899.80/902.06 c #Conflicts: 430000 | #Constraints: 71069
899.80/902.06 c #Conflicts: 431000 | #Constraints: 72069
899.80/902.06 c #Conflicts: 432000 | #Constraints: 73069
899.80/902.06 c #Conflicts: 433000 | #Constraints: 74069
899.80/902.06 c #Conflicts: 434000 | #Constraints: 75069
899.80/902.06 c INPROCESSING
899.80/902.06 c GARBAGE COLLECT
899.80/902.06 c #Conflicts: 435000 | #Constraints: 54183
899.80/902.06 c #Conflicts: 436000 | #Constraints: 55183
899.80/902.06 c #Conflicts: 437000 | #Constraints: 56183
899.80/902.06 c #Conflicts: 438000 | #Constraints: 57183
899.80/902.06 c #Conflicts: 439000 | #Constraints: 58183
899.80/902.06 c #Conflicts: 440000 | #Constraints: 59183
899.80/902.06 c #Conflicts: 441000 | #Constraints: 60183
899.80/902.06 c #Conflicts: 442000 | #Constraints: 61183
899.80/902.06 c #Conflicts: 443000 | #Constraints: 62183
899.80/902.06 c #Conflicts: 444000 | #Constraints: 63183
899.80/902.06 c #Conflicts: 445000 | #Constraints: 64184
899.80/902.06 c #Conflicts: 446000 | #Constraints: 65184
899.80/902.06 c #Conflicts: 447000 | #Constraints: 66184
899.80/902.06 c #Conflicts: 448000 | #Constraints: 67184
899.80/902.06 c #Conflicts: 449000 | #Constraints: 68184
899.80/902.06 c #Conflicts: 450000 | #Constraints: 69184
899.80/902.06 c #Conflicts: 451000 | #Constraints: 70184
899.80/902.06 c #Conflicts: 452000 | #Constraints: 71184
899.80/902.06 c #Conflicts: 453000 | #Constraints: 72184
899.80/902.06 c #Conflicts: 454000 | #Constraints: 73184
899.80/902.06 c #Conflicts: 455000 | #Constraints: 74184
1074.58/1077.23 c #Conflicts: 456000 | #Constraints: 75184
1074.58/1077.23 c #Conflicts: 457000 | #Constraints: 76184
1074.58/1077.23 c #Conflicts: 458000 | #Constraints: 77184
1074.58/1077.23 c #Conflicts: 459000 | #Constraints: 78184
1074.58/1077.23 c #Conflicts: 460000 | #Constraints: 79184
1074.58/1077.23 c #Conflicts: 461000 | #Constraints: 80184
1074.58/1077.23 c #Conflicts: 462000 | #Constraints: 81184
1074.58/1077.23 c #Conflicts: 463000 | #Constraints: 82184
1074.58/1077.23 c #Conflicts: 464000 | #Constraints: 83184
1074.58/1077.23 c #Conflicts: 465000 | #Constraints: 84184
1074.58/1077.23 c #Conflicts: 466000 | #Constraints: 85184
1074.58/1077.23 c #Conflicts: 467000 | #Constraints: 86184
1074.58/1077.23 c #Conflicts: 468000 | #Constraints: 87184
1074.58/1077.23 c #Conflicts: 469000 | #Constraints: 88184
1074.58/1077.23 c #Conflicts: 470000 | #Constraints: 89184
1074.58/1077.23 c #Conflicts: 471000 | #Constraints: 90184
1074.58/1077.23 c #Conflicts: 472000 | #Constraints: 91184
1074.58/1077.23 c #Conflicts: 473000 | #Constraints: 92184
1074.58/1077.23 c #Conflicts: 474000 | #Constraints: 93184
1074.58/1077.23 c #Conflicts: 475000 | #Constraints: 94184
1074.58/1077.23 c #Conflicts: 476000 | #Constraints: 95184
1074.58/1077.23 c #Conflicts: 477000 | #Constraints: 96184
1074.58/1077.23 c #Conflicts: 478000 | #Constraints: 97184
1074.58/1077.23 c INPROCESSING
1074.58/1077.23 c GARBAGE COLLECT
1074.58/1077.23 c #Conflicts: 479000 | #Constraints: 60353
1074.58/1077.23 c #Conflicts: 480000 | #Constraints: 61353
1074.58/1077.23 c #Conflicts: 481000 | #Constraints: 62353
1074.58/1077.23 c #Conflicts: 482000 | #Constraints: 63353
1074.58/1077.23 c #Conflicts: 483000 | #Constraints: 64353
1074.58/1077.23 c #Conflicts: 484000 | #Constraints: 65353
1074.58/1077.23 c #Conflicts: 485000 | #Constraints: 66353
1074.58/1077.23 c #Conflicts: 486000 | #Constraints: 67353
1074.58/1077.23 c #Conflicts: 487000 | #Constraints: 68353
1074.58/1077.23 c #Conflicts: 488000 | #Constraints: 69353
1074.58/1077.23 c #Conflicts: 489000 | #Constraints: 70353
1074.58/1077.23 c #Conflicts: 490000 | #Constraints: 71353
1074.58/1077.23 c #Conflicts: 491000 | #Constraints: 72353
1074.58/1077.23 c #Conflicts: 492000 | #Constraints: 73353
1074.58/1077.23 c #Conflicts: 493000 | #Constraints: 74353
1074.58/1077.23 c #Conflicts: 494000 | #Constraints: 75353
1074.58/1077.23 c #Conflicts: 495000 | #Constraints: 76353
1074.58/1077.23 c #Conflicts: 496000 | #Constraints: 77353
1074.58/1077.23 c #Conflicts: 497000 | #Constraints: 78353
1074.58/1077.23 c #Conflicts: 498000 | #Constraints: 79353
1074.58/1077.23 c INPROCESSING
1074.58/1077.23 c GARBAGE COLLECT
1074.58/1077.23 c #Conflicts: 499000 | #Constraints: 56060
1074.58/1077.23 c #Conflicts: 500000 | #Constraints: 57060
1074.58/1077.23 c #Conflicts: 501000 | #Constraints: 58060
1074.58/1077.23 c #Conflicts: 502000 | #Constraints: 59060
1074.58/1077.23 c #Conflicts: 503000 | #Constraints: 60060
1074.58/1077.23 c #Conflicts: 504000 | #Constraints: 61060
1074.58/1077.23 c #Conflicts: 505000 | #Constraints: 62060
1074.58/1077.23 c #Conflicts: 506000 | #Constraints: 63060
1074.58/1077.23 c #Conflicts: 507000 | #Constraints: 64060
1074.58/1077.23 c #Conflicts: 508000 | #Constraints: 65060
1074.58/1077.23 c #Conflicts: 509000 | #Constraints: 66060
1074.58/1077.23 c #Conflicts: 510000 | #Constraints: 67060
1074.58/1077.23 c #Conflicts: 511000 | #Constraints: 68060
1074.58/1077.23 c #Conflicts: 512000 | #Constraints: 69060
1074.58/1077.23 c #Conflicts: 513000 | #Constraints: 70060
1074.58/1077.23 c #Conflicts: 514000 | #Constraints: 71060
1074.58/1077.23 c #Conflicts: 515000 | #Constraints: 72060
1074.58/1077.23 c #Conflicts: 516000 | #Constraints: 73060
1074.58/1077.23 c #Conflicts: 517000 | #Constraints: 74060
1074.58/1077.23 c #Conflicts: 518000 | #Constraints: 75060
1074.58/1077.23 c #Conflicts: 519000 | #Constraints: 76060
1074.58/1077.23 c #Conflicts: 520000 | #Constraints: 77060
1074.58/1077.23 c #Conflicts: 521000 | #Constraints: 78060
1074.58/1077.23 c #Conflicts: 522000 | #Constraints: 79060
1074.58/1077.23 c #Conflicts: 523000 | #Constraints: 80060
1074.58/1077.23 c #Conflicts: 524000 | #Constraints: 81060
1074.58/1077.23 c #Conflicts: 525000 | #Constraints: 82060
1074.58/1077.23 c #Conflicts: 526000 | #Constraints: 83060
1074.58/1077.23 c #Conflicts: 527000 | #Constraints: 84060
1074.58/1077.23 c #Conflicts: 528000 | #Constraints: 85060
1074.58/1077.23 c #Conflicts: 529000 | #Constraints: 86060
1074.58/1077.23 c #Conflicts: 530000 | #Constraints: 87060
1074.58/1077.23 c #Conflicts: 531000 | #Constraints: 88060
1074.58/1077.23 c #Conflicts: 532000 | #Constraints: 89060
1074.58/1077.23 c #Conflicts: 533000 | #Constraints: 90060
1123.07/1125.89 c #Conflicts: 534000 | #Constraints: 91060
1123.07/1125.89 c #Conflicts: 535000 | #Constraints: 92060
1123.07/1125.89 c #Conflicts: 536000 | #Constraints: 93060
1123.07/1125.89 c #Conflicts: 537000 | #Constraints: 94060
1123.07/1125.89 c #Conflicts: 538000 | #Constraints: 95060
1123.07/1125.89 c #Conflicts: 539000 | #Constraints: 96060
1123.07/1125.89 c #Conflicts: 540000 | #Constraints: 97060
1123.07/1125.89 c #Conflicts: 541000 | #Constraints: 98060
1123.07/1125.89 c #Conflicts: 542000 | #Constraints: 99060
1123.07/1125.89 c #Conflicts: 543000 | #Constraints: 100060
1123.07/1125.89 c #Conflicts: 544000 | #Constraints: 101060
1123.07/1125.89 c #Conflicts: 545000 | #Constraints: 102060
1123.07/1125.89 c INPROCESSING
1123.07/1125.89 c GARBAGE COLLECT
1123.07/1125.89 c rational objective 166
1312.01/1315.21 c #Conflicts: 546000 | #Constraints: 62628
1312.01/1315.21 c #Conflicts: 547000 | #Constraints: 63628
1312.01/1315.21 c #Conflicts: 548000 | #Constraints: 64628
1312.01/1315.21 c #Conflicts: 549000 | #Constraints: 65628
1312.01/1315.21 c #Conflicts: 550000 | #Constraints: 66628
1312.01/1315.21 c #Conflicts: 551000 | #Constraints: 67628
1312.01/1315.21 c #Conflicts: 552000 | #Constraints: 68628
1312.01/1315.21 c #Conflicts: 553000 | #Constraints: 69628
1312.01/1315.21 c #Conflicts: 554000 | #Constraints: 70628
1312.01/1315.21 c #Conflicts: 555000 | #Constraints: 71628
1312.01/1315.21 c #Conflicts: 556000 | #Constraints: 72628
1312.01/1315.21 c #Conflicts: 557000 | #Constraints: 73628
1312.01/1315.21 c #Conflicts: 558000 | #Constraints: 74628
1312.01/1315.21 c #Conflicts: 559000 | #Constraints: 75628
1312.01/1315.21 c #Conflicts: 560000 | #Constraints: 76628
1312.01/1315.21 c #Conflicts: 561000 | #Constraints: 77628
1312.01/1315.21 c #Conflicts: 562000 | #Constraints: 78628
1312.01/1315.21 c #Conflicts: 563000 | #Constraints: 79628
1312.01/1315.21 c #Conflicts: 564000 | #Constraints: 80628
1312.01/1315.21 c #Conflicts: 565000 | #Constraints: 81628
1312.01/1315.21 c #Conflicts: 566000 | #Constraints: 82628
1312.01/1315.21 c INPROCESSING
1312.01/1315.21 c GARBAGE COLLECT
1312.01/1315.21 c #Conflicts: 567000 | #Constraints: 58148
1312.01/1315.21 c #Conflicts: 568000 | #Constraints: 59148
1312.01/1315.21 c #Conflicts: 569000 | #Constraints: 60148
1312.01/1315.21 c #Conflicts: 570000 | #Constraints: 61148
1312.01/1315.21 c #Conflicts: 571000 | #Constraints: 62148
1312.01/1315.21 c #Conflicts: 572000 | #Constraints: 63148
1312.01/1315.21 c #Conflicts: 573000 | #Constraints: 64148
1312.01/1315.21 c #Conflicts: 574000 | #Constraints: 65148
1312.01/1315.21 c #Conflicts: 575000 | #Constraints: 66148
1312.01/1315.21 c #Conflicts: 576000 | #Constraints: 67148
1312.01/1315.21 c #Conflicts: 577000 | #Constraints: 68148
1312.01/1315.21 c #Conflicts: 578000 | #Constraints: 69148
1312.01/1315.21 c #Conflicts: 579000 | #Constraints: 70148
1312.01/1315.21 c #Conflicts: 580000 | #Constraints: 71148
1312.01/1315.21 c #Conflicts: 581000 | #Constraints: 72148
1312.01/1315.21 c #Conflicts: 582000 | #Constraints: 73148
1312.01/1315.21 c #Conflicts: 583000 | #Constraints: 74148
1312.01/1315.21 c #Conflicts: 584000 | #Constraints: 75148
1312.01/1315.21 c #Conflicts: 585000 | #Constraints: 76148
1312.01/1315.21 c #Conflicts: 586000 | #Constraints: 77148
1312.01/1315.21 c #Conflicts: 587000 | #Constraints: 78148
1312.01/1315.21 c #Conflicts: 588000 | #Constraints: 79148
1312.01/1315.21 c #Conflicts: 589000 | #Constraints: 80148
1312.01/1315.21 c #Conflicts: 590000 | #Constraints: 81148
1312.01/1315.21 c #Conflicts: 591000 | #Constraints: 82148
1312.01/1315.21 c #Conflicts: 592000 | #Constraints: 83148
1312.01/1315.21 c #Conflicts: 593000 | #Constraints: 84148
1312.01/1315.21 c #Conflicts: 594000 | #Constraints: 85148
1312.01/1315.21 c #Conflicts: 595000 | #Constraints: 86148
1312.01/1315.21 c #Conflicts: 596000 | #Constraints: 87148
1312.01/1315.21 c #Conflicts: 597000 | #Constraints: 88148
1312.01/1315.21 c #Conflicts: 598000 | #Constraints: 89148
1312.01/1315.21 c #Conflicts: 599000 | #Constraints: 90148
1312.01/1315.21 c #Conflicts: 600000 | #Constraints: 91148
1312.01/1315.21 c #Conflicts: 601000 | #Constraints: 92148
1312.01/1315.21 c #Conflicts: 602000 | #Constraints: 93148
1312.01/1315.21 c #Conflicts: 603000 | #Constraints: 94148
1312.01/1315.21 c #Conflicts: 604000 | #Constraints: 95148
1312.01/1315.21 c #Conflicts: 605000 | #Constraints: 96148
1312.01/1315.21 c #Conflicts: 606000 | #Constraints: 97148
1312.01/1315.21 c #Conflicts: 607000 | #Constraints: 98148
1312.01/1315.21 c #Conflicts: 608000 | #Constraints: 99148
1312.01/1315.21 c #Conflicts: 609000 | #Constraints: 100148
1312.01/1315.21 c #Conflicts: 610000 | #Constraints: 101148
1312.01/1315.21 c #Conflicts: 611000 | #Constraints: 102148
1312.01/1315.21 c #Conflicts: 612000 | #Constraints: 103148
1312.01/1315.21 c #Conflicts: 613000 | #Constraints: 104148
1312.01/1315.21 c #Conflicts: 614000 | #Constraints: 105148
1312.01/1315.21 c #Conflicts: 615000 | #Constraints: 106148
1312.01/1315.21 c #Conflicts: 616000 | #Constraints: 107148
1312.01/1315.21 c #Conflicts: 617000 | #Constraints: 108148
1312.01/1315.21 c INPROCESSING
1312.01/1315.21 c GARBAGE COLLECT
1312.01/1315.21 c rational objective 166
1380.43/1383.81 c #Conflicts: 618000 | #Constraints: 66181
1380.43/1383.81 c #Conflicts: 619000 | #Constraints: 67181
1380.43/1383.81 c #Conflicts: 620000 | #Constraints: 68181
1380.43/1383.81 c #Conflicts: 621000 | #Constraints: 69181
1380.43/1383.81 c #Conflicts: 622000 | #Constraints: 70181
1380.43/1383.81 c #Conflicts: 623000 | #Constraints: 71181
1380.43/1383.81 c #Conflicts: 624000 | #Constraints: 72181
1380.43/1383.81 c #Conflicts: 625000 | #Constraints: 73181
1380.43/1383.81 c #Conflicts: 626000 | #Constraints: 74181
1380.43/1383.81 c #Conflicts: 627000 | #Constraints: 75181
1380.43/1383.81 c #Conflicts: 628000 | #Constraints: 76181
1380.43/1383.81 c #Conflicts: 629000 | #Constraints: 77181
1380.43/1383.81 c #Conflicts: 630000 | #Constraints: 78181
1380.43/1383.81 c #Conflicts: 631000 | #Constraints: 79181
1380.43/1383.81 c #Conflicts: 632000 | #Constraints: 80181
1380.43/1383.81 c #Conflicts: 633000 | #Constraints: 81181
1380.43/1383.81 c #Conflicts: 634000 | #Constraints: 82181
1380.43/1383.81 c #Conflicts: 635000 | #Constraints: 83181
1380.43/1383.81 c #Conflicts: 636000 | #Constraints: 84181
1380.43/1383.81 c #Conflicts: 637000 | #Constraints: 85181
1380.43/1383.81 c #Conflicts: 638000 | #Constraints: 86181
1380.43/1383.81 c #Conflicts: 639000 | #Constraints: 87181
1380.43/1383.81 c INPROCESSING
1380.43/1383.81 c GARBAGE COLLECT
1380.43/1383.81 c rational objective 166
1584.02/1587.93 c #Conflicts: 640000 | #Constraints: 60872
1584.02/1587.93 c #Conflicts: 641000 | #Constraints: 61872
1584.02/1587.93 c #Conflicts: 642000 | #Constraints: 62872
1584.02/1587.93 c #Conflicts: 643000 | #Constraints: 63872
1584.02/1587.93 c #Conflicts: 644000 | #Constraints: 64872
1584.02/1587.93 c #Conflicts: 645000 | #Constraints: 65872
1584.02/1587.93 c #Conflicts: 646000 | #Constraints: 66872
1584.02/1587.93 c #Conflicts: 647000 | #Constraints: 67872
1584.02/1587.93 c #Conflicts: 648000 | #Constraints: 68872
1584.02/1587.93 c #Conflicts: 649000 | #Constraints: 69872
1584.02/1587.93 c #Conflicts: 650000 | #Constraints: 70872
1584.02/1587.93 c #Conflicts: 651000 | #Constraints: 71872
1584.02/1587.93 c #Conflicts: 652000 | #Constraints: 72872
1584.02/1587.93 c #Conflicts: 653000 | #Constraints: 73872
1584.02/1587.93 c #Conflicts: 654000 | #Constraints: 74872
1584.02/1587.93 c #Conflicts: 655000 | #Constraints: 75872
1584.02/1587.93 c #Conflicts: 656000 | #Constraints: 76872
1584.02/1587.93 c #Conflicts: 657000 | #Constraints: 77872
1584.02/1587.93 c #Conflicts: 658000 | #Constraints: 78872
1584.02/1587.93 c #Conflicts: 659000 | #Constraints: 79872
1584.02/1587.93 c #Conflicts: 660000 | #Constraints: 80872
1584.02/1587.93 c #Conflicts: 661000 | #Constraints: 81872
1584.02/1587.93 c #Conflicts: 662000 | #Constraints: 82872
1584.02/1587.93 c #Conflicts: 663000 | #Constraints: 83872
1584.02/1587.93 c #Conflicts: 664000 | #Constraints: 84872
1584.02/1587.93 c #Conflicts: 665000 | #Constraints: 85872
1584.02/1587.93 c #Conflicts: 666000 | #Constraints: 86872
1584.02/1587.93 c #Conflicts: 667000 | #Constraints: 87872
1584.02/1587.93 c #Conflicts: 668000 | #Constraints: 88872
1584.02/1587.93 c #Conflicts: 669000 | #Constraints: 89872
1584.02/1587.93 c #Conflicts: 670000 | #Constraints: 90872
1584.02/1587.93 c #Conflicts: 671000 | #Constraints: 91872
1584.02/1587.93 c #Conflicts: 672000 | #Constraints: 92872
1584.02/1587.93 c #Conflicts: 673000 | #Constraints: 93872
1584.02/1587.93 c #Conflicts: 674000 | #Constraints: 94872
1584.02/1587.93 c #Conflicts: 675000 | #Constraints: 95872
1584.02/1587.93 c #Conflicts: 676000 | #Constraints: 96872
1584.02/1587.93 c #Conflicts: 677000 | #Constraints: 97872
1584.02/1587.93 c #Conflicts: 678000 | #Constraints: 98872
1584.02/1587.93 c #Conflicts: 679000 | #Constraints: 99872
1584.02/1587.93 c #Conflicts: 680000 | #Constraints: 100872
1584.02/1587.93 c #Conflicts: 681000 | #Constraints: 101872
1584.02/1587.93 c #Conflicts: 682000 | #Constraints: 102872
1584.02/1587.93 c #Conflicts: 683000 | #Constraints: 103872
1584.02/1587.93 c #Conflicts: 684000 | #Constraints: 104872
1584.02/1587.93 c #Conflicts: 685000 | #Constraints: 105872
1584.02/1587.93 c #Conflicts: 686000 | #Constraints: 106872
1584.02/1587.93 c #Conflicts: 687000 | #Constraints: 107872
1584.02/1587.93 c #Conflicts: 688000 | #Constraints: 108872
1584.02/1587.93 c #Conflicts: 689000 | #Constraints: 109872
1584.02/1587.93 c #Conflicts: 690000 | #Constraints: 110872
1584.02/1587.93 c #Conflicts: 691000 | #Constraints: 111872
1584.02/1587.93 c #Conflicts: 692000 | #Constraints: 112872
1584.02/1587.93 c #Conflicts: 693000 | #Constraints: 113872
1584.02/1587.93 c INPROCESSING
1584.02/1587.93 c GARBAGE COLLECT
1584.02/1587.93 c #Conflicts: 694000 | #Constraints: 69189
1584.02/1587.93 c #Conflicts: 695000 | #Constraints: 70189
1584.02/1587.93 c #Conflicts: 696000 | #Constraints: 71189
1584.02/1587.93 c #Conflicts: 697000 | #Constraints: 72189
1584.02/1587.93 c #Conflicts: 698000 | #Constraints: 73189
1584.02/1587.93 c #Conflicts: 699000 | #Constraints: 74189
1584.02/1587.93 c #Conflicts: 700000 | #Constraints: 75189
1584.02/1587.93 c #Conflicts: 701000 | #Constraints: 76189
1584.02/1587.93 c #Conflicts: 702000 | #Constraints: 77189
1584.02/1587.93 c #Conflicts: 703000 | #Constraints: 78189
1584.02/1587.93 c #Conflicts: 704000 | #Constraints: 79189
1584.02/1587.93 c #Conflicts: 705000 | #Constraints: 80189
1584.02/1587.93 c #Conflicts: 706000 | #Constraints: 81189
1584.02/1587.93 c #Conflicts: 707000 | #Constraints: 82189
1584.02/1587.93 c #Conflicts: 708000 | #Constraints: 83189
1584.02/1587.93 c #Conflicts: 709000 | #Constraints: 84189
1584.02/1587.93 c #Conflicts: 710000 | #Constraints: 85189
1584.02/1587.93 c #Conflicts: 711000 | #Constraints: 86189
1584.02/1587.93 c #Conflicts: 712000 | #Constraints: 87189
1584.02/1587.93 c #Conflicts: 713000 | #Constraints: 88189
1584.02/1587.93 c #Conflicts: 714000 | #Constraints: 89189
1584.02/1587.93 c #Conflicts: 715000 | #Constraints: 90189
1584.02/1587.93 c #Conflicts: 716000 | #Constraints: 91189
1584.02/1587.93 c INPROCESSING
1584.02/1587.93 c GARBAGE COLLECT
1584.02/1587.93 c #Conflicts: 717000 | #Constraints: 63575
1730.07/1734.36 c #Conflicts: 718000 | #Constraints: 64575
1730.07/1734.36 c #Conflicts: 719000 | #Constraints: 65575
1730.07/1734.36 c #Conflicts: 720000 | #Constraints: 66575
1730.07/1734.36 c #Conflicts: 721000 | #Constraints: 67575
1730.07/1734.36 c #Conflicts: 722000 | #Constraints: 68575
1730.07/1734.36 c #Conflicts: 723000 | #Constraints: 69575
1730.07/1734.36 c #Conflicts: 724000 | #Constraints: 70575
1730.07/1734.36 c #Conflicts: 725000 | #Constraints: 71575
1730.07/1734.36 c #Conflicts: 726000 | #Constraints: 72575
1730.07/1734.36 c #Conflicts: 727000 | #Constraints: 73575
1730.07/1734.36 c #Conflicts: 728000 | #Constraints: 74575
1730.07/1734.36 c #Conflicts: 729000 | #Constraints: 75575
1730.07/1734.36 c #Conflicts: 730000 | #Constraints: 76575
1730.07/1734.36 c #Conflicts: 731000 | #Constraints: 77575
1730.07/1734.36 c #Conflicts: 732000 | #Constraints: 78575
1730.07/1734.36 c #Conflicts: 733000 | #Constraints: 79575
1730.07/1734.36 c #Conflicts: 734000 | #Constraints: 80575
1730.07/1734.36 c #Conflicts: 735000 | #Constraints: 81575
1730.07/1734.36 c #Conflicts: 736000 | #Constraints: 82575
1730.07/1734.36 c #Conflicts: 737000 | #Constraints: 83575
1730.07/1734.36 c #Conflicts: 738000 | #Constraints: 84575
1730.07/1734.36 c #Conflicts: 739000 | #Constraints: 85575
1730.07/1734.36 c #Conflicts: 740000 | #Constraints: 86575
1730.07/1734.36 c #Conflicts: 741000 | #Constraints: 87575
1730.07/1734.36 c #Conflicts: 742000 | #Constraints: 88575
1730.07/1734.36 c #Conflicts: 743000 | #Constraints: 89575
1730.07/1734.36 c #Conflicts: 744000 | #Constraints: 90575
1730.07/1734.36 c #Conflicts: 745000 | #Constraints: 91575
1730.07/1734.36 c #Conflicts: 746000 | #Constraints: 92575
1730.07/1734.36 c #Conflicts: 747000 | #Constraints: 93575
1730.07/1734.36 c #Conflicts: 748000 | #Constraints: 94575
1730.07/1734.36 c #Conflicts: 749000 | #Constraints: 95575
1730.07/1734.36 c #Conflicts: 750000 | #Constraints: 96575
1730.07/1734.36 c #Conflicts: 751000 | #Constraints: 97575
1730.07/1734.36 c #Conflicts: 752000 | #Constraints: 98575
1730.07/1734.36 c #Conflicts: 753000 | #Constraints: 99575
1730.07/1734.36 c #Conflicts: 754000 | #Constraints: 100575
1730.07/1734.36 c #Conflicts: 755000 | #Constraints: 101575
1730.07/1734.36 c #Conflicts: 756000 | #Constraints: 102575
1730.07/1734.36 c #Conflicts: 757000 | #Constraints: 103575
1730.07/1734.36 c #Conflicts: 758000 | #Constraints: 104575
1730.07/1734.36 c #Conflicts: 759000 | #Constraints: 105575
1730.07/1734.36 c #Conflicts: 760000 | #Constraints: 106575
1730.07/1734.36 c #Conflicts: 761000 | #Constraints: 107575
1730.07/1734.36 c #Conflicts: 762000 | #Constraints: 108575
1730.07/1734.36 c #Conflicts: 763000 | #Constraints: 109575
1730.07/1734.36 c #Conflicts: 764000 | #Constraints: 110575
1730.07/1734.36 c #Conflicts: 765000 | #Constraints: 111575
1730.07/1734.36 c #Conflicts: 766000 | #Constraints: 112575
1730.07/1734.36 c #Conflicts: 767000 | #Constraints: 113575
1730.07/1734.36 c #Conflicts: 768000 | #Constraints: 114575
1730.07/1734.36 c #Conflicts: 769000 | #Constraints: 115575
1730.07/1734.36 c #Conflicts: 770000 | #Constraints: 116575
1730.07/1734.36 c #Conflicts: 771000 | #Constraints: 117575
1730.07/1734.36 c #Conflicts: 772000 | #Constraints: 118575
1730.07/1734.36 c #Conflicts: 773000 | #Constraints: 119575
1730.07/1734.36 c INPROCESSING
1730.07/1734.36 c GARBAGE COLLECT
1730.07/1734.36 c rational objective 166
1990.35/1995.23 c #Conflicts: 774000 | #Constraints: 71941
1990.35/1995.23 c #Conflicts: 775000 | #Constraints: 72941
1990.35/1995.23 c #Conflicts: 776000 | #Constraints: 73941
1990.35/1995.23 c #Conflicts: 777000 | #Constraints: 74941
1990.35/1995.23 c #Conflicts: 778000 | #Constraints: 75941
1990.35/1995.23 c #Conflicts: 779000 | #Constraints: 76941
1990.35/1995.23 c #Conflicts: 780000 | #Constraints: 77941
1990.35/1995.23 c #Conflicts: 781000 | #Constraints: 78941
1990.35/1995.23 c #Conflicts: 782000 | #Constraints: 79941
1990.35/1995.23 c #Conflicts: 783000 | #Constraints: 80941
1990.35/1995.23 c #Conflicts: 784000 | #Constraints: 81941
1990.35/1995.23 c #Conflicts: 785000 | #Constraints: 82941
1990.35/1995.23 c #Conflicts: 786000 | #Constraints: 83941
1990.35/1995.23 c #Conflicts: 787000 | #Constraints: 84941
1990.35/1995.23 c #Conflicts: 788000 | #Constraints: 85941
1990.35/1995.23 c #Conflicts: 789000 | #Constraints: 86941
1990.35/1995.23 c #Conflicts: 790000 | #Constraints: 87941
1990.35/1995.23 c #Conflicts: 791000 | #Constraints: 88941
1990.35/1995.23 c #Conflicts: 792000 | #Constraints: 89941
1990.35/1995.23 c #Conflicts: 793000 | #Constraints: 90941
1990.35/1995.23 c #Conflicts: 794000 | #Constraints: 91941
1990.35/1995.23 c #Conflicts: 795000 | #Constraints: 92941
1990.35/1995.23 c #Conflicts: 796000 | #Constraints: 93941
1990.35/1995.23 c #Conflicts: 797000 | #Constraints: 94941
1990.35/1995.23 c #Conflicts: 798000 | #Constraints: 95941
1990.35/1995.23 c INPROCESSING
1990.35/1995.23 c GARBAGE COLLECT
1990.35/1995.23 c #Conflicts: 799000 | #Constraints: 66483
1990.35/1995.23 c #Conflicts: 800000 | #Constraints: 67483
1990.35/1995.23 c #Conflicts: 801000 | #Constraints: 68483
1990.35/1995.23 c #Conflicts: 802000 | #Constraints: 69483
1990.35/1995.23 c #Conflicts: 803000 | #Constraints: 70483
1990.35/1995.23 c #Conflicts: 804000 | #Constraints: 71483
1990.35/1995.23 c #Conflicts: 805000 | #Constraints: 72483
1990.35/1995.23 c #Conflicts: 806000 | #Constraints: 73483
1990.35/1995.23 c #Conflicts: 807000 | #Constraints: 74483
1990.35/1995.23 c #Conflicts: 808000 | #Constraints: 75483
1990.35/1995.23 c #Conflicts: 809000 | #Constraints: 76483
1990.35/1995.23 c #Conflicts: 810000 | #Constraints: 77483
1990.35/1995.23 c #Conflicts: 811000 | #Constraints: 78483
1990.35/1995.23 c #Conflicts: 812000 | #Constraints: 79483
1990.35/1995.23 c #Conflicts: 813000 | #Constraints: 80483
1990.35/1995.23 c #Conflicts: 814000 | #Constraints: 81483
1990.35/1995.23 c #Conflicts: 815000 | #Constraints: 82483
1990.35/1995.23 c #Conflicts: 816000 | #Constraints: 83483
1990.35/1995.23 c #Conflicts: 817000 | #Constraints: 84483
1990.35/1995.23 c #Conflicts: 818000 | #Constraints: 85483
1990.35/1995.23 c #Conflicts: 819000 | #Constraints: 86483
1990.35/1995.23 c #Conflicts: 820000 | #Constraints: 87483
1990.35/1995.23 c #Conflicts: 821000 | #Constraints: 88483
1990.35/1995.23 c #Conflicts: 822000 | #Constraints: 89483
1990.35/1995.23 c #Conflicts: 823000 | #Constraints: 90483
1990.35/1995.23 c #Conflicts: 824000 | #Constraints: 91483
1990.35/1995.23 c #Conflicts: 825000 | #Constraints: 92483
1990.35/1995.23 c #Conflicts: 826000 | #Constraints: 93483
1990.35/1995.23 c #Conflicts: 827000 | #Constraints: 94483
1990.35/1995.23 c #Conflicts: 828000 | #Constraints: 95483
1990.35/1995.23 c #Conflicts: 829000 | #Constraints: 96483
1990.35/1995.23 c #Conflicts: 830000 | #Constraints: 97483
1990.35/1995.23 c #Conflicts: 831000 | #Constraints: 98483
1990.35/1995.23 c #Conflicts: 832000 | #Constraints: 99483
1990.35/1995.23 c #Conflicts: 833000 | #Constraints: 100483
1990.35/1995.23 c #Conflicts: 834000 | #Constraints: 101483
1990.35/1995.23 c #Conflicts: 835000 | #Constraints: 102483
1990.35/1995.23 c #Conflicts: 836000 | #Constraints: 103483
1990.35/1995.23 c #Conflicts: 837000 | #Constraints: 104483
1990.35/1995.23 c #Conflicts: 838000 | #Constraints: 105483
1990.35/1995.23 c #Conflicts: 839000 | #Constraints: 106483
1990.35/1995.23 c #Conflicts: 840000 | #Constraints: 107483
1990.35/1995.23 c #Conflicts: 841000 | #Constraints: 108483
1990.35/1995.23 c #Conflicts: 842000 | #Constraints: 109483
1990.35/1995.23 c #Conflicts: 843000 | #Constraints: 110483
1990.35/1995.23 c #Conflicts: 844000 | #Constraints: 111483
1990.35/1995.23 c #Conflicts: 845000 | #Constraints: 112483
1990.35/1995.23 c #Conflicts: 846000 | #Constraints: 113483
1990.35/1995.23 c #Conflicts: 847000 | #Constraints: 114483
1990.35/1995.23 c #Conflicts: 848000 | #Constraints: 115483
1990.35/1995.23 c #Conflicts: 849000 | #Constraints: 116483
1990.35/1995.23 c #Conflicts: 850000 | #Constraints: 117483
1990.35/1995.23 c #Conflicts: 851000 | #Constraints: 118483
1990.35/1995.23 c #Conflicts: 852000 | #Constraints: 119483
2180.90/2186.27 c #Conflicts: 853000 | #Constraints: 120483
2180.90/2186.27 c #Conflicts: 854000 | #Constraints: 121483
2180.90/2186.27 c #Conflicts: 855000 | #Constraints: 122483
2180.90/2186.27 c #Conflicts: 856000 | #Constraints: 123483
2180.90/2186.27 c #Conflicts: 857000 | #Constraints: 124483
2180.90/2186.27 c #Conflicts: 858000 | #Constraints: 125483
2180.90/2186.27 c INPROCESSING
2180.90/2186.27 c GARBAGE COLLECT
2180.90/2186.27 c #Conflicts: 859000 | #Constraints: 75160
2180.90/2186.27 c #Conflicts: 860000 | #Constraints: 76160
2180.90/2186.27 c #Conflicts: 861000 | #Constraints: 77160
2180.90/2186.27 c #Conflicts: 862000 | #Constraints: 78160
2180.90/2186.27 c #Conflicts: 863000 | #Constraints: 79160
2180.90/2186.27 c #Conflicts: 864000 | #Constraints: 80160
2180.90/2186.27 c #Conflicts: 865000 | #Constraints: 81161
2180.90/2186.27 c #Conflicts: 866000 | #Constraints: 82161
2180.90/2186.27 c #Conflicts: 867000 | #Constraints: 83161
2180.90/2186.27 c #Conflicts: 868000 | #Constraints: 84161
2180.90/2186.27 c #Conflicts: 869000 | #Constraints: 85161
2180.90/2186.27 c #Conflicts: 870000 | #Constraints: 86161
2180.90/2186.27 c #Conflicts: 871000 | #Constraints: 87161
2180.90/2186.27 c #Conflicts: 872000 | #Constraints: 88161
2180.90/2186.27 c #Conflicts: 873000 | #Constraints: 89161
2180.90/2186.27 c #Conflicts: 874000 | #Constraints: 90161
2180.90/2186.27 c #Conflicts: 875000 | #Constraints: 91161
2180.90/2186.27 c #Conflicts: 876000 | #Constraints: 92161
2180.90/2186.27 c #Conflicts: 877000 | #Constraints: 93161
2180.90/2186.27 c #Conflicts: 878000 | #Constraints: 94161
2180.90/2186.27 c #Conflicts: 879000 | #Constraints: 95161
2180.90/2186.27 c #Conflicts: 880000 | #Constraints: 96161
2180.90/2186.27 c #Conflicts: 881000 | #Constraints: 97161
2180.90/2186.27 c #Conflicts: 882000 | #Constraints: 98161
2180.90/2186.27 c #Conflicts: 883000 | #Constraints: 99161
2180.90/2186.27 c #Conflicts: 884000 | #Constraints: 100161
2180.90/2186.27 c INPROCESSING
2180.90/2186.27 c GARBAGE COLLECT
2180.90/2186.27 c #Conflicts: 885000 | #Constraints: 69076
2180.90/2186.27 c #Conflicts: 886000 | #Constraints: 70076
2180.90/2186.27 c #Conflicts: 887000 | #Constraints: 71076
2180.90/2186.27 c #Conflicts: 888000 | #Constraints: 72076
2180.90/2186.27 c #Conflicts: 889000 | #Constraints: 73076
2180.90/2186.27 c #Conflicts: 890000 | #Constraints: 74076
2180.90/2186.27 c #Conflicts: 891000 | #Constraints: 75076
2180.90/2186.27 c #Conflicts: 892000 | #Constraints: 76076
2180.90/2186.27 c #Conflicts: 893000 | #Constraints: 77076
2180.90/2186.27 c #Conflicts: 894000 | #Constraints: 78076
2180.90/2186.27 c #Conflicts: 895000 | #Constraints: 79076
2180.90/2186.27 c #Conflicts: 896000 | #Constraints: 80076
2180.90/2186.27 c #Conflicts: 897000 | #Constraints: 81076
2180.90/2186.27 c #Conflicts: 898000 | #Constraints: 82076
2180.90/2186.27 c #Conflicts: 899000 | #Constraints: 83076
2180.90/2186.27 c #Conflicts: 900000 | #Constraints: 84076
2180.90/2186.27 c #Conflicts: 901000 | #Constraints: 85076
2180.90/2186.27 c #Conflicts: 902000 | #Constraints: 86076
2180.90/2186.27 c #Conflicts: 903000 | #Constraints: 87076
2180.90/2186.27 c #Conflicts: 904000 | #Constraints: 88076
2180.90/2186.27 c #Conflicts: 905000 | #Constraints: 89076
2180.90/2186.27 c #Conflicts: 906000 | #Constraints: 90076
2180.90/2186.27 c #Conflicts: 907000 | #Constraints: 91076
2180.90/2186.27 c #Conflicts: 908000 | #Constraints: 92076
2180.90/2186.27 c #Conflicts: 909000 | #Constraints: 93076
2180.90/2186.27 c #Conflicts: 910000 | #Constraints: 94076
2180.90/2186.27 c #Conflicts: 911000 | #Constraints: 95076
2180.90/2186.27 c #Conflicts: 912000 | #Constraints: 96076
2180.90/2186.27 c #Conflicts: 913000 | #Constraints: 97076
2180.90/2186.27 c #Conflicts: 914000 | #Constraints: 98076
2180.90/2186.27 c #Conflicts: 915000 | #Constraints: 99076
2180.90/2186.27 c #Conflicts: 916000 | #Constraints: 100076
2180.90/2186.27 c #Conflicts: 917000 | #Constraints: 101076
2180.90/2186.27 c #Conflicts: 918000 | #Constraints: 102076
2180.90/2186.27 c #Conflicts: 919000 | #Constraints: 103076
2180.90/2186.27 c #Conflicts: 920000 | #Constraints: 104076
2180.90/2186.27 c #Conflicts: 921000 | #Constraints: 105076
2180.90/2186.27 c #Conflicts: 922000 | #Constraints: 106076
2180.90/2186.27 c #Conflicts: 923000 | #Constraints: 107076
2180.90/2186.27 c #Conflicts: 924000 | #Constraints: 108076
2180.90/2186.27 c #Conflicts: 925000 | #Constraints: 109076
2180.90/2186.27 c #Conflicts: 926000 | #Constraints: 110076
2180.90/2186.27 c #Conflicts: 927000 | #Constraints: 111076
2180.90/2186.27 c #Conflicts: 928000 | #Constraints: 112076
2180.90/2186.27 c #Conflicts: 929000 | #Constraints: 113076
2393.20/2399.10 c #Conflicts: 930000 | #Constraints: 114076
2393.20/2399.10 c #Conflicts: 931000 | #Constraints: 115076
2393.20/2399.10 c #Conflicts: 932000 | #Constraints: 116076
2393.20/2399.10 c #Conflicts: 933000 | #Constraints: 117076
2393.20/2399.10 c #Conflicts: 934000 | #Constraints: 118076
2393.20/2399.10 c #Conflicts: 935000 | #Constraints: 119076
2393.20/2399.10 c #Conflicts: 936000 | #Constraints: 120076
2393.20/2399.10 c #Conflicts: 937000 | #Constraints: 121076
2393.20/2399.10 c #Conflicts: 938000 | #Constraints: 122076
2393.20/2399.10 c #Conflicts: 939000 | #Constraints: 123076
2393.20/2399.10 c #Conflicts: 940000 | #Constraints: 124076
2393.20/2399.10 c #Conflicts: 941000 | #Constraints: 125076
2393.20/2399.10 c #Conflicts: 942000 | #Constraints: 126076
2393.20/2399.10 c #Conflicts: 943000 | #Constraints: 127076
2393.20/2399.10 c #Conflicts: 944000 | #Constraints: 128076
2393.20/2399.10 c #Conflicts: 945000 | #Constraints: 129076
2393.20/2399.10 c #Conflicts: 946000 | #Constraints: 130076
2393.20/2399.10 c #Conflicts: 947000 | #Constraints: 131076
2393.20/2399.10 c INPROCESSING
2393.20/2399.10 c GARBAGE COLLECT
2393.20/2399.10 c #Conflicts: 948000 | #Constraints: 77812
2393.20/2399.10 c #Conflicts: 949000 | #Constraints: 78812
2393.20/2399.10 c #Conflicts: 950000 | #Constraints: 79812
2393.20/2399.10 c #Conflicts: 951000 | #Constraints: 80812
2393.20/2399.10 c #Conflicts: 952000 | #Constraints: 81812
2393.20/2399.10 c #Conflicts: 953000 | #Constraints: 82812
2393.20/2399.10 c #Conflicts: 954000 | #Constraints: 83812
2393.20/2399.10 c #Conflicts: 955000 | #Constraints: 84812
2393.20/2399.10 c #Conflicts: 956000 | #Constraints: 85812
2393.20/2399.10 c #Conflicts: 957000 | #Constraints: 86812
2393.20/2399.10 c #Conflicts: 958000 | #Constraints: 87812
2393.20/2399.10 c #Conflicts: 959000 | #Constraints: 88812
2393.20/2399.10 c #Conflicts: 960000 | #Constraints: 89812
2393.20/2399.10 c #Conflicts: 961000 | #Constraints: 90812
2393.20/2399.10 c #Conflicts: 962000 | #Constraints: 91812
2393.20/2399.10 c #Conflicts: 963000 | #Constraints: 92812
2393.20/2399.10 c #Conflicts: 964000 | #Constraints: 93812
2393.20/2399.10 c #Conflicts: 965000 | #Constraints: 94812
2393.20/2399.10 c #Conflicts: 966000 | #Constraints: 95812
2393.20/2399.10 c #Conflicts: 967000 | #Constraints: 96812
2393.20/2399.10 c #Conflicts: 968000 | #Constraints: 97812
2393.20/2399.10 c #Conflicts: 969000 | #Constraints: 98812
2393.20/2399.10 c #Conflicts: 970000 | #Constraints: 99812
2393.20/2399.10 c #Conflicts: 971000 | #Constraints: 100812
2393.20/2399.10 c #Conflicts: 972000 | #Constraints: 101812
2393.20/2399.10 c #Conflicts: 973000 | #Constraints: 102812
2393.20/2399.10 c #Conflicts: 974000 | #Constraints: 103812
2393.20/2399.10 c INPROCESSING
2393.20/2399.10 c GARBAGE COLLECT
2393.20/2399.10 c #Conflicts: 975000 | #Constraints: 70937
2393.20/2399.10 c #Conflicts: 976000 | #Constraints: 71937
2393.20/2399.10 c #Conflicts: 977000 | #Constraints: 72937
2393.20/2399.10 c #Conflicts: 978000 | #Constraints: 73937
2393.20/2399.10 c #Conflicts: 979000 | #Constraints: 74937
2393.20/2399.10 c #Conflicts: 980000 | #Constraints: 75937
2393.20/2399.10 c #Conflicts: 981000 | #Constraints: 76937
2393.20/2399.10 c #Conflicts: 982000 | #Constraints: 77937
2393.20/2399.10 c #Conflicts: 983000 | #Constraints: 78937
2393.20/2399.10 c #Conflicts: 984000 | #Constraints: 79937
2393.20/2399.10 c #Conflicts: 985000 | #Constraints: 80937
2393.20/2399.10 c #Conflicts: 986000 | #Constraints: 81937
2393.20/2399.10 c #Conflicts: 987000 | #Constraints: 82937
2393.20/2399.10 c #Conflicts: 988000 | #Constraints: 83937
2393.20/2399.10 c #Conflicts: 989000 | #Constraints: 84937
2393.20/2399.10 c #Conflicts: 990000 | #Constraints: 85937
2393.20/2399.10 c #Conflicts: 991000 | #Constraints: 86937
2393.20/2399.10 c #Conflicts: 992000 | #Constraints: 87937
2393.20/2399.10 c #Conflicts: 993000 | #Constraints: 88937
2393.20/2399.10 c #Conflicts: 994000 | #Constraints: 89937
2393.20/2399.10 c #Conflicts: 995000 | #Constraints: 90937
2393.20/2399.10 c #Conflicts: 996000 | #Constraints: 91937
2393.20/2399.10 c #Conflicts: 997000 | #Constraints: 92937
2393.20/2399.10 c #Conflicts: 998000 | #Constraints: 93937
2393.20/2399.10 c #Conflicts: 999000 | #Constraints: 94937
2393.20/2399.10 c #Conflicts: 1000000 | #Constraints: 95937
2393.20/2399.10 c #Conflicts: 1001000 | #Constraints: 96937
2393.20/2399.10 c #Conflicts: 1002000 | #Constraints: 97937
2393.20/2399.10 c #Conflicts: 1003000 | #Constraints: 98937
2393.20/2399.10 c #Conflicts: 1004000 | #Constraints: 99937
2393.20/2399.10 c #Conflicts: 1005000 | #Constraints: 100937
2393.20/2399.10 c #Conflicts: 1006000 | #Constraints: 101937
2393.20/2399.10 c #Conflicts: 1007000 | #Constraints: 102937
2616.66/2623.02 c #Conflicts: 1008000 | #Constraints: 103937
2616.66/2623.02 c #Conflicts: 1009000 | #Constraints: 104937
2616.66/2623.02 c #Conflicts: 1010000 | #Constraints: 105937
2616.66/2623.02 c #Conflicts: 1011000 | #Constraints: 106937
2616.66/2623.02 c #Conflicts: 1012000 | #Constraints: 107937
2616.66/2623.02 c #Conflicts: 1013000 | #Constraints: 108937
2616.66/2623.02 c #Conflicts: 1014000 | #Constraints: 109937
2616.66/2623.02 c #Conflicts: 1015000 | #Constraints: 110937
2616.66/2623.02 c #Conflicts: 1016000 | #Constraints: 111937
2616.66/2623.02 c #Conflicts: 1017000 | #Constraints: 112937
2616.66/2623.02 c #Conflicts: 1018000 | #Constraints: 113937
2616.66/2623.02 c #Conflicts: 1019000 | #Constraints: 114937
2616.66/2623.02 c #Conflicts: 1020000 | #Constraints: 115937
2616.66/2623.02 c #Conflicts: 1021000 | #Constraints: 116938
2616.66/2623.02 c #Conflicts: 1022000 | #Constraints: 117938
2616.66/2623.02 c #Conflicts: 1023000 | #Constraints: 118938
2616.66/2623.02 c #Conflicts: 1024000 | #Constraints: 119938
2616.66/2623.02 c #Conflicts: 1025000 | #Constraints: 120938
2616.66/2623.02 c #Conflicts: 1026000 | #Constraints: 121938
2616.66/2623.02 c #Conflicts: 1027000 | #Constraints: 122938
2616.66/2623.02 c #Conflicts: 1028000 | #Constraints: 123938
2616.66/2623.02 c #Conflicts: 1029000 | #Constraints: 124938
2616.66/2623.02 c #Conflicts: 1030000 | #Constraints: 125938
2616.66/2623.02 c #Conflicts: 1031000 | #Constraints: 126938
2616.66/2623.02 c #Conflicts: 1032000 | #Constraints: 127938
2616.66/2623.02 c #Conflicts: 1033000 | #Constraints: 128938
2616.66/2623.02 c #Conflicts: 1034000 | #Constraints: 129938
2616.66/2623.02 c #Conflicts: 1035000 | #Constraints: 130938
2616.66/2623.02 c #Conflicts: 1036000 | #Constraints: 131938
2616.66/2623.02 c #Conflicts: 1037000 | #Constraints: 132938
2616.66/2623.02 c #Conflicts: 1038000 | #Constraints: 133938
2616.66/2623.02 c #Conflicts: 1039000 | #Constraints: 134938
2616.66/2623.02 c #Conflicts: 1040000 | #Constraints: 135938
2616.66/2623.02 c INPROCESSING
2616.66/2623.02 c GARBAGE COLLECT
2616.66/2623.02 c #Conflicts: 1041000 | #Constraints: 79893
2616.66/2623.02 c #Conflicts: 1042000 | #Constraints: 80893
2616.66/2623.02 c #Conflicts: 1043000 | #Constraints: 81893
2616.66/2623.02 c #Conflicts: 1044000 | #Constraints: 82893
2616.66/2623.02 c #Conflicts: 1045000 | #Constraints: 83893
2616.66/2623.02 c #Conflicts: 1046000 | #Constraints: 84893
2616.66/2623.02 c #Conflicts: 1047000 | #Constraints: 85893
2616.66/2623.02 c #Conflicts: 1048000 | #Constraints: 86893
2616.66/2623.02 c #Conflicts: 1049000 | #Constraints: 87893
2616.66/2623.02 c #Conflicts: 1050000 | #Constraints: 88893
2616.66/2623.02 c #Conflicts: 1051000 | #Constraints: 89893
2616.66/2623.02 c #Conflicts: 1052000 | #Constraints: 90894
2616.66/2623.02 c #Conflicts: 1053000 | #Constraints: 91894
2616.66/2623.02 c #Conflicts: 1054000 | #Constraints: 92894
2616.66/2623.02 c #Conflicts: 1055000 | #Constraints: 93894
2616.66/2623.02 c #Conflicts: 1056000 | #Constraints: 94894
2616.66/2623.02 c #Conflicts: 1057000 | #Constraints: 95895
2616.66/2623.02 c #Conflicts: 1058000 | #Constraints: 96895
2616.66/2623.02 c #Conflicts: 1059000 | #Constraints: 97895
2616.66/2623.02 c #Conflicts: 1060000 | #Constraints: 98895
2616.66/2623.02 c #Conflicts: 1061000 | #Constraints: 99895
2616.66/2623.02 c #Conflicts: 1062000 | #Constraints: 100895
2616.66/2623.02 c #Conflicts: 1063000 | #Constraints: 101895
2616.66/2623.02 c #Conflicts: 1064000 | #Constraints: 102895
2616.66/2623.02 c #Conflicts: 1065000 | #Constraints: 103895
2616.66/2623.02 c #Conflicts: 1066000 | #Constraints: 104895
2616.66/2623.02 c #Conflicts: 1067000 | #Constraints: 105895
2616.66/2623.02 c #Conflicts: 1068000 | #Constraints: 106895
2616.66/2623.02 c #Conflicts: 1069000 | #Constraints: 107895
2616.66/2623.02 c INPROCESSING
2616.66/2623.02 c GARBAGE COLLECT
2616.66/2623.02 c #Conflicts: 1070000 | #Constraints: 72841
2616.66/2623.02 c #Conflicts: 1071000 | #Constraints: 73841
2616.66/2623.02 c #Conflicts: 1072000 | #Constraints: 74841
2616.66/2623.02 c #Conflicts: 1073000 | #Constraints: 75841
2616.66/2623.02 c #Conflicts: 1074000 | #Constraints: 76841
2616.66/2623.02 c #Conflicts: 1075000 | #Constraints: 77841
2616.66/2623.02 c #Conflicts: 1076000 | #Constraints: 78841
2616.66/2623.02 c #Conflicts: 1077000 | #Constraints: 79841
2616.66/2623.02 c #Conflicts: 1078000 | #Constraints: 80841
2616.66/2623.02 c #Conflicts: 1079000 | #Constraints: 81841
2616.66/2623.02 c #Conflicts: 1080000 | #Constraints: 82841
2616.66/2623.02 c #Conflicts: 1081000 | #Constraints: 83841
2616.66/2623.02 c #Conflicts: 1082000 | #Constraints: 84841
2616.66/2623.02 c #Conflicts: 1083000 | #Constraints: 85841
2616.66/2623.02 c #Conflicts: 1084000 | #Constraints: 86841
2900.99/2908.09 c #Conflicts: 1085000 | #Constraints: 87841
2900.99/2908.09 c #Conflicts: 1086000 | #Constraints: 88841
2900.99/2908.09 c #Conflicts: 1087000 | #Constraints: 89841
2900.99/2908.09 c #Conflicts: 1088000 | #Constraints: 90841
2900.99/2908.09 c #Conflicts: 1089000 | #Constraints: 91841
2900.99/2908.09 c #Conflicts: 1090000 | #Constraints: 92841
2900.99/2908.09 c #Conflicts: 1091000 | #Constraints: 93841
2900.99/2908.09 c #Conflicts: 1092000 | #Constraints: 94841
2900.99/2908.09 c #Conflicts: 1093000 | #Constraints: 95841
2900.99/2908.09 c #Conflicts: 1094000 | #Constraints: 96841
2900.99/2908.09 c #Conflicts: 1095000 | #Constraints: 97841
2900.99/2908.09 c #Conflicts: 1096000 | #Constraints: 98841
2900.99/2908.09 c #Conflicts: 1097000 | #Constraints: 99841
2900.99/2908.09 c #Conflicts: 1098000 | #Constraints: 100841
2900.99/2908.09 c #Conflicts: 1099000 | #Constraints: 101841
2900.99/2908.09 c #Conflicts: 1100000 | #Constraints: 102841
2900.99/2908.09 c #Conflicts: 1101000 | #Constraints: 103841
2900.99/2908.09 c #Conflicts: 1102000 | #Constraints: 104841
2900.99/2908.09 c #Conflicts: 1103000 | #Constraints: 105841
2900.99/2908.09 c #Conflicts: 1104000 | #Constraints: 106841
2900.99/2908.09 c #Conflicts: 1105000 | #Constraints: 107841
2900.99/2908.09 c #Conflicts: 1106000 | #Constraints: 108841
2900.99/2908.09 c #Conflicts: 1107000 | #Constraints: 109841
2900.99/2908.09 c #Conflicts: 1108000 | #Constraints: 110841
2900.99/2908.09 c #Conflicts: 1109000 | #Constraints: 111841
2900.99/2908.09 c #Conflicts: 1110000 | #Constraints: 112841
2900.99/2908.09 c #Conflicts: 1111000 | #Constraints: 113841
2900.99/2908.09 c #Conflicts: 1112000 | #Constraints: 114841
2900.99/2908.09 c #Conflicts: 1113000 | #Constraints: 115841
2900.99/2908.09 c #Conflicts: 1114000 | #Constraints: 116841
2900.99/2908.09 c #Conflicts: 1115000 | #Constraints: 117841
2900.99/2908.09 c #Conflicts: 1116000 | #Constraints: 118841
2900.99/2908.09 c #Conflicts: 1117000 | #Constraints: 119841
2900.99/2908.09 c #Conflicts: 1118000 | #Constraints: 120841
2900.99/2908.09 c #Conflicts: 1119000 | #Constraints: 121841
2900.99/2908.09 c #Conflicts: 1120000 | #Constraints: 122841
2900.99/2908.09 c #Conflicts: 1121000 | #Constraints: 123841
2900.99/2908.09 c #Conflicts: 1122000 | #Constraints: 124841
2900.99/2908.09 c #Conflicts: 1123000 | #Constraints: 125841
2900.99/2908.09 c #Conflicts: 1124000 | #Constraints: 126841
2900.99/2908.09 c #Conflicts: 1125000 | #Constraints: 127841
2900.99/2908.09 c #Conflicts: 1126000 | #Constraints: 128841
2900.99/2908.09 c #Conflicts: 1127000 | #Constraints: 129841
2900.99/2908.09 c #Conflicts: 1128000 | #Constraints: 130841
2900.99/2908.09 c #Conflicts: 1129000 | #Constraints: 131841
2900.99/2908.09 c #Conflicts: 1130000 | #Constraints: 132841
2900.99/2908.09 c #Conflicts: 1131000 | #Constraints: 133841
2900.99/2908.09 c #Conflicts: 1132000 | #Constraints: 134841
2900.99/2908.09 c #Conflicts: 1133000 | #Constraints: 135841
2900.99/2908.09 c #Conflicts: 1134000 | #Constraints: 136841
2900.99/2908.09 c #Conflicts: 1135000 | #Constraints: 137841
2900.99/2908.09 c #Conflicts: 1136000 | #Constraints: 138842
2900.99/2908.09 c #Conflicts: 1137000 | #Constraints: 139842
2900.99/2908.09 c #Conflicts: 1138000 | #Constraints: 140843
2900.99/2908.09 c INPROCESSING
2900.99/2908.09 c GARBAGE COLLECT
2900.99/2908.09 c #Conflicts: 1139000 | #Constraints: 82492
2900.99/2908.09 c #Conflicts: 1140000 | #Constraints: 83492
2900.99/2908.09 c #Conflicts: 1141000 | #Constraints: 84492
2900.99/2908.09 c #Conflicts: 1142000 | #Constraints: 85492
2900.99/2908.09 c #Conflicts: 1143000 | #Constraints: 86492
2900.99/2908.09 c #Conflicts: 1144000 | #Constraints: 87492
2900.99/2908.09 c #Conflicts: 1145000 | #Constraints: 88492
2900.99/2908.09 c #Conflicts: 1146000 | #Constraints: 89492
2900.99/2908.09 c #Conflicts: 1147000 | #Constraints: 90492
2900.99/2908.09 c #Conflicts: 1148000 | #Constraints: 91492
2900.99/2908.09 c #Conflicts: 1149000 | #Constraints: 92492
2900.99/2908.09 c #Conflicts: 1150000 | #Constraints: 93492
2900.99/2908.09 c #Conflicts: 1151000 | #Constraints: 94492
2900.99/2908.09 c #Conflicts: 1152000 | #Constraints: 95492
2900.99/2908.09 c #Conflicts: 1153000 | #Constraints: 96492
2900.99/2908.09 c #Conflicts: 1154000 | #Constraints: 97492
2900.99/2908.09 c #Conflicts: 1155000 | #Constraints: 98492
2900.99/2908.09 c #Conflicts: 1156000 | #Constraints: 99492
2900.99/2908.09 c #Conflicts: 1157000 | #Constraints: 100492
2900.99/2908.09 c #Conflicts: 1158000 | #Constraints: 101492
2900.99/2908.09 c #Conflicts: 1159000 | #Constraints: 102492
2900.99/2908.09 c #Conflicts: 1160000 | #Constraints: 103492
2900.99/2908.09 c #Conflicts: 1161000 | #Constraints: 104492
2900.99/2908.09 c #Conflicts: 1162000 | #Constraints: 105492
3145.70/3153.30 c #Conflicts: 1163000 | #Constraints: 106492
3145.70/3153.30 c #Conflicts: 1164000 | #Constraints: 107492
3145.70/3153.30 c #Conflicts: 1165000 | #Constraints: 108492
3145.70/3153.30 c #Conflicts: 1166000 | #Constraints: 109492
3145.70/3153.30 c #Conflicts: 1167000 | #Constraints: 110492
3145.70/3153.30 c #Conflicts: 1168000 | #Constraints: 111492
3145.70/3153.30 c INPROCESSING
3145.70/3153.30 c GARBAGE COLLECT
3145.70/3153.30 c #Conflicts: 1169000 | #Constraints: 74735
3145.70/3153.30 c #Conflicts: 1170000 | #Constraints: 75735
3145.70/3153.30 c #Conflicts: 1171000 | #Constraints: 76735
3145.70/3153.30 c #Conflicts: 1172000 | #Constraints: 77735
3145.70/3153.30 c #Conflicts: 1173000 | #Constraints: 78735
3145.70/3153.30 c #Conflicts: 1174000 | #Constraints: 79735
3145.70/3153.30 c #Conflicts: 1175000 | #Constraints: 80735
3145.70/3153.30 c #Conflicts: 1176000 | #Constraints: 81735
3145.70/3153.30 c #Conflicts: 1177000 | #Constraints: 82735
3145.70/3153.30 c #Conflicts: 1178000 | #Constraints: 83735
3145.70/3153.30 c #Conflicts: 1179000 | #Constraints: 84735
3145.70/3153.30 c #Conflicts: 1180000 | #Constraints: 85735
3145.70/3153.30 c #Conflicts: 1181000 | #Constraints: 86735
3145.70/3153.30 c #Conflicts: 1182000 | #Constraints: 87735
3145.70/3153.30 c #Conflicts: 1183000 | #Constraints: 88735
3145.70/3153.30 c #Conflicts: 1184000 | #Constraints: 89735
3145.70/3153.30 c #Conflicts: 1185000 | #Constraints: 90735
3145.70/3153.30 c #Conflicts: 1186000 | #Constraints: 91735
3145.70/3153.30 c #Conflicts: 1187000 | #Constraints: 92735
3145.70/3153.30 c #Conflicts: 1188000 | #Constraints: 93735
3145.70/3153.30 c #Conflicts: 1189000 | #Constraints: 94735
3145.70/3153.30 c #Conflicts: 1190000 | #Constraints: 95735
3145.70/3153.30 c #Conflicts: 1191000 | #Constraints: 96735
3145.70/3153.30 c #Conflicts: 1192000 | #Constraints: 97735
3145.70/3153.30 c #Conflicts: 1193000 | #Constraints: 98735
3145.70/3153.30 c #Conflicts: 1194000 | #Constraints: 99735
3145.70/3153.30 c #Conflicts: 1195000 | #Constraints: 100735
3145.70/3153.30 c #Conflicts: 1196000 | #Constraints: 101735
3145.70/3153.30 c #Conflicts: 1197000 | #Constraints: 102735
3145.70/3153.30 c #Conflicts: 1198000 | #Constraints: 103735
3145.70/3153.30 c #Conflicts: 1199000 | #Constraints: 104735
3145.70/3153.30 c #Conflicts: 1200000 | #Constraints: 105735
3145.70/3153.30 c #Conflicts: 1201000 | #Constraints: 106735
3145.70/3153.30 c #Conflicts: 1202000 | #Constraints: 107735
3145.70/3153.30 c #Conflicts: 1203000 | #Constraints: 108735
3145.70/3153.30 c #Conflicts: 1204000 | #Constraints: 109735
3145.70/3153.30 c #Conflicts: 1205000 | #Constraints: 110735
3145.70/3153.30 c #Conflicts: 1206000 | #Constraints: 111735
3145.70/3153.30 c #Conflicts: 1207000 | #Constraints: 112735
3145.70/3153.30 c #Conflicts: 1208000 | #Constraints: 113735
3145.70/3153.30 c #Conflicts: 1209000 | #Constraints: 114735
3145.70/3153.30 c #Conflicts: 1210000 | #Constraints: 115735
3145.70/3153.30 c #Conflicts: 1211000 | #Constraints: 116735
3145.70/3153.30 c #Conflicts: 1212000 | #Constraints: 117735
3145.70/3153.30 c #Conflicts: 1213000 | #Constraints: 118735
3145.70/3153.30 c #Conflicts: 1214000 | #Constraints: 119735
3145.70/3153.30 c #Conflicts: 1215000 | #Constraints: 120735
3145.70/3153.30 c #Conflicts: 1216000 | #Constraints: 121735
3145.70/3153.30 c #Conflicts: 1217000 | #Constraints: 122735
3145.70/3153.30 c #Conflicts: 1218000 | #Constraints: 123736
3145.70/3153.30 c #Conflicts: 1219000 | #Constraints: 124737
3145.70/3153.30 c #Conflicts: 1220000 | #Constraints: 125737
3145.70/3153.30 c #Conflicts: 1221000 | #Constraints: 126738
3145.70/3153.30 c #Conflicts: 1222000 | #Constraints: 127747
3145.70/3153.30 c #Conflicts: 1223000 | #Constraints: 128747
3145.70/3153.30 c #Conflicts: 1224000 | #Constraints: 129747
3145.70/3153.30 c #Conflicts: 1225000 | #Constraints: 130747
3145.70/3153.30 c #Conflicts: 1226000 | #Constraints: 131747
3145.70/3153.30 c #Conflicts: 1227000 | #Constraints: 132747
3145.70/3153.30 c #Conflicts: 1228000 | #Constraints: 133747
3145.70/3153.30 c #Conflicts: 1229000 | #Constraints: 134747
3145.70/3153.30 c #Conflicts: 1230000 | #Constraints: 135747
3145.70/3153.30 c #Conflicts: 1231000 | #Constraints: 136747
3145.70/3153.30 c #Conflicts: 1232000 | #Constraints: 137747
3145.70/3153.30 c #Conflicts: 1233000 | #Constraints: 138747
3145.70/3153.30 c #Conflicts: 1234000 | #Constraints: 139747
3145.70/3153.30 c #Conflicts: 1235000 | #Constraints: 140747
3145.70/3153.30 c #Conflicts: 1236000 | #Constraints: 141747
3145.70/3153.30 c #Conflicts: 1237000 | #Constraints: 142747
3145.70/3153.30 c #Conflicts: 1238000 | #Constraints: 143747
3145.70/3153.30 c #Conflicts: 1239000 | #Constraints: 144747
3145.70/3153.30 c #Conflicts: 1240000 | #Constraints: 145747
3322.44/3330.53 c INPROCESSING
3322.44/3330.53 c GARBAGE COLLECT
3322.44/3330.53 c #Conflicts: 1241000 | #Constraints: 84892
3322.44/3330.53 c #Conflicts: 1242000 | #Constraints: 85892
3322.44/3330.53 c #Conflicts: 1243000 | #Constraints: 86892
3322.44/3330.53 c #Conflicts: 1244000 | #Constraints: 87892
3322.44/3330.53 c #Conflicts: 1245000 | #Constraints: 88892
3322.44/3330.53 c #Conflicts: 1246000 | #Constraints: 89892
3322.44/3330.53 c #Conflicts: 1247000 | #Constraints: 90892
3322.44/3330.53 c #Conflicts: 1248000 | #Constraints: 91892
3322.44/3330.53 c #Conflicts: 1249000 | #Constraints: 92892
3322.44/3330.53 c #Conflicts: 1250000 | #Constraints: 93892
3322.44/3330.53 c #Conflicts: 1251000 | #Constraints: 94892
3322.44/3330.53 c #Conflicts: 1252000 | #Constraints: 95892
3322.44/3330.53 c #Conflicts: 1253000 | #Constraints: 96892
3322.44/3330.53 c #Conflicts: 1254000 | #Constraints: 97892
3322.44/3330.53 c #Conflicts: 1255000 | #Constraints: 98892
3322.44/3330.53 c #Conflicts: 1256000 | #Constraints: 99892
3322.44/3330.53 c #Conflicts: 1257000 | #Constraints: 100892
3322.44/3330.53 c #Conflicts: 1258000 | #Constraints: 101892
3322.44/3330.53 c #Conflicts: 1259000 | #Constraints: 102892
3322.44/3330.53 c #Conflicts: 1260000 | #Constraints: 103892
3322.44/3330.53 c #Conflicts: 1261000 | #Constraints: 104892
3322.44/3330.53 c #Conflicts: 1262000 | #Constraints: 105892
3322.44/3330.53 c #Conflicts: 1263000 | #Constraints: 106892
3322.44/3330.53 c #Conflicts: 1264000 | #Constraints: 107892
3322.44/3330.53 c #Conflicts: 1265000 | #Constraints: 108892
3322.44/3330.53 c #Conflicts: 1266000 | #Constraints: 109892
3322.44/3330.53 c #Conflicts: 1267000 | #Constraints: 110892
3322.44/3330.53 c #Conflicts: 1268000 | #Constraints: 111892
3322.44/3330.53 c #Conflicts: 1269000 | #Constraints: 112892
3322.44/3330.53 c #Conflicts: 1270000 | #Constraints: 113892
3322.44/3330.53 c #Conflicts: 1271000 | #Constraints: 114892
3322.44/3330.53 c #Conflicts: 1272000 | #Constraints: 115892
3322.44/3330.53 c INPROCESSING
3322.44/3330.53 c GARBAGE COLLECT
3322.44/3330.53 c #Conflicts: 1273000 | #Constraints: 77982
3322.44/3330.53 c #Conflicts: 1274000 | #Constraints: 78982
3322.44/3330.53 c #Conflicts: 1275000 | #Constraints: 79982
3322.44/3330.53 c #Conflicts: 1276000 | #Constraints: 80982
3322.44/3330.53 c #Conflicts: 1277000 | #Constraints: 81982
3322.44/3330.53 c #Conflicts: 1278000 | #Constraints: 82982
3322.44/3330.53 c #Conflicts: 1279000 | #Constraints: 83982
3322.44/3330.53 c #Conflicts: 1280000 | #Constraints: 84982
3322.44/3330.53 c #Conflicts: 1281000 | #Constraints: 85982
3322.44/3330.53 c #Conflicts: 1282000 | #Constraints: 86982
3322.44/3330.53 c #Conflicts: 1283000 | #Constraints: 87982
3322.44/3330.53 c #Conflicts: 1284000 | #Constraints: 88982
3322.44/3330.53 c #Conflicts: 1285000 | #Constraints: 89982
3322.44/3330.53 c #Conflicts: 1286000 | #Constraints: 90982
3322.44/3330.53 c #Conflicts: 1287000 | #Constraints: 91982
3322.44/3330.53 c #Conflicts: 1288000 | #Constraints: 92982
3322.44/3330.53 c #Conflicts: 1289000 | #Constraints: 93982
3322.44/3330.53 c #Conflicts: 1290000 | #Constraints: 94982
3322.44/3330.53 c #Conflicts: 1291000 | #Constraints: 95982
3322.44/3330.53 c #Conflicts: 1292000 | #Constraints: 96982
3322.44/3330.53 c #Conflicts: 1293000 | #Constraints: 97982
3322.44/3330.53 c #Conflicts: 1294000 | #Constraints: 98982
3322.44/3330.53 c #Conflicts: 1295000 | #Constraints: 99982
3322.44/3330.53 c #Conflicts: 1296000 | #Constraints: 100982
3322.44/3330.53 c #Conflicts: 1297000 | #Constraints: 101982
3322.44/3330.53 c #Conflicts: 1298000 | #Constraints: 102982
3322.44/3330.53 c #Conflicts: 1299000 | #Constraints: 103982
3322.44/3330.53 c #Conflicts: 1300000 | #Constraints: 104982
3322.44/3330.53 c #Conflicts: 1301000 | #Constraints: 105982
3322.44/3330.53 c #Conflicts: 1302000 | #Constraints: 106982
3322.44/3330.53 c #Conflicts: 1303000 | #Constraints: 107982
3322.44/3330.53 c #Conflicts: 1304000 | #Constraints: 108982
3322.44/3330.53 c #Conflicts: 1305000 | #Constraints: 109982
3322.44/3330.53 c #Conflicts: 1306000 | #Constraints: 110982
3322.44/3330.53 c #Conflicts: 1307000 | #Constraints: 111982
3322.44/3330.53 c #Conflicts: 1308000 | #Constraints: 112982
3322.44/3330.53 c #Conflicts: 1309000 | #Constraints: 113982
3322.44/3330.53 c #Conflicts: 1310000 | #Constraints: 114982
3322.44/3330.53 c #Conflicts: 1311000 | #Constraints: 115982
3322.44/3330.53 c #Conflicts: 1312000 | #Constraints: 116982
3322.44/3330.53 c #Conflicts: 1313000 | #Constraints: 117982
3322.44/3330.53 c #Conflicts: 1314000 | #Constraints: 118982
3322.44/3330.53 c #Conflicts: 1315000 | #Constraints: 119982
3322.44/3330.53 c #Conflicts: 1316000 | #Constraints: 120982
3322.44/3330.53 c #Conflicts: 1317000 | #Constraints: 121982
3322.44/3330.53 c #Conflicts: 1318000 | #Constraints: 122982
3600.06/3608.90 c #Conflicts: 1319000 | #Constraints: 123982
3600.06/3608.90 c #Conflicts: 1320000 | #Constraints: 124982
3600.06/3608.90 c #Conflicts: 1321000 | #Constraints: 125982
3600.06/3608.90 c #Conflicts: 1322000 | #Constraints: 126982
3600.06/3608.90 c #Conflicts: 1323000 | #Constraints: 127982
3600.06/3608.90 c #Conflicts: 1324000 | #Constraints: 128982
3600.06/3608.90 c #Conflicts: 1325000 | #Constraints: 129982
3600.06/3608.90 c #Conflicts: 1326000 | #Constraints: 130982
3600.06/3608.90 c #Conflicts: 1327000 | #Constraints: 131982
3600.06/3608.90 c #Conflicts: 1328000 | #Constraints: 132982
3600.06/3608.90 c #Conflicts: 1329000 | #Constraints: 133982
3600.06/3608.90 c #Conflicts: 1330000 | #Constraints: 134982
3600.06/3608.90 c #Conflicts: 1331000 | #Constraints: 135982
3600.06/3608.90 c #Conflicts: 1332000 | #Constraints: 136982
3600.06/3608.90 c #Conflicts: 1333000 | #Constraints: 137982
3600.06/3608.90 c #Conflicts: 1334000 | #Constraints: 138982
3600.06/3608.90 c #Conflicts: 1335000 | #Constraints: 139982
3600.06/3608.90 c #Conflicts: 1336000 | #Constraints: 140982
3600.06/3608.90 c #Conflicts: 1337000 | #Constraints: 141982
3600.06/3608.90 c #Conflicts: 1338000 | #Constraints: 142982
3600.06/3608.90 c #Conflicts: 1339000 | #Constraints: 143982
3600.06/3608.90 c #Conflicts: 1340000 | #Constraints: 144982
3600.06/3608.90 c #Conflicts: 1341000 | #Constraints: 145982
3600.06/3608.90 c #Conflicts: 1342000 | #Constraints: 146982
3600.06/3608.90 c #Conflicts: 1343000 | #Constraints: 147982
3600.06/3608.90 c #Conflicts: 1344000 | #Constraints: 148982
3600.06/3608.90 c #Conflicts: 1345000 | #Constraints: 149982
3600.06/3608.90 c #Conflicts: 1346000 | #Constraints: 150982
3600.06/3608.90 c #Conflicts: 1347000 | #Constraints: 151982
3600.06/3608.90 c INPROCESSING
3600.06/3608.90 c GARBAGE COLLECT
3600.06/3608.90 c #Conflicts: 1348000 | #Constraints: 88019
3600.06/3608.90 c #Conflicts: 1349000 | #Constraints: 89019
3600.06/3608.90 c #Conflicts: 1350000 | #Constraints: 90019
3600.06/3608.90 c #Conflicts: 1351000 | #Constraints: 91019
3600.06/3608.90 c #Conflicts: 1352000 | #Constraints: 92019
3600.06/3608.90 c #Conflicts: 1353000 | #Constraints: 93019
3600.06/3608.90 c #Conflicts: 1354000 | #Constraints: 94019
3600.06/3608.90 c #Conflicts: 1355000 | #Constraints: 95019
3600.06/3608.90 c #Conflicts: 1356000 | #Constraints: 96019
3600.06/3608.90 c #Conflicts: 1357000 | #Constraints: 97019
3600.06/3608.90 c #Conflicts: 1358000 | #Constraints: 98019
3600.06/3608.90 c #Conflicts: 1359000 | #Constraints: 99019
3600.06/3608.90 c #Conflicts: 1360000 | #Constraints: 100019
3600.06/3608.90 c #Conflicts: 1361000 | #Constraints: 101019
3600.06/3608.90 c #Conflicts: 1362000 | #Constraints: 102019
3600.06/3608.90 c #Conflicts: 1363000 | #Constraints: 103019
3600.06/3608.90 c #Conflicts: 1364000 | #Constraints: 104019
3600.06/3608.90 c #Conflicts: 1365000 | #Constraints: 105019
3600.06/3608.90 c #Conflicts: 1366000 | #Constraints: 106019
3600.06/3608.90 c #Conflicts: 1367000 | #Constraints: 107019
3600.06/3608.90 c #Conflicts: 1368000 | #Constraints: 108019
3600.06/3608.90 c #Conflicts: 1369000 | #Constraints: 109019
3600.06/3608.90 c #Conflicts: 1370000 | #Constraints: 110019
3600.06/3608.90 c #Conflicts: 1371000 | #Constraints: 111019
3600.06/3608.90 c #Conflicts: 1372000 | #Constraints: 112019
3600.06/3608.90 c #Conflicts: 1373000 | #Constraints: 113019
3600.06/3608.90 c #Conflicts: 1374000 | #Constraints: 114020
3600.06/3608.90 c #Conflicts: 1375000 | #Constraints: 115020
3600.06/3608.90 c #Conflicts: 1376000 | #Constraints: 116020
3600.06/3608.90 c #Conflicts: 1377000 | #Constraints: 117020
3600.06/3608.90 c #Conflicts: 1378000 | #Constraints: 118020
3600.06/3608.90 c #Conflicts: 1379000 | #Constraints: 119020
3600.06/3608.90 c #Conflicts: 1380000 | #Constraints: 120020
3600.06/3608.90 c INPROCESSING
3600.06/3608.90 c GARBAGE COLLECT
3600.06/3608.90 c Disabling crashed LP
3600.06/3608.90 c cpu time 3565.47 s
3600.06/3608.90 c deterministic time 230160138340 2.30e+11
3600.06/3608.90 c optimization time 0.003198 s
3600.06/3608.90 c total solve time 3565.37 s
3600.06/3608.90 c core-guided solve time 0 s
3600.06/3608.90 c propagation time 1786.89 s
3600.06/3608.90 c conflict analysis time 1281.19 s
3600.06/3608.90 c propagations 1374782417
3600.06/3608.90 c resolve steps 86406356
3600.06/3608.90 c decisions 30353558
3600.06/3608.90 c conflicts 1380000
3600.06/3608.90 c restarts 2630
3600.06/3608.90 c inprocessing phases 50
3600.06/3608.90 c garbage collections 50 ,( 100.00 )
3600.06/3608.90 c input clauses 19922 ,( 99.17 )
3600.06/3608.90 c input cardinalities 166 ,( 0.83 )
3600.06/3608.90 c input general constraints 0 ,( 0.00 )
3600.06/3608.90 c input average constraint length 6.43
3600.06/3608.90 c input average constraint degree 1.97
3600.06/3608.90 c learned clauses 1015361 ,( 73.58 )
3600.06/3608.90 c learned cardinalities 44548 ,( 3.23 )
3600.06/3608.90 c learned general constraints 320119 ,( 23.20 )
3600.06/3608.90 c learned average constraint length 722.83
3600.06/3608.90 c learned average constraint degree 15876716.73
3600.06/3608.90 c watched CF 32, 64, 128, Arb: 82341 , 0 , 0 , 0
3600.06/3608.90 c counting CF 32, 64, 128, Arb: 237778 , 0 , 0 , 0
3600.06/3608.90 c watched constraints 82341 ,( 25.72 )
3600.06/3608.90 c counting constraints 237778 ,( 74.28 )
3600.06/3608.90 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 1278428003 , 689374642 , 1805597690 ,( 79920467 , 1725677223 )
3600.06/3608.90 c gcd simplifications 676
3600.06/3608.90 c detected cardinalities 6321
3600.06/3608.90 c weakened non-implied lits 382970522
3600.06/3608.90 c weakened non-implying lits 207051
3600.06/3608.90 c original variables 19754
3600.06/3608.90 c clausal propagations 631768431
3600.06/3608.90 c cardinality propagations 504219675
3600.06/3608.90 c watched propagations 4369751
3600.06/3608.90 c counting propagations 221792480
3600.06/3608.90 c watch lookups 75673975703
3600.06/3608.90 c watch backjump lookups 0
3600.06/3608.90 c watch checks 32152756215
3600.06/3608.90 c propagation checks 114770927358
3600.06/3608.90 c constraint additions 4750552572
3600.06/3608.90 c trail pops 1406515111
3600.06/3608.90 c formula constraints 20088
3600.06/3608.90 c learned constraints 1379997
3600.06/3608.90 c bound constraints 0
3600.06/3608.90 c core-guided constraints 0
3600.06/3608.90 c encountered formula constraints 55252356
3600.06/3608.90 c encountered learned constraints 32533905
3600.06/3608.90 c encountered bound constraints 0
3600.06/3608.90 c encountered core-guided constraints 0
3600.06/3608.90 c LP total time 391.92 s
3600.06/3608.90 c LP solve time 365.54 s
3600.06/3608.90 c LP constraints added 20740
3600.06/3608.90 c LP constraints removed 457
3600.06/3608.90 c LP pivots internal 138357
3600.06/3608.90 c LP pivots root 137048
3600.06/3608.90 c LP calls 35
3600.06/3608.90 c LP optimalities 6
3600.06/3608.90 c LP no pivot count 1
3600.06/3608.90 c LP infeasibilities 22
3600.06/3608.90 c LP valid Farkas constraints 22
3600.06/3608.90 c LP learned Farkas constraints 3
3600.06/3608.90 c LP basis resets 0
3600.06/3608.90 c LP cycling count 0
3600.06/3608.90 c LP singular count 0
3600.06/3608.90 c LP no primal count 0
3600.06/3608.90 c LP no farkas count 0
3600.06/3608.90 c LP other issue count 0
3600.06/3608.90 c LP Gomory cuts 6
3600.06/3608.90 c LP learned cuts 646
3600.06/3608.90 c LP deleted cuts 457
3600.06/3608.90 c LP encountered Gomory constraints 6
3600.06/3608.90 c LP encountered Farkas constraints 84
3600.06/3608.90 c LP encountered learned Farkas constraints 2
3600.06/3608.90 c CG auxiliary variables introduced 0
3600.06/3608.90 c CG solutions found 0
3600.06/3608.90 c CG cores constructed 0
3600.06/3608.90 c CG core cardinality constraints returned 0
3600.06/3608.90 c CG unit cores 0
3600.06/3608.90 c CG single cores 0
3600.06/3608.90 c CG blocks removed during cardinality reduction 0
3600.06/3608.90 c CG first core best 0
3600.06/3608.90 c CG decision core best 0
3600.06/3608.90 c CG core reduction tie 0
3600.06/3608.90 c CG core degree average 0.00
3600.06/3608.90 c CG core slack average 0.00
3600.06/3608.90 c CG core upper bound improvements 0
3600.06/3608.90 c STR number of successful calls 0
3600.06/3608.90 c STR number of unsuccessful calls 0
3600.06/3608.90 c STR number of inconclusive calls 0
3600.06/3608.90 c STR number of successful attempts 0
3600.06/3608.90 c STR number of unsuccessful attempts 0
3600.06/3608.90 c STR number of inconclusive attempts 0
3600.06/3608.90 c STR average degree increase per successful call inf
3600.06/3608.90 c STR average degree increase per successful attempt inf
3600.06/3608.90 c STR total number of conflicts for successful attempts 0
3600.06/3608.90 c STR total number of conflicts for unsuccessful attempts 0
3600.06/3608.90 c STR total number of conflicts for inconclusive attempts 0
3600.06/3608.90 c STR average number of conflicts per successful attempt inf
3600.06/3608.90 c STR average number of conflicts per unsuccessful attempt inf
3600.06/3608.90 c STR average number of conflicts per inconclusive attempt inf
3600.06/3608.90 c AVG.sumWPerc 65.96
3600.06/3608.90 c bigint constraints 0
3600.06/3608.90 s UNKNOWN
3600.06/3608.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: 63665 MiB (61367 MiB free)
memory of node 1: 64507 MiB (63042 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4506907-1751172887/watcher-4506907-1751172887 -o /tmp/evaluation-result-4506907-1751172887/solver-4506907-1751172887 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1751168926-22983 --watchdog 3760 --file-size-limit 100000 run-dec-ls-log.sh HOME/instance-4506907-1751172887.opb PROOFDIR/proof-4506907-1751172887
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=23549, runsolver pid=23546
[startup+0.100064 s]*
/proc/loadavg: 4.15 4.10 4.09 5/273 23551
/proc/meminfo: memFree=127385664/131249996 swapFree=33010684/33010684
[pid=23549] ppid=23546 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/23549/stat : 23549 (run-dec-ls-log.) S 23546 23549 22971 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 32966631 4292608 768 18446744073709551615 94034197991424 94034198885957 140731712683888 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94034199125008 94034199172752 94034205978624 140731712686363 140731712686561 140731712686561 140731712692163 0
/proc/23549/statm: 1048 768 704 219 0 110 0
[pid=23551] ppid=23549 vsize=70152 memory=25084 CPUtime=0.09 cores=1,3
/proc/23551/stat : 23551 (roundingsat) R 23549 23549 22971 0 -1 4194304 4068 0 0 0 6 3 0 0 20 0 1 0 32966631 71835648 6271 18446744073709551615 4227072 8923433 140733107679264 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 32583680 140733107685712 140733107685928 140733107685928 140733107691498 0
/proc/23551/statm: 17538 6271 2048 1147 0 4965 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 74344 KiB
Current children cumulated memory: 28156 KiB
[startup+0.205802 s]*
/proc/loadavg: 4.15 4.10 4.09 5/273 23551
/proc/meminfo: memFree=127347608/131249996 swapFree=33010684/33010684
[pid=23549] ppid=23546 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/23549/stat : 23549 (run-dec-ls-log.) S 23546 23549 22971 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 32966631 4292608 768 18446744073709551615 94034197991424 94034198885957 140731712683888 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94034199125008 94034199172752 94034205978624 140731712686363 140731712686561 140731712686561 140731712692163 0
/proc/23549/statm: 1048 768 704 219 0 110 0
[pid=23551] ppid=23549 vsize=114000 memory=59152 CPUtime=0.19 cores=1,3
/proc/23551/stat : 23551 (roundingsat) R 23549 23549 22971 0 -1 4194304 11956 0 0 0 15 4 0 0 20 0 1 0 32966631 116736000 14788 18446744073709551615 4227072 8923433 140733107679264 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 32583680 140733107685712 140733107685928 140733107685928 140733107691498 0
/proc/23551/statm: 28500 14788 2304 1147 0 15927 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 118192 KiB
Current children cumulated memory: 62224 KiB
[startup+0.305969 s]*
/proc/loadavg: 4.15 4.10 4.09 5/273 23551
/proc/meminfo: memFree=127345592/131249996 swapFree=33010684/33010684
[pid=23549] ppid=23546 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/23549/stat : 23549 (run-dec-ls-log.) S 23546 23549 22971 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 32966631 4292608 768 18446744073709551615 94034197991424 94034198885957 140731712683888 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94034199125008 94034199172752 94034205978624 140731712686363 140731712686561 140731712686561 140731712692163 0
/proc/23549/statm: 1048 768 704 219 0 110 0
[pid=23551] ppid=23549 vsize=115960 memory=61200 CPUtime=0.29 cores=1,3
/proc/23551/stat : 23551 (roundingsat) R 23549 23549 22971 0 -1 4194304 12460 0 0 0 24 5 0 0 20 0 1 0 32966631 118743040 15300 18446744073709551615 4227072 8923433 140733107679264 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 32583680 140733107685712 140733107685928 140733107685928 140733107691498 0
/proc/23551/statm: 28990 15300 2304 1147 0 16417 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 120152 KiB
Current children cumulated memory: 64272 KiB
[startup+0.700162 s]
/proc/loadavg: 4.15 4.10 4.09 5/273 23551
/proc/meminfo: memFree=127341740/131249996 swapFree=33010684/33010684
[pid=23549] ppid=23546 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/23549/stat : 23549 (run-dec-ls-log.) S 23546 23549 22971 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 32966631 4292608 768 18446744073709551615 94034197991424 94034198885957 140731712683888 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94034199125008 94034199172752 94034205978624 140731712686363 140731712686561 140731712686561 140731712692163 0
/proc/23549/statm: 1048 768 704 219 0 110 0
[pid=23551] ppid=23549 vsize=115960 memory=61712 CPUtime=0.68 cores=1,3
/proc/23551/stat : 23551 (roundingsat) R 23549 23549 22971 0 -1 4194304 12577 0 0 0 63 5 0 0 20 0 1 0 32966631 118743040 15428 18446744073709551615 4227072 8923433 140733107679264 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 32583680 140733107685712 140733107685928 140733107685928 140733107691498 0
/proc/23551/statm: 28990 15428 2304 1147 0 16417 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 120152 KiB
Current children cumulated memory: 64784 KiB
[startup+1.50014 s]
/proc/loadavg: 4.15 4.10 4.09 5/273 23551
/proc/meminfo: memFree=127341740/131249996 swapFree=33010684/33010684
[pid=23549] ppid=23546 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/23549/stat : 23549 (run-dec-ls-log.) S 23546 23549 22971 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 32966631 4292608 768 18446744073709551615 94034197991424 94034198885957 140731712683888 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94034199125008 94034199172752 94034205978624 140731712686363 140731712686561 140731712686561 140731712692163 0
/proc/23549/statm: 1048 768 704 219 0 110 0
[pid=23551] ppid=23549 vsize=115960 memory=61712 CPUtime=1.48 cores=1,3
/proc/23551/stat : 23551 (roundingsat) R 23549 23549 22971 0 -1 4194304 12577 0 0 0 143 5 0 0 20 0 1 0 32966631 118743040 15428 18446744073709551615 4227072 8923433 140733107679264 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 32583680 140733107685712 140733107685928 140733107685928 140733107691498 0
/proc/23551/statm: 28990 15428 2304 1147 0 16417 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 120152 KiB
Current children cumulated memory: 64784 KiB
[startup+3.10559 s]
/proc/loadavg: 4.15 4.10 4.09 5/273 23551
/proc/meminfo: memFree=127313452/131249996 swapFree=33010684/33010684
[pid=23549] ppid=23546 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/23549/stat : 23549 (run-dec-ls-log.) S 23546 23549 22971 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 32966631 4292608 768 18446744073709551615 94034197991424 94034198885957 140731712683888 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94034199125008 94034199172752 94034205978624 140731712686363 140731712686561 140731712686561 140731712692163 0
/proc/23549/statm: 1048 768 704 219 0 110 0
[pid=23551] ppid=23549 vsize=118076 memory=64528 CPUtime=3.07 cores=1,3
/proc/23551/stat : 23551 (roundingsat) R 23549 23549 22971 0 -1 4194304 13301 0 0 0 302 5 0 0 20 0 1 0 32966631 120909824 16132 18446744073709551615 4227072 8923433 140733107679264 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 32583680 140733107685712 140733107685928 140733107685928 140733107691498 0
/proc/23551/statm: 29519 16132 2304 1147 0 16946 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 122268 KiB
Current children cumulated memory: 67600 KiB
[startup+6.30019 s]
/proc/loadavg: 4.13 4.10 4.09 5/273 23551
/proc/meminfo: memFree=127264252/131249996 swapFree=33010684/33010684
[pid=23549] ppid=23546 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/23549/stat : 23549 (run-dec-ls-log.) S 23546 23549 22971 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 32966631 4292608 768 18446744073709551615 94034197991424 94034198885957 140731712683888 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94034199125008 94034199172752 94034205978624 140731712686363 140731712686561 140731712686561 140731712692163 0
/proc/23549/statm: 1048 768 704 219 0 110 0
[pid=23551] ppid=23549 vsize=122956 memory=72684 CPUtime=6.27 cores=1,3
/proc/23551/stat : 23551 (roundingsat) R 23549 23549 22971 0 -1 4194304 14782 0 0 0 612 15 0 0 20 0 1 0 32966631 125906944 18171 18446744073709551615 4227072 8923433 140733107679264 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 32583680 140733107685712 140733107685928 140733107685928 140733107691498 0
/proc/23551/statm: 30739 18171 2368 1147 0 18166 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 127148 KiB
Current children cumulated memory: 75756 KiB
[startup+12.7002 s]
/proc/loadavg: 4.12 4.09 4.09 5/273 23551
/proc/meminfo: memFree=127197164/131249996 swapFree=33010684/33010684
[pid=23549] ppid=23546 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/23549/stat : 23549 (run-dec-ls-log.) S 23546 23549 22971 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 32966631 4292608 768 18446744073709551615 94034197991424 94034198885957 140731712683888 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94034199125008 94034199172752 94034205978624 140731712686363 140731712686561 140731712686561 140731712692163 0
/proc/23549/statm: 1048 768 704 219 0 110 0
[pid=23551] ppid=23549 vsize=132072 memory=80236 CPUtime=12.65 cores=1,3
/proc/23551/stat : 23551 (roundingsat) R 23549 23549 22971 0 -1 4194304 16672 0 0 0 1234 31 0 0 20 0 1 0 32966631 135241728 20059 18446744073709551615 4227072 8923433 140733107679264 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 32583680 140733107685712 140733107685928 140733107685928 140733107691498 0
/proc/23551/statm: 33018 20059 2368 1147 0 20445 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 136264 KiB
Current children cumulated memory: 83308 KiB
[startup+25.5002 s]
/proc/loadavg: 4.16 4.11 4.09 5/273 23551
/proc/meminfo: memFree=127024484/131249996 swapFree=33010684/33010684
[pid=23549] ppid=23546 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/23549/stat : 23549 (run-dec-ls-log.) S 23546 23549 22971 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 32966631 4292608 768 18446744073709551615 94034197991424 94034198885957 140731712683888 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94034199125008 94034199172752 94034205978624 140731712686363 140731712686561 140731712686561 140731712692163 0
/proc/23549/statm: 1048 768 704 219 0 110 0
[pid=23551] ppid=23549 vsize=163452 memory=108140 CPUtime=25.41 cores=1,3
/proc/23551/stat : 23551 (roundingsat) R 23549 23549 22971 0 -1 4194304 22644 0 0 0 2480 61 0 0 20 0 1 0 32966631 167374848 27035 18446744073709551615 4227072 8923433 140733107679264 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 32583680 140733107685712 140733107685928 140733107685928 140733107691498 0
/proc/23551/statm: 40863 27035 2368 1147 0 28290 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 167644 KiB
Current children cumulated memory: 111212 KiB
[startup+51.1056 s]
/proc/loadavg: 4.11 4.10 4.09 5/272 23553
/proc/meminfo: memFree=126756212/131249996 swapFree=33010684/33010684
[pid=23549] ppid=23546 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/23549/stat : 23549 (run-dec-ls-log.) S 23546 23549 22971 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 32966631 4292608 768 18446744073709551615 94034197991424 94034198885957 140731712683888 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94034199125008 94034199172752 94034205978624 140731712686363 140731712686561 140731712686561 140731712692163 0
/proc/23549/statm: 1048 768 704 219 0 110 0
[pid=23551] ppid=23549 vsize=187044 memory=130636 CPUtime=50.96 cores=1,3
/proc/23551/stat : 23551 (roundingsat) R 23549 23549 22971 0 -1 4194304 26285 0 0 0 4979 117 0 0 20 0 1 0 32966631 191533056 32659 18446744073709551615 4227072 8923433 140733107679264 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 32583680 140733107685712 140733107685928 140733107685928 140733107691498 0
/proc/23551/statm: 46761 32659 2368 1147 0 34188 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 191236 KiB
Current children cumulated memory: 133708 KiB
[startup+102.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/272 23556
/proc/meminfo: memFree=126001640/131249996 swapFree=33010684/33010684
[pid=23549] ppid=23546 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/23549/stat : 23549 (run-dec-ls-log.) S 23546 23549 22971 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 32966631 4292608 768 18446744073709551615 94034197991424 94034198885957 140731712683888 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94034199125008 94034199172752 94034205978624 140731712686363 140731712686561 140731712686561 140731712692163 0
/proc/23549/statm: 1048 768 704 219 0 110 0
[pid=23551] ppid=23549 vsize=233996 memory=163672 CPUtime=102.02 cores=1,3
/proc/23551/stat : 23551 (roundingsat) R 23549 23549 22971 0 -1 4194304 33036 0 0 0 10003 199 0 0 20 0 1 0 32966631 239611904 40918 18446744073709551615 4227072 8923433 140733107679264 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 32583680 140733107685712 140733107685928 140733107685928 140733107691498 0
/proc/23551/statm: 58499 40918 2368 1147 0 45926 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 238188 KiB
Current children cumulated memory: 166744 KiB
[startup+162.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/272 23559
/proc/meminfo: memFree=125335312/131249996 swapFree=33010684/33010684
[pid=23549] ppid=23546 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/23549/stat : 23549 (run-dec-ls-log.) S 23546 23549 22971 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 32966631 4292608 768 18446744073709551615 94034197991424 94034198885957 140731712683888 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94034199125008 94034199172752 94034205978624 140731712686363 140731712686561 140731712686561 140731712692163 0
/proc/23549/statm: 1048 768 704 219 0 110 0
[pid=23551] ppid=23549 vsize=291868 memory=219188 CPUtime=161.88 cores=1,3
/proc/23551/stat : 23551 (roundingsat) R 23549 23549 22971 0 -1 4194304 40289 0 0 0 15881 307 0 0 20 0 1 0 32966631 298872832 54797 18446744073709551615 4227072 8923433 140733107679264 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 32583680 140733107685712 140733107685928 140733107685928 140733107691498 0
/proc/23551/statm: 72967 54797 2368 1147 0 60394 0
Current children cumulated CPU time: 161.88 s
Current children cumulated vsize: 296060 KiB
Current children cumulated memory: 222260 KiB
[startup+222.3 s]
/proc/loadavg: 4.14 4.10 4.09 5/272 23561
/proc/meminfo: memFree=124831232/131249996 swapFree=33010684/33010684
[pid=23549] ppid=23546 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/23549/stat : 23549 (run-dec-ls-log.) S 23546 23549 22971 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 32966631 4292608 768 18446744073709551615 94034197991424 94034198885957 140731712683888 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94034199125008 94034199172752 94034205978624 140731712686363 140731712686561 140731712686561 140731712692163 0
/proc/23549/statm: 1048 768 704 219 0 110 0
[pid=23551] ppid=23549 vsize=309336 memory=240932 CPUtime=221.73 cores=1,3
/proc/23551/stat : 23551 (roundingsat) R 23549 23549 22971 0 -1 4194304 44686 0 0 0 21776 397 0 0 20 0 1 0 32966631 316760064 60233 18446744073709551615 4227072 8923433 140733107679264 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 32583680 140733107685712 140733107685928 140733107685928 140733107691498 0
/proc/23551/statm: 77334 60233 2368 1147 0 64761 0
################
# More data... #
################
/proc/23551/statm: 304185 258142 2368 1147 0 291612 0
Current children cumulated CPU time: 3094.82 s
Current children cumulated vsize: 1220932 KiB
Current children cumulated memory: 1035640 KiB
[startup+3162.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/273 23730
/proc/meminfo: memFree=102873004/131249996 swapFree=33010684/33010684
[pid=23549] ppid=23546 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/23549/stat : 23549 (run-dec-ls-log.) S 23546 23549 22971 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 32966631 4292608 768 18446744073709551615 94034197991424 94034198885957 140731712683888 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94034199125008 94034199172752 94034205978624 140731712686363 140731712686561 140731712686561 140731712692163 0
/proc/23549/statm: 1048 768 704 219 0 110 0
[pid=23551] ppid=23549 vsize=1236020 memory=1046136 CPUtime=3154.67 cores=1,3
/proc/23551/stat : 23551 (roundingsat) R 23549 23549 22971 0 -1 4194304 152330 0 0 0 312354 3113 0 0 20 0 1 0 32966631 1265684480 261534 18446744073709551615 4227072 8923433 140733107679264 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 32583680 140733107685712 140733107685928 140733107685928 140733107691498 0
/proc/23551/statm: 309005 261534 2368 1147 0 296432 0
Current children cumulated CPU time: 3154.67 s
Current children cumulated vsize: 1240212 KiB
Current children cumulated memory: 1049208 KiB
[startup+3222.3 s]
/proc/loadavg: 4.13 4.09 4.09 5/273 23732
/proc/meminfo: memFree=102491888/131249996 swapFree=33010684/33010684
[pid=23549] ppid=23546 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/23549/stat : 23549 (run-dec-ls-log.) S 23546 23549 22971 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 32966631 4292608 768 18446744073709551615 94034197991424 94034198885957 140731712683888 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94034199125008 94034199172752 94034205978624 140731712686363 140731712686561 140731712686561 140731712692163 0
/proc/23549/statm: 1048 768 704 219 0 110 0
[pid=23551] ppid=23549 vsize=1236020 memory=1046136 CPUtime=3214.53 cores=1,3
/proc/23551/stat : 23551 (roundingsat) R 23549 23549 22971 0 -1 4194304 152330 0 0 0 318265 3188 0 0 20 0 1 0 32966631 1265684480 261534 18446744073709551615 4227072 8923433 140733107679264 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 32583680 140733107685712 140733107685928 140733107685928 140733107691498 0
/proc/23551/statm: 309005 261534 2368 1147 0 296432 0
Current children cumulated CPU time: 3214.53 s
Current children cumulated vsize: 1240212 KiB
Current children cumulated memory: 1049208 KiB
[startup+3282.3 s]
/proc/loadavg: 4.15 4.11 4.09 5/272 23874
/proc/meminfo: memFree=123218592/131249996 swapFree=33010684/33010684
[pid=23549] ppid=23546 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/23549/stat : 23549 (run-dec-ls-log.) S 23546 23549 22971 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 32966631 4292608 768 18446744073709551615 94034197991424 94034198885957 140731712683888 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94034199125008 94034199172752 94034205978624 140731712686363 140731712686561 140731712686561 140731712692163 0
/proc/23549/statm: 1048 768 704 219 0 110 0
[pid=23551] ppid=23549 vsize=1236020 memory=1046264 CPUtime=3274.38 cores=1,3
/proc/23551/stat : 23551 (roundingsat) R 23549 23549 22971 0 -1 4194304 152334 0 0 0 324181 3257 0 0 20 0 1 0 32966631 1265684480 261566 18446744073709551615 4227072 8923433 140733107679264 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 32583680 140733107685712 140733107685928 140733107685928 140733107691498 0
/proc/23551/statm: 309005 261566 2368 1147 0 296432 0
Current children cumulated CPU time: 3274.38 s
Current children cumulated vsize: 1240212 KiB
Current children cumulated memory: 1049336 KiB
[startup+3342.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/272 23877
/proc/meminfo: memFree=122423004/131249996 swapFree=33010684/33010684
[pid=23549] ppid=23546 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/23549/stat : 23549 (run-dec-ls-log.) S 23546 23549 22971 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 32966631 4292608 768 18446744073709551615 94034197991424 94034198885957 140731712683888 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94034199125008 94034199172752 94034205978624 140731712686363 140731712686561 140731712686561 140731712692163 0
/proc/23549/statm: 1048 768 704 219 0 110 0
[pid=23551] ppid=23549 vsize=1236160 memory=1046392 CPUtime=3334.2 cores=1,3
/proc/23551/stat : 23551 (roundingsat) R 23549 23549 22971 0 -1 4194304 152372 0 0 0 330116 3304 0 0 20 0 1 0 32966631 1265827840 261598 18446744073709551615 4227072 8923433 140733107679264 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 32583680 140733107685712 140733107685928 140733107685928 140733107691498 0
/proc/23551/statm: 309040 261598 2368 1147 0 296467 0
Current children cumulated CPU time: 3334.2 s
Current children cumulated vsize: 1240352 KiB
Current children cumulated memory: 1049464 KiB
[startup+3402.3 s]
/proc/loadavg: 4.15 4.11 4.09 5/272 23879
/proc/meminfo: memFree=121827172/131249996 swapFree=33010684/33010684
[pid=23549] ppid=23546 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/23549/stat : 23549 (run-dec-ls-log.) S 23546 23549 22971 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 32966631 4292608 768 18446744073709551615 94034197991424 94034198885957 140731712683888 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94034199125008 94034199172752 94034205978624 140731712686363 140731712686561 140731712686561 140731712692163 0
/proc/23549/statm: 1048 768 704 219 0 110 0
[pid=23551] ppid=23549 vsize=1239228 memory=1049208 CPUtime=3394.04 cores=1,3
/proc/23551/stat : 23551 (roundingsat) R 23549 23549 22971 0 -1 4194304 153084 0 0 0 336072 3332 0 0 20 0 1 0 32966631 1268969472 262302 18446744073709551615 4227072 8923433 140733107679264 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 32583680 140733107685712 140733107685928 140733107685928 140733107691498 0
/proc/23551/statm: 309807 262302 2368 1147 0 297234 0
Current children cumulated CPU time: 3394.04 s
Current children cumulated vsize: 1243420 KiB
Current children cumulated memory: 1052280 KiB
[startup+3462.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/273 23882
/proc/meminfo: memFree=121212532/131249996 swapFree=33010684/33010684
[pid=23549] ppid=23546 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/23549/stat : 23549 (run-dec-ls-log.) S 23546 23549 22971 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 32966631 4292608 768 18446744073709551615 94034197991424 94034198885957 140731712683888 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94034199125008 94034199172752 94034205978624 140731712686363 140731712686561 140731712686561 140731712692163 0
/proc/23549/statm: 1048 768 704 219 0 110 0
[pid=23551] ppid=23549 vsize=1248252 memory=1057400 CPUtime=3453.87 cores=1,3
/proc/23551/stat : 23551 (roundingsat) R 23549 23549 22971 0 -1 4194304 155143 0 0 0 342018 3369 0 0 20 0 1 0 32966631 1278210048 264350 18446744073709551615 4227072 8923433 140733107679264 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 32583680 140733107685712 140733107685928 140733107685928 140733107691498 0
/proc/23551/statm: 312063 264350 2368 1147 0 299490 0
Current children cumulated CPU time: 3453.87 s
Current children cumulated vsize: 1252444 KiB
Current children cumulated memory: 1060472 KiB
[startup+3522.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/273 23884
/proc/meminfo: memFree=120580740/131249996 swapFree=33010684/33010684
[pid=23549] ppid=23546 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/23549/stat : 23549 (run-dec-ls-log.) S 23546 23549 22971 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 32966631 4292608 768 18446744073709551615 94034197991424 94034198885957 140731712683888 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94034199125008 94034199172752 94034205978624 140731712686363 140731712686561 140731712686561 140731712692163 0
/proc/23549/statm: 1048 768 704 219 0 110 0
[pid=23551] ppid=23549 vsize=1248252 memory=1057400 CPUtime=3513.7 cores=1,3
/proc/23551/stat : 23551 (roundingsat) R 23549 23549 22971 0 -1 4194304 155147 0 0 0 347935 3435 0 0 20 0 1 0 32966631 1278210048 264350 18446744073709551615 4227072 8923433 140733107679264 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 32583680 140733107685712 140733107685928 140733107685928 140733107691498 0
/proc/23551/statm: 312063 264350 2368 1147 0 299490 0
Current children cumulated CPU time: 3513.7 s
Current children cumulated vsize: 1252444 KiB
Current children cumulated memory: 1060472 KiB
[startup+3582.3 s]
/proc/loadavg: 4.14 4.11 4.09 5/273 23886
/proc/meminfo: memFree=120131216/131249996 swapFree=33010684/33010684
[pid=23549] ppid=23546 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/23549/stat : 23549 (run-dec-ls-log.) S 23546 23549 22971 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 32966631 4292608 768 18446744073709551615 94034197991424 94034198885957 140731712683888 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94034199125008 94034199172752 94034205978624 140731712686363 140731712686561 140731712686561 140731712692163 0
/proc/23549/statm: 1048 768 704 219 0 110 0
[pid=23551] ppid=23549 vsize=1249112 memory=1058424 CPUtime=3573.53 cores=1,3
/proc/23551/stat : 23551 (roundingsat) R 23549 23549 22971 0 -1 4194304 155383 0 0 0 353900 3453 0 0 20 0 1 0 32966631 1279090688 264606 18446744073709551615 4227072 8923433 140733107679264 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 32583680 140733107685712 140733107685928 140733107685928 140733107691498 0
/proc/23551/statm: 312278 264606 2368 1147 0 299705 0
Current children cumulated CPU time: 3573.53 s
Current children cumulated vsize: 1253304 KiB
Current children cumulated memory: 1061496 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3608.9 s]
/proc/loadavg: 4.09 4.10 4.09 5/272 23888
/proc/meminfo: memFree=119894256/131249996 swapFree=33010684/33010684
[pid=23549] ppid=23546 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/23549/stat : 23549 (run-dec-ls-log.) S 23546 23549 22971 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 32966631 4292608 768 18446744073709551615 94034197991424 94034198885957 140731712683888 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94034199125008 94034199172752 94034205978624 140731712686363 140731712686561 140731712686561 140731712692163 0
/proc/23549/statm: 1048 768 704 219 0 110 0
[pid=23551] ppid=23549 vsize=1249112 memory=1060728 CPUtime=3600.06 cores=1,3
/proc/23551/stat : 23551 (roundingsat) R 23549 23549 22971 0 -1 4194304 155390 0 0 0 356546 3460 0 0 20 0 1 0 32966631 1279090688 265182 18446744073709551615 4227072 8923433 140733107679264 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 32583680 140733107685712 140733107685928 140733107685928 140733107691498 0
/proc/23551/statm: 312278 265182 2368 1147 0 299705 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 1253304 KiB
Current children cumulated memory: 1063800 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3608.9 s]
# the end of solver process 23549 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0 s, system=0.002114 s
Sleeping 2 seconds
[startup+3608.93 s]
# the end of solver process 23551 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3565.48 s, system=34.6136 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+3608.9 s]
/proc/loadavg: 4.09 4.10 4.09 5/272 23888
/proc/meminfo: memFree=119894256/131249996 swapFree=33010684/33010684
[pid=23549] ppid=23546 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/23549/stat : 23549 (run-dec-ls-log.) S 23546 23549 22971 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 32966631 4292608 768 18446744073709551615 94034197991424 94034198885957 140731712683888 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94034199125008 94034199172752 94034205978624 140731712686363 140731712686561 140731712686561 140731712692163 0
/proc/23549/statm: 1048 768 704 219 0 110 0
[pid=23551] ppid=23549 vsize=1249112 memory=1060728 CPUtime=3600.06 cores=1,3
/proc/23551/stat : 23551 (roundingsat) R 23549 23549 22971 0 -1 4194304 155390 0 0 0 356546 3460 0 0 20 0 1 0 32966631 1279090688 265182 18446744073709551615 4227072 8923433 140733107679264 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 32583680 140733107685712 140733107685928 140733107685928 140733107691498 0
/proc/23551/statm: 312278 265182 2368 1147 0 299705 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 1253304 KiB
Current children cumulated memory: 1063800 KiB
Child status: 2
Real time (s): 3608.93
CPU time (s): 3600.1
CPU user time (s): 3565.48
CPU system time (s): 34.6136
CPU usage (%): 99.7553
Max. virtual memory (cumulated for all children) (KiB): 1253304
Max. memory (cumulated for all children) (KiB): 1063800
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3565.48
system time used= 34.6136
maximum resident set size= 1061112
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 155618
page faults= 0
swaps= 0
block input operations= 0
block output operations= 11986720
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 261
involuntary context switches= 5445
# summary of solver processes directly reported to runsolver:
# pid: 23549,23551
# total CPU time (s): 3600.1
# total CPU user time (s): 3565.48
# total CPU system time (s): 34.6136
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.26399 second user time and 16.6566 second system time
The end
Begin job on nodeC024 at 2025-06-29 06:54:47
IDJOB=4506907
IDBENCH=158308
IDSOLVER=3354
FILE ID=nodeC024/4506907-1751172887
RUNJOBID= nodeC024-1751168926-22983
SLURM_JOB_ID= 9587515
Free space on /tmp= 433032 MiB
SOLVER NAME= roundingsat-ls-log 63f22ad
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathNG/normalized-NG_K166.opb
COMMAND LINE= run-dec-ls-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4506907-1751172887/watcher-4506907-1751172887 -o /tmp/evaluation-result-4506907-1751172887/solver-4506907-1751172887 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1751168926-22983 --watchdog 3760 --file-size-limit 100000 run-dec-ls-log.sh HOME/instance-4506907-1751172887.opb PROOFDIR/proof-4506907-1751172887
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 50117bf6e22b142cc615b717d0d3b45a
RANDOM SEED=2053755889
nodeC024 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.677
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3601.202
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3645.548
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.402
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.672
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.646
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3617.146
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.033
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 127395700 kB
MemAvailable: 128912088 kB
Buffers: 3280 kB
Cached: 2324816 kB
SwapCached: 0 kB
Active: 1176848 kB
Inactive: 2104740 kB
Active(anon): 971628 kB
Inactive(anon): 0 kB
Active(file): 205220 kB
Inactive(file): 2104740 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 104756 kB
Writeback: 0 kB
AnonPages: 956372 kB
Mapped: 116444 kB
Shmem: 18064 kB
KReclaimable: 90932 kB
Slab: 179484 kB
SReclaimable: 90932 kB
SUnreclaim: 88552 kB
KernelStack: 4384 kB
PageTables: 5132 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 1445348 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150712 kB
VmallocChunk: 0 kB
Percpu: 3808 kB
HardwareCorrupted: 0 kB
AnonHugePages: 114688 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: 195284 kB
DirectMap2M: 6916096 kB
DirectMap1G: 128974848 kB
Free space on /tmp at the end= 433028 MiB
End job on nodeC024 at 2025-06-29 07:54:56