0.00/0.03 c RoundingSat 2
0.00/0.03 c branch pb25
0.00/0.03 c commit 63f22ad
0.29/0.35 c #variables 20706 #constraints 21056
89.88/90.25 c #Conflicts: 1000 | #Constraints: 22055
89.88/90.25 c #Conflicts: 2000 | #Constraints: 23055
89.88/90.25 c INPROCESSING
89.88/90.25 c GARBAGE COLLECT
89.88/90.25 c #Conflicts: 3000 | #Constraints: 22387
89.88/90.25 c #Conflicts: 4000 | #Constraints: 23387
89.88/90.25 c INPROCESSING
89.88/90.25 c GARBAGE COLLECT
89.88/90.25 c #Conflicts: 5000 | #Constraints: 22915
89.88/90.25 c #Conflicts: 6000 | #Constraints: 23915
89.88/90.25 c INPROCESSING
89.88/90.25 c GARBAGE COLLECT
89.88/90.25 c #Conflicts: 7000 | #Constraints: 23011
89.88/90.25 c #Conflicts: 8000 | #Constraints: 24011
89.88/90.25 c #Conflicts: 9000 | #Constraints: 25011
89.88/90.25 c #Conflicts: 10000 | #Constraints: 26011
89.88/90.25 c #Conflicts: 11000 | #Constraints: 27011
89.88/90.25 c #Conflicts: 12000 | #Constraints: 28011
89.88/90.25 c INPROCESSING
89.88/90.25 c GARBAGE COLLECT
89.88/90.25 c #Conflicts: 13000 | #Constraints: 25060
89.88/90.25 c #Conflicts: 14000 | #Constraints: 26060
89.88/90.25 c #Conflicts: 15000 | #Constraints: 27060
89.88/90.25 c #Conflicts: 16000 | #Constraints: 28060
89.88/90.25 c INPROCESSING
89.88/90.25 c GARBAGE COLLECT
89.88/90.25 c #Conflicts: 17000 | #Constraints: 25138
89.88/90.25 c #Conflicts: 18000 | #Constraints: 26138
89.88/90.25 c #Conflicts: 19000 | #Constraints: 27138
89.88/90.25 c #Conflicts: 20000 | #Constraints: 28138
89.88/90.25 c #Conflicts: 21000 | #Constraints: 29138
89.88/90.25 c #Conflicts: 22000 | #Constraints: 30138
89.88/90.25 c #Conflicts: 23000 | #Constraints: 31138
89.88/90.25 c #Conflicts: 24000 | #Constraints: 32138
89.88/90.25 c #Conflicts: 25000 | #Constraints: 33138
89.88/90.25 c INPROCESSING
89.88/90.25 c GARBAGE COLLECT
89.88/90.25 c #Conflicts: 26000 | #Constraints: 27732
89.88/90.25 c #Conflicts: 27000 | #Constraints: 28732
89.88/90.25 c #Conflicts: 28000 | #Constraints: 29732
89.88/90.25 c #Conflicts: 29000 | #Constraints: 30732
89.88/90.25 c #Conflicts: 30000 | #Constraints: 31732
89.88/90.25 c INPROCESSING
89.88/90.25 c GARBAGE COLLECT
89.88/90.25 c #Conflicts: 31000 | #Constraints: 27234
89.88/90.25 c #Conflicts: 32000 | #Constraints: 28234
89.88/90.25 c #Conflicts: 33000 | #Constraints: 29234
89.88/90.25 c #Conflicts: 34000 | #Constraints: 30234
89.88/90.25 c #Conflicts: 35000 | #Constraints: 31234
89.88/90.25 c #Conflicts: 36000 | #Constraints: 32234
89.88/90.25 c #Conflicts: 37000 | #Constraints: 33234
89.88/90.25 c #Conflicts: 38000 | #Constraints: 34234
89.88/90.25 c #Conflicts: 39000 | #Constraints: 35234
89.88/90.25 c #Conflicts: 40000 | #Constraints: 36234
89.88/90.25 c #Conflicts: 41000 | #Constraints: 37234
89.88/90.25 c #Conflicts: 42000 | #Constraints: 38234
89.88/90.25 c #Conflicts: 43000 | #Constraints: 39234
89.88/90.25 c INPROCESSING
89.88/90.25 c GARBAGE COLLECT
89.88/90.25 c #Conflicts: 44000 | #Constraints: 31158
89.88/90.25 c #Conflicts: 45000 | #Constraints: 32158
89.88/90.25 c #Conflicts: 46000 | #Constraints: 33158
89.88/90.25 c #Conflicts: 47000 | #Constraints: 34158
89.88/90.25 c #Conflicts: 48000 | #Constraints: 35158
89.88/90.25 c #Conflicts: 49000 | #Constraints: 36158
89.88/90.25 c INPROCESSING
89.88/90.25 c GARBAGE COLLECT
89.88/90.25 c #Conflicts: 50000 | #Constraints: 30193
89.88/90.25 c #Conflicts: 51000 | #Constraints: 31193
89.88/90.25 c #Conflicts: 52000 | #Constraints: 32193
89.88/90.25 c #Conflicts: 53000 | #Constraints: 33193
89.88/90.25 c #Conflicts: 54000 | #Constraints: 34193
89.88/90.25 c #Conflicts: 55000 | #Constraints: 35193
89.88/90.25 c #Conflicts: 56000 | #Constraints: 36193
89.88/90.25 c #Conflicts: 57000 | #Constraints: 37193
89.88/90.25 c #Conflicts: 58000 | #Constraints: 38193
89.88/90.25 c #Conflicts: 59000 | #Constraints: 39193
89.88/90.25 c #Conflicts: 60000 | #Constraints: 40193
89.88/90.25 c #Conflicts: 61000 | #Constraints: 41193
89.88/90.25 c #Conflicts: 62000 | #Constraints: 42193
89.88/90.25 c #Conflicts: 63000 | #Constraints: 43193
89.88/90.25 c #Conflicts: 64000 | #Constraints: 44193
89.88/90.25 c #Conflicts: 65000 | #Constraints: 45193
89.88/90.25 c INPROCESSING
89.88/90.25 c GARBAGE COLLECT
89.88/90.25 c #Conflicts: 66000 | #Constraints: 34413
89.88/90.25 c #Conflicts: 67000 | #Constraints: 35413
89.88/90.25 c #Conflicts: 68000 | #Constraints: 36413
89.88/90.25 c #Conflicts: 69000 | #Constraints: 37413
89.88/90.25 c #Conflicts: 70000 | #Constraints: 38413
89.88/90.25 c #Conflicts: 71000 | #Constraints: 39413
89.88/90.25 c #Conflicts: 72000 | #Constraints: 40413
89.88/90.25 c INPROCESSING
89.88/90.25 c GARBAGE COLLECT
203.21/203.92 c #Conflicts: 73000 | #Constraints: 32910
203.21/203.92 c #Conflicts: 74000 | #Constraints: 33910
203.21/203.92 c #Conflicts: 75000 | #Constraints: 34910
203.21/203.92 c #Conflicts: 76000 | #Constraints: 35910
203.21/203.92 c #Conflicts: 77000 | #Constraints: 36910
203.21/203.92 c #Conflicts: 78000 | #Constraints: 37910
203.21/203.92 c #Conflicts: 79000 | #Constraints: 38910
203.21/203.92 c #Conflicts: 80000 | #Constraints: 39910
203.21/203.92 c #Conflicts: 81000 | #Constraints: 40910
203.21/203.92 c #Conflicts: 82000 | #Constraints: 41910
203.21/203.92 c #Conflicts: 83000 | #Constraints: 42910
203.21/203.92 c #Conflicts: 84000 | #Constraints: 43910
203.21/203.92 c #Conflicts: 85000 | #Constraints: 44910
203.21/203.92 c #Conflicts: 86000 | #Constraints: 45910
203.21/203.92 c #Conflicts: 87000 | #Constraints: 46910
203.21/203.92 c #Conflicts: 88000 | #Constraints: 47910
203.21/203.92 c #Conflicts: 89000 | #Constraints: 48910
203.21/203.92 c #Conflicts: 90000 | #Constraints: 49910
203.21/203.92 c #Conflicts: 91000 | #Constraints: 50910
203.21/203.92 c INPROCESSING
203.21/203.92 c GARBAGE COLLECT
203.21/203.92 c #Conflicts: 92000 | #Constraints: 37196
203.21/203.92 c #Conflicts: 93000 | #Constraints: 38196
203.21/203.92 c #Conflicts: 94000 | #Constraints: 39196
203.21/203.92 c #Conflicts: 95000 | #Constraints: 40196
203.21/203.92 c #Conflicts: 96000 | #Constraints: 41196
203.21/203.92 c #Conflicts: 97000 | #Constraints: 42196
203.21/203.92 c #Conflicts: 98000 | #Constraints: 43196
203.21/203.92 c #Conflicts: 99000 | #Constraints: 44196
203.21/203.92 c #Conflicts: 100000 | #Constraints: 45196
203.21/203.92 c INPROCESSING
203.21/203.92 c GARBAGE COLLECT
203.21/203.92 c #Conflicts: 101000 | #Constraints: 36323
203.21/203.92 c #Conflicts: 102000 | #Constraints: 37323
203.21/203.92 c #Conflicts: 103000 | #Constraints: 38323
203.21/203.92 c #Conflicts: 104000 | #Constraints: 39323
203.21/203.92 c #Conflicts: 105000 | #Constraints: 40323
203.21/203.92 c #Conflicts: 106000 | #Constraints: 41323
203.21/203.92 c #Conflicts: 107000 | #Constraints: 42323
203.21/203.92 c #Conflicts: 108000 | #Constraints: 43323
203.21/203.92 c #Conflicts: 109000 | #Constraints: 44323
203.21/203.92 c #Conflicts: 110000 | #Constraints: 45323
203.21/203.92 c #Conflicts: 111000 | #Constraints: 46323
203.21/203.92 c #Conflicts: 112000 | #Constraints: 47323
203.21/203.92 c #Conflicts: 113000 | #Constraints: 48323
203.21/203.92 c #Conflicts: 114000 | #Constraints: 49323
203.21/203.92 c #Conflicts: 115000 | #Constraints: 50323
203.21/203.92 c #Conflicts: 116000 | #Constraints: 51323
203.21/203.92 c #Conflicts: 117000 | #Constraints: 52323
203.21/203.92 c #Conflicts: 118000 | #Constraints: 53323
203.21/203.92 c #Conflicts: 119000 | #Constraints: 54323
203.21/203.92 c #Conflicts: 120000 | #Constraints: 55323
203.21/203.92 c #Conflicts: 121000 | #Constraints: 56323
203.21/203.92 c INPROCESSING
203.21/203.92 c GARBAGE COLLECT
203.21/203.92 c #Conflicts: 122000 | #Constraints: 39734
203.21/203.92 c #Conflicts: 123000 | #Constraints: 40734
203.21/203.92 c #Conflicts: 124000 | #Constraints: 41734
203.21/203.92 c #Conflicts: 125000 | #Constraints: 42734
203.21/203.92 c #Conflicts: 126000 | #Constraints: 43734
203.21/203.92 c #Conflicts: 127000 | #Constraints: 44734
203.21/203.92 c #Conflicts: 128000 | #Constraints: 45734
203.21/203.92 c #Conflicts: 129000 | #Constraints: 46734
203.21/203.92 c #Conflicts: 130000 | #Constraints: 47734
203.21/203.92 c #Conflicts: 131000 | #Constraints: 48734
203.21/203.92 c #Conflicts: 132000 | #Constraints: 49734
203.21/203.92 c INPROCESSING
203.21/203.92 c GARBAGE COLLECT
203.21/203.92 c #Conflicts: 133000 | #Constraints: 39294
203.21/203.92 c #Conflicts: 134000 | #Constraints: 40294
203.21/203.92 c #Conflicts: 135000 | #Constraints: 41294
203.21/203.92 c #Conflicts: 136000 | #Constraints: 42294
203.21/203.92 c #Conflicts: 137000 | #Constraints: 43294
203.21/203.92 c #Conflicts: 138000 | #Constraints: 44294
203.21/203.92 c #Conflicts: 139000 | #Constraints: 45294
203.21/203.92 c #Conflicts: 140000 | #Constraints: 46294
203.21/203.92 c #Conflicts: 141000 | #Constraints: 47294
203.21/203.92 c #Conflicts: 142000 | #Constraints: 48294
203.21/203.92 c #Conflicts: 143000 | #Constraints: 49294
203.21/203.92 c #Conflicts: 144000 | #Constraints: 50294
203.21/203.92 c #Conflicts: 145000 | #Constraints: 51294
203.21/203.92 c #Conflicts: 146000 | #Constraints: 52294
203.21/203.92 c #Conflicts: 147000 | #Constraints: 53294
203.21/203.92 c #Conflicts: 148000 | #Constraints: 54294
203.21/203.92 c #Conflicts: 149000 | #Constraints: 55294
312.96/314.07 c #Conflicts: 150000 | #Constraints: 56294
312.96/314.07 c #Conflicts: 151000 | #Constraints: 57294
312.96/314.07 c #Conflicts: 152000 | #Constraints: 58294
312.96/314.07 c #Conflicts: 153000 | #Constraints: 59294
312.96/314.07 c #Conflicts: 154000 | #Constraints: 60294
312.96/314.07 c #Conflicts: 155000 | #Constraints: 61294
312.96/314.07 c #Conflicts: 156000 | #Constraints: 62294
312.96/314.07 c INPROCESSING
312.96/314.07 c GARBAGE COLLECT
312.96/314.07 c #Conflicts: 157000 | #Constraints: 42778
312.96/314.07 c #Conflicts: 158000 | #Constraints: 43778
312.96/314.07 c #Conflicts: 159000 | #Constraints: 44778
312.96/314.07 c #Conflicts: 160000 | #Constraints: 45778
312.96/314.07 c #Conflicts: 161000 | #Constraints: 46778
312.96/314.07 c #Conflicts: 162000 | #Constraints: 47778
312.96/314.07 c #Conflicts: 163000 | #Constraints: 48778
312.96/314.07 c #Conflicts: 164000 | #Constraints: 49778
312.96/314.07 c #Conflicts: 165000 | #Constraints: 50778
312.96/314.07 c #Conflicts: 166000 | #Constraints: 51778
312.96/314.07 c #Conflicts: 167000 | #Constraints: 52778
312.96/314.07 c #Conflicts: 168000 | #Constraints: 53778
312.96/314.07 c INPROCESSING
312.96/314.07 c GARBAGE COLLECT
312.96/314.07 c #Conflicts: 169000 | #Constraints: 41953
312.96/314.07 c #Conflicts: 170000 | #Constraints: 42953
312.96/314.07 c #Conflicts: 171000 | #Constraints: 43953
312.96/314.07 c #Conflicts: 172000 | #Constraints: 44953
312.96/314.07 c #Conflicts: 173000 | #Constraints: 45953
312.96/314.07 c #Conflicts: 174000 | #Constraints: 46953
312.96/314.07 c #Conflicts: 175000 | #Constraints: 47953
312.96/314.07 c #Conflicts: 176000 | #Constraints: 48953
312.96/314.07 c #Conflicts: 177000 | #Constraints: 49953
312.96/314.07 c #Conflicts: 178000 | #Constraints: 50953
312.96/314.07 c #Conflicts: 179000 | #Constraints: 51953
312.96/314.07 c #Conflicts: 180000 | #Constraints: 52953
312.96/314.07 c #Conflicts: 181000 | #Constraints: 53953
312.96/314.07 c #Conflicts: 182000 | #Constraints: 54953
312.96/314.07 c #Conflicts: 183000 | #Constraints: 55953
312.96/314.07 c #Conflicts: 184000 | #Constraints: 56953
312.96/314.07 c #Conflicts: 185000 | #Constraints: 57953
312.96/314.07 c #Conflicts: 186000 | #Constraints: 58953
312.96/314.07 c #Conflicts: 187000 | #Constraints: 59953
312.96/314.07 c #Conflicts: 188000 | #Constraints: 60953
312.96/314.07 c #Conflicts: 189000 | #Constraints: 61953
312.96/314.07 c #Conflicts: 190000 | #Constraints: 62953
312.96/314.07 c #Conflicts: 191000 | #Constraints: 63953
312.96/314.07 c #Conflicts: 192000 | #Constraints: 64953
312.96/314.07 c #Conflicts: 193000 | #Constraints: 65953
312.96/314.07 c #Conflicts: 194000 | #Constraints: 66953
312.96/314.07 c #Conflicts: 195000 | #Constraints: 67953
312.96/314.07 c #Conflicts: 196000 | #Constraints: 68953
312.96/314.07 c INPROCESSING
312.96/314.07 c GARBAGE COLLECT
312.96/314.07 c #Conflicts: 197000 | #Constraints: 46541
312.96/314.07 c #Conflicts: 198000 | #Constraints: 47541
312.96/314.07 c #Conflicts: 199000 | #Constraints: 48541
312.96/314.07 c #Conflicts: 200000 | #Constraints: 49541
312.96/314.07 c #Conflicts: 201000 | #Constraints: 50541
312.96/314.07 c #Conflicts: 202000 | #Constraints: 51541
312.96/314.07 c #Conflicts: 203000 | #Constraints: 52541
312.96/314.07 c #Conflicts: 204000 | #Constraints: 53541
312.96/314.07 c #Conflicts: 205000 | #Constraints: 54541
312.96/314.07 c #Conflicts: 206000 | #Constraints: 55541
312.96/314.07 c #Conflicts: 207000 | #Constraints: 56541
312.96/314.07 c #Conflicts: 208000 | #Constraints: 57541
312.96/314.07 c #Conflicts: 209000 | #Constraints: 58541
312.96/314.07 c INPROCESSING
312.96/314.07 c GARBAGE COLLECT
312.96/314.07 c #Conflicts: 210000 | #Constraints: 45065
312.96/314.07 c #Conflicts: 211000 | #Constraints: 46065
312.96/314.07 c #Conflicts: 212000 | #Constraints: 47065
312.96/314.07 c #Conflicts: 213000 | #Constraints: 48065
312.96/314.07 c #Conflicts: 214000 | #Constraints: 49065
312.96/314.07 c #Conflicts: 215000 | #Constraints: 50065
312.96/314.07 c #Conflicts: 216000 | #Constraints: 51065
312.96/314.07 c #Conflicts: 217000 | #Constraints: 52065
312.96/314.07 c #Conflicts: 218000 | #Constraints: 53065
312.96/314.07 c #Conflicts: 219000 | #Constraints: 54065
312.96/314.07 c #Conflicts: 220000 | #Constraints: 55065
312.96/314.07 c #Conflicts: 221000 | #Constraints: 56065
312.96/314.07 c #Conflicts: 222000 | #Constraints: 57065
312.96/314.07 c #Conflicts: 223000 | #Constraints: 58065
312.96/314.07 c #Conflicts: 224000 | #Constraints: 59065
312.96/314.07 c #Conflicts: 225000 | #Constraints: 60065
394.54/396.00 c #Conflicts: 226000 | #Constraints: 61065
394.54/396.00 c #Conflicts: 227000 | #Constraints: 62065
394.54/396.00 c #Conflicts: 228000 | #Constraints: 63065
394.54/396.00 c #Conflicts: 229000 | #Constraints: 64065
394.54/396.00 c #Conflicts: 230000 | #Constraints: 65065
394.54/396.00 c #Conflicts: 231000 | #Constraints: 66065
394.54/396.00 c #Conflicts: 232000 | #Constraints: 67065
394.54/396.00 c #Conflicts: 233000 | #Constraints: 68065
394.54/396.00 c #Conflicts: 234000 | #Constraints: 69065
394.54/396.00 c #Conflicts: 235000 | #Constraints: 70065
394.54/396.00 c #Conflicts: 236000 | #Constraints: 71065
394.54/396.00 c #Conflicts: 237000 | #Constraints: 72065
394.54/396.00 c #Conflicts: 238000 | #Constraints: 73065
394.54/396.00 c #Conflicts: 239000 | #Constraints: 74065
394.54/396.00 c #Conflicts: 240000 | #Constraints: 75065
394.54/396.00 c INPROCESSING
394.54/396.00 c GARBAGE COLLECT
394.54/396.00 c rational objective 174
526.55/528.46 c #Conflicts: 241000 | #Constraints: 49864
526.55/528.46 c #Conflicts: 242000 | #Constraints: 50864
526.55/528.46 c #Conflicts: 243000 | #Constraints: 51864
526.55/528.46 c #Conflicts: 244000 | #Constraints: 52864
526.55/528.46 c #Conflicts: 245000 | #Constraints: 53864
526.55/528.46 c #Conflicts: 246000 | #Constraints: 54864
526.55/528.46 c #Conflicts: 247000 | #Constraints: 55864
526.55/528.46 c #Conflicts: 248000 | #Constraints: 56865
526.55/528.46 c #Conflicts: 249000 | #Constraints: 57865
526.55/528.46 c #Conflicts: 250000 | #Constraints: 58865
526.55/528.46 c #Conflicts: 251000 | #Constraints: 59865
526.55/528.46 c #Conflicts: 252000 | #Constraints: 60865
526.55/528.46 c #Conflicts: 253000 | #Constraints: 61865
526.55/528.46 c #Conflicts: 254000 | #Constraints: 62865
526.55/528.46 c INPROCESSING
526.55/528.46 c GARBAGE COLLECT
526.55/528.46 c #Conflicts: 255000 | #Constraints: 47306
526.55/528.46 c #Conflicts: 256000 | #Constraints: 48306
526.55/528.46 c #Conflicts: 257000 | #Constraints: 49306
526.55/528.46 c #Conflicts: 258000 | #Constraints: 50306
526.55/528.46 c #Conflicts: 259000 | #Constraints: 51306
526.55/528.46 c #Conflicts: 260000 | #Constraints: 52306
526.55/528.46 c #Conflicts: 261000 | #Constraints: 53306
526.55/528.46 c #Conflicts: 262000 | #Constraints: 54306
526.55/528.46 c #Conflicts: 263000 | #Constraints: 55306
526.55/528.46 c #Conflicts: 264000 | #Constraints: 56306
526.55/528.46 c #Conflicts: 265000 | #Constraints: 57306
526.55/528.46 c #Conflicts: 266000 | #Constraints: 58306
526.55/528.46 c #Conflicts: 267000 | #Constraints: 59306
526.55/528.46 c #Conflicts: 268000 | #Constraints: 60306
526.55/528.46 c #Conflicts: 269000 | #Constraints: 61306
526.55/528.46 c #Conflicts: 270000 | #Constraints: 62306
526.55/528.46 c #Conflicts: 271000 | #Constraints: 63306
526.55/528.46 c #Conflicts: 272000 | #Constraints: 64306
526.55/528.46 c #Conflicts: 273000 | #Constraints: 65306
526.55/528.46 c #Conflicts: 274000 | #Constraints: 66306
526.55/528.46 c #Conflicts: 275000 | #Constraints: 67306
526.55/528.46 c #Conflicts: 276000 | #Constraints: 68306
526.55/528.46 c #Conflicts: 277000 | #Constraints: 69306
526.55/528.46 c #Conflicts: 278000 | #Constraints: 70306
526.55/528.46 c #Conflicts: 279000 | #Constraints: 71306
526.55/528.46 c #Conflicts: 280000 | #Constraints: 72306
526.55/528.46 c #Conflicts: 281000 | #Constraints: 73306
526.55/528.46 c #Conflicts: 282000 | #Constraints: 74306
526.55/528.46 c #Conflicts: 283000 | #Constraints: 75306
526.55/528.46 c #Conflicts: 284000 | #Constraints: 76306
526.55/528.46 c #Conflicts: 285000 | #Constraints: 77306
526.55/528.46 c #Conflicts: 286000 | #Constraints: 78306
526.55/528.46 c #Conflicts: 287000 | #Constraints: 79306
526.55/528.46 c #Conflicts: 288000 | #Constraints: 80306
526.55/528.46 c INPROCESSING
526.55/528.46 c GARBAGE COLLECT
526.55/528.46 c #Conflicts: 289000 | #Constraints: 52451
526.55/528.46 c #Conflicts: 290000 | #Constraints: 53451
526.55/528.46 c #Conflicts: 291000 | #Constraints: 54451
526.55/528.46 c #Conflicts: 292000 | #Constraints: 55451
526.55/528.46 c #Conflicts: 293000 | #Constraints: 56451
526.55/528.46 c #Conflicts: 294000 | #Constraints: 57451
526.55/528.46 c #Conflicts: 295000 | #Constraints: 58451
526.55/528.46 c #Conflicts: 296000 | #Constraints: 59451
526.55/528.46 c #Conflicts: 297000 | #Constraints: 60451
526.55/528.46 c #Conflicts: 298000 | #Constraints: 61451
526.55/528.46 c #Conflicts: 299000 | #Constraints: 62451
526.55/528.46 c #Conflicts: 300000 | #Constraints: 63451
526.55/528.46 c #Conflicts: 301000 | #Constraints: 64451
526.55/528.46 c #Conflicts: 302000 | #Constraints: 65451
526.55/528.46 c #Conflicts: 303000 | #Constraints: 66451
526.55/528.46 c INPROCESSING
526.55/528.46 c GARBAGE COLLECT
526.55/528.46 c #Conflicts: 304000 | #Constraints: 49690
526.55/528.46 c #Conflicts: 305000 | #Constraints: 50690
526.55/528.46 c #Conflicts: 306000 | #Constraints: 51690
526.55/528.46 c #Conflicts: 307000 | #Constraints: 52690
526.55/528.46 c #Conflicts: 308000 | #Constraints: 53690
526.55/528.46 c #Conflicts: 309000 | #Constraints: 54690
526.55/528.46 c #Conflicts: 310000 | #Constraints: 55690
526.55/528.46 c #Conflicts: 311000 | #Constraints: 56690
526.55/528.46 c #Conflicts: 312000 | #Constraints: 57690
526.55/528.46 c #Conflicts: 313000 | #Constraints: 58690
526.55/528.46 c #Conflicts: 314000 | #Constraints: 59690
526.55/528.46 c #Conflicts: 315000 | #Constraints: 60690
526.55/528.46 c #Conflicts: 316000 | #Constraints: 61690
526.55/528.46 c #Conflicts: 317000 | #Constraints: 62690
689.55/692.02 c #Conflicts: 318000 | #Constraints: 63690
689.55/692.02 c #Conflicts: 319000 | #Constraints: 64690
689.55/692.02 c #Conflicts: 320000 | #Constraints: 65690
689.55/692.02 c #Conflicts: 321000 | #Constraints: 66690
689.55/692.02 c #Conflicts: 322000 | #Constraints: 67690
689.55/692.02 c #Conflicts: 323000 | #Constraints: 68690
689.55/692.02 c #Conflicts: 324000 | #Constraints: 69690
689.55/692.02 c #Conflicts: 325000 | #Constraints: 70690
689.55/692.02 c #Conflicts: 326000 | #Constraints: 71690
689.55/692.02 c #Conflicts: 327000 | #Constraints: 72690
689.55/692.02 c #Conflicts: 328000 | #Constraints: 73690
689.55/692.02 c #Conflicts: 329000 | #Constraints: 74690
689.55/692.02 c #Conflicts: 330000 | #Constraints: 75690
689.55/692.02 c #Conflicts: 331000 | #Constraints: 76690
689.55/692.02 c #Conflicts: 332000 | #Constraints: 77690
689.55/692.02 c #Conflicts: 333000 | #Constraints: 78690
689.55/692.02 c #Conflicts: 334000 | #Constraints: 79690
689.55/692.02 c #Conflicts: 335000 | #Constraints: 80690
689.55/692.02 c #Conflicts: 336000 | #Constraints: 81690
689.55/692.02 c #Conflicts: 337000 | #Constraints: 82690
689.55/692.02 c #Conflicts: 338000 | #Constraints: 83690
689.55/692.02 c #Conflicts: 339000 | #Constraints: 84690
689.55/692.02 c #Conflicts: 340000 | #Constraints: 85690
689.55/692.02 c INPROCESSING
689.55/692.02 c GARBAGE COLLECT
689.55/692.02 c #Conflicts: 341000 | #Constraints: 54753
689.55/692.02 c #Conflicts: 342000 | #Constraints: 55753
689.55/692.02 c #Conflicts: 343000 | #Constraints: 56753
689.55/692.02 c #Conflicts: 344000 | #Constraints: 57753
689.55/692.02 c #Conflicts: 345000 | #Constraints: 58753
689.55/692.02 c #Conflicts: 346000 | #Constraints: 59753
689.55/692.02 c #Conflicts: 347000 | #Constraints: 60753
689.55/692.02 c #Conflicts: 348000 | #Constraints: 61753
689.55/692.02 c #Conflicts: 349000 | #Constraints: 62753
689.55/692.02 c #Conflicts: 350000 | #Constraints: 63753
689.55/692.02 c #Conflicts: 351000 | #Constraints: 64753
689.55/692.02 c #Conflicts: 352000 | #Constraints: 65753
689.55/692.02 c #Conflicts: 353000 | #Constraints: 66753
689.55/692.02 c #Conflicts: 354000 | #Constraints: 67753
689.55/692.02 c #Conflicts: 355000 | #Constraints: 68753
689.55/692.02 c #Conflicts: 356000 | #Constraints: 69753
689.55/692.02 c #Conflicts: 357000 | #Constraints: 70753
689.55/692.02 c INPROCESSING
689.55/692.02 c GARBAGE COLLECT
689.55/692.02 c #Conflicts: 358000 | #Constraints: 52778
689.55/692.02 c #Conflicts: 359000 | #Constraints: 53778
689.55/692.02 c #Conflicts: 360000 | #Constraints: 54778
689.55/692.02 c #Conflicts: 361000 | #Constraints: 55778
689.55/692.02 c #Conflicts: 362000 | #Constraints: 56778
689.55/692.02 c #Conflicts: 363000 | #Constraints: 57778
689.55/692.02 c #Conflicts: 364000 | #Constraints: 58778
689.55/692.02 c #Conflicts: 365000 | #Constraints: 59778
689.55/692.02 c #Conflicts: 366000 | #Constraints: 60778
689.55/692.02 c #Conflicts: 367000 | #Constraints: 61778
689.55/692.02 c #Conflicts: 368000 | #Constraints: 62778
689.55/692.02 c #Conflicts: 369000 | #Constraints: 63778
689.55/692.02 c #Conflicts: 370000 | #Constraints: 64778
689.55/692.02 c #Conflicts: 371000 | #Constraints: 65778
689.55/692.02 c #Conflicts: 372000 | #Constraints: 66778
689.55/692.02 c #Conflicts: 373000 | #Constraints: 67778
689.55/692.02 c #Conflicts: 374000 | #Constraints: 68778
689.55/692.02 c #Conflicts: 375000 | #Constraints: 69778
689.55/692.02 c #Conflicts: 376000 | #Constraints: 70778
689.55/692.02 c #Conflicts: 377000 | #Constraints: 71778
689.55/692.02 c #Conflicts: 378000 | #Constraints: 72778
689.55/692.02 c #Conflicts: 379000 | #Constraints: 73778
689.55/692.02 c #Conflicts: 380000 | #Constraints: 74778
689.55/692.02 c #Conflicts: 381000 | #Constraints: 75778
689.55/692.02 c #Conflicts: 382000 | #Constraints: 76778
689.55/692.02 c #Conflicts: 383000 | #Constraints: 77778
689.55/692.02 c #Conflicts: 384000 | #Constraints: 78778
689.55/692.02 c #Conflicts: 385000 | #Constraints: 79778
689.55/692.02 c #Conflicts: 386000 | #Constraints: 80778
689.55/692.02 c #Conflicts: 387000 | #Constraints: 81778
689.55/692.02 c #Conflicts: 388000 | #Constraints: 82778
689.55/692.02 c #Conflicts: 389000 | #Constraints: 83778
689.55/692.02 c #Conflicts: 390000 | #Constraints: 84778
689.55/692.02 c #Conflicts: 391000 | #Constraints: 85778
689.55/692.02 c #Conflicts: 392000 | #Constraints: 86778
689.55/692.02 c #Conflicts: 393000 | #Constraints: 87778
689.55/692.02 c #Conflicts: 394000 | #Constraints: 88778
689.55/692.02 c #Conflicts: 395000 | #Constraints: 89778
823.50/826.45 c #Conflicts: 396000 | #Constraints: 90778
823.50/826.45 c #Conflicts: 397000 | #Constraints: 91778
823.50/826.45 c INPROCESSING
823.50/826.45 c GARBAGE COLLECT
823.50/826.45 c #Conflicts: 398000 | #Constraints: 57746
823.50/826.45 c #Conflicts: 399000 | #Constraints: 58746
823.50/826.45 c #Conflicts: 400000 | #Constraints: 59746
823.50/826.45 c #Conflicts: 401000 | #Constraints: 60746
823.50/826.45 c #Conflicts: 402000 | #Constraints: 61746
823.50/826.45 c #Conflicts: 403000 | #Constraints: 62746
823.50/826.45 c #Conflicts: 404000 | #Constraints: 63746
823.50/826.45 c #Conflicts: 405000 | #Constraints: 64746
823.50/826.45 c #Conflicts: 406000 | #Constraints: 65746
823.50/826.45 c #Conflicts: 407000 | #Constraints: 66746
823.50/826.45 c #Conflicts: 408000 | #Constraints: 67746
823.50/826.45 c #Conflicts: 409000 | #Constraints: 68746
823.50/826.45 c #Conflicts: 410000 | #Constraints: 69746
823.50/826.45 c #Conflicts: 411000 | #Constraints: 70746
823.50/826.45 c #Conflicts: 412000 | #Constraints: 71746
823.50/826.45 c #Conflicts: 413000 | #Constraints: 72746
823.50/826.45 c #Conflicts: 414000 | #Constraints: 73746
823.50/826.46 c #Conflicts: 415000 | #Constraints: 74746
823.50/826.46 c INPROCESSING
823.50/826.46 c GARBAGE COLLECT
823.50/826.46 c #Conflicts: 416000 | #Constraints: 55445
823.50/826.46 c #Conflicts: 417000 | #Constraints: 56445
823.50/826.46 c #Conflicts: 418000 | #Constraints: 57445
823.50/826.46 c #Conflicts: 419000 | #Constraints: 58445
823.50/826.46 c #Conflicts: 420000 | #Constraints: 59445
823.50/826.46 c #Conflicts: 421000 | #Constraints: 60445
823.50/826.46 c #Conflicts: 422000 | #Constraints: 61445
823.50/826.46 c #Conflicts: 423000 | #Constraints: 62445
823.50/826.46 c #Conflicts: 424000 | #Constraints: 63445
823.50/826.46 c #Conflicts: 425000 | #Constraints: 64445
823.50/826.46 c #Conflicts: 426000 | #Constraints: 65445
823.50/826.46 c #Conflicts: 427000 | #Constraints: 66445
823.50/826.46 c #Conflicts: 428000 | #Constraints: 67445
823.50/826.46 c #Conflicts: 429000 | #Constraints: 68445
823.50/826.46 c #Conflicts: 430000 | #Constraints: 69445
823.50/826.46 c #Conflicts: 431000 | #Constraints: 70445
823.50/826.46 c #Conflicts: 432000 | #Constraints: 71445
823.50/826.46 c #Conflicts: 433000 | #Constraints: 72445
823.50/826.46 c #Conflicts: 434000 | #Constraints: 73445
823.50/826.46 c #Conflicts: 435000 | #Constraints: 74445
823.50/826.46 c #Conflicts: 436000 | #Constraints: 75445
823.50/826.46 c #Conflicts: 437000 | #Constraints: 76445
823.50/826.46 c #Conflicts: 438000 | #Constraints: 77445
823.50/826.46 c #Conflicts: 439000 | #Constraints: 78445
823.50/826.46 c #Conflicts: 440000 | #Constraints: 79445
823.50/826.46 c #Conflicts: 441000 | #Constraints: 80445
823.50/826.46 c #Conflicts: 442000 | #Constraints: 81445
823.50/826.46 c #Conflicts: 443000 | #Constraints: 82445
823.50/826.46 c #Conflicts: 444000 | #Constraints: 83445
823.50/826.46 c #Conflicts: 445000 | #Constraints: 84445
823.50/826.46 c #Conflicts: 446000 | #Constraints: 85445
823.50/826.46 c #Conflicts: 447000 | #Constraints: 86445
823.50/826.46 c #Conflicts: 448000 | #Constraints: 87445
823.50/826.46 c #Conflicts: 449000 | #Constraints: 88445
823.50/826.46 c #Conflicts: 450000 | #Constraints: 89445
823.50/826.46 c #Conflicts: 451000 | #Constraints: 90445
823.50/826.46 c #Conflicts: 452000 | #Constraints: 91445
823.50/826.46 c #Conflicts: 453000 | #Constraints: 92445
823.50/826.46 c #Conflicts: 454000 | #Constraints: 93445
823.50/826.46 c #Conflicts: 455000 | #Constraints: 94445
823.50/826.46 c #Conflicts: 456000 | #Constraints: 95445
823.50/826.46 c #Conflicts: 457000 | #Constraints: 96445
823.50/826.46 c #Conflicts: 458000 | #Constraints: 97445
823.50/826.46 c #Conflicts: 459000 | #Constraints: 98445
823.50/826.46 c INPROCESSING
823.50/826.46 c GARBAGE COLLECT
823.50/826.46 c #Conflicts: 460000 | #Constraints: 61818
823.50/826.46 c #Conflicts: 461000 | #Constraints: 62818
823.50/826.46 c #Conflicts: 462000 | #Constraints: 63818
823.50/826.46 c #Conflicts: 463000 | #Constraints: 64818
823.50/826.46 c #Conflicts: 464000 | #Constraints: 65818
823.50/826.46 c #Conflicts: 465000 | #Constraints: 66818
823.50/826.46 c #Conflicts: 466000 | #Constraints: 67818
823.50/826.46 c #Conflicts: 467000 | #Constraints: 68818
823.50/826.46 c #Conflicts: 468000 | #Constraints: 69818
823.50/826.46 c #Conflicts: 469000 | #Constraints: 70818
823.50/826.46 c #Conflicts: 470000 | #Constraints: 71818
823.50/826.46 c #Conflicts: 471000 | #Constraints: 72818
823.50/826.46 c #Conflicts: 472000 | #Constraints: 73818
1015.12/1018.67 c #Conflicts: 473000 | #Constraints: 74818
1015.12/1018.67 c #Conflicts: 474000 | #Constraints: 75818
1015.12/1018.67 c #Conflicts: 475000 | #Constraints: 76818
1015.12/1018.67 c #Conflicts: 476000 | #Constraints: 77818
1015.12/1018.67 c #Conflicts: 477000 | #Constraints: 78818
1015.12/1018.67 c #Conflicts: 478000 | #Constraints: 79818
1015.12/1018.67 c INPROCESSING
1015.12/1018.67 c GARBAGE COLLECT
1015.12/1018.67 c #Conflicts: 479000 | #Constraints: 58130
1015.12/1018.67 c #Conflicts: 480000 | #Constraints: 59130
1015.12/1018.67 c #Conflicts: 481000 | #Constraints: 60130
1015.12/1018.67 c #Conflicts: 482000 | #Constraints: 61130
1015.12/1018.67 c #Conflicts: 483000 | #Constraints: 62130
1015.12/1018.67 c #Conflicts: 484000 | #Constraints: 63130
1015.12/1018.67 c #Conflicts: 485000 | #Constraints: 64130
1015.12/1018.67 c #Conflicts: 486000 | #Constraints: 65130
1015.12/1018.67 c #Conflicts: 487000 | #Constraints: 66130
1015.12/1018.67 c #Conflicts: 488000 | #Constraints: 67130
1015.12/1018.67 c #Conflicts: 489000 | #Constraints: 68130
1015.12/1018.67 c #Conflicts: 490000 | #Constraints: 69130
1015.12/1018.67 c #Conflicts: 491000 | #Constraints: 70130
1015.12/1018.67 c #Conflicts: 492000 | #Constraints: 71130
1015.12/1018.67 c #Conflicts: 493000 | #Constraints: 72130
1015.12/1018.67 c #Conflicts: 494000 | #Constraints: 73130
1015.12/1018.67 c #Conflicts: 495000 | #Constraints: 74130
1015.12/1018.67 c #Conflicts: 496000 | #Constraints: 75130
1015.12/1018.67 c #Conflicts: 497000 | #Constraints: 76130
1015.12/1018.67 c #Conflicts: 498000 | #Constraints: 77130
1015.12/1018.67 c #Conflicts: 499000 | #Constraints: 78130
1015.12/1018.67 c #Conflicts: 500000 | #Constraints: 79130
1015.12/1018.67 c #Conflicts: 501000 | #Constraints: 80130
1015.12/1018.67 c #Conflicts: 502000 | #Constraints: 81130
1015.12/1018.67 c #Conflicts: 503000 | #Constraints: 82130
1015.12/1018.67 c #Conflicts: 504000 | #Constraints: 83130
1015.12/1018.67 c #Conflicts: 505000 | #Constraints: 84130
1015.12/1018.67 c #Conflicts: 506000 | #Constraints: 85130
1015.12/1018.67 c #Conflicts: 507000 | #Constraints: 86130
1015.12/1018.67 c #Conflicts: 508000 | #Constraints: 87130
1015.12/1018.67 c #Conflicts: 509000 | #Constraints: 88130
1015.12/1018.67 c #Conflicts: 510000 | #Constraints: 89130
1015.12/1018.67 c #Conflicts: 511000 | #Constraints: 90130
1015.12/1018.67 c #Conflicts: 512000 | #Constraints: 91130
1015.12/1018.67 c #Conflicts: 513000 | #Constraints: 92130
1015.12/1018.67 c #Conflicts: 514000 | #Constraints: 93130
1015.12/1018.67 c #Conflicts: 515000 | #Constraints: 94130
1015.12/1018.67 c #Conflicts: 516000 | #Constraints: 95130
1015.12/1018.67 c #Conflicts: 517000 | #Constraints: 96130
1015.12/1018.67 c #Conflicts: 518000 | #Constraints: 97130
1015.12/1018.67 c #Conflicts: 519000 | #Constraints: 98130
1015.12/1018.67 c #Conflicts: 520000 | #Constraints: 99130
1015.12/1018.67 c #Conflicts: 521000 | #Constraints: 100130
1015.12/1018.67 c #Conflicts: 522000 | #Constraints: 101130
1015.12/1018.67 c #Conflicts: 523000 | #Constraints: 102130
1015.12/1018.67 c #Conflicts: 524000 | #Constraints: 103130
1015.12/1018.67 c #Conflicts: 525000 | #Constraints: 104130
1015.12/1018.67 c INPROCESSING
1015.12/1018.67 c GARBAGE COLLECT
1015.12/1018.67 c #Conflicts: 526000 | #Constraints: 64560
1015.12/1018.67 c #Conflicts: 527000 | #Constraints: 65560
1015.12/1018.67 c #Conflicts: 528000 | #Constraints: 66560
1015.12/1018.67 c #Conflicts: 529000 | #Constraints: 67560
1015.12/1018.67 c #Conflicts: 530000 | #Constraints: 68560
1015.12/1018.67 c #Conflicts: 531000 | #Constraints: 69560
1015.12/1018.67 c #Conflicts: 532000 | #Constraints: 70560
1015.12/1018.67 c #Conflicts: 533000 | #Constraints: 71560
1015.12/1018.67 c #Conflicts: 534000 | #Constraints: 72560
1015.12/1018.67 c #Conflicts: 535000 | #Constraints: 73560
1015.12/1018.67 c #Conflicts: 536000 | #Constraints: 74561
1015.12/1018.67 c #Conflicts: 537000 | #Constraints: 75561
1015.12/1018.67 c #Conflicts: 538000 | #Constraints: 76561
1015.12/1018.67 c #Conflicts: 539000 | #Constraints: 77561
1015.12/1018.67 c #Conflicts: 540000 | #Constraints: 78561
1015.12/1018.67 c #Conflicts: 541000 | #Constraints: 79561
1015.12/1018.67 c #Conflicts: 542000 | #Constraints: 80561
1015.12/1018.67 c #Conflicts: 543000 | #Constraints: 81561
1015.12/1018.67 c #Conflicts: 544000 | #Constraints: 82561
1015.12/1018.67 c #Conflicts: 545000 | #Constraints: 83561
1015.12/1018.67 c INPROCESSING
1015.12/1018.67 c GARBAGE COLLECT
1015.12/1018.67 c #Conflicts: 546000 | #Constraints: 60762
1015.12/1018.67 c #Conflicts: 547000 | #Constraints: 61762
1015.12/1018.67 c #Conflicts: 548000 | #Constraints: 62762
1015.12/1018.67 c #Conflicts: 549000 | #Constraints: 63762
1150.51/1154.48 c #Conflicts: 550000 | #Constraints: 64762
1150.51/1154.48 c #Conflicts: 551000 | #Constraints: 65762
1150.51/1154.48 c #Conflicts: 552000 | #Constraints: 66762
1150.51/1154.48 c #Conflicts: 553000 | #Constraints: 67762
1150.51/1154.48 c #Conflicts: 554000 | #Constraints: 68762
1150.51/1154.48 c #Conflicts: 555000 | #Constraints: 69762
1150.51/1154.48 c #Conflicts: 556000 | #Constraints: 70762
1150.51/1154.48 c #Conflicts: 557000 | #Constraints: 71762
1150.51/1154.48 c #Conflicts: 558000 | #Constraints: 72762
1150.51/1154.48 c #Conflicts: 559000 | #Constraints: 73762
1150.51/1154.48 c #Conflicts: 560000 | #Constraints: 74762
1150.51/1154.48 c #Conflicts: 561000 | #Constraints: 75762
1150.51/1154.48 c #Conflicts: 562000 | #Constraints: 76762
1150.51/1154.48 c #Conflicts: 563000 | #Constraints: 77762
1150.51/1154.48 c #Conflicts: 564000 | #Constraints: 78762
1150.51/1154.48 c #Conflicts: 565000 | #Constraints: 79762
1150.51/1154.48 c #Conflicts: 566000 | #Constraints: 80762
1150.51/1154.48 c #Conflicts: 567000 | #Constraints: 81762
1150.51/1154.48 c #Conflicts: 568000 | #Constraints: 82762
1150.51/1154.48 c #Conflicts: 569000 | #Constraints: 83762
1150.51/1154.48 c #Conflicts: 570000 | #Constraints: 84762
1150.51/1154.48 c #Conflicts: 571000 | #Constraints: 85762
1150.51/1154.48 c #Conflicts: 572000 | #Constraints: 86762
1150.51/1154.48 c #Conflicts: 573000 | #Constraints: 87762
1150.51/1154.48 c #Conflicts: 574000 | #Constraints: 88762
1150.51/1154.48 c #Conflicts: 575000 | #Constraints: 89762
1150.51/1154.48 c #Conflicts: 576000 | #Constraints: 90762
1150.51/1154.48 c #Conflicts: 577000 | #Constraints: 91762
1150.51/1154.48 c #Conflicts: 578000 | #Constraints: 92762
1150.51/1154.48 c #Conflicts: 579000 | #Constraints: 93762
1150.51/1154.48 c #Conflicts: 580000 | #Constraints: 94762
1150.51/1154.48 c #Conflicts: 581000 | #Constraints: 95762
1150.51/1154.48 c #Conflicts: 582000 | #Constraints: 96762
1150.51/1154.48 c #Conflicts: 583000 | #Constraints: 97762
1150.51/1154.48 c #Conflicts: 584000 | #Constraints: 98762
1150.51/1154.48 c #Conflicts: 585000 | #Constraints: 99762
1150.51/1154.48 c #Conflicts: 586000 | #Constraints: 100762
1150.51/1154.48 c #Conflicts: 587000 | #Constraints: 101762
1150.51/1154.48 c #Conflicts: 588000 | #Constraints: 102762
1150.51/1154.48 c #Conflicts: 589000 | #Constraints: 103762
1150.51/1154.48 c #Conflicts: 590000 | #Constraints: 104762
1150.51/1154.48 c #Conflicts: 591000 | #Constraints: 105762
1150.51/1154.48 c #Conflicts: 592000 | #Constraints: 106762
1150.51/1154.48 c #Conflicts: 593000 | #Constraints: 107762
1150.51/1154.48 c #Conflicts: 594000 | #Constraints: 108762
1150.51/1154.48 c #Conflicts: 595000 | #Constraints: 109762
1150.51/1154.48 c INPROCESSING
1150.51/1154.48 c GARBAGE COLLECT
1150.51/1154.48 c #Conflicts: 596000 | #Constraints: 67414
1150.51/1154.48 c #Conflicts: 597000 | #Constraints: 68414
1150.51/1154.48 c #Conflicts: 598000 | #Constraints: 69414
1150.51/1154.48 c #Conflicts: 599000 | #Constraints: 70414
1150.51/1154.48 c #Conflicts: 600000 | #Constraints: 71414
1150.51/1154.48 c #Conflicts: 601000 | #Constraints: 72414
1150.51/1154.48 c #Conflicts: 602000 | #Constraints: 73414
1150.51/1154.48 c #Conflicts: 603000 | #Constraints: 74414
1150.51/1154.48 c #Conflicts: 604000 | #Constraints: 75414
1150.51/1154.48 c #Conflicts: 605000 | #Constraints: 76414
1150.51/1154.48 c #Conflicts: 606000 | #Constraints: 77414
1150.51/1154.48 c #Conflicts: 607000 | #Constraints: 78414
1150.51/1154.48 c #Conflicts: 608000 | #Constraints: 79414
1150.51/1154.48 c #Conflicts: 609000 | #Constraints: 80414
1150.51/1154.48 c #Conflicts: 610000 | #Constraints: 81414
1150.51/1154.48 c #Conflicts: 611000 | #Constraints: 82414
1150.51/1154.48 c #Conflicts: 612000 | #Constraints: 83414
1150.51/1154.48 c #Conflicts: 613000 | #Constraints: 84414
1150.51/1154.48 c #Conflicts: 614000 | #Constraints: 85414
1150.51/1154.48 c #Conflicts: 615000 | #Constraints: 86414
1150.51/1154.48 c #Conflicts: 616000 | #Constraints: 87414
1150.51/1154.48 c #Conflicts: 617000 | #Constraints: 88414
1150.51/1154.48 c INPROCESSING
1150.51/1154.48 c GARBAGE COLLECT
1150.51/1154.48 c #Conflicts: 618000 | #Constraints: 63883
1150.51/1154.48 c #Conflicts: 619000 | #Constraints: 64883
1150.51/1154.48 c #Conflicts: 620000 | #Constraints: 65883
1150.51/1154.48 c #Conflicts: 621000 | #Constraints: 66883
1150.51/1154.48 c #Conflicts: 622000 | #Constraints: 67883
1150.51/1154.48 c #Conflicts: 623000 | #Constraints: 68883
1150.51/1154.48 c #Conflicts: 624000 | #Constraints: 69883
1150.51/1154.48 c #Conflicts: 625000 | #Constraints: 70883
1150.51/1154.48 c #Conflicts: 626000 | #Constraints: 71883
1353.00/1357.58 c #Conflicts: 627000 | #Constraints: 72883
1353.00/1357.58 c #Conflicts: 628000 | #Constraints: 73883
1353.00/1357.58 c #Conflicts: 629000 | #Constraints: 74883
1353.00/1357.58 c #Conflicts: 630000 | #Constraints: 75883
1353.00/1357.58 c #Conflicts: 631000 | #Constraints: 76883
1353.00/1357.58 c #Conflicts: 632000 | #Constraints: 77883
1353.00/1357.58 c #Conflicts: 633000 | #Constraints: 78883
1353.00/1357.58 c #Conflicts: 634000 | #Constraints: 79883
1353.00/1357.58 c #Conflicts: 635000 | #Constraints: 80883
1353.00/1357.58 c #Conflicts: 636000 | #Constraints: 81883
1353.00/1357.58 c #Conflicts: 637000 | #Constraints: 82883
1353.00/1357.58 c #Conflicts: 638000 | #Constraints: 83883
1353.00/1357.58 c #Conflicts: 639000 | #Constraints: 84883
1353.00/1357.58 c #Conflicts: 640000 | #Constraints: 85883
1353.00/1357.58 c #Conflicts: 641000 | #Constraints: 86883
1353.00/1357.58 c #Conflicts: 642000 | #Constraints: 87883
1353.00/1357.58 c #Conflicts: 643000 | #Constraints: 88883
1353.00/1357.58 c #Conflicts: 644000 | #Constraints: 89883
1353.00/1357.58 c #Conflicts: 645000 | #Constraints: 90883
1353.00/1357.58 c #Conflicts: 646000 | #Constraints: 91883
1353.00/1357.58 c #Conflicts: 647000 | #Constraints: 92883
1353.00/1357.58 c #Conflicts: 648000 | #Constraints: 93883
1353.00/1357.58 c #Conflicts: 649000 | #Constraints: 94883
1353.00/1357.58 c #Conflicts: 650000 | #Constraints: 95883
1353.00/1357.58 c #Conflicts: 651000 | #Constraints: 96883
1353.00/1357.58 c #Conflicts: 652000 | #Constraints: 97883
1353.00/1357.58 c #Conflicts: 653000 | #Constraints: 98883
1353.00/1357.58 c #Conflicts: 654000 | #Constraints: 99883
1353.00/1357.58 c #Conflicts: 655000 | #Constraints: 100883
1353.00/1357.58 c #Conflicts: 656000 | #Constraints: 101883
1353.00/1357.58 c #Conflicts: 657000 | #Constraints: 102883
1353.00/1357.58 c #Conflicts: 658000 | #Constraints: 103883
1353.00/1357.58 c #Conflicts: 659000 | #Constraints: 104883
1353.00/1357.58 c #Conflicts: 660000 | #Constraints: 105883
1353.00/1357.58 c #Conflicts: 661000 | #Constraints: 106883
1353.00/1357.58 c #Conflicts: 662000 | #Constraints: 107883
1353.00/1357.58 c #Conflicts: 663000 | #Constraints: 108883
1353.00/1357.58 c #Conflicts: 664000 | #Constraints: 109883
1353.00/1357.58 c #Conflicts: 665000 | #Constraints: 110883
1353.00/1357.58 c #Conflicts: 666000 | #Constraints: 111883
1353.00/1357.58 c #Conflicts: 667000 | #Constraints: 112883
1353.00/1357.58 c #Conflicts: 668000 | #Constraints: 113883
1353.00/1357.58 c #Conflicts: 669000 | #Constraints: 114883
1353.00/1357.58 c INPROCESSING
1353.00/1357.58 c GARBAGE COLLECT
1353.00/1357.58 c #Conflicts: 670000 | #Constraints: 69650
1353.00/1357.58 c #Conflicts: 671000 | #Constraints: 70650
1353.00/1357.58 c #Conflicts: 672000 | #Constraints: 71650
1353.00/1357.58 c #Conflicts: 673000 | #Constraints: 72650
1353.00/1357.58 c #Conflicts: 674000 | #Constraints: 73650
1353.00/1357.58 c #Conflicts: 675000 | #Constraints: 74650
1353.00/1357.58 c #Conflicts: 676000 | #Constraints: 75650
1353.00/1357.58 c #Conflicts: 677000 | #Constraints: 76650
1353.00/1357.58 c #Conflicts: 678000 | #Constraints: 77650
1353.00/1357.58 c #Conflicts: 679000 | #Constraints: 78650
1353.00/1357.58 c #Conflicts: 680000 | #Constraints: 79650
1353.00/1357.58 c #Conflicts: 681000 | #Constraints: 80650
1353.00/1357.58 c #Conflicts: 682000 | #Constraints: 81650
1353.00/1357.58 c #Conflicts: 683000 | #Constraints: 82650
1353.00/1357.58 c #Conflicts: 684000 | #Constraints: 83650
1353.00/1357.58 c #Conflicts: 685000 | #Constraints: 84650
1353.00/1357.58 c #Conflicts: 686000 | #Constraints: 85650
1353.00/1357.58 c #Conflicts: 687000 | #Constraints: 86650
1353.00/1357.58 c #Conflicts: 688000 | #Constraints: 87650
1353.00/1357.58 c #Conflicts: 689000 | #Constraints: 88650
1353.00/1357.58 c #Conflicts: 690000 | #Constraints: 89650
1353.00/1357.58 c #Conflicts: 691000 | #Constraints: 90650
1353.00/1357.58 c #Conflicts: 692000 | #Constraints: 91650
1353.00/1357.58 c #Conflicts: 693000 | #Constraints: 92650
1353.00/1357.58 c INPROCESSING
1353.00/1357.58 c GARBAGE COLLECT
1353.00/1357.58 c #Conflicts: 694000 | #Constraints: 67112
1353.00/1357.58 c #Conflicts: 695000 | #Constraints: 68112
1353.00/1357.58 c #Conflicts: 696000 | #Constraints: 69112
1353.00/1357.58 c #Conflicts: 697000 | #Constraints: 70112
1353.00/1357.58 c #Conflicts: 698000 | #Constraints: 71112
1353.00/1357.58 c #Conflicts: 699000 | #Constraints: 72112
1353.00/1357.58 c #Conflicts: 700000 | #Constraints: 73112
1353.00/1357.58 c #Conflicts: 701000 | #Constraints: 74112
1353.00/1357.58 c #Conflicts: 702000 | #Constraints: 75112
1353.00/1357.58 c #Conflicts: 703000 | #Constraints: 76112
1353.00/1357.58 c #Conflicts: 704000 | #Constraints: 77112
1526.06/1531.17 c #Conflicts: 705000 | #Constraints: 78112
1526.06/1531.17 c #Conflicts: 706000 | #Constraints: 79112
1526.06/1531.17 c #Conflicts: 707000 | #Constraints: 80112
1526.06/1531.17 c #Conflicts: 708000 | #Constraints: 81112
1526.06/1531.17 c #Conflicts: 709000 | #Constraints: 82112
1526.06/1531.17 c #Conflicts: 710000 | #Constraints: 83112
1526.06/1531.17 c #Conflicts: 711000 | #Constraints: 84112
1526.06/1531.17 c #Conflicts: 712000 | #Constraints: 85112
1526.06/1531.17 c #Conflicts: 713000 | #Constraints: 86112
1526.06/1531.17 c #Conflicts: 714000 | #Constraints: 87112
1526.06/1531.17 c #Conflicts: 715000 | #Constraints: 88112
1526.06/1531.17 c #Conflicts: 716000 | #Constraints: 89112
1526.06/1531.17 c #Conflicts: 717000 | #Constraints: 90112
1526.06/1531.17 c #Conflicts: 718000 | #Constraints: 91112
1526.06/1531.17 c #Conflicts: 719000 | #Constraints: 92112
1526.06/1531.17 c #Conflicts: 720000 | #Constraints: 93112
1526.06/1531.17 c #Conflicts: 721000 | #Constraints: 94112
1526.06/1531.17 c #Conflicts: 722000 | #Constraints: 95112
1526.06/1531.17 c #Conflicts: 723000 | #Constraints: 96112
1526.06/1531.17 c #Conflicts: 724000 | #Constraints: 97112
1526.06/1531.17 c #Conflicts: 725000 | #Constraints: 98112
1526.06/1531.17 c #Conflicts: 726000 | #Constraints: 99112
1526.06/1531.17 c #Conflicts: 727000 | #Constraints: 100112
1526.06/1531.17 c #Conflicts: 728000 | #Constraints: 101112
1526.06/1531.17 c #Conflicts: 729000 | #Constraints: 102112
1526.06/1531.17 c #Conflicts: 730000 | #Constraints: 103112
1526.06/1531.17 c #Conflicts: 731000 | #Constraints: 104112
1526.06/1531.17 c #Conflicts: 732000 | #Constraints: 105112
1526.06/1531.17 c #Conflicts: 733000 | #Constraints: 106112
1526.06/1531.17 c #Conflicts: 734000 | #Constraints: 107112
1526.06/1531.17 c #Conflicts: 735000 | #Constraints: 108112
1526.06/1531.17 c #Conflicts: 736000 | #Constraints: 109112
1526.06/1531.17 c #Conflicts: 737000 | #Constraints: 110112
1526.06/1531.17 c #Conflicts: 738000 | #Constraints: 111112
1526.06/1531.17 c #Conflicts: 739000 | #Constraints: 112112
1526.06/1531.17 c #Conflicts: 740000 | #Constraints: 113112
1526.06/1531.17 c #Conflicts: 741000 | #Constraints: 114112
1526.06/1531.17 c #Conflicts: 742000 | #Constraints: 115112
1526.06/1531.17 c #Conflicts: 743000 | #Constraints: 116112
1526.06/1531.17 c #Conflicts: 744000 | #Constraints: 117112
1526.06/1531.17 c #Conflicts: 745000 | #Constraints: 118112
1526.06/1531.17 c #Conflicts: 746000 | #Constraints: 119112
1526.06/1531.17 c #Conflicts: 747000 | #Constraints: 120112
1526.06/1531.17 c #Conflicts: 748000 | #Constraints: 121112
1526.06/1531.17 c INPROCESSING
1526.06/1531.17 c GARBAGE COLLECT
1526.06/1531.17 c #Conflicts: 749000 | #Constraints: 72969
1526.06/1531.17 c #Conflicts: 750000 | #Constraints: 73969
1526.06/1531.17 c #Conflicts: 751000 | #Constraints: 74969
1526.06/1531.17 c #Conflicts: 752000 | #Constraints: 75969
1526.06/1531.17 c #Conflicts: 753000 | #Constraints: 76969
1526.06/1531.17 c #Conflicts: 754000 | #Constraints: 77969
1526.06/1531.17 c #Conflicts: 755000 | #Constraints: 78969
1526.06/1531.17 c #Conflicts: 756000 | #Constraints: 79969
1526.06/1531.17 c #Conflicts: 757000 | #Constraints: 80969
1526.06/1531.17 c #Conflicts: 758000 | #Constraints: 81969
1526.06/1531.17 c #Conflicts: 759000 | #Constraints: 82969
1526.06/1531.17 c #Conflicts: 760000 | #Constraints: 83969
1526.06/1531.17 c #Conflicts: 761000 | #Constraints: 84969
1526.06/1531.17 c #Conflicts: 762000 | #Constraints: 85969
1526.06/1531.17 c #Conflicts: 763000 | #Constraints: 86969
1526.06/1531.17 c #Conflicts: 764000 | #Constraints: 87969
1526.06/1531.17 c #Conflicts: 765000 | #Constraints: 88969
1526.06/1531.17 c #Conflicts: 766000 | #Constraints: 89969
1526.06/1531.17 c #Conflicts: 767000 | #Constraints: 90969
1526.06/1531.17 c #Conflicts: 768000 | #Constraints: 91969
1526.06/1531.17 c #Conflicts: 769000 | #Constraints: 92969
1526.06/1531.17 c #Conflicts: 770000 | #Constraints: 93969
1526.06/1531.17 c #Conflicts: 771000 | #Constraints: 94969
1526.06/1531.17 c #Conflicts: 772000 | #Constraints: 95969
1526.06/1531.17 c #Conflicts: 773000 | #Constraints: 96969
1526.06/1531.17 c INPROCESSING
1526.06/1531.17 c GARBAGE COLLECT
1526.06/1531.17 c #Conflicts: 774000 | #Constraints: 69452
1526.06/1531.17 c #Conflicts: 775000 | #Constraints: 70452
1526.06/1531.17 c #Conflicts: 776000 | #Constraints: 71452
1526.06/1531.17 c #Conflicts: 777000 | #Constraints: 72452
1526.06/1531.17 c #Conflicts: 778000 | #Constraints: 73452
1526.06/1531.17 c #Conflicts: 779000 | #Constraints: 74452
1526.06/1531.17 c #Conflicts: 780000 | #Constraints: 75452
1526.06/1531.17 c #Conflicts: 781000 | #Constraints: 76452
1802.47/1808.58 c #Conflicts: 782000 | #Constraints: 77452
1802.47/1808.58 c #Conflicts: 783000 | #Constraints: 78452
1802.47/1808.58 c #Conflicts: 784000 | #Constraints: 79452
1802.47/1808.58 c #Conflicts: 785000 | #Constraints: 80452
1802.47/1808.58 c #Conflicts: 786000 | #Constraints: 81452
1802.47/1808.58 c #Conflicts: 787000 | #Constraints: 82452
1802.47/1808.58 c #Conflicts: 788000 | #Constraints: 83452
1802.47/1808.58 c #Conflicts: 789000 | #Constraints: 84452
1802.47/1808.58 c #Conflicts: 790000 | #Constraints: 85452
1802.47/1808.58 c #Conflicts: 791000 | #Constraints: 86452
1802.47/1808.58 c #Conflicts: 792000 | #Constraints: 87452
1802.47/1808.58 c #Conflicts: 793000 | #Constraints: 88452
1802.47/1808.58 c #Conflicts: 794000 | #Constraints: 89452
1802.47/1808.58 c #Conflicts: 795000 | #Constraints: 90452
1802.47/1808.58 c #Conflicts: 796000 | #Constraints: 91452
1802.47/1808.58 c #Conflicts: 797000 | #Constraints: 92452
1802.47/1808.58 c #Conflicts: 798000 | #Constraints: 93452
1802.47/1808.58 c #Conflicts: 799000 | #Constraints: 94452
1802.47/1808.58 c #Conflicts: 800000 | #Constraints: 95452
1802.47/1808.58 c #Conflicts: 801000 | #Constraints: 96452
1802.47/1808.58 c #Conflicts: 802000 | #Constraints: 97452
1802.47/1808.58 c #Conflicts: 803000 | #Constraints: 98452
1802.47/1808.58 c #Conflicts: 804000 | #Constraints: 99452
1802.47/1808.58 c #Conflicts: 805000 | #Constraints: 100452
1802.47/1808.58 c #Conflicts: 806000 | #Constraints: 101452
1802.47/1808.58 c #Conflicts: 807000 | #Constraints: 102452
1802.47/1808.58 c #Conflicts: 808000 | #Constraints: 103452
1802.47/1808.58 c #Conflicts: 809000 | #Constraints: 104452
1802.47/1808.58 c #Conflicts: 810000 | #Constraints: 105452
1802.47/1808.58 c #Conflicts: 811000 | #Constraints: 106452
1802.47/1808.58 c #Conflicts: 812000 | #Constraints: 107452
1802.47/1808.58 c #Conflicts: 813000 | #Constraints: 108452
1802.47/1808.58 c #Conflicts: 814000 | #Constraints: 109452
1802.47/1808.58 c #Conflicts: 815000 | #Constraints: 110452
1802.47/1808.58 c #Conflicts: 816000 | #Constraints: 111452
1802.47/1808.58 c #Conflicts: 817000 | #Constraints: 112452
1802.47/1808.58 c #Conflicts: 818000 | #Constraints: 113452
1802.47/1808.58 c #Conflicts: 819000 | #Constraints: 114452
1802.47/1808.58 c #Conflicts: 820000 | #Constraints: 115452
1802.47/1808.58 c #Conflicts: 821000 | #Constraints: 116452
1802.47/1808.58 c #Conflicts: 822000 | #Constraints: 117452
1802.47/1808.58 c #Conflicts: 823000 | #Constraints: 118452
1802.47/1808.58 c #Conflicts: 824000 | #Constraints: 119452
1802.47/1808.58 c #Conflicts: 825000 | #Constraints: 120452
1802.47/1808.58 c #Conflicts: 826000 | #Constraints: 121452
1802.47/1808.58 c #Conflicts: 827000 | #Constraints: 122452
1802.47/1808.58 c #Conflicts: 828000 | #Constraints: 123452
1802.47/1808.58 c #Conflicts: 829000 | #Constraints: 124452
1802.47/1808.58 c #Conflicts: 830000 | #Constraints: 125452
1802.47/1808.58 c #Conflicts: 831000 | #Constraints: 126452
1802.47/1808.58 c #Conflicts: 832000 | #Constraints: 127452
1802.47/1808.58 c INPROCESSING
1802.47/1808.58 c GARBAGE COLLECT
1802.47/1808.58 c #Conflicts: 833000 | #Constraints: 76470
1802.47/1808.58 c #Conflicts: 834000 | #Constraints: 77470
1802.47/1808.58 c #Conflicts: 835000 | #Constraints: 78470
1802.47/1808.58 c #Conflicts: 836000 | #Constraints: 79470
1802.47/1808.58 c #Conflicts: 837000 | #Constraints: 80470
1802.47/1808.58 c #Conflicts: 838000 | #Constraints: 81470
1802.47/1808.58 c #Conflicts: 839000 | #Constraints: 82470
1802.47/1808.58 c #Conflicts: 840000 | #Constraints: 83470
1802.47/1808.58 c #Conflicts: 841000 | #Constraints: 84470
1802.47/1808.58 c #Conflicts: 842000 | #Constraints: 85470
1802.47/1808.58 c #Conflicts: 843000 | #Constraints: 86470
1802.47/1808.58 c #Conflicts: 844000 | #Constraints: 87470
1802.47/1808.58 c #Conflicts: 845000 | #Constraints: 88470
1802.47/1808.58 c #Conflicts: 846000 | #Constraints: 89470
1802.47/1808.58 c #Conflicts: 847000 | #Constraints: 90470
1802.47/1808.58 c #Conflicts: 848000 | #Constraints: 91470
1802.47/1808.58 c #Conflicts: 849000 | #Constraints: 92470
1802.47/1808.58 c #Conflicts: 850000 | #Constraints: 93470
1802.47/1808.58 c #Conflicts: 851000 | #Constraints: 94470
1802.47/1808.58 c #Conflicts: 852000 | #Constraints: 95470
1802.47/1808.58 c #Conflicts: 853000 | #Constraints: 96470
1802.47/1808.58 c #Conflicts: 854000 | #Constraints: 97471
1802.47/1808.58 c #Conflicts: 855000 | #Constraints: 98471
1802.47/1808.58 c #Conflicts: 856000 | #Constraints: 99471
1802.47/1808.58 c #Conflicts: 857000 | #Constraints: 100471
1802.47/1808.58 c #Conflicts: 858000 | #Constraints: 101471
1802.47/1808.58 c INPROCESSING
1802.47/1808.58 c GARBAGE COLLECT
1802.47/1808.58 c rational objective 174
1981.24/1987.90 c #Conflicts: 859000 | #Constraints: 72564
1981.24/1987.90 c #Conflicts: 860000 | #Constraints: 73564
1981.24/1987.90 c #Conflicts: 861000 | #Constraints: 74564
1981.24/1987.90 c #Conflicts: 862000 | #Constraints: 75564
1981.24/1987.90 c #Conflicts: 863000 | #Constraints: 76564
1981.24/1987.90 c #Conflicts: 864000 | #Constraints: 77564
1981.24/1987.90 c #Conflicts: 865000 | #Constraints: 78564
1981.24/1987.90 c #Conflicts: 866000 | #Constraints: 79564
1981.24/1987.90 c #Conflicts: 867000 | #Constraints: 80564
1981.24/1987.90 c #Conflicts: 868000 | #Constraints: 81564
1981.24/1987.90 c #Conflicts: 869000 | #Constraints: 82564
1981.24/1987.90 c #Conflicts: 870000 | #Constraints: 83564
1981.24/1987.90 c #Conflicts: 871000 | #Constraints: 84564
1981.24/1987.90 c #Conflicts: 872000 | #Constraints: 85564
1981.24/1987.90 c #Conflicts: 873000 | #Constraints: 86564
1981.24/1987.90 c #Conflicts: 874000 | #Constraints: 87564
1981.24/1987.90 c #Conflicts: 875000 | #Constraints: 88564
1981.24/1987.90 c #Conflicts: 876000 | #Constraints: 89564
1981.24/1987.90 c #Conflicts: 877000 | #Constraints: 90564
1981.24/1987.90 c #Conflicts: 878000 | #Constraints: 91564
1981.24/1987.90 c #Conflicts: 879000 | #Constraints: 92564
1981.24/1987.90 c #Conflicts: 880000 | #Constraints: 93564
1981.24/1987.90 c #Conflicts: 881000 | #Constraints: 94564
1981.24/1987.90 c #Conflicts: 882000 | #Constraints: 95564
1981.24/1987.90 c #Conflicts: 883000 | #Constraints: 96564
1981.24/1987.90 c #Conflicts: 884000 | #Constraints: 97564
1981.24/1987.90 c #Conflicts: 885000 | #Constraints: 98564
1981.24/1987.90 c #Conflicts: 886000 | #Constraints: 99564
1981.24/1987.90 c #Conflicts: 887000 | #Constraints: 100564
1981.24/1987.90 c #Conflicts: 888000 | #Constraints: 101564
1981.24/1987.90 c #Conflicts: 889000 | #Constraints: 102564
1981.24/1987.90 c #Conflicts: 890000 | #Constraints: 103564
1981.24/1987.90 c #Conflicts: 891000 | #Constraints: 104564
1981.24/1987.90 c #Conflicts: 892000 | #Constraints: 105564
1981.24/1987.90 c #Conflicts: 893000 | #Constraints: 106564
1981.24/1987.90 c #Conflicts: 894000 | #Constraints: 107564
1981.24/1987.90 c #Conflicts: 895000 | #Constraints: 108564
1981.24/1987.90 c #Conflicts: 896000 | #Constraints: 109564
1981.24/1987.90 c #Conflicts: 897000 | #Constraints: 110564
1981.24/1987.90 c #Conflicts: 898000 | #Constraints: 111564
1981.24/1987.90 c #Conflicts: 899000 | #Constraints: 112564
1981.24/1987.90 c #Conflicts: 900000 | #Constraints: 113564
1981.24/1987.90 c #Conflicts: 901000 | #Constraints: 114564
1981.24/1987.90 c #Conflicts: 902000 | #Constraints: 115564
1981.24/1987.90 c #Conflicts: 903000 | #Constraints: 116564
1981.24/1987.90 c #Conflicts: 904000 | #Constraints: 117564
1981.24/1987.90 c #Conflicts: 905000 | #Constraints: 118564
1981.24/1987.90 c #Conflicts: 906000 | #Constraints: 119564
1981.24/1987.90 c #Conflicts: 907000 | #Constraints: 120564
1981.24/1987.90 c #Conflicts: 908000 | #Constraints: 121564
1981.24/1987.90 c #Conflicts: 909000 | #Constraints: 122564
1981.24/1987.90 c #Conflicts: 910000 | #Constraints: 123564
1981.24/1987.90 c #Conflicts: 911000 | #Constraints: 124564
1981.24/1987.90 c #Conflicts: 912000 | #Constraints: 125564
1981.24/1987.90 c #Conflicts: 913000 | #Constraints: 126564
1981.24/1987.90 c #Conflicts: 914000 | #Constraints: 127564
1981.24/1987.90 c #Conflicts: 915000 | #Constraints: 128564
1981.24/1987.90 c #Conflicts: 916000 | #Constraints: 129564
1981.24/1987.90 c #Conflicts: 917000 | #Constraints: 130564
1981.24/1987.90 c #Conflicts: 918000 | #Constraints: 131564
1981.24/1987.90 c #Conflicts: 919000 | #Constraints: 132564
1981.24/1987.90 c #Conflicts: 920000 | #Constraints: 133564
1981.24/1987.90 c INPROCESSING
1981.24/1987.90 c GARBAGE COLLECT
1981.24/1987.90 c #Conflicts: 921000 | #Constraints: 79892
1981.24/1987.90 c #Conflicts: 922000 | #Constraints: 80892
1981.24/1987.90 c #Conflicts: 923000 | #Constraints: 81892
1981.24/1987.90 c #Conflicts: 924000 | #Constraints: 82892
1981.24/1987.90 c #Conflicts: 925000 | #Constraints: 83892
1981.24/1987.90 c #Conflicts: 926000 | #Constraints: 84892
1981.24/1987.90 c #Conflicts: 927000 | #Constraints: 85892
1981.24/1987.90 c #Conflicts: 928000 | #Constraints: 86892
1981.24/1987.90 c #Conflicts: 929000 | #Constraints: 87892
1981.24/1987.90 c #Conflicts: 930000 | #Constraints: 88892
1981.24/1987.90 c #Conflicts: 931000 | #Constraints: 89892
1981.24/1987.90 c #Conflicts: 932000 | #Constraints: 90892
1981.24/1987.90 c #Conflicts: 933000 | #Constraints: 91892
1981.24/1987.90 c #Conflicts: 934000 | #Constraints: 92892
1981.24/1987.90 c #Conflicts: 935000 | #Constraints: 93892
1981.24/1987.90 c #Conflicts: 936000 | #Constraints: 94892
1981.24/1987.90 c #Conflicts: 937000 | #Constraints: 95892
2187.41/2194.80 c #Conflicts: 938000 | #Constraints: 96892
2187.41/2194.80 c #Conflicts: 939000 | #Constraints: 97892
2187.41/2194.80 c #Conflicts: 940000 | #Constraints: 98892
2187.41/2194.80 c #Conflicts: 941000 | #Constraints: 99892
2187.41/2194.80 c #Conflicts: 942000 | #Constraints: 100892
2187.41/2194.80 c #Conflicts: 943000 | #Constraints: 101892
2187.41/2194.80 c #Conflicts: 944000 | #Constraints: 102892
2187.41/2194.80 c #Conflicts: 945000 | #Constraints: 103892
2187.41/2194.80 c #Conflicts: 946000 | #Constraints: 104892
2187.41/2194.80 c #Conflicts: 947000 | #Constraints: 105892
2187.41/2194.80 c INPROCESSING
2187.41/2194.80 c GARBAGE COLLECT
2187.41/2194.80 c #Conflicts: 948000 | #Constraints: 75152
2187.41/2194.80 c #Conflicts: 949000 | #Constraints: 76152
2187.41/2194.80 c #Conflicts: 950000 | #Constraints: 77152
2187.41/2194.80 c #Conflicts: 951000 | #Constraints: 78152
2187.41/2194.80 c #Conflicts: 952000 | #Constraints: 79152
2187.41/2194.80 c #Conflicts: 953000 | #Constraints: 80152
2187.41/2194.80 c #Conflicts: 954000 | #Constraints: 81152
2187.41/2194.80 c #Conflicts: 955000 | #Constraints: 82152
2187.41/2194.80 c #Conflicts: 956000 | #Constraints: 83152
2187.41/2194.80 c #Conflicts: 957000 | #Constraints: 84152
2187.41/2194.80 c #Conflicts: 958000 | #Constraints: 85152
2187.41/2194.80 c #Conflicts: 959000 | #Constraints: 86152
2187.41/2194.80 c #Conflicts: 960000 | #Constraints: 87152
2187.41/2194.80 c #Conflicts: 961000 | #Constraints: 88152
2187.41/2194.80 c #Conflicts: 962000 | #Constraints: 89152
2187.41/2194.80 c #Conflicts: 963000 | #Constraints: 90152
2187.41/2194.80 c #Conflicts: 964000 | #Constraints: 91152
2187.41/2194.80 c #Conflicts: 965000 | #Constraints: 92152
2187.41/2194.80 c #Conflicts: 966000 | #Constraints: 93152
2187.41/2194.80 c #Conflicts: 967000 | #Constraints: 94152
2187.41/2194.80 c #Conflicts: 968000 | #Constraints: 95152
2187.41/2194.80 c #Conflicts: 969000 | #Constraints: 96152
2187.41/2194.80 c #Conflicts: 970000 | #Constraints: 97152
2187.41/2194.80 c #Conflicts: 971000 | #Constraints: 98152
2187.41/2194.80 c #Conflicts: 972000 | #Constraints: 99152
2187.41/2194.80 c #Conflicts: 973000 | #Constraints: 100152
2187.41/2194.80 c #Conflicts: 974000 | #Constraints: 101152
2187.41/2194.80 c #Conflicts: 975000 | #Constraints: 102152
2187.41/2194.80 c #Conflicts: 976000 | #Constraints: 103152
2187.41/2194.80 c #Conflicts: 977000 | #Constraints: 104152
2187.41/2194.80 c #Conflicts: 978000 | #Constraints: 105152
2187.41/2194.80 c #Conflicts: 979000 | #Constraints: 106152
2187.41/2194.80 c #Conflicts: 980000 | #Constraints: 107152
2187.41/2194.80 c #Conflicts: 981000 | #Constraints: 108152
2187.41/2194.80 c #Conflicts: 982000 | #Constraints: 109152
2187.41/2194.80 c #Conflicts: 983000 | #Constraints: 110152
2187.41/2194.80 c #Conflicts: 984000 | #Constraints: 111152
2187.41/2194.80 c #Conflicts: 985000 | #Constraints: 112152
2187.41/2194.80 c #Conflicts: 986000 | #Constraints: 113152
2187.41/2194.80 c #Conflicts: 987000 | #Constraints: 114152
2187.41/2194.80 c #Conflicts: 988000 | #Constraints: 115152
2187.41/2194.80 c #Conflicts: 989000 | #Constraints: 116152
2187.41/2194.80 c #Conflicts: 990000 | #Constraints: 117152
2187.41/2194.80 c #Conflicts: 991000 | #Constraints: 118152
2187.41/2194.80 c #Conflicts: 992000 | #Constraints: 119152
2187.41/2194.80 c #Conflicts: 993000 | #Constraints: 120152
2187.41/2194.80 c #Conflicts: 994000 | #Constraints: 121152
2187.41/2194.80 c #Conflicts: 995000 | #Constraints: 122152
2187.41/2194.80 c #Conflicts: 996000 | #Constraints: 123152
2187.41/2194.80 c #Conflicts: 997000 | #Constraints: 124152
2187.41/2194.80 c #Conflicts: 998000 | #Constraints: 125152
2187.41/2194.80 c #Conflicts: 999000 | #Constraints: 126152
2187.41/2194.80 c #Conflicts: 1000000 | #Constraints: 127152
2187.41/2194.80 c #Conflicts: 1001000 | #Constraints: 128152
2187.41/2194.80 c #Conflicts: 1002000 | #Constraints: 129152
2187.41/2194.80 c #Conflicts: 1003000 | #Constraints: 130152
2187.41/2194.80 c #Conflicts: 1004000 | #Constraints: 131152
2187.41/2194.80 c #Conflicts: 1005000 | #Constraints: 132152
2187.41/2194.80 c #Conflicts: 1006000 | #Constraints: 133152
2187.41/2194.80 c #Conflicts: 1007000 | #Constraints: 134152
2187.41/2194.80 c #Conflicts: 1008000 | #Constraints: 135152
2187.41/2194.80 c #Conflicts: 1009000 | #Constraints: 136152
2187.41/2194.80 c #Conflicts: 1010000 | #Constraints: 137152
2187.41/2194.80 c #Conflicts: 1011000 | #Constraints: 138152
2187.41/2194.80 c #Conflicts: 1012000 | #Constraints: 139152
2187.41/2194.80 c INPROCESSING
2187.41/2194.80 c GARBAGE COLLECT
2187.41/2194.80 c #Conflicts: 1013000 | #Constraints: 82359
2187.41/2194.80 c #Conflicts: 1014000 | #Constraints: 83359
2371.09/2379.12 c #Conflicts: 1015000 | #Constraints: 84359
2371.09/2379.12 c #Conflicts: 1016000 | #Constraints: 85359
2371.09/2379.12 c #Conflicts: 1017000 | #Constraints: 86359
2371.09/2379.12 c #Conflicts: 1018000 | #Constraints: 87359
2371.09/2379.12 c #Conflicts: 1019000 | #Constraints: 88359
2371.09/2379.12 c #Conflicts: 1020000 | #Constraints: 89359
2371.09/2379.12 c #Conflicts: 1021000 | #Constraints: 90359
2371.09/2379.12 c #Conflicts: 1022000 | #Constraints: 91359
2371.09/2379.12 c #Conflicts: 1023000 | #Constraints: 92359
2371.09/2379.12 c #Conflicts: 1024000 | #Constraints: 93359
2371.09/2379.12 c #Conflicts: 1025000 | #Constraints: 94359
2371.09/2379.12 c #Conflicts: 1026000 | #Constraints: 95359
2371.09/2379.12 c #Conflicts: 1027000 | #Constraints: 96359
2371.09/2379.12 c #Conflicts: 1028000 | #Constraints: 97359
2371.09/2379.12 c #Conflicts: 1029000 | #Constraints: 98359
2371.09/2379.12 c #Conflicts: 1030000 | #Constraints: 99359
2371.09/2379.12 c #Conflicts: 1031000 | #Constraints: 100359
2371.09/2379.12 c #Conflicts: 1032000 | #Constraints: 101359
2371.09/2379.12 c #Conflicts: 1033000 | #Constraints: 102359
2371.09/2379.12 c #Conflicts: 1034000 | #Constraints: 103359
2371.09/2379.12 c #Conflicts: 1035000 | #Constraints: 104359
2371.09/2379.12 c #Conflicts: 1036000 | #Constraints: 105359
2371.09/2379.12 c #Conflicts: 1037000 | #Constraints: 106359
2371.09/2379.12 c #Conflicts: 1038000 | #Constraints: 107359
2371.09/2379.12 c #Conflicts: 1039000 | #Constraints: 108359
2371.09/2379.12 c #Conflicts: 1040000 | #Constraints: 109359
2371.09/2379.12 c INPROCESSING
2371.09/2379.12 c GARBAGE COLLECT
2371.09/2379.12 c #Conflicts: 1041000 | #Constraints: 77186
2371.09/2379.12 c #Conflicts: 1042000 | #Constraints: 78186
2371.09/2379.12 c #Conflicts: 1043000 | #Constraints: 79186
2371.09/2379.12 c #Conflicts: 1044000 | #Constraints: 80186
2371.09/2379.12 c #Conflicts: 1045000 | #Constraints: 81186
2371.09/2379.12 c #Conflicts: 1046000 | #Constraints: 82186
2371.09/2379.12 c #Conflicts: 1047000 | #Constraints: 83186
2371.09/2379.12 c #Conflicts: 1048000 | #Constraints: 84186
2371.09/2379.12 c #Conflicts: 1049000 | #Constraints: 85186
2371.09/2379.12 c #Conflicts: 1050000 | #Constraints: 86186
2371.09/2379.12 c #Conflicts: 1051000 | #Constraints: 87186
2371.09/2379.12 c #Conflicts: 1052000 | #Constraints: 88186
2371.09/2379.12 c #Conflicts: 1053000 | #Constraints: 89186
2371.09/2379.12 c #Conflicts: 1054000 | #Constraints: 90186
2371.09/2379.12 c #Conflicts: 1055000 | #Constraints: 91186
2371.09/2379.12 c #Conflicts: 1056000 | #Constraints: 92186
2371.09/2379.12 c #Conflicts: 1057000 | #Constraints: 93186
2371.09/2379.12 c #Conflicts: 1058000 | #Constraints: 94186
2371.09/2379.12 c #Conflicts: 1059000 | #Constraints: 95186
2371.09/2379.12 c #Conflicts: 1060000 | #Constraints: 96186
2371.09/2379.12 c #Conflicts: 1061000 | #Constraints: 97186
2371.09/2379.12 c #Conflicts: 1062000 | #Constraints: 98186
2371.09/2379.12 c #Conflicts: 1063000 | #Constraints: 99186
2371.09/2379.12 c #Conflicts: 1064000 | #Constraints: 100186
2371.09/2379.12 c #Conflicts: 1065000 | #Constraints: 101186
2371.09/2379.12 c #Conflicts: 1066000 | #Constraints: 102186
2371.09/2379.12 c #Conflicts: 1067000 | #Constraints: 103186
2371.09/2379.12 c #Conflicts: 1068000 | #Constraints: 104186
2371.09/2379.12 c #Conflicts: 1069000 | #Constraints: 105186
2371.09/2379.12 c #Conflicts: 1070000 | #Constraints: 106186
2371.09/2379.12 c #Conflicts: 1071000 | #Constraints: 107186
2371.09/2379.12 c #Conflicts: 1072000 | #Constraints: 108186
2371.09/2379.12 c #Conflicts: 1073000 | #Constraints: 109186
2371.09/2379.12 c #Conflicts: 1074000 | #Constraints: 110186
2371.09/2379.12 c #Conflicts: 1075000 | #Constraints: 111186
2371.09/2379.12 c #Conflicts: 1076000 | #Constraints: 112186
2371.09/2379.12 c #Conflicts: 1077000 | #Constraints: 113186
2371.09/2379.12 c #Conflicts: 1078000 | #Constraints: 114186
2371.09/2379.12 c #Conflicts: 1079000 | #Constraints: 115186
2371.09/2379.12 c #Conflicts: 1080000 | #Constraints: 116186
2371.09/2379.12 c #Conflicts: 1081000 | #Constraints: 117186
2371.09/2379.12 c #Conflicts: 1082000 | #Constraints: 118186
2371.09/2379.12 c #Conflicts: 1083000 | #Constraints: 119186
2371.09/2379.12 c #Conflicts: 1084000 | #Constraints: 120186
2371.09/2379.12 c #Conflicts: 1085000 | #Constraints: 121186
2371.09/2379.12 c #Conflicts: 1086000 | #Constraints: 122186
2371.09/2379.12 c #Conflicts: 1087000 | #Constraints: 123186
2371.09/2379.12 c #Conflicts: 1088000 | #Constraints: 124186
2371.09/2379.12 c #Conflicts: 1089000 | #Constraints: 125186
2371.09/2379.12 c #Conflicts: 1090000 | #Constraints: 126186
2371.09/2379.12 c #Conflicts: 1091000 | #Constraints: 127186
2371.09/2379.12 c #Conflicts: 1092000 | #Constraints: 128186
2579.44/2588.20 c #Conflicts: 1093000 | #Constraints: 129186
2579.44/2588.20 c #Conflicts: 1094000 | #Constraints: 130186
2579.44/2588.20 c #Conflicts: 1095000 | #Constraints: 131186
2579.44/2588.20 c #Conflicts: 1096000 | #Constraints: 132186
2579.44/2588.20 c #Conflicts: 1097000 | #Constraints: 133186
2579.44/2588.20 c #Conflicts: 1098000 | #Constraints: 134186
2579.44/2588.20 c #Conflicts: 1099000 | #Constraints: 135186
2579.44/2588.20 c #Conflicts: 1100000 | #Constraints: 136186
2579.44/2588.20 c #Conflicts: 1101000 | #Constraints: 137186
2579.44/2588.20 c #Conflicts: 1102000 | #Constraints: 138186
2579.44/2588.20 c #Conflicts: 1103000 | #Constraints: 139186
2579.44/2588.20 c #Conflicts: 1104000 | #Constraints: 140186
2579.44/2588.20 c #Conflicts: 1105000 | #Constraints: 141186
2579.44/2588.20 c #Conflicts: 1106000 | #Constraints: 142186
2579.44/2588.20 c #Conflicts: 1107000 | #Constraints: 143186
2579.44/2588.20 c #Conflicts: 1108000 | #Constraints: 144186
2579.44/2588.20 c INPROCESSING
2579.44/2588.20 c GARBAGE COLLECT
2579.44/2588.20 c #Conflicts: 1109000 | #Constraints: 84586
2579.44/2588.20 c #Conflicts: 1110000 | #Constraints: 85586
2579.44/2588.20 c #Conflicts: 1111000 | #Constraints: 86586
2579.44/2588.20 c #Conflicts: 1112000 | #Constraints: 87586
2579.44/2588.20 c #Conflicts: 1113000 | #Constraints: 88586
2579.44/2588.20 c #Conflicts: 1114000 | #Constraints: 89586
2579.44/2588.20 c #Conflicts: 1115000 | #Constraints: 90586
2579.44/2588.20 c #Conflicts: 1116000 | #Constraints: 91586
2579.44/2588.20 c #Conflicts: 1117000 | #Constraints: 92586
2579.44/2588.20 c #Conflicts: 1118000 | #Constraints: 93586
2579.44/2588.20 c #Conflicts: 1119000 | #Constraints: 94586
2579.44/2588.20 c #Conflicts: 1120000 | #Constraints: 95586
2579.44/2588.20 c #Conflicts: 1121000 | #Constraints: 96586
2579.44/2588.20 c #Conflicts: 1122000 | #Constraints: 97586
2579.44/2588.20 c #Conflicts: 1123000 | #Constraints: 98586
2579.44/2588.20 c #Conflicts: 1124000 | #Constraints: 99586
2579.44/2588.20 c #Conflicts: 1125000 | #Constraints: 100586
2579.44/2588.20 c #Conflicts: 1126000 | #Constraints: 101586
2579.44/2588.20 c #Conflicts: 1127000 | #Constraints: 102586
2579.44/2588.20 c #Conflicts: 1128000 | #Constraints: 103586
2579.44/2588.20 c #Conflicts: 1129000 | #Constraints: 104586
2579.44/2588.20 c #Conflicts: 1130000 | #Constraints: 105586
2579.44/2588.20 c #Conflicts: 1131000 | #Constraints: 106586
2579.44/2588.20 c #Conflicts: 1132000 | #Constraints: 107586
2579.44/2588.20 c #Conflicts: 1133000 | #Constraints: 108586
2579.44/2588.20 c #Conflicts: 1134000 | #Constraints: 109586
2579.44/2588.20 c #Conflicts: 1135000 | #Constraints: 110586
2579.44/2588.20 c #Conflicts: 1136000 | #Constraints: 111586
2579.44/2588.20 c #Conflicts: 1137000 | #Constraints: 112586
2579.44/2588.20 c #Conflicts: 1138000 | #Constraints: 113586
2579.44/2588.20 c INPROCESSING
2579.44/2588.20 c GARBAGE COLLECT
2579.44/2588.20 c #Conflicts: 1139000 | #Constraints: 79189
2579.44/2588.20 c #Conflicts: 1140000 | #Constraints: 80189
2579.44/2588.20 c #Conflicts: 1141000 | #Constraints: 81189
2579.44/2588.20 c #Conflicts: 1142000 | #Constraints: 82189
2579.44/2588.20 c #Conflicts: 1143000 | #Constraints: 83189
2579.44/2588.20 c #Conflicts: 1144000 | #Constraints: 84189
2579.44/2588.20 c #Conflicts: 1145000 | #Constraints: 85189
2579.44/2588.20 c #Conflicts: 1146000 | #Constraints: 86189
2579.44/2588.20 c #Conflicts: 1147000 | #Constraints: 87189
2579.44/2588.20 c #Conflicts: 1148000 | #Constraints: 88189
2579.44/2588.20 c #Conflicts: 1149000 | #Constraints: 89189
2579.44/2588.20 c #Conflicts: 1150000 | #Constraints: 90189
2579.44/2588.20 c #Conflicts: 1151000 | #Constraints: 91189
2579.44/2588.20 c #Conflicts: 1152000 | #Constraints: 92189
2579.44/2588.20 c #Conflicts: 1153000 | #Constraints: 93189
2579.44/2588.20 c #Conflicts: 1154000 | #Constraints: 94189
2579.44/2588.20 c #Conflicts: 1155000 | #Constraints: 95189
2579.44/2588.20 c #Conflicts: 1156000 | #Constraints: 96189
2579.44/2588.20 c #Conflicts: 1157000 | #Constraints: 97189
2579.44/2588.20 c #Conflicts: 1158000 | #Constraints: 98189
2579.44/2588.20 c #Conflicts: 1159000 | #Constraints: 99189
2579.44/2588.20 c #Conflicts: 1160000 | #Constraints: 100189
2579.44/2588.20 c #Conflicts: 1161000 | #Constraints: 101189
2579.44/2588.20 c #Conflicts: 1162000 | #Constraints: 102189
2579.44/2588.20 c #Conflicts: 1163000 | #Constraints: 103189
2579.44/2588.20 c #Conflicts: 1164000 | #Constraints: 104189
2579.44/2588.20 c #Conflicts: 1165000 | #Constraints: 105189
2579.44/2588.20 c #Conflicts: 1166000 | #Constraints: 106189
2579.44/2588.20 c #Conflicts: 1167000 | #Constraints: 107189
2579.44/2588.20 c #Conflicts: 1168000 | #Constraints: 108189
2579.44/2588.20 c #Conflicts: 1169000 | #Constraints: 109189
2579.44/2588.20 c #Conflicts: 1170000 | #Constraints: 110189
2790.17/2799.63 c #Conflicts: 1171000 | #Constraints: 111189
2790.17/2799.63 c #Conflicts: 1172000 | #Constraints: 112189
2790.17/2799.63 c #Conflicts: 1173000 | #Constraints: 113189
2790.17/2799.63 c #Conflicts: 1174000 | #Constraints: 114189
2790.17/2799.63 c #Conflicts: 1175000 | #Constraints: 115189
2790.17/2799.63 c #Conflicts: 1176000 | #Constraints: 116189
2790.17/2799.63 c #Conflicts: 1177000 | #Constraints: 117189
2790.17/2799.63 c #Conflicts: 1178000 | #Constraints: 118189
2790.17/2799.63 c #Conflicts: 1179000 | #Constraints: 119189
2790.17/2799.63 c #Conflicts: 1180000 | #Constraints: 120189
2790.17/2799.63 c #Conflicts: 1181000 | #Constraints: 121189
2790.17/2799.63 c #Conflicts: 1182000 | #Constraints: 122189
2790.17/2799.63 c #Conflicts: 1183000 | #Constraints: 123189
2790.17/2799.63 c #Conflicts: 1184000 | #Constraints: 124189
2790.17/2799.63 c #Conflicts: 1185000 | #Constraints: 125189
2790.17/2799.63 c #Conflicts: 1186000 | #Constraints: 126189
2790.17/2799.63 c #Conflicts: 1187000 | #Constraints: 127189
2790.17/2799.63 c #Conflicts: 1188000 | #Constraints: 128189
2790.17/2799.63 c #Conflicts: 1189000 | #Constraints: 129189
2790.17/2799.63 c #Conflicts: 1190000 | #Constraints: 130189
2790.17/2799.63 c #Conflicts: 1191000 | #Constraints: 131189
2790.17/2799.63 c #Conflicts: 1192000 | #Constraints: 132189
2790.17/2799.63 c #Conflicts: 1193000 | #Constraints: 133189
2790.17/2799.63 c #Conflicts: 1194000 | #Constraints: 134189
2790.17/2799.63 c #Conflicts: 1195000 | #Constraints: 135189
2790.17/2799.63 c #Conflicts: 1196000 | #Constraints: 136189
2790.17/2799.63 c #Conflicts: 1197000 | #Constraints: 137189
2790.17/2799.63 c #Conflicts: 1198000 | #Constraints: 138189
2790.17/2799.63 c #Conflicts: 1199000 | #Constraints: 139189
2790.17/2799.63 c #Conflicts: 1200000 | #Constraints: 140189
2790.17/2799.63 c #Conflicts: 1201000 | #Constraints: 141189
2790.17/2799.63 c #Conflicts: 1202000 | #Constraints: 142189
2790.17/2799.63 c #Conflicts: 1203000 | #Constraints: 143189
2790.17/2799.63 c #Conflicts: 1204000 | #Constraints: 144189
2790.17/2799.63 c #Conflicts: 1205000 | #Constraints: 145189
2790.17/2799.63 c #Conflicts: 1206000 | #Constraints: 146189
2790.17/2799.63 c #Conflicts: 1207000 | #Constraints: 147189
2790.17/2799.63 c #Conflicts: 1208000 | #Constraints: 148189
2790.17/2799.63 c #Conflicts: 1209000 | #Constraints: 149189
2790.17/2799.63 c INPROCESSING
2790.17/2799.63 c GARBAGE COLLECT
2790.17/2799.63 c #Conflicts: 1210000 | #Constraints: 87255
2790.17/2799.63 c #Conflicts: 1211000 | #Constraints: 88255
2790.17/2799.63 c #Conflicts: 1212000 | #Constraints: 89255
2790.17/2799.63 c #Conflicts: 1213000 | #Constraints: 90255
2790.17/2799.63 c #Conflicts: 1214000 | #Constraints: 91255
2790.17/2799.63 c #Conflicts: 1215000 | #Constraints: 92255
2790.17/2799.63 c #Conflicts: 1216000 | #Constraints: 93255
2790.17/2799.63 c #Conflicts: 1217000 | #Constraints: 94255
2790.17/2799.63 c #Conflicts: 1218000 | #Constraints: 95255
2790.17/2799.63 c #Conflicts: 1219000 | #Constraints: 96255
2790.17/2799.63 c #Conflicts: 1220000 | #Constraints: 97255
2790.17/2799.63 c #Conflicts: 1221000 | #Constraints: 98255
2790.17/2799.63 c #Conflicts: 1222000 | #Constraints: 99255
2790.17/2799.63 c #Conflicts: 1223000 | #Constraints: 100255
2790.17/2799.63 c #Conflicts: 1224000 | #Constraints: 101255
2790.17/2799.63 c #Conflicts: 1225000 | #Constraints: 102255
2790.17/2799.63 c #Conflicts: 1226000 | #Constraints: 103255
2790.17/2799.63 c #Conflicts: 1227000 | #Constraints: 104255
2790.17/2799.63 c #Conflicts: 1228000 | #Constraints: 105255
2790.17/2799.63 c #Conflicts: 1229000 | #Constraints: 106255
2790.17/2799.63 c #Conflicts: 1230000 | #Constraints: 107255
2790.17/2799.63 c #Conflicts: 1231000 | #Constraints: 108255
2790.17/2799.63 c #Conflicts: 1232000 | #Constraints: 109255
2790.17/2799.63 c #Conflicts: 1233000 | #Constraints: 110255
2790.17/2799.63 c #Conflicts: 1234000 | #Constraints: 111255
2790.17/2799.63 c #Conflicts: 1235000 | #Constraints: 112255
2790.17/2799.63 c #Conflicts: 1236000 | #Constraints: 113255
2790.17/2799.63 c #Conflicts: 1237000 | #Constraints: 114255
2790.17/2799.63 c #Conflicts: 1238000 | #Constraints: 115255
2790.17/2799.63 c #Conflicts: 1239000 | #Constraints: 116255
2790.17/2799.63 c #Conflicts: 1240000 | #Constraints: 117255
2790.17/2799.63 c INPROCESSING
2790.17/2799.63 c GARBAGE COLLECT
2790.17/2799.63 c #Conflicts: 1241000 | #Constraints: 82131
2790.17/2799.63 c #Conflicts: 1242000 | #Constraints: 83131
2790.17/2799.63 c #Conflicts: 1243000 | #Constraints: 84131
2790.17/2799.63 c #Conflicts: 1244000 | #Constraints: 85131
2790.17/2799.63 c #Conflicts: 1245000 | #Constraints: 86131
2790.17/2799.63 c #Conflicts: 1246000 | #Constraints: 87131
2790.17/2799.63 c #Conflicts: 1247000 | #Constraints: 88131
3030.24/3040.49 c #Conflicts: 1248000 | #Constraints: 89131
3030.24/3040.49 c #Conflicts: 1249000 | #Constraints: 90131
3030.24/3040.49 c #Conflicts: 1250000 | #Constraints: 91131
3030.24/3040.49 c #Conflicts: 1251000 | #Constraints: 92131
3030.24/3040.49 c #Conflicts: 1252000 | #Constraints: 93131
3030.24/3040.49 c #Conflicts: 1253000 | #Constraints: 94132
3030.24/3040.49 c #Conflicts: 1254000 | #Constraints: 95132
3030.24/3040.49 c #Conflicts: 1255000 | #Constraints: 96132
3030.24/3040.49 c #Conflicts: 1256000 | #Constraints: 97132
3030.24/3040.49 c #Conflicts: 1257000 | #Constraints: 98132
3030.24/3040.49 c #Conflicts: 1258000 | #Constraints: 99132
3030.24/3040.49 c #Conflicts: 1259000 | #Constraints: 100132
3030.24/3040.49 c #Conflicts: 1260000 | #Constraints: 101132
3030.24/3040.49 c #Conflicts: 1261000 | #Constraints: 102132
3030.24/3040.49 c #Conflicts: 1262000 | #Constraints: 103132
3030.24/3040.49 c #Conflicts: 1263000 | #Constraints: 104132
3030.24/3040.49 c #Conflicts: 1264000 | #Constraints: 105132
3030.24/3040.49 c #Conflicts: 1265000 | #Constraints: 106132
3030.24/3040.49 c #Conflicts: 1266000 | #Constraints: 107132
3030.24/3040.49 c #Conflicts: 1267000 | #Constraints: 108132
3030.24/3040.49 c #Conflicts: 1268000 | #Constraints: 109132
3030.24/3040.49 c #Conflicts: 1269000 | #Constraints: 110132
3030.24/3040.49 c #Conflicts: 1270000 | #Constraints: 111132
3030.24/3040.49 c #Conflicts: 1271000 | #Constraints: 112132
3030.24/3040.49 c #Conflicts: 1272000 | #Constraints: 113132
3030.24/3040.49 c #Conflicts: 1273000 | #Constraints: 114132
3030.24/3040.49 c #Conflicts: 1274000 | #Constraints: 115132
3030.24/3040.49 c #Conflicts: 1275000 | #Constraints: 116132
3030.24/3040.49 c #Conflicts: 1276000 | #Constraints: 117132
3030.24/3040.49 c #Conflicts: 1277000 | #Constraints: 118132
3030.24/3040.49 c #Conflicts: 1278000 | #Constraints: 119132
3030.24/3040.49 c #Conflicts: 1279000 | #Constraints: 120132
3030.24/3040.49 c #Conflicts: 1280000 | #Constraints: 121132
3030.24/3040.49 c #Conflicts: 1281000 | #Constraints: 122132
3030.24/3040.49 c #Conflicts: 1282000 | #Constraints: 123132
3030.24/3040.49 c #Conflicts: 1283000 | #Constraints: 124132
3030.24/3040.49 c #Conflicts: 1284000 | #Constraints: 125132
3030.24/3040.49 c #Conflicts: 1285000 | #Constraints: 126132
3030.24/3040.49 c #Conflicts: 1286000 | #Constraints: 127132
3030.24/3040.49 c #Conflicts: 1287000 | #Constraints: 128132
3030.24/3040.49 c #Conflicts: 1288000 | #Constraints: 129132
3030.24/3040.49 c #Conflicts: 1289000 | #Constraints: 130132
3030.24/3040.49 c #Conflicts: 1290000 | #Constraints: 131132
3030.24/3040.49 c #Conflicts: 1291000 | #Constraints: 132132
3030.24/3040.49 c #Conflicts: 1292000 | #Constraints: 133132
3030.24/3040.49 c #Conflicts: 1293000 | #Constraints: 134132
3030.24/3040.49 c #Conflicts: 1294000 | #Constraints: 135132
3030.24/3040.49 c #Conflicts: 1295000 | #Constraints: 136132
3030.24/3040.49 c #Conflicts: 1296000 | #Constraints: 137132
3030.24/3040.49 c #Conflicts: 1297000 | #Constraints: 138132
3030.24/3040.49 c #Conflicts: 1298000 | #Constraints: 139132
3030.24/3040.49 c #Conflicts: 1299000 | #Constraints: 140132
3030.24/3040.49 c #Conflicts: 1300000 | #Constraints: 141132
3030.24/3040.49 c #Conflicts: 1301000 | #Constraints: 142132
3030.24/3040.49 c #Conflicts: 1302000 | #Constraints: 143132
3030.24/3040.49 c #Conflicts: 1303000 | #Constraints: 144132
3030.24/3040.49 c #Conflicts: 1304000 | #Constraints: 145132
3030.24/3040.49 c #Conflicts: 1305000 | #Constraints: 146132
3030.24/3040.49 c #Conflicts: 1306000 | #Constraints: 147132
3030.24/3040.49 c #Conflicts: 1307000 | #Constraints: 148132
3030.24/3040.49 c #Conflicts: 1308000 | #Constraints: 149132
3030.24/3040.49 c #Conflicts: 1309000 | #Constraints: 150132
3030.24/3040.49 c #Conflicts: 1310000 | #Constraints: 151132
3030.24/3040.49 c #Conflicts: 1311000 | #Constraints: 152132
3030.24/3040.49 c #Conflicts: 1312000 | #Constraints: 153132
3030.24/3040.49 c #Conflicts: 1313000 | #Constraints: 154132
3030.24/3040.49 c #Conflicts: 1314000 | #Constraints: 155132
3030.24/3040.49 c #Conflicts: 1315000 | #Constraints: 156132
3030.24/3040.49 c INPROCESSING
3030.24/3040.49 c GARBAGE COLLECT
3030.24/3040.49 c #Conflicts: 1316000 | #Constraints: 91161
3030.24/3040.49 c #Conflicts: 1317000 | #Constraints: 92161
3030.24/3040.49 c #Conflicts: 1318000 | #Constraints: 93161
3030.24/3040.49 c #Conflicts: 1319000 | #Constraints: 94161
3030.24/3040.49 c #Conflicts: 1320000 | #Constraints: 95161
3030.24/3040.49 c #Conflicts: 1321000 | #Constraints: 96161
3030.24/3040.49 c #Conflicts: 1322000 | #Constraints: 97161
3030.24/3040.49 c #Conflicts: 1323000 | #Constraints: 98161
3030.24/3040.49 c #Conflicts: 1324000 | #Constraints: 99161
3030.24/3040.49 c #Conflicts: 1325000 | #Constraints: 100161
3241.50/3252.33 c #Conflicts: 1326000 | #Constraints: 101161
3241.50/3252.33 c #Conflicts: 1327000 | #Constraints: 102161
3241.50/3252.33 c #Conflicts: 1328000 | #Constraints: 103161
3241.50/3252.33 c #Conflicts: 1329000 | #Constraints: 104161
3241.50/3252.33 c #Conflicts: 1330000 | #Constraints: 105161
3241.50/3252.33 c #Conflicts: 1331000 | #Constraints: 106161
3241.50/3252.33 c #Conflicts: 1332000 | #Constraints: 107161
3241.50/3252.33 c #Conflicts: 1333000 | #Constraints: 108161
3241.50/3252.33 c #Conflicts: 1334000 | #Constraints: 109161
3241.50/3252.33 c #Conflicts: 1335000 | #Constraints: 110161
3241.50/3252.33 c #Conflicts: 1336000 | #Constraints: 111161
3241.50/3252.33 c #Conflicts: 1337000 | #Constraints: 112161
3241.50/3252.33 c #Conflicts: 1338000 | #Constraints: 113161
3241.50/3252.33 c #Conflicts: 1339000 | #Constraints: 114161
3241.50/3252.33 c #Conflicts: 1340000 | #Constraints: 115161
3241.50/3252.33 c #Conflicts: 1341000 | #Constraints: 116161
3241.50/3252.33 c #Conflicts: 1342000 | #Constraints: 117161
3241.50/3252.33 c #Conflicts: 1343000 | #Constraints: 118161
3241.50/3252.33 c #Conflicts: 1344000 | #Constraints: 119161
3241.50/3252.33 c #Conflicts: 1345000 | #Constraints: 120161
3241.50/3252.33 c #Conflicts: 1346000 | #Constraints: 121161
3241.50/3252.33 c #Conflicts: 1347000 | #Constraints: 122161
3241.50/3252.33 c INPROCESSING
3241.50/3252.33 c GARBAGE COLLECT
3241.50/3252.33 c #Conflicts: 1348000 | #Constraints: 85123
3241.50/3252.33 c #Conflicts: 1349000 | #Constraints: 86123
3241.50/3252.33 c #Conflicts: 1350000 | #Constraints: 87123
3241.50/3252.33 c #Conflicts: 1351000 | #Constraints: 88123
3241.50/3252.33 c #Conflicts: 1352000 | #Constraints: 89123
3241.50/3252.33 c #Conflicts: 1353000 | #Constraints: 90123
3241.50/3252.33 c #Conflicts: 1354000 | #Constraints: 91123
3241.50/3252.33 c #Conflicts: 1355000 | #Constraints: 92123
3241.50/3252.33 c #Conflicts: 1356000 | #Constraints: 93123
3241.50/3252.33 c #Conflicts: 1357000 | #Constraints: 94123
3241.50/3252.33 c #Conflicts: 1358000 | #Constraints: 95123
3241.50/3252.33 c #Conflicts: 1359000 | #Constraints: 96123
3241.50/3252.33 c #Conflicts: 1360000 | #Constraints: 97123
3241.50/3252.33 c #Conflicts: 1361000 | #Constraints: 98123
3241.50/3252.33 c #Conflicts: 1362000 | #Constraints: 99123
3241.50/3252.33 c #Conflicts: 1363000 | #Constraints: 100123
3241.50/3252.33 c #Conflicts: 1364000 | #Constraints: 101123
3241.50/3252.33 c #Conflicts: 1365000 | #Constraints: 102123
3241.50/3252.33 c #Conflicts: 1366000 | #Constraints: 103123
3241.50/3252.33 c #Conflicts: 1367000 | #Constraints: 104123
3241.50/3252.33 c #Conflicts: 1368000 | #Constraints: 105123
3241.50/3252.33 c #Conflicts: 1369000 | #Constraints: 106123
3241.50/3252.33 c #Conflicts: 1370000 | #Constraints: 107123
3241.50/3252.33 c #Conflicts: 1371000 | #Constraints: 108123
3241.50/3252.33 c #Conflicts: 1372000 | #Constraints: 109123
3241.50/3252.33 c #Conflicts: 1373000 | #Constraints: 110123
3241.50/3252.33 c #Conflicts: 1374000 | #Constraints: 111123
3241.50/3252.33 c #Conflicts: 1375000 | #Constraints: 112123
3241.50/3252.33 c #Conflicts: 1376000 | #Constraints: 113123
3241.50/3252.33 c #Conflicts: 1377000 | #Constraints: 114123
3241.50/3252.33 c #Conflicts: 1378000 | #Constraints: 115123
3241.50/3252.33 c #Conflicts: 1379000 | #Constraints: 116123
3241.50/3252.33 c #Conflicts: 1380000 | #Constraints: 117123
3241.50/3252.33 c #Conflicts: 1381000 | #Constraints: 118123
3241.50/3252.33 c #Conflicts: 1382000 | #Constraints: 119123
3241.50/3252.33 c #Conflicts: 1383000 | #Constraints: 120123
3241.50/3252.33 c #Conflicts: 1384000 | #Constraints: 121123
3241.50/3252.33 c #Conflicts: 1385000 | #Constraints: 122123
3241.50/3252.33 c #Conflicts: 1386000 | #Constraints: 123123
3241.50/3252.33 c #Conflicts: 1387000 | #Constraints: 124123
3241.50/3252.33 c #Conflicts: 1388000 | #Constraints: 125124
3241.50/3252.33 c #Conflicts: 1389000 | #Constraints: 126124
3241.50/3252.33 c #Conflicts: 1390000 | #Constraints: 127124
3241.50/3252.33 c #Conflicts: 1391000 | #Constraints: 128124
3241.50/3252.33 c #Conflicts: 1392000 | #Constraints: 129124
3241.50/3252.33 c #Conflicts: 1393000 | #Constraints: 130124
3241.50/3252.33 c #Conflicts: 1394000 | #Constraints: 131124
3241.50/3252.33 c #Conflicts: 1395000 | #Constraints: 132124
3241.50/3252.33 c #Conflicts: 1396000 | #Constraints: 133124
3241.50/3252.33 c #Conflicts: 1397000 | #Constraints: 134124
3241.50/3252.33 c #Conflicts: 1398000 | #Constraints: 135124
3241.50/3252.33 c #Conflicts: 1399000 | #Constraints: 136124
3241.50/3252.33 c #Conflicts: 1400000 | #Constraints: 137124
3241.50/3252.33 c #Conflicts: 1401000 | #Constraints: 138124
3241.50/3252.33 c #Conflicts: 1402000 | #Constraints: 139124
3241.50/3252.33 c #Conflicts: 1403000 | #Constraints: 140124
3241.50/3252.33 c #Conflicts: 1404000 | #Constraints: 141124
3455.36/3466.84 c #Conflicts: 1405000 | #Constraints: 142124
3455.36/3466.84 c #Conflicts: 1406000 | #Constraints: 143124
3455.36/3466.84 c #Conflicts: 1407000 | #Constraints: 144124
3455.36/3466.84 c #Conflicts: 1408000 | #Constraints: 145124
3455.36/3466.84 c #Conflicts: 1409000 | #Constraints: 146124
3455.36/3466.84 c #Conflicts: 1410000 | #Constraints: 147124
3455.36/3466.84 c #Conflicts: 1411000 | #Constraints: 148124
3455.36/3466.84 c #Conflicts: 1412000 | #Constraints: 149124
3455.36/3466.84 c #Conflicts: 1413000 | #Constraints: 150124
3455.36/3466.84 c #Conflicts: 1414000 | #Constraints: 151124
3455.36/3466.84 c #Conflicts: 1415000 | #Constraints: 152124
3455.36/3466.84 c #Conflicts: 1416000 | #Constraints: 153124
3455.36/3466.84 c #Conflicts: 1417000 | #Constraints: 154124
3455.36/3466.84 c #Conflicts: 1418000 | #Constraints: 155124
3455.36/3466.84 c #Conflicts: 1419000 | #Constraints: 156124
3455.36/3466.84 c #Conflicts: 1420000 | #Constraints: 157124
3455.36/3466.84 c #Conflicts: 1421000 | #Constraints: 158124
3455.36/3466.84 c #Conflicts: 1422000 | #Constraints: 159124
3455.36/3466.84 c #Conflicts: 1423000 | #Constraints: 160124
3455.36/3466.84 c #Conflicts: 1424000 | #Constraints: 161124
3455.36/3466.84 c #Conflicts: 1425000 | #Constraints: 162124
3455.36/3466.84 c INPROCESSING
3455.36/3466.84 c GARBAGE COLLECT
3455.36/3466.84 c #Conflicts: 1426000 | #Constraints: 94187
3455.36/3466.84 c #Conflicts: 1427000 | #Constraints: 95187
3455.36/3466.84 c #Conflicts: 1428000 | #Constraints: 96187
3455.36/3466.84 c #Conflicts: 1429000 | #Constraints: 97187
3455.36/3466.84 c #Conflicts: 1430000 | #Constraints: 98187
3455.36/3466.84 c #Conflicts: 1431000 | #Constraints: 99187
3455.36/3466.84 c #Conflicts: 1432000 | #Constraints: 100187
3455.36/3466.84 c #Conflicts: 1433000 | #Constraints: 101187
3455.36/3466.84 c #Conflicts: 1434000 | #Constraints: 102187
3455.36/3466.84 c #Conflicts: 1435000 | #Constraints: 103187
3455.36/3466.84 c #Conflicts: 1436000 | #Constraints: 104187
3455.36/3466.84 c #Conflicts: 1437000 | #Constraints: 105187
3455.36/3466.84 c #Conflicts: 1438000 | #Constraints: 106187
3455.36/3466.84 c #Conflicts: 1439000 | #Constraints: 107187
3455.36/3466.84 c #Conflicts: 1440000 | #Constraints: 108187
3455.36/3466.84 c #Conflicts: 1441000 | #Constraints: 109187
3455.36/3466.84 c #Conflicts: 1442000 | #Constraints: 110187
3455.36/3466.84 c #Conflicts: 1443000 | #Constraints: 111187
3455.36/3466.84 c #Conflicts: 1444000 | #Constraints: 112187
3455.36/3466.84 c #Conflicts: 1445000 | #Constraints: 113187
3455.36/3466.84 c #Conflicts: 1446000 | #Constraints: 114187
3455.36/3466.84 c #Conflicts: 1447000 | #Constraints: 115187
3455.36/3466.84 c #Conflicts: 1448000 | #Constraints: 116187
3455.36/3466.84 c #Conflicts: 1449000 | #Constraints: 117187
3455.36/3466.84 c #Conflicts: 1450000 | #Constraints: 118187
3455.36/3466.84 c #Conflicts: 1451000 | #Constraints: 119187
3455.36/3466.84 c #Conflicts: 1452000 | #Constraints: 120187
3455.36/3466.84 c #Conflicts: 1453000 | #Constraints: 121187
3455.36/3466.84 c #Conflicts: 1454000 | #Constraints: 122187
3455.36/3466.84 c #Conflicts: 1455000 | #Constraints: 123187
3455.36/3466.84 c #Conflicts: 1456000 | #Constraints: 124187
3455.36/3466.84 c #Conflicts: 1457000 | #Constraints: 125187
3455.36/3466.84 c #Conflicts: 1458000 | #Constraints: 126187
3455.36/3466.84 c INPROCESSING
3455.36/3466.84 c GARBAGE COLLECT
3455.36/3466.84 c #Conflicts: 1459000 | #Constraints: 87820
3455.36/3466.84 c #Conflicts: 1460000 | #Constraints: 88820
3455.36/3466.84 c #Conflicts: 1461000 | #Constraints: 89820
3455.36/3466.84 c #Conflicts: 1462000 | #Constraints: 90820
3455.36/3466.84 c #Conflicts: 1463000 | #Constraints: 91820
3455.36/3466.84 c #Conflicts: 1464000 | #Constraints: 92820
3455.36/3466.84 c #Conflicts: 1465000 | #Constraints: 93820
3455.36/3466.84 c #Conflicts: 1466000 | #Constraints: 94820
3455.36/3466.84 c #Conflicts: 1467000 | #Constraints: 95820
3455.36/3466.84 c #Conflicts: 1468000 | #Constraints: 96820
3455.36/3466.84 c #Conflicts: 1469000 | #Constraints: 97820
3455.36/3466.84 c #Conflicts: 1470000 | #Constraints: 98820
3455.36/3466.84 c #Conflicts: 1471000 | #Constraints: 99820
3455.36/3466.84 c #Conflicts: 1472000 | #Constraints: 100820
3455.36/3466.84 c #Conflicts: 1473000 | #Constraints: 101820
3455.36/3466.84 c #Conflicts: 1474000 | #Constraints: 102820
3455.36/3466.84 c #Conflicts: 1475000 | #Constraints: 103820
3455.36/3466.84 c #Conflicts: 1476000 | #Constraints: 104820
3455.36/3466.84 c #Conflicts: 1477000 | #Constraints: 105820
3455.36/3466.84 c #Conflicts: 1478000 | #Constraints: 106820
3455.36/3466.84 c #Conflicts: 1479000 | #Constraints: 107820
3455.36/3466.84 c #Conflicts: 1480000 | #Constraints: 108820
3455.36/3466.84 c #Conflicts: 1481000 | #Constraints: 109820
3600.00/3611.90 c #Conflicts: 1482000 | #Constraints: 110820
3600.00/3611.90 c #Conflicts: 1483000 | #Constraints: 111820
3600.00/3611.90 c #Conflicts: 1484000 | #Constraints: 112820
3600.00/3611.90 c #Conflicts: 1485000 | #Constraints: 113820
3600.00/3611.90 c #Conflicts: 1486000 | #Constraints: 114820
3600.00/3611.90 c #Conflicts: 1487000 | #Constraints: 115820
3600.00/3611.90 c #Conflicts: 1488000 | #Constraints: 116820
3600.00/3611.90 c #Conflicts: 1489000 | #Constraints: 117820
3600.00/3611.90 c #Conflicts: 1490000 | #Constraints: 118820
3600.00/3611.90 c #Conflicts: 1491000 | #Constraints: 119820
3600.00/3611.90 c #Conflicts: 1492000 | #Constraints: 120820
3600.00/3611.90 c #Conflicts: 1493000 | #Constraints: 121820
3600.00/3611.90 c #Conflicts: 1494000 | #Constraints: 122820
3600.00/3611.90 c #Conflicts: 1495000 | #Constraints: 123820
3600.00/3611.90 c #Conflicts: 1496000 | #Constraints: 124820
3600.00/3611.90 c #Conflicts: 1497000 | #Constraints: 125820
3600.00/3611.90 c #Conflicts: 1498000 | #Constraints: 126820
3600.00/3611.90 c #Conflicts: 1499000 | #Constraints: 127820
3600.00/3611.90 c #Conflicts: 1500000 | #Constraints: 128820
3600.00/3611.90 c #Conflicts: 1501000 | #Constraints: 129820
3600.00/3611.90 c #Conflicts: 1502000 | #Constraints: 130820
3600.00/3611.90 c #Conflicts: 1503000 | #Constraints: 131820
3600.00/3611.90 c #Conflicts: 1504000 | #Constraints: 132820
3600.00/3611.90 c #Conflicts: 1505000 | #Constraints: 133820
3600.00/3611.90 c #Conflicts: 1506000 | #Constraints: 134820
3600.00/3611.90 c #Conflicts: 1507000 | #Constraints: 135820
3600.00/3611.90 c #Conflicts: 1508000 | #Constraints: 136820
3600.00/3611.90 c #Conflicts: 1509000 | #Constraints: 137820
3600.00/3611.90 c #Conflicts: 1510000 | #Constraints: 138820
3600.00/3611.90 c #Conflicts: 1511000 | #Constraints: 139820
3600.00/3611.90 c #Conflicts: 1512000 | #Constraints: 140820
3600.00/3611.90 c #Conflicts: 1513000 | #Constraints: 141820
3600.00/3611.90 c #Conflicts: 1514000 | #Constraints: 142820
3600.00/3611.90 c #Conflicts: 1515000 | #Constraints: 143820
3600.00/3611.90 c #Conflicts: 1516000 | #Constraints: 144820
3600.00/3611.90 c #Conflicts: 1517000 | #Constraints: 145820
3600.00/3611.90 c #Conflicts: 1518000 | #Constraints: 146820
3600.00/3611.90 c #Conflicts: 1519000 | #Constraints: 147820
3600.00/3611.90 c #Conflicts: 1520000 | #Constraints: 148820
3600.00/3611.90 c #Conflicts: 1521000 | #Constraints: 149820
3600.00/3611.90 c #Conflicts: 1522000 | #Constraints: 150820
3600.00/3611.90 c #Conflicts: 1523000 | #Constraints: 151820
3600.00/3611.90 c #Conflicts: 1524000 | #Constraints: 152820
3600.00/3611.90 c #Conflicts: 1525000 | #Constraints: 153820
3600.00/3611.90 c cpu time 3565.69 s
3600.00/3611.90 c deterministic time 278732993516 2.79e+11
3600.00/3611.90 c optimization time 183.7 s
3600.00/3611.90 c total solve time 3381.73 s
3600.00/3611.90 c core-guided solve time 0 s
3600.00/3611.90 c propagation time 2053.91 s
3600.00/3611.90 c conflict analysis time 1171.79 s
3600.00/3611.90 c propagations 1538634730
3600.00/3611.90 c resolve steps 89343174
3600.00/3611.90 c decisions 38076901
3600.00/3611.90 c conflicts 1525786
3600.00/3611.90 c restarts 3002
3600.00/3611.90 c inprocessing phases 51
3600.00/3611.90 c garbage collections 51 ,( 100.00 )
3600.00/3611.90 c input clauses 20882 ,( 99.17 )
3600.00/3611.90 c input cardinalities 174 ,( 0.83 )
3600.00/3611.90 c input general constraints 0 ,( 0.00 )
3600.00/3611.90 c input average constraint length 6.43
3600.00/3611.90 c input average constraint degree 1.97
3600.00/3611.90 c learned clauses 1111416 ,( 72.84 )
3600.00/3611.90 c learned cardinalities 49243 ,( 3.23 )
3600.00/3611.90 c learned general constraints 365135 ,( 23.93 )
3600.00/3611.90 c learned average constraint length 674.77
3600.00/3611.90 c learned average constraint degree 20161205.82
3600.00/3611.90 c watched CF 32, 64, 128, Arb: 90742 , 0 , 0 , 0
3600.00/3611.90 c counting CF 32, 64, 128, Arb: 274393 , 0 , 0 , 0
3600.00/3611.90 c watched constraints 90742 ,( 24.85 )
3600.00/3611.90 c counting constraints 274393 ,( 75.15 )
3600.00/3611.90 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 1482780200 , 834951821 , 2222471680 ,( 98044872 , 2124426808 )
3600.00/3611.90 c gcd simplifications 751
3600.00/3611.90 c detected cardinalities 7236
3600.00/3611.90 c weakened non-implied lits 419266259
3600.00/3611.90 c weakened non-implying lits 212080
3600.00/3611.90 c original variables 20706
3600.00/3611.90 c clausal propagations 701920588
3600.00/3611.90 c cardinality propagations 569523744
3600.00/3611.90 c watched propagations 4673829
3600.00/3611.90 c counting propagations 248275143
3600.00/3611.90 c watch lookups 90979411412
3600.00/3611.90 c watch backjump lookups 0
3600.00/3611.90 c watch checks 37922507940
3600.00/3611.90 c propagation checks 141651984788
3600.00/3611.90 c constraint additions 5023855802
3600.00/3611.90 c trail pops 1578219419
3600.00/3611.90 c formula constraints 21056
3600.00/3611.90 c learned constraints 1525779
3600.00/3611.90 c bound constraints 0
3600.00/3611.90 c core-guided constraints 0
3600.00/3611.90 c encountered formula constraints 55704248
3600.00/3611.90 c encountered learned constraints 35164320
3600.00/3611.90 c encountered bound constraints 0
3600.00/3611.90 c encountered core-guided constraints 0
3600.00/3611.90 c LP total time 414.595 s
3600.00/3611.90 c LP solve time 408.22 s
3600.00/3611.90 c LP constraints added 21352
3600.00/3611.90 c LP constraints removed 61
3600.00/3611.90 c LP pivots internal 153681
3600.00/3611.90 c LP pivots root 148842
3600.00/3611.90 c LP calls 18
3600.00/3611.90 c LP optimalities 6
3600.00/3611.90 c LP no pivot count 0
3600.00/3611.90 c LP infeasibilities 6
3600.00/3611.90 c LP valid Farkas constraints 6
3600.00/3611.90 c LP learned Farkas constraints 6
3600.00/3611.90 c LP basis resets 0
3600.00/3611.90 c LP cycling count 0
3600.00/3611.90 c LP singular count 0
3600.00/3611.90 c LP no primal count 0
3600.00/3611.90 c LP no farkas count 0
3600.00/3611.90 c LP other issue count 0
3600.00/3611.90 c LP Gomory cuts 3
3600.00/3611.90 c LP learned cuts 293
3600.00/3611.90 c LP deleted cuts 61
3600.00/3611.90 c LP encountered Gomory constraints 329
3600.00/3611.90 c LP encountered Farkas constraints 45
3600.00/3611.90 c LP encountered learned Farkas constraints 12
3600.00/3611.90 c CG auxiliary variables introduced 0
3600.00/3611.90 c CG solutions found 0
3600.00/3611.90 c CG cores constructed 0
3600.00/3611.90 c CG core cardinality constraints returned 0
3600.00/3611.90 c CG unit cores 0
3600.00/3611.90 c CG single cores 0
3600.00/3611.90 c CG blocks removed during cardinality reduction 0
3600.00/3611.90 c CG first core best 0
3600.00/3611.90 c CG decision core best 0
3600.00/3611.90 c CG core reduction tie 0
3600.00/3611.90 c CG core degree average 0.00
3600.00/3611.90 c CG core slack average 0.00
3600.00/3611.90 c CG core upper bound improvements 0
3600.00/3611.90 c STR number of successful calls 0
3600.00/3611.90 c STR number of unsuccessful calls 0
3600.00/3611.90 c STR number of inconclusive calls 0
3600.00/3611.90 c STR number of successful attempts 0
3600.00/3611.90 c STR number of unsuccessful attempts 0
3600.00/3611.90 c STR number of inconclusive attempts 0
3600.00/3611.90 c STR average degree increase per successful call inf
3600.00/3611.90 c STR average degree increase per successful attempt inf
3600.00/3611.90 c STR total number of conflicts for successful attempts 0
3600.00/3611.90 c STR total number of conflicts for unsuccessful attempts 0
3600.00/3611.90 c STR total number of conflicts for inconclusive attempts 0
3600.00/3611.90 c STR average number of conflicts per successful attempt inf
3600.00/3611.90 c STR average number of conflicts per unsuccessful attempt inf
3600.00/3611.90 c STR average number of conflicts per inconclusive attempt inf
3600.00/3611.90 c AVG.sumWPerc 66.56
3600.00/3611.90 c bigint constraints 0
3600.00/3611.90 s UNKNOWN
3600.00/3611.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: 63837 MiB (63328 MiB free)
memory of node 1: 64465 MiB (63957 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4507012-1751182246/watcher-4507012-1751182246 -o /tmp/evaluation-result-4507012-1751182246/solver-4507012-1751182246 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1751182246-21368 --watchdog 3760 run-dec.sh HOME/instance-4507012-1751182246.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=21424, runsolver pid=21409
Current StackSize limit: 8192 KiB
[startup+0.100068 s]*
/proc/loadavg: 1.09 1.29 1.77 8/256 21429
/proc/meminfo: memFree=130322720/131382120 swapFree=33010684/33010684
[pid=21424] ppid=21409 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/21424/stat : 21424 (run-dec.sh) S 21409 21424 21352 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 33903783 4292608 736 18446744073709551615 94460760264704 94460761159237 140723847541200 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94460761398288 94460761446032 94460785127424 140723847547245 140723847547368 140723847547368 140723847552970 0
/proc/21424/statm: 1048 736 672 219 0 110 0
[pid=21429] ppid=21424 vsize=59796 memory=14744 CPUtime=0.08 cores=5,7
/proc/21429/stat : 21429 (roundingsat) R 21424 21424 21352 0 -1 4194304 1503 0 0 0 6 2 0 0 20 0 1 0 33903784 61231104 3686 18446744073709551615 4227072 8923433 140725672309504 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 10326016 140725672311223 140725672311336 140725672311336 140725672316906 0
/proc/21429/statm: 14949 3686 1888 1147 0 2376 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 63988 KiB
Current children cumulated memory: 17688 KiB
[startup+0.213288 s]*
/proc/loadavg: 1.09 1.29 1.77 8/256 21429
/proc/meminfo: memFree=130313404/131382120 swapFree=33010684/33010684
[pid=21424] ppid=21409 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/21424/stat : 21424 (run-dec.sh) S 21409 21424 21352 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 33903783 4292608 736 18446744073709551615 94460760264704 94460761159237 140723847541200 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94460761398288 94460761446032 94460785127424 140723847547245 140723847547368 140723847547368 140723847552970 0
/proc/21424/statm: 1048 736 672 219 0 110 0
[pid=21429] ppid=21424 vsize=61220 memory=16024 CPUtime=0.19 cores=5,7
/proc/21429/stat : 21429 (roundingsat) R 21424 21424 21352 0 -1 4194304 1855 0 0 0 14 5 0 0 20 0 1 0 33903784 62689280 4006 18446744073709551615 4227072 8923433 140725672309504 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 10326016 140725672311223 140725672311336 140725672311336 140725672316906 0
/proc/21429/statm: 15305 4006 1888 1147 0 2732 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 65412 KiB
Current children cumulated memory: 18968 KiB
[startup+0.313189 s]*
/proc/loadavg: 1.09 1.29 1.77 8/256 21429
/proc/meminfo: memFree=130236348/131382120 swapFree=33010684/33010684
[pid=21424] ppid=21409 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/21424/stat : 21424 (run-dec.sh) S 21409 21424 21352 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 33903783 4292608 736 18446744073709551615 94460760264704 94460761159237 140723847541200 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94460761398288 94460761446032 94460785127424 140723847547245 140723847547368 140723847547368 140723847552970 0
/proc/21424/statm: 1048 736 672 219 0 110 0
[pid=21429] ppid=21424 vsize=94656 memory=33832 CPUtime=0.29 cores=5,7
/proc/21429/stat : 21429 (roundingsat) R 21424 21424 21352 0 -1 4194304 6039 0 0 0 22 7 0 0 20 0 1 0 33903784 96927744 8458 18446744073709551615 4227072 8923433 140725672309504 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 10326016 140725672311223 140725672311336 140725672311336 140725672316906 0
/proc/21429/statm: 23664 8458 2208 1147 0 11091 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 98848 KiB
Current children cumulated memory: 36776 KiB
[startup+0.700361 s]
/proc/loadavg: 1.09 1.29 1.77 8/256 21429
/proc/meminfo: memFree=130189096/131382120 swapFree=33010684/33010684
[pid=21424] ppid=21409 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/21424/stat : 21424 (run-dec.sh) S 21409 21424 21352 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 33903783 4292608 736 18446744073709551615 94460760264704 94460761159237 140723847541200 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94460761398288 94460761446032 94460785127424 140723847547245 140723847547368 140723847547368 140723847552970 0
/proc/21424/statm: 1048 736 672 219 0 110 0
[pid=21429] ppid=21424 vsize=108324 memory=55696 CPUtime=0.66 cores=5,7
/proc/21429/stat : 21429 (roundingsat) R 21424 21424 21352 0 -1 4194304 11237 0 0 0 57 9 0 0 20 0 1 0 33903784 110923776 13924 18446744073709551615 4227072 8923433 140725672309504 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 10326016 140725672311223 140725672311336 140725672311336 140725672316906 0
/proc/21429/statm: 27081 13924 2240 1147 0 14508 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 112516 KiB
Current children cumulated memory: 58640 KiB
[startup+1.50036 s]
/proc/loadavg: 1.09 1.29 1.77 8/256 21429
/proc/meminfo: memFree=130181032/131382120 swapFree=33010684/33010684
[pid=21424] ppid=21409 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/21424/stat : 21424 (run-dec.sh) S 21409 21424 21352 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 33903783 4292608 736 18446744073709551615 94460760264704 94460761159237 140723847541200 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94460761398288 94460761446032 94460785127424 140723847547245 140723847547368 140723847547368 140723847552970 0
/proc/21424/statm: 1048 736 672 219 0 110 0
[pid=21429] ppid=21424 vsize=109780 memory=57616 CPUtime=1.46 cores=5,7
/proc/21429/stat : 21429 (roundingsat) R 21424 21424 21352 0 -1 4194304 11733 0 0 0 136 10 0 0 20 0 1 0 33903784 112414720 14404 18446744073709551615 4227072 8923433 140725672309504 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 10326016 140725672311223 140725672311336 140725672311336 140725672316906 0
/proc/21429/statm: 27445 14404 2240 1147 0 14872 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 113972 KiB
Current children cumulated memory: 60560 KiB
[startup+3.11258 s]
/proc/loadavg: 1.09 1.29 1.77 8/256 21429
/proc/meminfo: memFree=130158044/131382120 swapFree=33010684/33010684
[pid=21424] ppid=21409 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/21424/stat : 21424 (run-dec.sh) S 21409 21424 21352 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 33903783 4292608 736 18446744073709551615 94460760264704 94460761159237 140723847541200 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94460761398288 94460761446032 94460785127424 140723847547245 140723847547368 140723847547368 140723847552970 0
/proc/21424/statm: 1048 736 672 219 0 110 0
[pid=21429] ppid=21424 vsize=111420 memory=59536 CPUtime=3.07 cores=5,7
/proc/21429/stat : 21429 (roundingsat) R 21424 21424 21352 0 -1 4194304 12175 0 0 0 296 11 0 0 20 0 1 0 33903784 114094080 14884 18446744073709551615 4227072 8923433 140725672309504 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 10326016 140725672311223 140725672311336 140725672311336 140725672316906 0
/proc/21429/statm: 27855 14884 2272 1147 0 15282 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 115612 KiB
Current children cumulated memory: 62480 KiB
[startup+6.30033 s]
/proc/loadavg: 1.32 1.33 1.78 8/256 21429
/proc/meminfo: memFree=130133036/131382120 swapFree=33010684/33010684
[pid=21424] ppid=21409 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/21424/stat : 21424 (run-dec.sh) S 21409 21424 21352 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 33903783 4292608 736 18446744073709551615 94460760264704 94460761159237 140723847541200 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94460761398288 94460761446032 94460785127424 140723847547245 140723847547368 140723847547368 140723847552970 0
/proc/21424/statm: 1048 736 672 219 0 110 0
[pid=21429] ppid=21424 vsize=119552 memory=68272 CPUtime=6.24 cores=5,7
/proc/21429/stat : 21429 (roundingsat) R 21424 21424 21352 0 -1 4194304 13817 0 0 0 593 31 0 0 20 0 1 0 33903784 122421248 17068 18446744073709551615 4227072 8923433 140725672309504 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 10326016 140725672311223 140725672311336 140725672311336 140725672316906 0
/proc/21429/statm: 29888 17068 2304 1147 0 17315 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 123744 KiB
Current children cumulated memory: 71216 KiB
[startup+12.7004 s]
/proc/loadavg: 1.54 1.38 1.79 8/256 21429
/proc/meminfo: memFree=130077552/131382120 swapFree=33010684/33010684
[pid=21424] ppid=21409 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/21424/stat : 21424 (run-dec.sh) S 21409 21424 21352 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 33903783 4292608 736 18446744073709551615 94460760264704 94460761159237 140723847541200 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94460761398288 94460761446032 94460785127424 140723847547245 140723847547368 140723847547368 140723847552970 0
/proc/21424/statm: 1048 736 672 219 0 110 0
[pid=21429] ppid=21424 vsize=148008 memory=93780 CPUtime=12.62 cores=5,7
/proc/21429/stat : 21429 (roundingsat) R 21424 21424 21352 0 -1 4194304 18663 0 0 0 1205 57 0 0 20 0 1 0 33903784 151560192 23445 18446744073709551615 4227072 8923433 140725672309504 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 10326016 140725672311223 140725672311336 140725672311336 140725672316906 0
/proc/21429/statm: 37002 23445 2304 1147 0 24429 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 152200 KiB
Current children cumulated memory: 96724 KiB
[startup+25.5004 s]
/proc/loadavg: 1.92 1.46 1.82 8/255 21430
/proc/meminfo: memFree=130004284/131382120 swapFree=33010684/33010684
[pid=21424] ppid=21409 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/21424/stat : 21424 (run-dec.sh) S 21409 21424 21352 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 33903783 4292608 736 18446744073709551615 94460760264704 94460761159237 140723847541200 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94460761398288 94460761446032 94460785127424 140723847547245 140723847547368 140723847547368 140723847552970 0
/proc/21424/statm: 1048 736 672 219 0 110 0
[pid=21429] ppid=21424 vsize=152972 memory=98772 CPUtime=25.39 cores=5,7
/proc/21429/stat : 21429 (roundingsat) R 21424 21424 21352 0 -1 4194304 19910 0 0 0 2463 76 0 0 20 0 1 0 33903784 156643328 24693 18446744073709551615 4227072 8923433 140725672309504 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 10326016 140725672311223 140725672311336 140725672311336 140725672316906 0
/proc/21429/statm: 38243 24693 2304 1147 0 25670 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 157164 KiB
Current children cumulated memory: 101716 KiB
[startup+51.1129 s]
/proc/loadavg: 2.74 1.71 1.89 8/255 21430
/proc/meminfo: memFree=129842880/131382120 swapFree=33010684/33010684
[pid=21424] ppid=21409 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/21424/stat : 21424 (run-dec.sh) S 21409 21424 21352 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 33903783 4292608 736 18446744073709551615 94460760264704 94460761159237 140723847541200 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94460761398288 94460761446032 94460785127424 140723847547245 140723847547368 140723847547368 140723847552970 0
/proc/21424/statm: 1048 736 672 219 0 110 0
[pid=21429] ppid=21424 vsize=212904 memory=148320 CPUtime=50.91 cores=5,7
/proc/21429/stat : 21429 (roundingsat) R 21424 21424 21352 0 -1 4194304 28804 0 0 0 4936 155 0 0 20 0 1 0 33903784 218013696 37080 18446744073709551615 4227072 8923433 140725672309504 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 10326016 140725672311223 140725672311336 140725672311336 140725672316906 0
/proc/21429/statm: 53226 37080 2304 1147 0 40653 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 217096 KiB
Current children cumulated memory: 151264 KiB
[startup+102.3 s]
/proc/loadavg: 3.57 2.09 2.01 8/255 21432
/proc/meminfo: memFree=129716192/131382120 swapFree=33010684/33010684
[pid=21424] ppid=21409 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/21424/stat : 21424 (run-dec.sh) S 21409 21424 21352 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 33903783 4292608 736 18446744073709551615 94460760264704 94460761159237 140723847541200 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94460761398288 94460761446032 94460785127424 140723847547245 140723847547368 140723847547368 140723847552970 0
/proc/21424/statm: 1048 736 672 219 0 110 0
[pid=21429] ppid=21424 vsize=233244 memory=172288 CPUtime=101.94 cores=5,7
/proc/21429/stat : 21429 (roundingsat) R 21424 21424 21352 0 -1 4194304 33762 0 0 0 9940 254 0 0 20 0 1 0 33903784 238841856 43072 18446744073709551615 4227072 8923433 140725672309504 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 10326016 140725672311223 140725672311336 140725672311336 140725672316906 0
/proc/21429/statm: 58311 43072 2304 1147 0 45738 0
Current children cumulated CPU time: 101.94 s
Current children cumulated vsize: 237436 KiB
Current children cumulated memory: 175232 KiB
[startup+162.3 s]
/proc/loadavg: 3.91 2.46 2.14 8/255 21434
/proc/meminfo: memFree=129545728/131382120 swapFree=33010684/33010684
[pid=21424] ppid=21409 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/21424/stat : 21424 (run-dec.sh) S 21409 21424 21352 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 33903783 4292608 736 18446744073709551615 94460760264704 94460761159237 140723847541200 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94460761398288 94460761446032 94460785127424 140723847547245 140723847547368 140723847547368 140723847552970 0
/proc/21424/statm: 1048 736 672 219 0 110 0
[pid=21429] ppid=21424 vsize=255876 memory=205248 CPUtime=161.75 cores=5,7
/proc/21429/stat : 21429 (roundingsat) R 21424 21424 21352 0 -1 4194304 39444 0 0 0 15836 339 0 0 20 0 1 0 33903784 262017024 51312 18446744073709551615 4227072 8923433 140725672309504 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 10326016 140725672311223 140725672311336 140725672311336 140725672316906 0
/proc/21429/statm: 63969 51312 2336 1147 0 51396 0
Current children cumulated CPU time: 161.75 s
Current children cumulated vsize: 260068 KiB
Current children cumulated memory: 208192 KiB
[startup+222.3 s]
/proc/loadavg: 4.01 2.76 2.27 8/255 21436
/proc/meminfo: memFree=129332964/131382120 swapFree=33010684/33010684
[pid=21424] ppid=21409 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/21424/stat : 21424 (run-dec.sh) S 21409 21424 21352 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 33903783 4292608 736 18446744073709551615 94460760264704 94460761159237 140723847541200 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94460761398288 94460761446032 94460785127424 140723847547245 140723847547368 140723847547368 140723847552970 0
/proc/21424/statm: 1048 736 672 219 0 110 0
[pid=21429] ppid=21424 vsize=315404 memory=252136 CPUtime=221.56 cores=5,7
/proc/21429/stat : 21429 (roundingsat) R 21424 21424 21352 0 -1 4194304 47082 0 0 0 21713 443 0 0 20 0 1 0 33903784 322973696 63034 18446744073709551615 4227072 8923433 140725672309504 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 10326016 140725672311223 140725672311336 140725672311336 140725672316906 0
/proc/21429/statm: 78851 63034 2336 1147 0 66278 0
################
# More data... #
################
/proc/21429/statm: 290540 263791 2336 1147 0 277967 0
Current children cumulated CPU time: 3091.94 s
Current children cumulated vsize: 1166352 KiB
Current children cumulated memory: 1058108 KiB
[startup+3162.3 s]
/proc/loadavg: 4.14 4.12 4.04 8/255 21591
/proc/meminfo: memFree=126255068/131382120 swapFree=33010684/33010684
[pid=21424] ppid=21409 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/21424/stat : 21424 (run-dec.sh) S 21409 21424 21352 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 33903783 4292608 736 18446744073709551615 94460760264704 94460761159237 140723847541200 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94460761398288 94460761446032 94460785127424 140723847547245 140723847547368 140723847547368 140723847552970 0
/proc/21424/statm: 1048 736 672 219 0 110 0
[pid=21429] ppid=21424 vsize=1162160 memory=1055164 CPUtime=3151.76 cores=5,7
/proc/21429/stat : 21429 (roundingsat) R 21424 21424 21352 0 -1 4194304 135771 0 0 0 312073 3103 0 0 20 0 1 0 33903784 1190051840 263791 18446744073709551615 4227072 8923433 140725672309504 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 10326016 140725672311223 140725672311336 140725672311336 140725672316906 0
/proc/21429/statm: 290540 263791 2336 1147 0 277967 0
Current children cumulated CPU time: 3151.76 s
Current children cumulated vsize: 1166352 KiB
Current children cumulated memory: 1058108 KiB
[startup+3222.3 s]
/proc/loadavg: 4.11 4.11 4.04 8/254 21593
/proc/meminfo: memFree=126240900/131382120 swapFree=33010684/33010684
[pid=21424] ppid=21409 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/21424/stat : 21424 (run-dec.sh) S 21409 21424 21352 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 33903783 4292608 736 18446744073709551615 94460760264704 94460761159237 140723847541200 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94460761398288 94460761446032 94460785127424 140723847547245 140723847547368 140723847547368 140723847552970 0
/proc/21424/statm: 1048 736 672 219 0 110 0
[pid=21429] ppid=21424 vsize=1163600 memory=1055932 CPUtime=3211.59 cores=5,7
/proc/21429/stat : 21429 (roundingsat) R 21424 21424 21352 0 -1 4194304 135991 0 0 0 318009 3150 0 0 20 0 1 0 33903784 1191526400 263983 18446744073709551615 4227072 8923433 140725672309504 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 10326016 140725672311223 140725672311336 140725672311336 140725672316906 0
/proc/21429/statm: 290900 263983 2336 1147 0 278327 0
Current children cumulated CPU time: 3211.59 s
Current children cumulated vsize: 1167792 KiB
Current children cumulated memory: 1058876 KiB
[startup+3282.3 s]
/proc/loadavg: 4.16 4.12 4.04 8/255 21598
/proc/meminfo: memFree=126228764/131382120 swapFree=33010684/33010684
[pid=21424] ppid=21409 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/21424/stat : 21424 (run-dec.sh) S 21409 21424 21352 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 33903783 4292608 736 18446744073709551615 94460760264704 94460761159237 140723847541200 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94460761398288 94460761446032 94460785127424 140723847547245 140723847547368 140723847547368 140723847552970 0
/proc/21424/statm: 1048 736 672 219 0 110 0
[pid=21429] ppid=21424 vsize=1166932 memory=1059260 CPUtime=3271.41 cores=5,7
/proc/21429/stat : 21429 (roundingsat) R 21424 21424 21352 0 -1 4194304 136849 0 0 0 323962 3179 0 0 20 0 1 0 33903784 1194938368 264815 18446744073709551615 4227072 8923433 140725672309504 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 10326016 140725672311223 140725672311336 140725672311336 140725672316906 0
/proc/21429/statm: 291733 264815 2336 1147 0 279160 0
Current children cumulated CPU time: 3271.41 s
Current children cumulated vsize: 1171124 KiB
Current children cumulated memory: 1062204 KiB
[startup+3342.3 s]
/proc/loadavg: 4.12 4.11 4.04 8/255 21603
/proc/meminfo: memFree=126210340/131382120 swapFree=33010684/33010684
[pid=21424] ppid=21409 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/21424/stat : 21424 (run-dec.sh) S 21409 21424 21352 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 33903783 4292608 736 18446744073709551615 94460760264704 94460761159237 140723847541200 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94460761398288 94460761446032 94460785127424 140723847547245 140723847547368 140723847547368 140723847552970 0
/proc/21424/statm: 1048 736 672 219 0 110 0
[pid=21429] ppid=21424 vsize=1184304 memory=1073084 CPUtime=3331.23 cores=5,7
/proc/21429/stat : 21429 (roundingsat) R 21424 21424 21352 0 -1 4194304 140294 0 0 0 329906 3217 0 0 20 0 1 0 33903784 1212727296 268271 18446744073709551615 4227072 8923433 140725672309504 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 10326016 140725672311223 140725672311336 140725672311336 140725672316906 0
/proc/21429/statm: 296076 268271 2336 1147 0 283503 0
Current children cumulated CPU time: 3331.23 s
Current children cumulated vsize: 1188496 KiB
Current children cumulated memory: 1076028 KiB
[startup+3402.3 s]
/proc/loadavg: 4.09 4.11 4.04 8/255 21605
/proc/meminfo: memFree=126208812/131382120 swapFree=33010684/33010684
[pid=21424] ppid=21409 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/21424/stat : 21424 (run-dec.sh) S 21409 21424 21352 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 33903783 4292608 736 18446744073709551615 94460760264704 94460761159237 140723847541200 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94460761398288 94460761446032 94460785127424 140723847547245 140723847547368 140723847547368 140723847552970 0
/proc/21424/statm: 1048 736 672 219 0 110 0
[pid=21429] ppid=21424 vsize=1184304 memory=1073084 CPUtime=3391.05 cores=5,7
/proc/21429/stat : 21429 (roundingsat) R 21424 21424 21352 0 -1 4194304 140302 0 0 0 335843 3262 0 0 20 0 1 0 33903784 1212727296 268271 18446744073709551615 4227072 8923433 140725672309504 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 10326016 140725672311223 140725672311336 140725672311336 140725672316906 0
/proc/21429/statm: 296076 268271 2336 1147 0 283503 0
Current children cumulated CPU time: 3391.05 s
Current children cumulated vsize: 1188496 KiB
Current children cumulated memory: 1076028 KiB
[startup+3462.3 s]
/proc/loadavg: 4.15 4.12 4.05 8/255 21607
/proc/meminfo: memFree=126208476/131382120 swapFree=33010684/33010684
[pid=21424] ppid=21409 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/21424/stat : 21424 (run-dec.sh) S 21409 21424 21352 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 33903783 4292608 736 18446744073709551615 94460760264704 94460761159237 140723847541200 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94460761398288 94460761446032 94460785127424 140723847547245 140723847547368 140723847547368 140723847552970 0
/proc/21424/statm: 1048 736 672 219 0 110 0
[pid=21429] ppid=21424 vsize=1185440 memory=1074236 CPUtime=3450.87 cores=5,7
/proc/21429/stat : 21429 (roundingsat) R 21424 21424 21352 0 -1 4194304 140586 0 0 0 341769 3318 0 0 20 0 1 0 33903784 1213890560 268559 18446744073709551615 4227072 8923433 140725672309504 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 10326016 140725672311223 140725672311336 140725672311336 140725672316906 0
/proc/21429/statm: 296360 268559 2336 1147 0 283787 0
Current children cumulated CPU time: 3450.87 s
Current children cumulated vsize: 1189632 KiB
Current children cumulated memory: 1077180 KiB
[startup+3522.3 s]
/proc/loadavg: 4.05 4.09 4.04 8/255 21609
/proc/meminfo: memFree=126191756/131382120 swapFree=33010684/33010684
[pid=21424] ppid=21409 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/21424/stat : 21424 (run-dec.sh) S 21409 21424 21352 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 33903783 4292608 736 18446744073709551615 94460760264704 94460761159237 140723847541200 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94460761398288 94460761446032 94460785127424 140723847547245 140723847547368 140723847547368 140723847552970 0
/proc/21424/statm: 1048 736 672 219 0 110 0
[pid=21429] ppid=21424 vsize=1185440 memory=1074236 CPUtime=3510.7 cores=5,7
/proc/21429/stat : 21429 (roundingsat) R 21424 21424 21352 0 -1 4194304 140659 0 0 0 347698 3372 0 0 20 0 1 0 33903784 1213890560 268559 18446744073709551615 4227072 8923433 140725672309504 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 10326016 140725672311223 140725672311336 140725672311336 140725672316906 0
/proc/21429/statm: 296360 268559 2336 1147 0 283787 0
Current children cumulated CPU time: 3510.7 s
Current children cumulated vsize: 1189632 KiB
Current children cumulated memory: 1077180 KiB
[startup+3582.3 s]
/proc/loadavg: 4.06 4.09 4.04 8/254 21611
/proc/meminfo: memFree=126182900/131382120 swapFree=33010684/33010684
[pid=21424] ppid=21409 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/21424/stat : 21424 (run-dec.sh) S 21409 21424 21352 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 33903783 4292608 736 18446744073709551615 94460760264704 94460761159237 140723847541200 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94460761398288 94460761446032 94460785127424 140723847547245 140723847547368 140723847547368 140723847552970 0
/proc/21424/statm: 1048 736 672 219 0 110 0
[pid=21429] ppid=21424 vsize=1185440 memory=1074236 CPUtime=3570.51 cores=5,7
/proc/21429/stat : 21429 (roundingsat) R 21424 21424 21352 0 -1 4194304 140693 0 0 0 353639 3412 0 0 20 0 1 0 33903784 1213890560 268559 18446744073709551615 4227072 8923433 140725672309504 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 10326016 140725672311223 140725672311336 140725672311336 140725672316906 0
/proc/21429/statm: 296360 268559 2336 1147 0 283787 0
Current children cumulated CPU time: 3570.51 s
Current children cumulated vsize: 1189632 KiB
Current children cumulated memory: 1077180 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3611.9 s]
/proc/loadavg: 4.09 4.09 4.04 4/241 21657
/proc/meminfo: memFree=129202812/131382120 swapFree=33010684/33010684
[pid=21424] ppid=21409 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/21424/stat : 21424 (run-dec.sh) S 21409 21424 21352 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 33903783 4292608 736 18446744073709551615 94460760264704 94460761159237 140723847541200 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94460761398288 94460761446032 94460785127424 140723847547245 140723847547368 140723847547368 140723847552970 0
/proc/21424/statm: 1048 736 672 219 0 110 0
[pid=21429] ppid=21424 vsize=1186300 memory=1075004 CPUtime=3600 cores=5,7
/proc/21429/stat : 21429 (roundingsat) R 21424 21424 21352 0 -1 4194304 140889 0 0 0 356568 3432 0 0 20 0 1 0 33903784 1214771200 268751 18446744073709551615 4227072 8923433 140725672309504 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 10326016 140725672311223 140725672311336 140725672311336 140725672316906 0
/proc/21429/statm: 296575 268751 2336 1147 0 284002 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 1190492 KiB
Current children cumulated memory: 1077948 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3611.91 s]
# the end of solver process 21424 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.001138 s, system=0.004501 s
[startup+3611.91 s]
# the end of solver process 21429 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3565.7 s, system=34.3352 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+3611.9 s]
/proc/loadavg: 4.09 4.09 4.04 4/241 21657
/proc/meminfo: memFree=129202812/131382120 swapFree=33010684/33010684
[pid=21424] ppid=21409 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/21424/stat : 21424 (run-dec.sh) S 21409 21424 21352 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 33903783 4292608 736 18446744073709551615 94460760264704 94460761159237 140723847541200 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94460761398288 94460761446032 94460785127424 140723847547245 140723847547368 140723847547368 140723847552970 0
/proc/21424/statm: 1048 736 672 219 0 110 0
[pid=21429] ppid=21424 vsize=1186300 memory=1075004 CPUtime=3600 cores=5,7
/proc/21429/stat : 21429 (roundingsat) R 21424 21424 21352 0 -1 4194304 140889 0 0 0 356568 3432 0 0 20 0 1 0 33903784 1214771200 268751 18446744073709551615 4227072 8923433 140725672309504 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 10326016 140725672311223 140725672311336 140725672311336 140725672316906 0
/proc/21429/statm: 296575 268751 2336 1147 0 284002 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 1190492 KiB
Current children cumulated memory: 1077948 KiB
Child status: 2
Real time (s): 3611.91
CPU time (s): 3600.03
CPU user time (s): 3565.7
CPU system time (s): 34.3352
CPU usage (%): 99.671
Max. virtual memory (cumulated for all children) (KiB): 1190492
Max. memory (cumulated for all children) (KiB): 1077948
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3565.7
system time used= 34.3352
maximum resident set size= 1075388
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 141115
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 424
involuntary context switches= 21369
# summary of solver processes directly reported to runsolver:
# pid: 21424,21429
# total CPU time (s): 3600.03
# total CPU user time (s): 3565.7
# total CPU system time (s): 34.3352
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.4996 second user time and 35.5553 second system time
The end
Begin job on nodeC008 at 2025-06-29 09:30:46
IDJOB=4507012
IDBENCH=158316
IDSOLVER=3349
FILE ID=nodeC008/4507012-1751182246
RUNJOBID= nodeC008-1751182246-21368
SLURM_JOB_ID= 9587557
Free space on /tmp= 433056 MiB
SOLVER NAME= roundingsat 63f22ad
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathNG/normalized-NG_K174.opb
COMMAND LINE= run-dec.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4507012-1751182246/watcher-4507012-1751182246 -o /tmp/evaluation-result-4507012-1751182246/solver-4507012-1751182246 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1751182246-21368 --watchdog 3760 run-dec.sh HOME/instance-4507012-1751182246.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= c4faa5671d3144bef53831284f041277
RANDOM SEED=423299313
nodeC008 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.088
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.72
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.192
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.72
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.046
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.72
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.099
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.72
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.820
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.72
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.105
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.72
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.229
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.72
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.185
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.72
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382120 kB
MemFree: 130312380 kB
MemAvailable: 129955612 kB
Buffers: 3280 kB
Cached: 451972 kB
SwapCached: 0 kB
Active: 287040 kB
Inactive: 238712 kB
Active(anon): 88456 kB
Inactive(anon): 0 kB
Active(file): 198584 kB
Inactive(file): 238712 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 33704 kB
Writeback: 0 kB
AnonPages: 73568 kB
Mapped: 101960 kB
Shmem: 17956 kB
KReclaimable: 85048 kB
Slab: 163448 kB
SReclaimable: 85048 kB
SUnreclaim: 78400 kB
KernelStack: 3716 kB
PageTables: 2324 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701744 kB
Committed_AS: 329812 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149256 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 16384 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: 181064 kB
DirectMap2M: 9158656 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 433028 MiB
End job on nodeC008 at 2025-06-29 10:30:59