0.00/0.01 c RoundingSat 2
0.00/0.01 c branch pb25
0.00/0.01 c commit 63f22ad
0.09/0.14 c #variables 20706 #constraints 21056
93.24/93.56 c #Conflicts: 1000 | #Constraints: 22055
93.24/93.56 c #Conflicts: 2000 | #Constraints: 23055
93.24/93.56 c INPROCESSING
93.24/93.56 c GARBAGE COLLECT
93.24/93.56 c #Conflicts: 3000 | #Constraints: 22387
93.24/93.56 c #Conflicts: 4000 | #Constraints: 23387
93.24/93.56 c INPROCESSING
93.24/93.56 c GARBAGE COLLECT
93.24/93.56 c #Conflicts: 5000 | #Constraints: 22915
93.24/93.56 c #Conflicts: 6000 | #Constraints: 23915
93.24/93.56 c INPROCESSING
93.24/93.56 c GARBAGE COLLECT
93.24/93.56 c #Conflicts: 7000 | #Constraints: 23011
93.24/93.56 c #Conflicts: 8000 | #Constraints: 24011
93.24/93.56 c #Conflicts: 9000 | #Constraints: 25011
93.24/93.56 c #Conflicts: 10000 | #Constraints: 26011
93.24/93.56 c #Conflicts: 11000 | #Constraints: 27011
93.24/93.56 c #Conflicts: 12000 | #Constraints: 28011
93.24/93.56 c INPROCESSING
93.24/93.56 c GARBAGE COLLECT
93.24/93.56 c #Conflicts: 13000 | #Constraints: 25060
93.24/93.56 c #Conflicts: 14000 | #Constraints: 26060
93.24/93.56 c #Conflicts: 15000 | #Constraints: 27060
93.24/93.56 c #Conflicts: 16000 | #Constraints: 28060
93.24/93.56 c INPROCESSING
93.24/93.56 c GARBAGE COLLECT
93.24/93.56 c #Conflicts: 17000 | #Constraints: 25138
93.24/93.56 c #Conflicts: 18000 | #Constraints: 26138
93.24/93.56 c #Conflicts: 19000 | #Constraints: 27138
93.24/93.56 c #Conflicts: 20000 | #Constraints: 28138
93.24/93.56 c #Conflicts: 21000 | #Constraints: 29138
93.24/93.56 c #Conflicts: 22000 | #Constraints: 30138
93.24/93.56 c #Conflicts: 23000 | #Constraints: 31138
93.24/93.56 c #Conflicts: 24000 | #Constraints: 32138
93.24/93.56 c #Conflicts: 25000 | #Constraints: 33138
93.24/93.56 c INPROCESSING
93.24/93.56 c GARBAGE COLLECT
93.24/93.56 c #Conflicts: 26000 | #Constraints: 27732
93.24/93.56 c #Conflicts: 27000 | #Constraints: 28732
93.24/93.56 c #Conflicts: 28000 | #Constraints: 29732
93.24/93.56 c #Conflicts: 29000 | #Constraints: 30732
93.24/93.56 c #Conflicts: 30000 | #Constraints: 31732
93.24/93.56 c INPROCESSING
93.24/93.56 c GARBAGE COLLECT
93.24/93.56 c #Conflicts: 31000 | #Constraints: 27234
93.24/93.56 c #Conflicts: 32000 | #Constraints: 28234
93.24/93.56 c #Conflicts: 33000 | #Constraints: 29234
93.24/93.56 c #Conflicts: 34000 | #Constraints: 30234
93.24/93.56 c #Conflicts: 35000 | #Constraints: 31234
93.24/93.56 c #Conflicts: 36000 | #Constraints: 32234
93.24/93.56 c #Conflicts: 37000 | #Constraints: 33234
93.24/93.56 c #Conflicts: 38000 | #Constraints: 34234
93.24/93.56 c #Conflicts: 39000 | #Constraints: 35234
93.24/93.56 c #Conflicts: 40000 | #Constraints: 36234
93.24/93.56 c #Conflicts: 41000 | #Constraints: 37234
93.24/93.56 c #Conflicts: 42000 | #Constraints: 38234
93.24/93.56 c #Conflicts: 43000 | #Constraints: 39234
93.24/93.56 c INPROCESSING
93.24/93.56 c GARBAGE COLLECT
93.24/93.56 c #Conflicts: 44000 | #Constraints: 31158
93.24/93.56 c #Conflicts: 45000 | #Constraints: 32158
93.24/93.56 c #Conflicts: 46000 | #Constraints: 33158
93.24/93.56 c #Conflicts: 47000 | #Constraints: 34158
93.24/93.56 c #Conflicts: 48000 | #Constraints: 35158
93.24/93.56 c #Conflicts: 49000 | #Constraints: 36158
93.24/93.56 c INPROCESSING
93.24/93.56 c GARBAGE COLLECT
93.24/93.56 c #Conflicts: 50000 | #Constraints: 30193
93.24/93.56 c #Conflicts: 51000 | #Constraints: 31193
93.24/93.56 c #Conflicts: 52000 | #Constraints: 32193
93.24/93.56 c #Conflicts: 53000 | #Constraints: 33193
93.24/93.56 c #Conflicts: 54000 | #Constraints: 34193
93.24/93.56 c #Conflicts: 55000 | #Constraints: 35193
93.24/93.56 c #Conflicts: 56000 | #Constraints: 36193
93.24/93.56 c #Conflicts: 57000 | #Constraints: 37193
93.24/93.56 c #Conflicts: 58000 | #Constraints: 38193
93.24/93.56 c #Conflicts: 59000 | #Constraints: 39193
93.24/93.56 c #Conflicts: 60000 | #Constraints: 40193
93.24/93.56 c #Conflicts: 61000 | #Constraints: 41193
93.24/93.56 c #Conflicts: 62000 | #Constraints: 42193
93.24/93.56 c #Conflicts: 63000 | #Constraints: 43193
93.24/93.56 c #Conflicts: 64000 | #Constraints: 44193
93.24/93.56 c #Conflicts: 65000 | #Constraints: 45193
93.24/93.56 c INPROCESSING
93.24/93.56 c GARBAGE COLLECT
93.24/93.56 c #Conflicts: 66000 | #Constraints: 34413
93.24/93.56 c #Conflicts: 67000 | #Constraints: 35413
93.24/93.56 c #Conflicts: 68000 | #Constraints: 36413
93.24/93.56 c #Conflicts: 69000 | #Constraints: 37413
93.24/93.56 c #Conflicts: 70000 | #Constraints: 38413
93.24/93.56 c #Conflicts: 71000 | #Constraints: 39413
93.24/93.56 c #Conflicts: 72000 | #Constraints: 40413
93.24/93.56 c INPROCESSING
93.24/93.56 c GARBAGE COLLECT
211.73/212.36 c #Conflicts: 73000 | #Constraints: 32910
211.73/212.36 c #Conflicts: 74000 | #Constraints: 33910
211.73/212.36 c #Conflicts: 75000 | #Constraints: 34910
211.73/212.36 c #Conflicts: 76000 | #Constraints: 35910
211.73/212.36 c #Conflicts: 77000 | #Constraints: 36910
211.73/212.36 c #Conflicts: 78000 | #Constraints: 37910
211.73/212.36 c #Conflicts: 79000 | #Constraints: 38910
211.73/212.36 c #Conflicts: 80000 | #Constraints: 39910
211.73/212.36 c #Conflicts: 81000 | #Constraints: 40910
211.73/212.36 c #Conflicts: 82000 | #Constraints: 41910
211.73/212.36 c #Conflicts: 83000 | #Constraints: 42910
211.73/212.36 c #Conflicts: 84000 | #Constraints: 43910
211.73/212.36 c #Conflicts: 85000 | #Constraints: 44910
211.73/212.36 c #Conflicts: 86000 | #Constraints: 45910
211.73/212.36 c #Conflicts: 87000 | #Constraints: 46910
211.73/212.36 c #Conflicts: 88000 | #Constraints: 47910
211.73/212.36 c #Conflicts: 89000 | #Constraints: 48910
211.73/212.36 c #Conflicts: 90000 | #Constraints: 49910
211.73/212.36 c #Conflicts: 91000 | #Constraints: 50910
211.73/212.36 c INPROCESSING
211.73/212.36 c GARBAGE COLLECT
211.73/212.36 c #Conflicts: 92000 | #Constraints: 37196
211.73/212.36 c #Conflicts: 93000 | #Constraints: 38196
211.73/212.36 c #Conflicts: 94000 | #Constraints: 39196
211.73/212.36 c #Conflicts: 95000 | #Constraints: 40196
211.73/212.36 c #Conflicts: 96000 | #Constraints: 41196
211.73/212.36 c #Conflicts: 97000 | #Constraints: 42196
211.73/212.36 c #Conflicts: 98000 | #Constraints: 43196
211.73/212.36 c #Conflicts: 99000 | #Constraints: 44196
211.73/212.36 c #Conflicts: 100000 | #Constraints: 45196
211.73/212.36 c INPROCESSING
211.73/212.36 c GARBAGE COLLECT
211.73/212.36 c #Conflicts: 101000 | #Constraints: 36323
211.73/212.36 c #Conflicts: 102000 | #Constraints: 37323
211.73/212.36 c #Conflicts: 103000 | #Constraints: 38323
211.73/212.36 c #Conflicts: 104000 | #Constraints: 39323
211.73/212.36 c #Conflicts: 105000 | #Constraints: 40323
211.73/212.36 c #Conflicts: 106000 | #Constraints: 41323
211.73/212.36 c #Conflicts: 107000 | #Constraints: 42323
211.73/212.36 c #Conflicts: 108000 | #Constraints: 43323
211.73/212.36 c #Conflicts: 109000 | #Constraints: 44323
211.73/212.36 c #Conflicts: 110000 | #Constraints: 45323
211.73/212.36 c #Conflicts: 111000 | #Constraints: 46323
211.73/212.36 c #Conflicts: 112000 | #Constraints: 47323
211.73/212.36 c #Conflicts: 113000 | #Constraints: 48323
211.73/212.36 c #Conflicts: 114000 | #Constraints: 49323
211.73/212.36 c #Conflicts: 115000 | #Constraints: 50323
211.73/212.36 c #Conflicts: 116000 | #Constraints: 51323
211.73/212.36 c #Conflicts: 117000 | #Constraints: 52323
211.73/212.36 c #Conflicts: 118000 | #Constraints: 53323
211.73/212.36 c #Conflicts: 119000 | #Constraints: 54323
211.73/212.36 c #Conflicts: 120000 | #Constraints: 55323
211.73/212.36 c #Conflicts: 121000 | #Constraints: 56323
211.73/212.36 c INPROCESSING
211.73/212.36 c GARBAGE COLLECT
211.73/212.36 c #Conflicts: 122000 | #Constraints: 39734
211.73/212.36 c #Conflicts: 123000 | #Constraints: 40734
211.73/212.36 c #Conflicts: 124000 | #Constraints: 41734
211.73/212.36 c #Conflicts: 125000 | #Constraints: 42734
211.73/212.36 c #Conflicts: 126000 | #Constraints: 43734
211.73/212.36 c #Conflicts: 127000 | #Constraints: 44734
211.73/212.36 c #Conflicts: 128000 | #Constraints: 45734
211.73/212.36 c #Conflicts: 129000 | #Constraints: 46734
211.73/212.36 c #Conflicts: 130000 | #Constraints: 47734
211.73/212.36 c #Conflicts: 131000 | #Constraints: 48734
211.73/212.36 c #Conflicts: 132000 | #Constraints: 49734
211.73/212.36 c INPROCESSING
211.73/212.36 c GARBAGE COLLECT
211.73/212.36 c #Conflicts: 133000 | #Constraints: 39294
211.73/212.36 c #Conflicts: 134000 | #Constraints: 40294
211.73/212.36 c #Conflicts: 135000 | #Constraints: 41294
211.73/212.36 c #Conflicts: 136000 | #Constraints: 42294
211.73/212.36 c #Conflicts: 137000 | #Constraints: 43294
211.73/212.36 c #Conflicts: 138000 | #Constraints: 44294
211.73/212.36 c #Conflicts: 139000 | #Constraints: 45294
211.73/212.36 c #Conflicts: 140000 | #Constraints: 46294
211.73/212.36 c #Conflicts: 141000 | #Constraints: 47294
211.73/212.36 c #Conflicts: 142000 | #Constraints: 48294
211.73/212.36 c #Conflicts: 143000 | #Constraints: 49294
211.73/212.36 c #Conflicts: 144000 | #Constraints: 50294
211.73/212.36 c #Conflicts: 145000 | #Constraints: 51294
211.73/212.36 c #Conflicts: 146000 | #Constraints: 52294
211.73/212.36 c #Conflicts: 147000 | #Constraints: 53294
211.73/212.36 c #Conflicts: 148000 | #Constraints: 54294
211.73/212.36 c #Conflicts: 149000 | #Constraints: 55294
327.32/328.24 c #Conflicts: 150000 | #Constraints: 56294
327.32/328.24 c #Conflicts: 151000 | #Constraints: 57294
327.32/328.24 c #Conflicts: 152000 | #Constraints: 58294
327.32/328.24 c #Conflicts: 153000 | #Constraints: 59294
327.32/328.24 c #Conflicts: 154000 | #Constraints: 60294
327.32/328.24 c #Conflicts: 155000 | #Constraints: 61294
327.32/328.24 c #Conflicts: 156000 | #Constraints: 62294
327.32/328.24 c INPROCESSING
327.32/328.24 c GARBAGE COLLECT
327.32/328.24 c #Conflicts: 157000 | #Constraints: 42778
327.32/328.24 c #Conflicts: 158000 | #Constraints: 43778
327.32/328.24 c #Conflicts: 159000 | #Constraints: 44778
327.32/328.24 c #Conflicts: 160000 | #Constraints: 45778
327.32/328.24 c #Conflicts: 161000 | #Constraints: 46778
327.32/328.24 c #Conflicts: 162000 | #Constraints: 47778
327.32/328.24 c #Conflicts: 163000 | #Constraints: 48778
327.32/328.24 c #Conflicts: 164000 | #Constraints: 49778
327.32/328.24 c #Conflicts: 165000 | #Constraints: 50778
327.32/328.24 c #Conflicts: 166000 | #Constraints: 51778
327.32/328.24 c #Conflicts: 167000 | #Constraints: 52778
327.32/328.24 c #Conflicts: 168000 | #Constraints: 53778
327.32/328.24 c INPROCESSING
327.32/328.24 c GARBAGE COLLECT
327.32/328.24 c #Conflicts: 169000 | #Constraints: 41953
327.32/328.24 c #Conflicts: 170000 | #Constraints: 42953
327.32/328.24 c #Conflicts: 171000 | #Constraints: 43953
327.32/328.24 c #Conflicts: 172000 | #Constraints: 44953
327.32/328.24 c #Conflicts: 173000 | #Constraints: 45953
327.32/328.24 c #Conflicts: 174000 | #Constraints: 46953
327.32/328.24 c #Conflicts: 175000 | #Constraints: 47953
327.32/328.24 c #Conflicts: 176000 | #Constraints: 48953
327.32/328.24 c #Conflicts: 177000 | #Constraints: 49953
327.32/328.24 c #Conflicts: 178000 | #Constraints: 50953
327.32/328.24 c #Conflicts: 179000 | #Constraints: 51953
327.32/328.24 c #Conflicts: 180000 | #Constraints: 52953
327.32/328.24 c #Conflicts: 181000 | #Constraints: 53953
327.32/328.24 c #Conflicts: 182000 | #Constraints: 54953
327.32/328.24 c #Conflicts: 183000 | #Constraints: 55953
327.32/328.24 c #Conflicts: 184000 | #Constraints: 56953
327.32/328.24 c #Conflicts: 185000 | #Constraints: 57953
327.32/328.24 c #Conflicts: 186000 | #Constraints: 58953
327.32/328.24 c #Conflicts: 187000 | #Constraints: 59953
327.32/328.24 c #Conflicts: 188000 | #Constraints: 60953
327.32/328.24 c #Conflicts: 189000 | #Constraints: 61953
327.32/328.24 c #Conflicts: 190000 | #Constraints: 62953
327.32/328.24 c #Conflicts: 191000 | #Constraints: 63953
327.32/328.24 c #Conflicts: 192000 | #Constraints: 64953
327.32/328.24 c #Conflicts: 193000 | #Constraints: 65953
327.32/328.24 c #Conflicts: 194000 | #Constraints: 66953
327.32/328.24 c #Conflicts: 195000 | #Constraints: 67953
327.32/328.24 c #Conflicts: 196000 | #Constraints: 68953
327.32/328.24 c INPROCESSING
327.32/328.24 c GARBAGE COLLECT
327.32/328.24 c #Conflicts: 197000 | #Constraints: 46541
327.32/328.24 c #Conflicts: 198000 | #Constraints: 47541
327.32/328.24 c #Conflicts: 199000 | #Constraints: 48541
327.32/328.24 c #Conflicts: 200000 | #Constraints: 49541
327.32/328.24 c #Conflicts: 201000 | #Constraints: 50541
327.32/328.24 c #Conflicts: 202000 | #Constraints: 51541
327.32/328.24 c #Conflicts: 203000 | #Constraints: 52541
327.32/328.24 c #Conflicts: 204000 | #Constraints: 53541
327.32/328.24 c #Conflicts: 205000 | #Constraints: 54541
327.32/328.24 c #Conflicts: 206000 | #Constraints: 55541
327.32/328.24 c #Conflicts: 207000 | #Constraints: 56541
327.32/328.24 c #Conflicts: 208000 | #Constraints: 57541
327.32/328.24 c #Conflicts: 209000 | #Constraints: 58541
327.32/328.24 c INPROCESSING
327.32/328.24 c GARBAGE COLLECT
327.32/328.24 c #Conflicts: 210000 | #Constraints: 45065
327.32/328.24 c #Conflicts: 211000 | #Constraints: 46065
327.32/328.24 c #Conflicts: 212000 | #Constraints: 47065
327.32/328.24 c #Conflicts: 213000 | #Constraints: 48065
327.32/328.24 c #Conflicts: 214000 | #Constraints: 49065
327.32/328.24 c #Conflicts: 215000 | #Constraints: 50065
327.32/328.24 c #Conflicts: 216000 | #Constraints: 51065
327.32/328.24 c #Conflicts: 217000 | #Constraints: 52065
327.32/328.24 c #Conflicts: 218000 | #Constraints: 53065
327.32/328.24 c #Conflicts: 219000 | #Constraints: 54065
327.32/328.24 c #Conflicts: 220000 | #Constraints: 55065
327.32/328.24 c #Conflicts: 221000 | #Constraints: 56065
327.32/328.24 c #Conflicts: 222000 | #Constraints: 57065
327.32/328.24 c #Conflicts: 223000 | #Constraints: 58065
327.32/328.24 c #Conflicts: 224000 | #Constraints: 59065
327.32/328.24 c #Conflicts: 225000 | #Constraints: 60065
409.01/410.19 c #Conflicts: 226000 | #Constraints: 61065
409.01/410.19 c #Conflicts: 227000 | #Constraints: 62065
409.01/410.19 c #Conflicts: 228000 | #Constraints: 63065
409.01/410.19 c #Conflicts: 229000 | #Constraints: 64065
409.01/410.19 c #Conflicts: 230000 | #Constraints: 65065
409.01/410.19 c #Conflicts: 231000 | #Constraints: 66065
409.01/410.19 c #Conflicts: 232000 | #Constraints: 67065
409.01/410.19 c #Conflicts: 233000 | #Constraints: 68065
409.01/410.19 c #Conflicts: 234000 | #Constraints: 69065
409.01/410.19 c #Conflicts: 235000 | #Constraints: 70065
409.01/410.19 c #Conflicts: 236000 | #Constraints: 71065
409.01/410.19 c #Conflicts: 237000 | #Constraints: 72065
409.01/410.19 c #Conflicts: 238000 | #Constraints: 73065
409.01/410.19 c #Conflicts: 239000 | #Constraints: 74065
409.01/410.19 c #Conflicts: 240000 | #Constraints: 75065
409.01/410.19 c INPROCESSING
409.01/410.19 c GARBAGE COLLECT
409.01/410.19 c rational objective 174
549.39/550.91 c #Conflicts: 241000 | #Constraints: 49864
549.39/550.91 c #Conflicts: 242000 | #Constraints: 50864
549.39/550.91 c #Conflicts: 243000 | #Constraints: 51864
549.39/550.91 c #Conflicts: 244000 | #Constraints: 52864
549.39/550.91 c #Conflicts: 245000 | #Constraints: 53864
549.39/550.91 c #Conflicts: 246000 | #Constraints: 54864
549.39/550.91 c #Conflicts: 247000 | #Constraints: 55864
549.39/550.91 c #Conflicts: 248000 | #Constraints: 56865
549.39/550.91 c #Conflicts: 249000 | #Constraints: 57865
549.39/550.91 c #Conflicts: 250000 | #Constraints: 58865
549.39/550.91 c #Conflicts: 251000 | #Constraints: 59865
549.39/550.91 c #Conflicts: 252000 | #Constraints: 60865
549.39/550.91 c #Conflicts: 253000 | #Constraints: 61865
549.39/550.91 c #Conflicts: 254000 | #Constraints: 62865
549.39/550.91 c INPROCESSING
549.39/550.91 c GARBAGE COLLECT
549.39/550.91 c #Conflicts: 255000 | #Constraints: 47306
549.39/550.91 c #Conflicts: 256000 | #Constraints: 48306
549.39/550.91 c #Conflicts: 257000 | #Constraints: 49306
549.39/550.91 c #Conflicts: 258000 | #Constraints: 50306
549.39/550.91 c #Conflicts: 259000 | #Constraints: 51306
549.39/550.91 c #Conflicts: 260000 | #Constraints: 52306
549.39/550.91 c #Conflicts: 261000 | #Constraints: 53306
549.39/550.91 c #Conflicts: 262000 | #Constraints: 54306
549.39/550.91 c #Conflicts: 263000 | #Constraints: 55306
549.39/550.91 c #Conflicts: 264000 | #Constraints: 56306
549.39/550.91 c #Conflicts: 265000 | #Constraints: 57306
549.39/550.91 c #Conflicts: 266000 | #Constraints: 58306
549.39/550.91 c #Conflicts: 267000 | #Constraints: 59306
549.39/550.91 c #Conflicts: 268000 | #Constraints: 60306
549.39/550.91 c #Conflicts: 269000 | #Constraints: 61306
549.39/550.91 c #Conflicts: 270000 | #Constraints: 62306
549.39/550.91 c #Conflicts: 271000 | #Constraints: 63306
549.39/550.91 c #Conflicts: 272000 | #Constraints: 64306
549.39/550.91 c #Conflicts: 273000 | #Constraints: 65306
549.39/550.91 c #Conflicts: 274000 | #Constraints: 66306
549.39/550.91 c #Conflicts: 275000 | #Constraints: 67306
549.39/550.91 c #Conflicts: 276000 | #Constraints: 68306
549.39/550.91 c #Conflicts: 277000 | #Constraints: 69306
549.39/550.91 c #Conflicts: 278000 | #Constraints: 70306
549.39/550.91 c #Conflicts: 279000 | #Constraints: 71306
549.39/550.91 c #Conflicts: 280000 | #Constraints: 72306
549.39/550.91 c #Conflicts: 281000 | #Constraints: 73306
549.39/550.91 c #Conflicts: 282000 | #Constraints: 74306
549.39/550.91 c #Conflicts: 283000 | #Constraints: 75306
549.39/550.91 c #Conflicts: 284000 | #Constraints: 76306
549.39/550.91 c #Conflicts: 285000 | #Constraints: 77306
549.39/550.91 c #Conflicts: 286000 | #Constraints: 78306
549.39/550.91 c #Conflicts: 287000 | #Constraints: 79306
549.39/550.91 c #Conflicts: 288000 | #Constraints: 80306
549.39/550.91 c INPROCESSING
549.39/550.91 c GARBAGE COLLECT
549.39/550.91 c #Conflicts: 289000 | #Constraints: 52451
549.39/550.91 c #Conflicts: 290000 | #Constraints: 53451
549.39/550.91 c #Conflicts: 291000 | #Constraints: 54451
549.39/550.91 c #Conflicts: 292000 | #Constraints: 55451
549.39/550.91 c #Conflicts: 293000 | #Constraints: 56451
549.39/550.91 c #Conflicts: 294000 | #Constraints: 57451
549.39/550.91 c #Conflicts: 295000 | #Constraints: 58451
549.39/550.91 c #Conflicts: 296000 | #Constraints: 59451
549.39/550.91 c #Conflicts: 297000 | #Constraints: 60451
549.39/550.91 c #Conflicts: 298000 | #Constraints: 61451
549.39/550.91 c #Conflicts: 299000 | #Constraints: 62451
549.39/550.91 c #Conflicts: 300000 | #Constraints: 63451
549.39/550.91 c #Conflicts: 301000 | #Constraints: 64451
549.39/550.91 c #Conflicts: 302000 | #Constraints: 65451
549.39/550.91 c #Conflicts: 303000 | #Constraints: 66451
549.39/550.91 c INPROCESSING
549.39/550.91 c GARBAGE COLLECT
549.39/550.91 c #Conflicts: 304000 | #Constraints: 49690
549.39/550.91 c #Conflicts: 305000 | #Constraints: 50690
549.39/550.91 c #Conflicts: 306000 | #Constraints: 51690
549.39/550.91 c #Conflicts: 307000 | #Constraints: 52690
549.39/550.91 c #Conflicts: 308000 | #Constraints: 53690
549.39/550.91 c #Conflicts: 309000 | #Constraints: 54690
549.39/550.91 c #Conflicts: 310000 | #Constraints: 55690
549.39/550.91 c #Conflicts: 311000 | #Constraints: 56690
549.39/550.91 c #Conflicts: 312000 | #Constraints: 57690
549.39/550.91 c #Conflicts: 313000 | #Constraints: 58690
549.39/550.91 c #Conflicts: 314000 | #Constraints: 59690
549.39/550.91 c #Conflicts: 315000 | #Constraints: 60690
549.39/550.91 c #Conflicts: 316000 | #Constraints: 61690
549.39/550.91 c #Conflicts: 317000 | #Constraints: 62690
719.64/721.70 c #Conflicts: 318000 | #Constraints: 63690
719.64/721.70 c #Conflicts: 319000 | #Constraints: 64690
719.64/721.70 c #Conflicts: 320000 | #Constraints: 65690
719.64/721.70 c #Conflicts: 321000 | #Constraints: 66690
719.64/721.70 c #Conflicts: 322000 | #Constraints: 67690
719.64/721.70 c #Conflicts: 323000 | #Constraints: 68690
719.64/721.70 c #Conflicts: 324000 | #Constraints: 69690
719.64/721.70 c #Conflicts: 325000 | #Constraints: 70690
719.64/721.70 c #Conflicts: 326000 | #Constraints: 71690
719.64/721.70 c #Conflicts: 327000 | #Constraints: 72690
719.64/721.70 c #Conflicts: 328000 | #Constraints: 73690
719.64/721.70 c #Conflicts: 329000 | #Constraints: 74690
719.64/721.70 c #Conflicts: 330000 | #Constraints: 75690
719.64/721.70 c #Conflicts: 331000 | #Constraints: 76690
719.64/721.70 c #Conflicts: 332000 | #Constraints: 77690
719.64/721.70 c #Conflicts: 333000 | #Constraints: 78690
719.64/721.70 c #Conflicts: 334000 | #Constraints: 79690
719.64/721.70 c #Conflicts: 335000 | #Constraints: 80690
719.64/721.70 c #Conflicts: 336000 | #Constraints: 81690
719.64/721.70 c #Conflicts: 337000 | #Constraints: 82690
719.64/721.70 c #Conflicts: 338000 | #Constraints: 83690
719.64/721.70 c #Conflicts: 339000 | #Constraints: 84690
719.64/721.70 c #Conflicts: 340000 | #Constraints: 85690
719.64/721.70 c INPROCESSING
719.64/721.70 c GARBAGE COLLECT
719.64/721.70 c #Conflicts: 341000 | #Constraints: 54753
719.64/721.70 c #Conflicts: 342000 | #Constraints: 55753
719.64/721.70 c #Conflicts: 343000 | #Constraints: 56753
719.64/721.70 c #Conflicts: 344000 | #Constraints: 57753
719.64/721.70 c #Conflicts: 345000 | #Constraints: 58753
719.64/721.70 c #Conflicts: 346000 | #Constraints: 59753
719.64/721.70 c #Conflicts: 347000 | #Constraints: 60753
719.64/721.70 c #Conflicts: 348000 | #Constraints: 61753
719.64/721.70 c #Conflicts: 349000 | #Constraints: 62753
719.64/721.70 c #Conflicts: 350000 | #Constraints: 63753
719.64/721.70 c #Conflicts: 351000 | #Constraints: 64753
719.64/721.70 c #Conflicts: 352000 | #Constraints: 65753
719.64/721.70 c #Conflicts: 353000 | #Constraints: 66753
719.64/721.70 c #Conflicts: 354000 | #Constraints: 67753
719.64/721.70 c #Conflicts: 355000 | #Constraints: 68753
719.64/721.70 c #Conflicts: 356000 | #Constraints: 69753
719.64/721.70 c #Conflicts: 357000 | #Constraints: 70753
719.64/721.70 c INPROCESSING
719.64/721.70 c GARBAGE COLLECT
719.64/721.70 c #Conflicts: 358000 | #Constraints: 52778
719.64/721.70 c #Conflicts: 359000 | #Constraints: 53778
719.64/721.70 c #Conflicts: 360000 | #Constraints: 54778
719.64/721.70 c #Conflicts: 361000 | #Constraints: 55778
719.64/721.70 c #Conflicts: 362000 | #Constraints: 56778
719.64/721.70 c #Conflicts: 363000 | #Constraints: 57778
719.64/721.70 c #Conflicts: 364000 | #Constraints: 58778
719.64/721.70 c #Conflicts: 365000 | #Constraints: 59778
719.64/721.70 c #Conflicts: 366000 | #Constraints: 60778
719.64/721.70 c #Conflicts: 367000 | #Constraints: 61778
719.64/721.70 c #Conflicts: 368000 | #Constraints: 62778
719.64/721.70 c #Conflicts: 369000 | #Constraints: 63778
719.64/721.70 c #Conflicts: 370000 | #Constraints: 64778
719.64/721.70 c #Conflicts: 371000 | #Constraints: 65778
719.64/721.70 c #Conflicts: 372000 | #Constraints: 66778
719.64/721.70 c #Conflicts: 373000 | #Constraints: 67778
719.64/721.70 c #Conflicts: 374000 | #Constraints: 68778
719.64/721.70 c #Conflicts: 375000 | #Constraints: 69778
719.64/721.70 c #Conflicts: 376000 | #Constraints: 70778
719.64/721.70 c #Conflicts: 377000 | #Constraints: 71778
719.64/721.70 c #Conflicts: 378000 | #Constraints: 72778
719.64/721.70 c #Conflicts: 379000 | #Constraints: 73778
719.64/721.70 c #Conflicts: 380000 | #Constraints: 74778
719.64/721.70 c #Conflicts: 381000 | #Constraints: 75778
719.64/721.70 c #Conflicts: 382000 | #Constraints: 76778
719.64/721.70 c #Conflicts: 383000 | #Constraints: 77778
719.64/721.70 c #Conflicts: 384000 | #Constraints: 78778
719.64/721.70 c #Conflicts: 385000 | #Constraints: 79778
719.64/721.70 c #Conflicts: 386000 | #Constraints: 80778
719.64/721.70 c #Conflicts: 387000 | #Constraints: 81778
719.64/721.70 c #Conflicts: 388000 | #Constraints: 82778
719.64/721.70 c #Conflicts: 389000 | #Constraints: 83778
719.64/721.70 c #Conflicts: 390000 | #Constraints: 84778
719.64/721.70 c #Conflicts: 391000 | #Constraints: 85778
719.64/721.70 c #Conflicts: 392000 | #Constraints: 86778
719.64/721.70 c #Conflicts: 393000 | #Constraints: 87778
719.64/721.70 c #Conflicts: 394000 | #Constraints: 88778
719.64/721.70 c #Conflicts: 395000 | #Constraints: 89778
860.93/863.43 c #Conflicts: 396000 | #Constraints: 90778
860.93/863.43 c #Conflicts: 397000 | #Constraints: 91778
860.93/863.43 c INPROCESSING
860.93/863.43 c GARBAGE COLLECT
860.93/863.43 c #Conflicts: 398000 | #Constraints: 57746
860.93/863.43 c #Conflicts: 399000 | #Constraints: 58746
860.93/863.43 c #Conflicts: 400000 | #Constraints: 59746
860.93/863.43 c #Conflicts: 401000 | #Constraints: 60746
860.93/863.43 c #Conflicts: 402000 | #Constraints: 61746
860.93/863.43 c #Conflicts: 403000 | #Constraints: 62746
860.93/863.43 c #Conflicts: 404000 | #Constraints: 63746
860.93/863.43 c #Conflicts: 405000 | #Constraints: 64746
860.93/863.43 c #Conflicts: 406000 | #Constraints: 65746
860.93/863.43 c #Conflicts: 407000 | #Constraints: 66746
860.93/863.43 c #Conflicts: 408000 | #Constraints: 67746
860.93/863.43 c #Conflicts: 409000 | #Constraints: 68746
860.93/863.43 c #Conflicts: 410000 | #Constraints: 69746
860.93/863.43 c #Conflicts: 411000 | #Constraints: 70746
860.93/863.43 c #Conflicts: 412000 | #Constraints: 71746
860.93/863.43 c #Conflicts: 413000 | #Constraints: 72746
860.93/863.43 c #Conflicts: 414000 | #Constraints: 73746
860.93/863.43 c #Conflicts: 415000 | #Constraints: 74746
860.93/863.43 c INPROCESSING
860.93/863.43 c GARBAGE COLLECT
860.93/863.43 c #Conflicts: 416000 | #Constraints: 55445
860.93/863.43 c #Conflicts: 417000 | #Constraints: 56445
860.93/863.43 c #Conflicts: 418000 | #Constraints: 57445
860.93/863.43 c #Conflicts: 419000 | #Constraints: 58445
860.93/863.43 c #Conflicts: 420000 | #Constraints: 59445
860.93/863.43 c #Conflicts: 421000 | #Constraints: 60445
860.93/863.43 c #Conflicts: 422000 | #Constraints: 61445
860.93/863.43 c #Conflicts: 423000 | #Constraints: 62445
860.93/863.43 c #Conflicts: 424000 | #Constraints: 63445
860.93/863.43 c #Conflicts: 425000 | #Constraints: 64445
860.93/863.43 c #Conflicts: 426000 | #Constraints: 65445
860.93/863.43 c #Conflicts: 427000 | #Constraints: 66445
860.93/863.43 c #Conflicts: 428000 | #Constraints: 67445
860.93/863.43 c #Conflicts: 429000 | #Constraints: 68445
860.93/863.43 c #Conflicts: 430000 | #Constraints: 69445
860.93/863.43 c #Conflicts: 431000 | #Constraints: 70445
860.93/863.43 c #Conflicts: 432000 | #Constraints: 71445
860.93/863.43 c #Conflicts: 433000 | #Constraints: 72445
860.93/863.43 c #Conflicts: 434000 | #Constraints: 73445
860.93/863.43 c #Conflicts: 435000 | #Constraints: 74445
860.93/863.43 c #Conflicts: 436000 | #Constraints: 75445
860.93/863.43 c #Conflicts: 437000 | #Constraints: 76445
860.93/863.43 c #Conflicts: 438000 | #Constraints: 77445
860.93/863.43 c #Conflicts: 439000 | #Constraints: 78445
860.93/863.43 c #Conflicts: 440000 | #Constraints: 79445
860.93/863.43 c #Conflicts: 441000 | #Constraints: 80445
860.93/863.43 c #Conflicts: 442000 | #Constraints: 81445
860.93/863.43 c #Conflicts: 443000 | #Constraints: 82445
860.93/863.43 c #Conflicts: 444000 | #Constraints: 83445
860.93/863.43 c #Conflicts: 445000 | #Constraints: 84445
860.93/863.43 c #Conflicts: 446000 | #Constraints: 85445
860.93/863.43 c #Conflicts: 447000 | #Constraints: 86445
860.93/863.43 c #Conflicts: 448000 | #Constraints: 87445
860.93/863.43 c #Conflicts: 449000 | #Constraints: 88445
860.93/863.43 c #Conflicts: 450000 | #Constraints: 89445
860.93/863.43 c #Conflicts: 451000 | #Constraints: 90445
860.93/863.43 c #Conflicts: 452000 | #Constraints: 91445
860.93/863.43 c #Conflicts: 453000 | #Constraints: 92445
860.93/863.43 c #Conflicts: 454000 | #Constraints: 93445
860.93/863.43 c #Conflicts: 455000 | #Constraints: 94445
860.93/863.43 c #Conflicts: 456000 | #Constraints: 95445
860.93/863.43 c #Conflicts: 457000 | #Constraints: 96445
860.93/863.43 c #Conflicts: 458000 | #Constraints: 97445
860.93/863.43 c #Conflicts: 459000 | #Constraints: 98445
860.93/863.43 c INPROCESSING
860.93/863.43 c GARBAGE COLLECT
860.93/863.43 c #Conflicts: 460000 | #Constraints: 61818
860.93/863.43 c #Conflicts: 461000 | #Constraints: 62818
860.93/863.43 c #Conflicts: 462000 | #Constraints: 63818
860.93/863.43 c #Conflicts: 463000 | #Constraints: 64818
860.93/863.43 c #Conflicts: 464000 | #Constraints: 65818
860.93/863.43 c #Conflicts: 465000 | #Constraints: 66818
860.93/863.43 c #Conflicts: 466000 | #Constraints: 67818
860.93/863.43 c #Conflicts: 467000 | #Constraints: 68818
860.93/863.43 c #Conflicts: 468000 | #Constraints: 69818
860.93/863.43 c #Conflicts: 469000 | #Constraints: 70818
860.93/863.43 c #Conflicts: 470000 | #Constraints: 71818
860.93/863.43 c #Conflicts: 471000 | #Constraints: 72818
860.93/863.43 c #Conflicts: 472000 | #Constraints: 73818
1058.79/1061.87 c #Conflicts: 473000 | #Constraints: 74818
1058.79/1061.87 c #Conflicts: 474000 | #Constraints: 75818
1058.79/1061.87 c #Conflicts: 475000 | #Constraints: 76818
1058.79/1061.87 c #Conflicts: 476000 | #Constraints: 77818
1058.79/1061.87 c #Conflicts: 477000 | #Constraints: 78818
1058.79/1061.87 c #Conflicts: 478000 | #Constraints: 79818
1058.79/1061.87 c INPROCESSING
1058.79/1061.87 c GARBAGE COLLECT
1058.79/1061.87 c #Conflicts: 479000 | #Constraints: 58130
1058.79/1061.87 c #Conflicts: 480000 | #Constraints: 59130
1058.79/1061.87 c #Conflicts: 481000 | #Constraints: 60130
1058.79/1061.87 c #Conflicts: 482000 | #Constraints: 61130
1058.79/1061.87 c #Conflicts: 483000 | #Constraints: 62130
1058.79/1061.87 c #Conflicts: 484000 | #Constraints: 63130
1058.79/1061.87 c #Conflicts: 485000 | #Constraints: 64130
1058.79/1061.87 c #Conflicts: 486000 | #Constraints: 65130
1058.79/1061.87 c #Conflicts: 487000 | #Constraints: 66130
1058.79/1061.87 c #Conflicts: 488000 | #Constraints: 67130
1058.79/1061.87 c #Conflicts: 489000 | #Constraints: 68130
1058.79/1061.87 c #Conflicts: 490000 | #Constraints: 69130
1058.79/1061.87 c #Conflicts: 491000 | #Constraints: 70130
1058.79/1061.87 c #Conflicts: 492000 | #Constraints: 71130
1058.79/1061.87 c #Conflicts: 493000 | #Constraints: 72130
1058.79/1061.87 c #Conflicts: 494000 | #Constraints: 73130
1058.79/1061.87 c #Conflicts: 495000 | #Constraints: 74130
1058.79/1061.87 c #Conflicts: 496000 | #Constraints: 75130
1058.79/1061.87 c #Conflicts: 497000 | #Constraints: 76130
1058.79/1061.87 c #Conflicts: 498000 | #Constraints: 77130
1058.79/1061.87 c #Conflicts: 499000 | #Constraints: 78130
1058.79/1061.87 c #Conflicts: 500000 | #Constraints: 79130
1058.79/1061.87 c #Conflicts: 501000 | #Constraints: 80130
1058.79/1061.87 c #Conflicts: 502000 | #Constraints: 81130
1058.79/1061.87 c #Conflicts: 503000 | #Constraints: 82130
1058.79/1061.87 c #Conflicts: 504000 | #Constraints: 83130
1058.79/1061.87 c #Conflicts: 505000 | #Constraints: 84130
1058.79/1061.87 c #Conflicts: 506000 | #Constraints: 85130
1058.79/1061.87 c #Conflicts: 507000 | #Constraints: 86130
1058.79/1061.87 c #Conflicts: 508000 | #Constraints: 87130
1058.79/1061.87 c #Conflicts: 509000 | #Constraints: 88130
1058.79/1061.87 c #Conflicts: 510000 | #Constraints: 89130
1058.79/1061.87 c #Conflicts: 511000 | #Constraints: 90130
1058.79/1061.87 c #Conflicts: 512000 | #Constraints: 91130
1058.79/1061.87 c #Conflicts: 513000 | #Constraints: 92130
1058.79/1061.87 c #Conflicts: 514000 | #Constraints: 93130
1058.79/1061.87 c #Conflicts: 515000 | #Constraints: 94130
1058.79/1061.87 c #Conflicts: 516000 | #Constraints: 95130
1058.79/1061.87 c #Conflicts: 517000 | #Constraints: 96130
1058.79/1061.87 c #Conflicts: 518000 | #Constraints: 97130
1058.79/1061.87 c #Conflicts: 519000 | #Constraints: 98130
1058.79/1061.87 c #Conflicts: 520000 | #Constraints: 99130
1058.79/1061.87 c #Conflicts: 521000 | #Constraints: 100130
1058.79/1061.87 c #Conflicts: 522000 | #Constraints: 101130
1058.79/1061.87 c #Conflicts: 523000 | #Constraints: 102130
1058.79/1061.87 c #Conflicts: 524000 | #Constraints: 103130
1058.79/1061.87 c #Conflicts: 525000 | #Constraints: 104130
1058.79/1061.87 c INPROCESSING
1058.79/1061.87 c GARBAGE COLLECT
1058.79/1061.87 c #Conflicts: 526000 | #Constraints: 64560
1058.79/1061.87 c #Conflicts: 527000 | #Constraints: 65560
1058.79/1061.87 c #Conflicts: 528000 | #Constraints: 66560
1058.79/1061.87 c #Conflicts: 529000 | #Constraints: 67560
1058.79/1061.87 c #Conflicts: 530000 | #Constraints: 68560
1058.79/1061.87 c #Conflicts: 531000 | #Constraints: 69560
1058.79/1061.87 c #Conflicts: 532000 | #Constraints: 70560
1058.79/1061.87 c #Conflicts: 533000 | #Constraints: 71560
1058.79/1061.87 c #Conflicts: 534000 | #Constraints: 72560
1058.79/1061.87 c #Conflicts: 535000 | #Constraints: 73560
1058.79/1061.87 c #Conflicts: 536000 | #Constraints: 74561
1058.79/1061.87 c #Conflicts: 537000 | #Constraints: 75561
1058.79/1061.87 c #Conflicts: 538000 | #Constraints: 76561
1058.79/1061.87 c #Conflicts: 539000 | #Constraints: 77561
1058.79/1061.87 c #Conflicts: 540000 | #Constraints: 78561
1058.79/1061.87 c #Conflicts: 541000 | #Constraints: 79561
1058.79/1061.87 c #Conflicts: 542000 | #Constraints: 80561
1058.79/1061.87 c #Conflicts: 543000 | #Constraints: 81561
1058.79/1061.87 c #Conflicts: 544000 | #Constraints: 82561
1058.79/1061.87 c #Conflicts: 545000 | #Constraints: 83561
1058.79/1061.87 c INPROCESSING
1058.79/1061.87 c GARBAGE COLLECT
1058.79/1061.87 c #Conflicts: 546000 | #Constraints: 60762
1058.79/1061.87 c #Conflicts: 547000 | #Constraints: 61762
1058.79/1061.87 c #Conflicts: 548000 | #Constraints: 62762
1058.79/1061.87 c #Conflicts: 549000 | #Constraints: 63762
1200.60/1204.02 c #Conflicts: 550000 | #Constraints: 64762
1200.60/1204.02 c #Conflicts: 551000 | #Constraints: 65762
1200.60/1204.02 c #Conflicts: 552000 | #Constraints: 66762
1200.60/1204.02 c #Conflicts: 553000 | #Constraints: 67762
1200.60/1204.02 c #Conflicts: 554000 | #Constraints: 68762
1200.60/1204.02 c #Conflicts: 555000 | #Constraints: 69762
1200.60/1204.02 c #Conflicts: 556000 | #Constraints: 70762
1200.60/1204.02 c #Conflicts: 557000 | #Constraints: 71762
1200.60/1204.02 c #Conflicts: 558000 | #Constraints: 72762
1200.60/1204.02 c #Conflicts: 559000 | #Constraints: 73762
1200.60/1204.02 c #Conflicts: 560000 | #Constraints: 74762
1200.60/1204.02 c #Conflicts: 561000 | #Constraints: 75762
1200.60/1204.02 c #Conflicts: 562000 | #Constraints: 76762
1200.60/1204.02 c #Conflicts: 563000 | #Constraints: 77762
1200.60/1204.02 c #Conflicts: 564000 | #Constraints: 78762
1200.60/1204.02 c #Conflicts: 565000 | #Constraints: 79762
1200.60/1204.02 c #Conflicts: 566000 | #Constraints: 80762
1200.60/1204.02 c #Conflicts: 567000 | #Constraints: 81762
1200.60/1204.02 c #Conflicts: 568000 | #Constraints: 82762
1200.60/1204.02 c #Conflicts: 569000 | #Constraints: 83762
1200.60/1204.02 c #Conflicts: 570000 | #Constraints: 84762
1200.60/1204.02 c #Conflicts: 571000 | #Constraints: 85762
1200.60/1204.02 c #Conflicts: 572000 | #Constraints: 86762
1200.60/1204.02 c #Conflicts: 573000 | #Constraints: 87762
1200.60/1204.02 c #Conflicts: 574000 | #Constraints: 88762
1200.60/1204.02 c #Conflicts: 575000 | #Constraints: 89762
1200.60/1204.02 c #Conflicts: 576000 | #Constraints: 90762
1200.60/1204.02 c #Conflicts: 577000 | #Constraints: 91762
1200.60/1204.02 c #Conflicts: 578000 | #Constraints: 92762
1200.60/1204.02 c #Conflicts: 579000 | #Constraints: 93762
1200.60/1204.02 c #Conflicts: 580000 | #Constraints: 94762
1200.60/1204.02 c #Conflicts: 581000 | #Constraints: 95762
1200.60/1204.02 c #Conflicts: 582000 | #Constraints: 96762
1200.60/1204.02 c #Conflicts: 583000 | #Constraints: 97762
1200.60/1204.02 c #Conflicts: 584000 | #Constraints: 98762
1200.60/1204.02 c #Conflicts: 585000 | #Constraints: 99762
1200.60/1204.02 c #Conflicts: 586000 | #Constraints: 100762
1200.60/1204.02 c #Conflicts: 587000 | #Constraints: 101762
1200.60/1204.02 c #Conflicts: 588000 | #Constraints: 102762
1200.60/1204.02 c #Conflicts: 589000 | #Constraints: 103762
1200.60/1204.02 c #Conflicts: 590000 | #Constraints: 104762
1200.60/1204.02 c #Conflicts: 591000 | #Constraints: 105762
1200.60/1204.02 c #Conflicts: 592000 | #Constraints: 106762
1200.60/1204.02 c #Conflicts: 593000 | #Constraints: 107762
1200.60/1204.02 c #Conflicts: 594000 | #Constraints: 108762
1200.60/1204.02 c #Conflicts: 595000 | #Constraints: 109762
1200.60/1204.02 c INPROCESSING
1200.60/1204.02 c GARBAGE COLLECT
1200.60/1204.02 c #Conflicts: 596000 | #Constraints: 67414
1200.60/1204.02 c #Conflicts: 597000 | #Constraints: 68414
1200.60/1204.02 c #Conflicts: 598000 | #Constraints: 69414
1200.60/1204.02 c #Conflicts: 599000 | #Constraints: 70414
1200.60/1204.02 c #Conflicts: 600000 | #Constraints: 71414
1200.60/1204.02 c #Conflicts: 601000 | #Constraints: 72414
1200.60/1204.02 c #Conflicts: 602000 | #Constraints: 73414
1200.60/1204.02 c #Conflicts: 603000 | #Constraints: 74414
1200.60/1204.02 c #Conflicts: 604000 | #Constraints: 75414
1200.60/1204.02 c #Conflicts: 605000 | #Constraints: 76414
1200.60/1204.02 c #Conflicts: 606000 | #Constraints: 77414
1200.60/1204.02 c #Conflicts: 607000 | #Constraints: 78414
1200.60/1204.02 c #Conflicts: 608000 | #Constraints: 79414
1200.60/1204.02 c #Conflicts: 609000 | #Constraints: 80414
1200.60/1204.02 c #Conflicts: 610000 | #Constraints: 81414
1200.60/1204.02 c #Conflicts: 611000 | #Constraints: 82414
1200.60/1204.02 c #Conflicts: 612000 | #Constraints: 83414
1200.60/1204.02 c #Conflicts: 613000 | #Constraints: 84414
1200.60/1204.02 c #Conflicts: 614000 | #Constraints: 85414
1200.60/1204.02 c #Conflicts: 615000 | #Constraints: 86414
1200.60/1204.02 c #Conflicts: 616000 | #Constraints: 87414
1200.60/1204.02 c #Conflicts: 617000 | #Constraints: 88414
1200.60/1204.02 c INPROCESSING
1200.60/1204.02 c GARBAGE COLLECT
1200.60/1204.02 c #Conflicts: 618000 | #Constraints: 63883
1200.60/1204.02 c #Conflicts: 619000 | #Constraints: 64883
1200.60/1204.02 c #Conflicts: 620000 | #Constraints: 65883
1200.60/1204.02 c #Conflicts: 621000 | #Constraints: 66883
1200.60/1204.02 c #Conflicts: 622000 | #Constraints: 67883
1200.60/1204.02 c #Conflicts: 623000 | #Constraints: 68883
1200.60/1204.02 c #Conflicts: 624000 | #Constraints: 69883
1200.60/1204.02 c #Conflicts: 625000 | #Constraints: 70883
1200.60/1204.02 c #Conflicts: 626000 | #Constraints: 71883
1408.41/1412.47 c #Conflicts: 627000 | #Constraints: 72883
1408.41/1412.47 c #Conflicts: 628000 | #Constraints: 73883
1408.41/1412.47 c #Conflicts: 629000 | #Constraints: 74883
1408.41/1412.47 c #Conflicts: 630000 | #Constraints: 75883
1408.41/1412.47 c #Conflicts: 631000 | #Constraints: 76883
1408.41/1412.47 c #Conflicts: 632000 | #Constraints: 77883
1408.41/1412.47 c #Conflicts: 633000 | #Constraints: 78883
1408.41/1412.47 c #Conflicts: 634000 | #Constraints: 79883
1408.41/1412.47 c #Conflicts: 635000 | #Constraints: 80883
1408.41/1412.47 c #Conflicts: 636000 | #Constraints: 81883
1408.41/1412.47 c #Conflicts: 637000 | #Constraints: 82883
1408.41/1412.47 c #Conflicts: 638000 | #Constraints: 83883
1408.41/1412.47 c #Conflicts: 639000 | #Constraints: 84883
1408.41/1412.47 c #Conflicts: 640000 | #Constraints: 85883
1408.41/1412.47 c #Conflicts: 641000 | #Constraints: 86883
1408.41/1412.47 c #Conflicts: 642000 | #Constraints: 87883
1408.41/1412.47 c #Conflicts: 643000 | #Constraints: 88883
1408.41/1412.47 c #Conflicts: 644000 | #Constraints: 89883
1408.41/1412.47 c #Conflicts: 645000 | #Constraints: 90883
1408.41/1412.47 c #Conflicts: 646000 | #Constraints: 91883
1408.41/1412.47 c #Conflicts: 647000 | #Constraints: 92883
1408.41/1412.47 c #Conflicts: 648000 | #Constraints: 93883
1408.41/1412.47 c #Conflicts: 649000 | #Constraints: 94883
1408.41/1412.47 c #Conflicts: 650000 | #Constraints: 95883
1408.41/1412.47 c #Conflicts: 651000 | #Constraints: 96883
1408.41/1412.47 c #Conflicts: 652000 | #Constraints: 97883
1408.41/1412.47 c #Conflicts: 653000 | #Constraints: 98883
1408.41/1412.47 c #Conflicts: 654000 | #Constraints: 99883
1408.41/1412.47 c #Conflicts: 655000 | #Constraints: 100883
1408.41/1412.47 c #Conflicts: 656000 | #Constraints: 101883
1408.41/1412.47 c #Conflicts: 657000 | #Constraints: 102883
1408.41/1412.47 c #Conflicts: 658000 | #Constraints: 103883
1408.41/1412.47 c #Conflicts: 659000 | #Constraints: 104883
1408.41/1412.47 c #Conflicts: 660000 | #Constraints: 105883
1408.41/1412.47 c #Conflicts: 661000 | #Constraints: 106883
1408.41/1412.47 c #Conflicts: 662000 | #Constraints: 107883
1408.41/1412.47 c #Conflicts: 663000 | #Constraints: 108883
1408.41/1412.47 c #Conflicts: 664000 | #Constraints: 109883
1408.41/1412.47 c #Conflicts: 665000 | #Constraints: 110883
1408.41/1412.47 c #Conflicts: 666000 | #Constraints: 111883
1408.41/1412.47 c #Conflicts: 667000 | #Constraints: 112883
1408.41/1412.47 c #Conflicts: 668000 | #Constraints: 113883
1408.41/1412.47 c #Conflicts: 669000 | #Constraints: 114883
1408.41/1412.47 c INPROCESSING
1408.41/1412.47 c GARBAGE COLLECT
1408.41/1412.47 c #Conflicts: 670000 | #Constraints: 69650
1408.41/1412.47 c #Conflicts: 671000 | #Constraints: 70650
1408.41/1412.47 c #Conflicts: 672000 | #Constraints: 71650
1408.41/1412.47 c #Conflicts: 673000 | #Constraints: 72650
1408.41/1412.47 c #Conflicts: 674000 | #Constraints: 73650
1408.41/1412.47 c #Conflicts: 675000 | #Constraints: 74650
1408.41/1412.47 c #Conflicts: 676000 | #Constraints: 75650
1408.41/1412.47 c #Conflicts: 677000 | #Constraints: 76650
1408.41/1412.47 c #Conflicts: 678000 | #Constraints: 77650
1408.41/1412.47 c #Conflicts: 679000 | #Constraints: 78650
1408.41/1412.47 c #Conflicts: 680000 | #Constraints: 79650
1408.41/1412.47 c #Conflicts: 681000 | #Constraints: 80650
1408.41/1412.47 c #Conflicts: 682000 | #Constraints: 81650
1408.41/1412.47 c #Conflicts: 683000 | #Constraints: 82650
1408.41/1412.47 c #Conflicts: 684000 | #Constraints: 83650
1408.41/1412.47 c #Conflicts: 685000 | #Constraints: 84650
1408.41/1412.47 c #Conflicts: 686000 | #Constraints: 85650
1408.41/1412.47 c #Conflicts: 687000 | #Constraints: 86650
1408.41/1412.47 c #Conflicts: 688000 | #Constraints: 87650
1408.41/1412.47 c #Conflicts: 689000 | #Constraints: 88650
1408.41/1412.47 c #Conflicts: 690000 | #Constraints: 89650
1408.41/1412.47 c #Conflicts: 691000 | #Constraints: 90650
1408.41/1412.47 c #Conflicts: 692000 | #Constraints: 91650
1408.41/1412.47 c #Conflicts: 693000 | #Constraints: 92650
1408.41/1412.47 c INPROCESSING
1408.41/1412.47 c GARBAGE COLLECT
1408.41/1412.47 c #Conflicts: 694000 | #Constraints: 67112
1408.41/1412.47 c #Conflicts: 695000 | #Constraints: 68112
1408.41/1412.47 c #Conflicts: 696000 | #Constraints: 69112
1408.41/1412.47 c #Conflicts: 697000 | #Constraints: 70112
1408.41/1412.47 c #Conflicts: 698000 | #Constraints: 71112
1408.41/1412.47 c #Conflicts: 699000 | #Constraints: 72112
1408.41/1412.47 c #Conflicts: 700000 | #Constraints: 73112
1408.41/1412.47 c #Conflicts: 701000 | #Constraints: 74112
1408.41/1412.47 c #Conflicts: 702000 | #Constraints: 75112
1408.41/1412.47 c #Conflicts: 703000 | #Constraints: 76112
1408.41/1412.47 c #Conflicts: 704000 | #Constraints: 77112
1586.32/1590.80 c #Conflicts: 705000 | #Constraints: 78112
1586.32/1590.80 c #Conflicts: 706000 | #Constraints: 79112
1586.32/1590.80 c #Conflicts: 707000 | #Constraints: 80112
1586.32/1590.80 c #Conflicts: 708000 | #Constraints: 81112
1586.32/1590.80 c #Conflicts: 709000 | #Constraints: 82112
1586.32/1590.80 c #Conflicts: 710000 | #Constraints: 83112
1586.32/1590.80 c #Conflicts: 711000 | #Constraints: 84112
1586.32/1590.80 c #Conflicts: 712000 | #Constraints: 85112
1586.32/1590.80 c #Conflicts: 713000 | #Constraints: 86112
1586.32/1590.80 c #Conflicts: 714000 | #Constraints: 87112
1586.32/1590.80 c #Conflicts: 715000 | #Constraints: 88112
1586.32/1590.80 c #Conflicts: 716000 | #Constraints: 89112
1586.32/1590.80 c #Conflicts: 717000 | #Constraints: 90112
1586.32/1590.80 c #Conflicts: 718000 | #Constraints: 91112
1586.32/1590.80 c #Conflicts: 719000 | #Constraints: 92112
1586.32/1590.80 c #Conflicts: 720000 | #Constraints: 93112
1586.32/1590.80 c #Conflicts: 721000 | #Constraints: 94112
1586.32/1590.80 c #Conflicts: 722000 | #Constraints: 95112
1586.32/1590.80 c #Conflicts: 723000 | #Constraints: 96112
1586.32/1590.80 c #Conflicts: 724000 | #Constraints: 97112
1586.32/1590.80 c #Conflicts: 725000 | #Constraints: 98112
1586.32/1590.80 c #Conflicts: 726000 | #Constraints: 99112
1586.32/1590.80 c #Conflicts: 727000 | #Constraints: 100112
1586.32/1590.80 c #Conflicts: 728000 | #Constraints: 101112
1586.32/1590.80 c #Conflicts: 729000 | #Constraints: 102112
1586.32/1590.80 c #Conflicts: 730000 | #Constraints: 103112
1586.32/1590.80 c #Conflicts: 731000 | #Constraints: 104112
1586.32/1590.80 c #Conflicts: 732000 | #Constraints: 105112
1586.32/1590.80 c #Conflicts: 733000 | #Constraints: 106112
1586.32/1590.80 c #Conflicts: 734000 | #Constraints: 107112
1586.32/1590.80 c #Conflicts: 735000 | #Constraints: 108112
1586.32/1590.80 c #Conflicts: 736000 | #Constraints: 109112
1586.32/1590.80 c #Conflicts: 737000 | #Constraints: 110112
1586.32/1590.80 c #Conflicts: 738000 | #Constraints: 111112
1586.32/1590.80 c #Conflicts: 739000 | #Constraints: 112112
1586.32/1590.80 c #Conflicts: 740000 | #Constraints: 113112
1586.32/1590.80 c #Conflicts: 741000 | #Constraints: 114112
1586.32/1590.80 c #Conflicts: 742000 | #Constraints: 115112
1586.32/1590.80 c #Conflicts: 743000 | #Constraints: 116112
1586.32/1590.80 c #Conflicts: 744000 | #Constraints: 117112
1586.32/1590.80 c #Conflicts: 745000 | #Constraints: 118112
1586.32/1590.80 c #Conflicts: 746000 | #Constraints: 119112
1586.32/1590.80 c #Conflicts: 747000 | #Constraints: 120112
1586.32/1590.80 c #Conflicts: 748000 | #Constraints: 121112
1586.32/1590.80 c INPROCESSING
1586.32/1590.80 c GARBAGE COLLECT
1586.32/1590.80 c #Conflicts: 749000 | #Constraints: 72969
1586.32/1590.80 c #Conflicts: 750000 | #Constraints: 73969
1586.32/1590.80 c #Conflicts: 751000 | #Constraints: 74969
1586.32/1590.80 c #Conflicts: 752000 | #Constraints: 75969
1586.32/1590.80 c #Conflicts: 753000 | #Constraints: 76969
1586.32/1590.80 c #Conflicts: 754000 | #Constraints: 77969
1586.32/1590.80 c #Conflicts: 755000 | #Constraints: 78969
1586.32/1590.80 c #Conflicts: 756000 | #Constraints: 79969
1586.32/1590.80 c #Conflicts: 757000 | #Constraints: 80969
1586.32/1590.80 c #Conflicts: 758000 | #Constraints: 81969
1586.32/1590.80 c #Conflicts: 759000 | #Constraints: 82969
1586.32/1590.80 c #Conflicts: 760000 | #Constraints: 83969
1586.32/1590.80 c #Conflicts: 761000 | #Constraints: 84969
1586.32/1590.80 c #Conflicts: 762000 | #Constraints: 85969
1586.32/1590.80 c #Conflicts: 763000 | #Constraints: 86969
1586.32/1590.80 c #Conflicts: 764000 | #Constraints: 87969
1586.32/1590.80 c #Conflicts: 765000 | #Constraints: 88969
1586.32/1590.80 c #Conflicts: 766000 | #Constraints: 89969
1586.32/1590.80 c #Conflicts: 767000 | #Constraints: 90969
1586.32/1590.80 c #Conflicts: 768000 | #Constraints: 91969
1586.32/1590.80 c #Conflicts: 769000 | #Constraints: 92969
1586.32/1590.80 c #Conflicts: 770000 | #Constraints: 93969
1586.32/1590.80 c #Conflicts: 771000 | #Constraints: 94969
1586.32/1590.80 c #Conflicts: 772000 | #Constraints: 95969
1586.32/1590.80 c #Conflicts: 773000 | #Constraints: 96969
1586.32/1590.80 c INPROCESSING
1586.32/1590.80 c GARBAGE COLLECT
1586.32/1590.80 c #Conflicts: 774000 | #Constraints: 69452
1586.32/1590.80 c #Conflicts: 775000 | #Constraints: 70452
1586.32/1590.80 c #Conflicts: 776000 | #Constraints: 71452
1586.32/1590.80 c #Conflicts: 777000 | #Constraints: 72452
1586.32/1590.80 c #Conflicts: 778000 | #Constraints: 73452
1586.32/1590.80 c #Conflicts: 779000 | #Constraints: 74452
1586.32/1590.80 c #Conflicts: 780000 | #Constraints: 75452
1586.32/1590.80 c #Conflicts: 781000 | #Constraints: 76452
1873.38/1878.64 c #Conflicts: 782000 | #Constraints: 77452
1873.38/1878.64 c #Conflicts: 783000 | #Constraints: 78452
1873.38/1878.64 c #Conflicts: 784000 | #Constraints: 79452
1873.38/1878.64 c #Conflicts: 785000 | #Constraints: 80452
1873.38/1878.64 c #Conflicts: 786000 | #Constraints: 81452
1873.38/1878.64 c #Conflicts: 787000 | #Constraints: 82452
1873.38/1878.64 c #Conflicts: 788000 | #Constraints: 83452
1873.38/1878.64 c #Conflicts: 789000 | #Constraints: 84452
1873.38/1878.64 c #Conflicts: 790000 | #Constraints: 85452
1873.38/1878.64 c #Conflicts: 791000 | #Constraints: 86452
1873.38/1878.64 c #Conflicts: 792000 | #Constraints: 87452
1873.38/1878.64 c #Conflicts: 793000 | #Constraints: 88452
1873.38/1878.64 c #Conflicts: 794000 | #Constraints: 89452
1873.38/1878.64 c #Conflicts: 795000 | #Constraints: 90452
1873.38/1878.64 c #Conflicts: 796000 | #Constraints: 91452
1873.38/1878.64 c #Conflicts: 797000 | #Constraints: 92452
1873.38/1878.64 c #Conflicts: 798000 | #Constraints: 93452
1873.38/1878.64 c #Conflicts: 799000 | #Constraints: 94452
1873.38/1878.64 c #Conflicts: 800000 | #Constraints: 95452
1873.38/1878.64 c #Conflicts: 801000 | #Constraints: 96452
1873.38/1878.64 c #Conflicts: 802000 | #Constraints: 97452
1873.38/1878.64 c #Conflicts: 803000 | #Constraints: 98452
1873.38/1878.64 c #Conflicts: 804000 | #Constraints: 99452
1873.38/1878.64 c #Conflicts: 805000 | #Constraints: 100452
1873.38/1878.64 c #Conflicts: 806000 | #Constraints: 101452
1873.38/1878.64 c #Conflicts: 807000 | #Constraints: 102452
1873.38/1878.64 c #Conflicts: 808000 | #Constraints: 103452
1873.38/1878.64 c #Conflicts: 809000 | #Constraints: 104452
1873.38/1878.64 c #Conflicts: 810000 | #Constraints: 105452
1873.38/1878.64 c #Conflicts: 811000 | #Constraints: 106452
1873.38/1878.64 c #Conflicts: 812000 | #Constraints: 107452
1873.38/1878.64 c #Conflicts: 813000 | #Constraints: 108452
1873.38/1878.64 c #Conflicts: 814000 | #Constraints: 109452
1873.38/1878.64 c #Conflicts: 815000 | #Constraints: 110452
1873.38/1878.64 c #Conflicts: 816000 | #Constraints: 111452
1873.38/1878.64 c #Conflicts: 817000 | #Constraints: 112452
1873.38/1878.64 c #Conflicts: 818000 | #Constraints: 113452
1873.38/1878.64 c #Conflicts: 819000 | #Constraints: 114452
1873.38/1878.64 c #Conflicts: 820000 | #Constraints: 115452
1873.38/1878.64 c #Conflicts: 821000 | #Constraints: 116452
1873.38/1878.64 c #Conflicts: 822000 | #Constraints: 117452
1873.38/1878.64 c #Conflicts: 823000 | #Constraints: 118452
1873.38/1878.64 c #Conflicts: 824000 | #Constraints: 119452
1873.38/1878.64 c #Conflicts: 825000 | #Constraints: 120452
1873.38/1878.64 c #Conflicts: 826000 | #Constraints: 121452
1873.38/1878.64 c #Conflicts: 827000 | #Constraints: 122452
1873.38/1878.64 c #Conflicts: 828000 | #Constraints: 123452
1873.38/1878.64 c #Conflicts: 829000 | #Constraints: 124452
1873.38/1878.64 c #Conflicts: 830000 | #Constraints: 125452
1873.38/1878.64 c #Conflicts: 831000 | #Constraints: 126452
1873.38/1878.64 c #Conflicts: 832000 | #Constraints: 127452
1873.38/1878.64 c INPROCESSING
1873.38/1878.64 c GARBAGE COLLECT
1873.38/1878.64 c #Conflicts: 833000 | #Constraints: 76470
1873.38/1878.64 c #Conflicts: 834000 | #Constraints: 77470
1873.38/1878.64 c #Conflicts: 835000 | #Constraints: 78470
1873.38/1878.64 c #Conflicts: 836000 | #Constraints: 79470
1873.38/1878.64 c #Conflicts: 837000 | #Constraints: 80470
1873.38/1878.64 c #Conflicts: 838000 | #Constraints: 81470
1873.38/1878.64 c #Conflicts: 839000 | #Constraints: 82470
1873.38/1878.64 c #Conflicts: 840000 | #Constraints: 83470
1873.38/1878.64 c #Conflicts: 841000 | #Constraints: 84470
1873.38/1878.64 c #Conflicts: 842000 | #Constraints: 85470
1873.38/1878.64 c #Conflicts: 843000 | #Constraints: 86470
1873.38/1878.64 c #Conflicts: 844000 | #Constraints: 87470
1873.38/1878.64 c #Conflicts: 845000 | #Constraints: 88470
1873.38/1878.64 c #Conflicts: 846000 | #Constraints: 89470
1873.38/1878.64 c #Conflicts: 847000 | #Constraints: 90470
1873.38/1878.64 c #Conflicts: 848000 | #Constraints: 91470
1873.38/1878.64 c #Conflicts: 849000 | #Constraints: 92470
1873.38/1878.64 c #Conflicts: 850000 | #Constraints: 93470
1873.38/1878.64 c #Conflicts: 851000 | #Constraints: 94470
1873.38/1878.64 c #Conflicts: 852000 | #Constraints: 95470
1873.38/1878.64 c #Conflicts: 853000 | #Constraints: 96470
1873.38/1878.64 c #Conflicts: 854000 | #Constraints: 97471
1873.38/1878.64 c #Conflicts: 855000 | #Constraints: 98471
1873.38/1878.64 c #Conflicts: 856000 | #Constraints: 99471
1873.38/1878.64 c #Conflicts: 857000 | #Constraints: 100471
1873.38/1878.64 c #Conflicts: 858000 | #Constraints: 101471
1873.38/1878.64 c INPROCESSING
1873.38/1878.64 c GARBAGE COLLECT
1873.38/1878.64 c rational objective 174
2060.61/2066.39 c #Conflicts: 859000 | #Constraints: 72564
2060.61/2066.39 c #Conflicts: 860000 | #Constraints: 73564
2060.61/2066.39 c #Conflicts: 861000 | #Constraints: 74564
2060.61/2066.39 c #Conflicts: 862000 | #Constraints: 75564
2060.61/2066.39 c #Conflicts: 863000 | #Constraints: 76564
2060.61/2066.39 c #Conflicts: 864000 | #Constraints: 77564
2060.61/2066.39 c #Conflicts: 865000 | #Constraints: 78564
2060.61/2066.39 c #Conflicts: 866000 | #Constraints: 79564
2060.61/2066.39 c #Conflicts: 867000 | #Constraints: 80564
2060.61/2066.39 c #Conflicts: 868000 | #Constraints: 81564
2060.61/2066.39 c #Conflicts: 869000 | #Constraints: 82564
2060.61/2066.39 c #Conflicts: 870000 | #Constraints: 83564
2060.61/2066.39 c #Conflicts: 871000 | #Constraints: 84564
2060.61/2066.39 c #Conflicts: 872000 | #Constraints: 85564
2060.61/2066.39 c #Conflicts: 873000 | #Constraints: 86564
2060.61/2066.39 c #Conflicts: 874000 | #Constraints: 87564
2060.61/2066.39 c #Conflicts: 875000 | #Constraints: 88564
2060.61/2066.39 c #Conflicts: 876000 | #Constraints: 89564
2060.61/2066.39 c #Conflicts: 877000 | #Constraints: 90564
2060.61/2066.39 c #Conflicts: 878000 | #Constraints: 91564
2060.61/2066.39 c #Conflicts: 879000 | #Constraints: 92564
2060.61/2066.39 c #Conflicts: 880000 | #Constraints: 93564
2060.61/2066.39 c #Conflicts: 881000 | #Constraints: 94564
2060.61/2066.39 c #Conflicts: 882000 | #Constraints: 95564
2060.61/2066.39 c #Conflicts: 883000 | #Constraints: 96564
2060.61/2066.39 c #Conflicts: 884000 | #Constraints: 97564
2060.61/2066.39 c #Conflicts: 885000 | #Constraints: 98564
2060.61/2066.39 c #Conflicts: 886000 | #Constraints: 99564
2060.61/2066.39 c #Conflicts: 887000 | #Constraints: 100564
2060.61/2066.39 c #Conflicts: 888000 | #Constraints: 101564
2060.61/2066.39 c #Conflicts: 889000 | #Constraints: 102564
2060.61/2066.39 c #Conflicts: 890000 | #Constraints: 103564
2060.61/2066.39 c #Conflicts: 891000 | #Constraints: 104564
2060.61/2066.39 c #Conflicts: 892000 | #Constraints: 105564
2060.61/2066.39 c #Conflicts: 893000 | #Constraints: 106564
2060.61/2066.39 c #Conflicts: 894000 | #Constraints: 107564
2060.61/2066.39 c #Conflicts: 895000 | #Constraints: 108564
2060.61/2066.39 c #Conflicts: 896000 | #Constraints: 109564
2060.61/2066.39 c #Conflicts: 897000 | #Constraints: 110564
2060.61/2066.39 c #Conflicts: 898000 | #Constraints: 111564
2060.61/2066.39 c #Conflicts: 899000 | #Constraints: 112564
2060.61/2066.39 c #Conflicts: 900000 | #Constraints: 113564
2060.61/2066.39 c #Conflicts: 901000 | #Constraints: 114564
2060.61/2066.39 c #Conflicts: 902000 | #Constraints: 115564
2060.61/2066.39 c #Conflicts: 903000 | #Constraints: 116564
2060.61/2066.39 c #Conflicts: 904000 | #Constraints: 117564
2060.61/2066.39 c #Conflicts: 905000 | #Constraints: 118564
2060.61/2066.39 c #Conflicts: 906000 | #Constraints: 119564
2060.61/2066.39 c #Conflicts: 907000 | #Constraints: 120564
2060.61/2066.39 c #Conflicts: 908000 | #Constraints: 121564
2060.61/2066.39 c #Conflicts: 909000 | #Constraints: 122564
2060.61/2066.39 c #Conflicts: 910000 | #Constraints: 123564
2060.61/2066.39 c #Conflicts: 911000 | #Constraints: 124564
2060.61/2066.39 c #Conflicts: 912000 | #Constraints: 125564
2060.61/2066.39 c #Conflicts: 913000 | #Constraints: 126564
2060.61/2066.39 c #Conflicts: 914000 | #Constraints: 127564
2060.61/2066.39 c #Conflicts: 915000 | #Constraints: 128564
2060.61/2066.39 c #Conflicts: 916000 | #Constraints: 129564
2060.61/2066.39 c #Conflicts: 917000 | #Constraints: 130564
2060.61/2066.39 c #Conflicts: 918000 | #Constraints: 131564
2060.61/2066.39 c #Conflicts: 919000 | #Constraints: 132564
2060.61/2066.39 c #Conflicts: 920000 | #Constraints: 133564
2060.61/2066.39 c INPROCESSING
2060.61/2066.39 c GARBAGE COLLECT
2060.61/2066.39 c #Conflicts: 921000 | #Constraints: 79892
2060.61/2066.39 c #Conflicts: 922000 | #Constraints: 80892
2060.61/2066.39 c #Conflicts: 923000 | #Constraints: 81892
2060.61/2066.39 c #Conflicts: 924000 | #Constraints: 82892
2060.61/2066.39 c #Conflicts: 925000 | #Constraints: 83892
2060.61/2066.39 c #Conflicts: 926000 | #Constraints: 84892
2060.61/2066.39 c #Conflicts: 927000 | #Constraints: 85892
2060.61/2066.39 c #Conflicts: 928000 | #Constraints: 86892
2060.61/2066.39 c #Conflicts: 929000 | #Constraints: 87892
2060.61/2066.39 c #Conflicts: 930000 | #Constraints: 88892
2060.61/2066.39 c #Conflicts: 931000 | #Constraints: 89892
2060.61/2066.39 c #Conflicts: 932000 | #Constraints: 90892
2060.61/2066.39 c #Conflicts: 933000 | #Constraints: 91892
2060.61/2066.39 c #Conflicts: 934000 | #Constraints: 92892
2060.61/2066.39 c #Conflicts: 935000 | #Constraints: 93892
2060.61/2066.39 c #Conflicts: 936000 | #Constraints: 94892
2060.61/2066.39 c #Conflicts: 937000 | #Constraints: 95892
2274.04/2280.32 c #Conflicts: 938000 | #Constraints: 96892
2274.04/2280.32 c #Conflicts: 939000 | #Constraints: 97892
2274.04/2280.32 c #Conflicts: 940000 | #Constraints: 98892
2274.04/2280.32 c #Conflicts: 941000 | #Constraints: 99892
2274.04/2280.32 c #Conflicts: 942000 | #Constraints: 100892
2274.04/2280.32 c #Conflicts: 943000 | #Constraints: 101892
2274.04/2280.32 c #Conflicts: 944000 | #Constraints: 102892
2274.04/2280.32 c #Conflicts: 945000 | #Constraints: 103892
2274.04/2280.32 c #Conflicts: 946000 | #Constraints: 104892
2274.04/2280.32 c #Conflicts: 947000 | #Constraints: 105892
2274.04/2280.32 c INPROCESSING
2274.04/2280.32 c GARBAGE COLLECT
2274.04/2280.32 c #Conflicts: 948000 | #Constraints: 75152
2274.04/2280.32 c #Conflicts: 949000 | #Constraints: 76152
2274.04/2280.32 c #Conflicts: 950000 | #Constraints: 77152
2274.04/2280.32 c #Conflicts: 951000 | #Constraints: 78152
2274.04/2280.32 c #Conflicts: 952000 | #Constraints: 79152
2274.04/2280.32 c #Conflicts: 953000 | #Constraints: 80152
2274.04/2280.32 c #Conflicts: 954000 | #Constraints: 81152
2274.04/2280.32 c #Conflicts: 955000 | #Constraints: 82152
2274.04/2280.32 c #Conflicts: 956000 | #Constraints: 83152
2274.04/2280.32 c #Conflicts: 957000 | #Constraints: 84152
2274.04/2280.32 c #Conflicts: 958000 | #Constraints: 85152
2274.04/2280.32 c #Conflicts: 959000 | #Constraints: 86152
2274.04/2280.32 c #Conflicts: 960000 | #Constraints: 87152
2274.04/2280.32 c #Conflicts: 961000 | #Constraints: 88152
2274.04/2280.32 c #Conflicts: 962000 | #Constraints: 89152
2274.04/2280.32 c #Conflicts: 963000 | #Constraints: 90152
2274.04/2280.32 c #Conflicts: 964000 | #Constraints: 91152
2274.04/2280.32 c #Conflicts: 965000 | #Constraints: 92152
2274.04/2280.32 c #Conflicts: 966000 | #Constraints: 93152
2274.04/2280.32 c #Conflicts: 967000 | #Constraints: 94152
2274.04/2280.32 c #Conflicts: 968000 | #Constraints: 95152
2274.04/2280.32 c #Conflicts: 969000 | #Constraints: 96152
2274.04/2280.32 c #Conflicts: 970000 | #Constraints: 97152
2274.04/2280.32 c #Conflicts: 971000 | #Constraints: 98152
2274.04/2280.32 c #Conflicts: 972000 | #Constraints: 99152
2274.04/2280.32 c #Conflicts: 973000 | #Constraints: 100152
2274.04/2280.32 c #Conflicts: 974000 | #Constraints: 101152
2274.04/2280.32 c #Conflicts: 975000 | #Constraints: 102152
2274.04/2280.32 c #Conflicts: 976000 | #Constraints: 103152
2274.04/2280.32 c #Conflicts: 977000 | #Constraints: 104152
2274.04/2280.32 c #Conflicts: 978000 | #Constraints: 105152
2274.04/2280.32 c #Conflicts: 979000 | #Constraints: 106152
2274.04/2280.32 c #Conflicts: 980000 | #Constraints: 107152
2274.04/2280.32 c #Conflicts: 981000 | #Constraints: 108152
2274.04/2280.32 c #Conflicts: 982000 | #Constraints: 109152
2274.04/2280.32 c #Conflicts: 983000 | #Constraints: 110152
2274.04/2280.32 c #Conflicts: 984000 | #Constraints: 111152
2274.04/2280.32 c #Conflicts: 985000 | #Constraints: 112152
2274.04/2280.32 c #Conflicts: 986000 | #Constraints: 113152
2274.04/2280.32 c #Conflicts: 987000 | #Constraints: 114152
2274.04/2280.32 c #Conflicts: 988000 | #Constraints: 115152
2274.04/2280.32 c #Conflicts: 989000 | #Constraints: 116152
2274.04/2280.32 c #Conflicts: 990000 | #Constraints: 117152
2274.04/2280.32 c #Conflicts: 991000 | #Constraints: 118152
2274.04/2280.32 c #Conflicts: 992000 | #Constraints: 119152
2274.04/2280.32 c #Conflicts: 993000 | #Constraints: 120152
2274.04/2280.32 c #Conflicts: 994000 | #Constraints: 121152
2274.04/2280.32 c #Conflicts: 995000 | #Constraints: 122152
2274.04/2280.32 c #Conflicts: 996000 | #Constraints: 123152
2274.04/2280.32 c #Conflicts: 997000 | #Constraints: 124152
2274.04/2280.32 c #Conflicts: 998000 | #Constraints: 125152
2274.04/2280.32 c #Conflicts: 999000 | #Constraints: 126152
2274.04/2280.32 c #Conflicts: 1000000 | #Constraints: 127152
2274.04/2280.32 c #Conflicts: 1001000 | #Constraints: 128152
2274.04/2280.32 c #Conflicts: 1002000 | #Constraints: 129152
2274.04/2280.32 c #Conflicts: 1003000 | #Constraints: 130152
2274.04/2280.32 c #Conflicts: 1004000 | #Constraints: 131152
2274.04/2280.32 c #Conflicts: 1005000 | #Constraints: 132152
2274.04/2280.32 c #Conflicts: 1006000 | #Constraints: 133152
2274.04/2280.32 c #Conflicts: 1007000 | #Constraints: 134152
2274.04/2280.32 c #Conflicts: 1008000 | #Constraints: 135152
2274.04/2280.32 c #Conflicts: 1009000 | #Constraints: 136152
2274.04/2280.32 c #Conflicts: 1010000 | #Constraints: 137152
2274.04/2280.32 c #Conflicts: 1011000 | #Constraints: 138152
2274.04/2280.32 c #Conflicts: 1012000 | #Constraints: 139152
2274.04/2280.32 c INPROCESSING
2274.04/2280.32 c GARBAGE COLLECT
2274.04/2280.32 c #Conflicts: 1013000 | #Constraints: 82359
2274.04/2280.32 c #Conflicts: 1014000 | #Constraints: 83359
2469.33/2476.10 c #Conflicts: 1015000 | #Constraints: 84359
2469.33/2476.10 c #Conflicts: 1016000 | #Constraints: 85359
2469.33/2476.10 c #Conflicts: 1017000 | #Constraints: 86359
2469.33/2476.10 c #Conflicts: 1018000 | #Constraints: 87359
2469.33/2476.10 c #Conflicts: 1019000 | #Constraints: 88359
2469.33/2476.10 c #Conflicts: 1020000 | #Constraints: 89359
2469.33/2476.10 c #Conflicts: 1021000 | #Constraints: 90359
2469.33/2476.10 c #Conflicts: 1022000 | #Constraints: 91359
2469.33/2476.10 c #Conflicts: 1023000 | #Constraints: 92359
2469.33/2476.10 c #Conflicts: 1024000 | #Constraints: 93359
2469.33/2476.10 c #Conflicts: 1025000 | #Constraints: 94359
2469.33/2476.10 c #Conflicts: 1026000 | #Constraints: 95359
2469.33/2476.10 c #Conflicts: 1027000 | #Constraints: 96359
2469.33/2476.10 c #Conflicts: 1028000 | #Constraints: 97359
2469.33/2476.10 c #Conflicts: 1029000 | #Constraints: 98359
2469.33/2476.10 c #Conflicts: 1030000 | #Constraints: 99359
2469.33/2476.10 c #Conflicts: 1031000 | #Constraints: 100359
2469.33/2476.10 c #Conflicts: 1032000 | #Constraints: 101359
2469.33/2476.10 c #Conflicts: 1033000 | #Constraints: 102359
2469.33/2476.10 c #Conflicts: 1034000 | #Constraints: 103359
2469.33/2476.10 c #Conflicts: 1035000 | #Constraints: 104359
2469.33/2476.10 c #Conflicts: 1036000 | #Constraints: 105359
2469.33/2476.10 c #Conflicts: 1037000 | #Constraints: 106359
2469.33/2476.10 c #Conflicts: 1038000 | #Constraints: 107359
2469.33/2476.10 c #Conflicts: 1039000 | #Constraints: 108359
2469.33/2476.10 c #Conflicts: 1040000 | #Constraints: 109359
2469.33/2476.10 c INPROCESSING
2469.33/2476.10 c GARBAGE COLLECT
2469.33/2476.10 c #Conflicts: 1041000 | #Constraints: 77186
2469.33/2476.10 c #Conflicts: 1042000 | #Constraints: 78186
2469.33/2476.10 c #Conflicts: 1043000 | #Constraints: 79186
2469.33/2476.10 c #Conflicts: 1044000 | #Constraints: 80186
2469.33/2476.10 c #Conflicts: 1045000 | #Constraints: 81186
2469.33/2476.10 c #Conflicts: 1046000 | #Constraints: 82186
2469.33/2476.10 c #Conflicts: 1047000 | #Constraints: 83186
2469.33/2476.10 c #Conflicts: 1048000 | #Constraints: 84186
2469.33/2476.10 c #Conflicts: 1049000 | #Constraints: 85186
2469.33/2476.10 c #Conflicts: 1050000 | #Constraints: 86186
2469.33/2476.10 c #Conflicts: 1051000 | #Constraints: 87186
2469.33/2476.10 c #Conflicts: 1052000 | #Constraints: 88186
2469.33/2476.10 c #Conflicts: 1053000 | #Constraints: 89186
2469.33/2476.10 c #Conflicts: 1054000 | #Constraints: 90186
2469.33/2476.10 c #Conflicts: 1055000 | #Constraints: 91186
2469.33/2476.10 c #Conflicts: 1056000 | #Constraints: 92186
2469.33/2476.10 c #Conflicts: 1057000 | #Constraints: 93186
2469.33/2476.10 c #Conflicts: 1058000 | #Constraints: 94186
2469.33/2476.10 c #Conflicts: 1059000 | #Constraints: 95186
2469.33/2476.10 c #Conflicts: 1060000 | #Constraints: 96186
2469.33/2476.10 c #Conflicts: 1061000 | #Constraints: 97186
2469.33/2476.10 c #Conflicts: 1062000 | #Constraints: 98186
2469.33/2476.10 c #Conflicts: 1063000 | #Constraints: 99186
2469.33/2476.10 c #Conflicts: 1064000 | #Constraints: 100186
2469.33/2476.10 c #Conflicts: 1065000 | #Constraints: 101186
2469.33/2476.10 c #Conflicts: 1066000 | #Constraints: 102186
2469.33/2476.10 c #Conflicts: 1067000 | #Constraints: 103186
2469.33/2476.10 c #Conflicts: 1068000 | #Constraints: 104186
2469.33/2476.10 c #Conflicts: 1069000 | #Constraints: 105186
2469.33/2476.10 c #Conflicts: 1070000 | #Constraints: 106186
2469.33/2476.10 c #Conflicts: 1071000 | #Constraints: 107186
2469.33/2476.10 c #Conflicts: 1072000 | #Constraints: 108186
2469.33/2476.10 c #Conflicts: 1073000 | #Constraints: 109186
2469.33/2476.10 c #Conflicts: 1074000 | #Constraints: 110186
2469.33/2476.10 c #Conflicts: 1075000 | #Constraints: 111186
2469.33/2476.10 c #Conflicts: 1076000 | #Constraints: 112186
2469.33/2476.10 c #Conflicts: 1077000 | #Constraints: 113186
2469.33/2476.10 c #Conflicts: 1078000 | #Constraints: 114186
2469.33/2476.10 c #Conflicts: 1079000 | #Constraints: 115186
2469.33/2476.10 c #Conflicts: 1080000 | #Constraints: 116186
2469.33/2476.10 c #Conflicts: 1081000 | #Constraints: 117186
2469.33/2476.10 c #Conflicts: 1082000 | #Constraints: 118186
2469.33/2476.10 c #Conflicts: 1083000 | #Constraints: 119186
2469.33/2476.10 c #Conflicts: 1084000 | #Constraints: 120186
2469.33/2476.10 c #Conflicts: 1085000 | #Constraints: 121186
2469.33/2476.10 c #Conflicts: 1086000 | #Constraints: 122186
2469.33/2476.10 c #Conflicts: 1087000 | #Constraints: 123186
2469.33/2476.10 c #Conflicts: 1088000 | #Constraints: 124186
2469.33/2476.10 c #Conflicts: 1089000 | #Constraints: 125186
2469.33/2476.10 c #Conflicts: 1090000 | #Constraints: 126186
2469.33/2476.10 c #Conflicts: 1091000 | #Constraints: 127186
2469.33/2476.10 c #Conflicts: 1092000 | #Constraints: 128186
2684.94/2692.37 c #Conflicts: 1093000 | #Constraints: 129186
2684.94/2692.37 c #Conflicts: 1094000 | #Constraints: 130186
2684.94/2692.37 c #Conflicts: 1095000 | #Constraints: 131186
2684.94/2692.37 c #Conflicts: 1096000 | #Constraints: 132186
2684.94/2692.37 c #Conflicts: 1097000 | #Constraints: 133186
2684.94/2692.37 c #Conflicts: 1098000 | #Constraints: 134186
2684.94/2692.37 c #Conflicts: 1099000 | #Constraints: 135186
2684.94/2692.37 c #Conflicts: 1100000 | #Constraints: 136186
2684.94/2692.37 c #Conflicts: 1101000 | #Constraints: 137186
2684.94/2692.37 c #Conflicts: 1102000 | #Constraints: 138186
2684.94/2692.37 c #Conflicts: 1103000 | #Constraints: 139186
2684.94/2692.37 c #Conflicts: 1104000 | #Constraints: 140186
2684.94/2692.37 c #Conflicts: 1105000 | #Constraints: 141186
2684.94/2692.37 c #Conflicts: 1106000 | #Constraints: 142186
2684.94/2692.37 c #Conflicts: 1107000 | #Constraints: 143186
2684.94/2692.37 c #Conflicts: 1108000 | #Constraints: 144186
2684.94/2692.37 c INPROCESSING
2684.94/2692.37 c GARBAGE COLLECT
2684.94/2692.37 c #Conflicts: 1109000 | #Constraints: 84586
2684.94/2692.37 c #Conflicts: 1110000 | #Constraints: 85586
2684.94/2692.37 c #Conflicts: 1111000 | #Constraints: 86586
2684.94/2692.37 c #Conflicts: 1112000 | #Constraints: 87586
2684.94/2692.37 c #Conflicts: 1113000 | #Constraints: 88586
2684.94/2692.37 c #Conflicts: 1114000 | #Constraints: 89586
2684.94/2692.37 c #Conflicts: 1115000 | #Constraints: 90586
2684.94/2692.37 c #Conflicts: 1116000 | #Constraints: 91586
2684.94/2692.37 c #Conflicts: 1117000 | #Constraints: 92586
2684.94/2692.37 c #Conflicts: 1118000 | #Constraints: 93586
2684.94/2692.37 c #Conflicts: 1119000 | #Constraints: 94586
2684.94/2692.37 c #Conflicts: 1120000 | #Constraints: 95586
2684.94/2692.37 c #Conflicts: 1121000 | #Constraints: 96586
2684.94/2692.37 c #Conflicts: 1122000 | #Constraints: 97586
2684.94/2692.37 c #Conflicts: 1123000 | #Constraints: 98586
2684.94/2692.37 c #Conflicts: 1124000 | #Constraints: 99586
2684.94/2692.37 c #Conflicts: 1125000 | #Constraints: 100586
2684.94/2692.37 c #Conflicts: 1126000 | #Constraints: 101586
2684.94/2692.37 c #Conflicts: 1127000 | #Constraints: 102586
2684.94/2692.37 c #Conflicts: 1128000 | #Constraints: 103586
2684.94/2692.37 c #Conflicts: 1129000 | #Constraints: 104586
2684.94/2692.37 c #Conflicts: 1130000 | #Constraints: 105586
2684.94/2692.37 c #Conflicts: 1131000 | #Constraints: 106586
2684.94/2692.37 c #Conflicts: 1132000 | #Constraints: 107586
2684.94/2692.37 c #Conflicts: 1133000 | #Constraints: 108586
2684.94/2692.37 c #Conflicts: 1134000 | #Constraints: 109586
2684.94/2692.37 c #Conflicts: 1135000 | #Constraints: 110586
2684.94/2692.37 c #Conflicts: 1136000 | #Constraints: 111586
2684.94/2692.37 c #Conflicts: 1137000 | #Constraints: 112586
2684.94/2692.37 c #Conflicts: 1138000 | #Constraints: 113586
2684.94/2692.37 c INPROCESSING
2684.94/2692.37 c GARBAGE COLLECT
2684.94/2692.37 c #Conflicts: 1139000 | #Constraints: 79189
2684.94/2692.37 c #Conflicts: 1140000 | #Constraints: 80189
2684.94/2692.37 c #Conflicts: 1141000 | #Constraints: 81189
2684.94/2692.37 c #Conflicts: 1142000 | #Constraints: 82189
2684.94/2692.37 c #Conflicts: 1143000 | #Constraints: 83189
2684.94/2692.37 c #Conflicts: 1144000 | #Constraints: 84189
2684.94/2692.37 c #Conflicts: 1145000 | #Constraints: 85189
2684.94/2692.37 c #Conflicts: 1146000 | #Constraints: 86189
2684.94/2692.37 c #Conflicts: 1147000 | #Constraints: 87189
2684.94/2692.37 c #Conflicts: 1148000 | #Constraints: 88189
2684.94/2692.37 c #Conflicts: 1149000 | #Constraints: 89189
2684.94/2692.37 c #Conflicts: 1150000 | #Constraints: 90189
2684.94/2692.37 c #Conflicts: 1151000 | #Constraints: 91189
2684.94/2692.37 c #Conflicts: 1152000 | #Constraints: 92189
2684.94/2692.37 c #Conflicts: 1153000 | #Constraints: 93189
2684.94/2692.37 c #Conflicts: 1154000 | #Constraints: 94189
2684.94/2692.37 c #Conflicts: 1155000 | #Constraints: 95189
2684.94/2692.37 c #Conflicts: 1156000 | #Constraints: 96189
2684.94/2692.37 c #Conflicts: 1157000 | #Constraints: 97189
2684.94/2692.37 c #Conflicts: 1158000 | #Constraints: 98189
2684.94/2692.37 c #Conflicts: 1159000 | #Constraints: 99189
2684.94/2692.37 c #Conflicts: 1160000 | #Constraints: 100189
2684.94/2692.37 c #Conflicts: 1161000 | #Constraints: 101189
2684.94/2692.37 c #Conflicts: 1162000 | #Constraints: 102189
2684.94/2692.37 c #Conflicts: 1163000 | #Constraints: 103189
2684.94/2692.37 c #Conflicts: 1164000 | #Constraints: 104189
2684.94/2692.37 c #Conflicts: 1165000 | #Constraints: 105189
2684.94/2692.37 c #Conflicts: 1166000 | #Constraints: 106189
2684.94/2692.37 c #Conflicts: 1167000 | #Constraints: 107189
2684.94/2692.37 c #Conflicts: 1168000 | #Constraints: 108189
2684.94/2692.37 c #Conflicts: 1169000 | #Constraints: 109189
2684.94/2692.37 c #Conflicts: 1170000 | #Constraints: 110189
2902.62/2910.61 c #Conflicts: 1171000 | #Constraints: 111189
2902.62/2910.61 c #Conflicts: 1172000 | #Constraints: 112189
2902.62/2910.61 c #Conflicts: 1173000 | #Constraints: 113189
2902.62/2910.61 c #Conflicts: 1174000 | #Constraints: 114189
2902.62/2910.61 c #Conflicts: 1175000 | #Constraints: 115189
2902.62/2910.61 c #Conflicts: 1176000 | #Constraints: 116189
2902.62/2910.61 c #Conflicts: 1177000 | #Constraints: 117189
2902.62/2910.61 c #Conflicts: 1178000 | #Constraints: 118189
2902.62/2910.61 c #Conflicts: 1179000 | #Constraints: 119189
2902.62/2910.61 c #Conflicts: 1180000 | #Constraints: 120189
2902.62/2910.61 c #Conflicts: 1181000 | #Constraints: 121189
2902.62/2910.61 c #Conflicts: 1182000 | #Constraints: 122189
2902.62/2910.61 c #Conflicts: 1183000 | #Constraints: 123189
2902.62/2910.61 c #Conflicts: 1184000 | #Constraints: 124189
2902.62/2910.61 c #Conflicts: 1185000 | #Constraints: 125189
2902.62/2910.61 c #Conflicts: 1186000 | #Constraints: 126189
2902.62/2910.61 c #Conflicts: 1187000 | #Constraints: 127189
2902.62/2910.61 c #Conflicts: 1188000 | #Constraints: 128189
2902.62/2910.61 c #Conflicts: 1189000 | #Constraints: 129189
2902.62/2910.61 c #Conflicts: 1190000 | #Constraints: 130189
2902.62/2910.61 c #Conflicts: 1191000 | #Constraints: 131189
2902.62/2910.61 c #Conflicts: 1192000 | #Constraints: 132189
2902.62/2910.61 c #Conflicts: 1193000 | #Constraints: 133189
2902.62/2910.61 c #Conflicts: 1194000 | #Constraints: 134189
2902.62/2910.61 c #Conflicts: 1195000 | #Constraints: 135189
2902.62/2910.61 c #Conflicts: 1196000 | #Constraints: 136189
2902.62/2910.61 c #Conflicts: 1197000 | #Constraints: 137189
2902.62/2910.61 c #Conflicts: 1198000 | #Constraints: 138189
2902.62/2910.61 c #Conflicts: 1199000 | #Constraints: 139189
2902.62/2910.61 c #Conflicts: 1200000 | #Constraints: 140189
2902.62/2910.61 c #Conflicts: 1201000 | #Constraints: 141189
2902.62/2910.61 c #Conflicts: 1202000 | #Constraints: 142189
2902.62/2910.61 c #Conflicts: 1203000 | #Constraints: 143189
2902.62/2910.61 c #Conflicts: 1204000 | #Constraints: 144189
2902.62/2910.61 c #Conflicts: 1205000 | #Constraints: 145189
2902.62/2910.61 c #Conflicts: 1206000 | #Constraints: 146189
2902.62/2910.61 c #Conflicts: 1207000 | #Constraints: 147189
2902.62/2910.61 c #Conflicts: 1208000 | #Constraints: 148189
2902.62/2910.61 c #Conflicts: 1209000 | #Constraints: 149189
2902.62/2910.61 c INPROCESSING
2902.62/2910.61 c GARBAGE COLLECT
2902.62/2910.61 c #Conflicts: 1210000 | #Constraints: 87255
2902.62/2910.61 c #Conflicts: 1211000 | #Constraints: 88255
2902.62/2910.61 c #Conflicts: 1212000 | #Constraints: 89255
2902.62/2910.61 c #Conflicts: 1213000 | #Constraints: 90255
2902.62/2910.61 c #Conflicts: 1214000 | #Constraints: 91255
2902.62/2910.61 c #Conflicts: 1215000 | #Constraints: 92255
2902.62/2910.61 c #Conflicts: 1216000 | #Constraints: 93255
2902.62/2910.61 c #Conflicts: 1217000 | #Constraints: 94255
2902.62/2910.61 c #Conflicts: 1218000 | #Constraints: 95255
2902.62/2910.61 c #Conflicts: 1219000 | #Constraints: 96255
2902.62/2910.61 c #Conflicts: 1220000 | #Constraints: 97255
2902.62/2910.61 c #Conflicts: 1221000 | #Constraints: 98255
2902.62/2910.61 c #Conflicts: 1222000 | #Constraints: 99255
2902.62/2910.61 c #Conflicts: 1223000 | #Constraints: 100255
2902.62/2910.61 c #Conflicts: 1224000 | #Constraints: 101255
2902.62/2910.61 c #Conflicts: 1225000 | #Constraints: 102255
2902.62/2910.61 c #Conflicts: 1226000 | #Constraints: 103255
2902.62/2910.61 c #Conflicts: 1227000 | #Constraints: 104255
2902.62/2910.61 c #Conflicts: 1228000 | #Constraints: 105255
2902.62/2910.61 c #Conflicts: 1229000 | #Constraints: 106255
2902.62/2910.61 c #Conflicts: 1230000 | #Constraints: 107255
2902.62/2910.61 c #Conflicts: 1231000 | #Constraints: 108255
2902.62/2910.61 c #Conflicts: 1232000 | #Constraints: 109255
2902.62/2910.61 c #Conflicts: 1233000 | #Constraints: 110255
2902.62/2910.61 c #Conflicts: 1234000 | #Constraints: 111255
2902.62/2910.61 c #Conflicts: 1235000 | #Constraints: 112255
2902.62/2910.61 c #Conflicts: 1236000 | #Constraints: 113255
2902.62/2910.61 c #Conflicts: 1237000 | #Constraints: 114255
2902.62/2910.61 c #Conflicts: 1238000 | #Constraints: 115255
2902.62/2910.61 c #Conflicts: 1239000 | #Constraints: 116255
2902.62/2910.61 c #Conflicts: 1240000 | #Constraints: 117255
2902.62/2910.61 c INPROCESSING
2902.62/2910.61 c GARBAGE COLLECT
2902.62/2910.61 c #Conflicts: 1241000 | #Constraints: 82131
2902.62/2910.61 c #Conflicts: 1242000 | #Constraints: 83131
2902.62/2910.61 c #Conflicts: 1243000 | #Constraints: 84131
2902.62/2910.61 c #Conflicts: 1244000 | #Constraints: 85131
2902.62/2910.61 c #Conflicts: 1245000 | #Constraints: 86131
2902.62/2910.61 c #Conflicts: 1246000 | #Constraints: 87131
2902.62/2910.61 c #Conflicts: 1247000 | #Constraints: 88131
3147.36/3156.06 c #Conflicts: 1248000 | #Constraints: 89131
3147.36/3156.06 c #Conflicts: 1249000 | #Constraints: 90131
3147.36/3156.06 c #Conflicts: 1250000 | #Constraints: 91131
3147.36/3156.06 c #Conflicts: 1251000 | #Constraints: 92131
3147.36/3156.06 c #Conflicts: 1252000 | #Constraints: 93131
3147.36/3156.06 c #Conflicts: 1253000 | #Constraints: 94132
3147.36/3156.06 c #Conflicts: 1254000 | #Constraints: 95132
3147.36/3156.06 c #Conflicts: 1255000 | #Constraints: 96132
3147.36/3156.06 c #Conflicts: 1256000 | #Constraints: 97132
3147.36/3156.06 c #Conflicts: 1257000 | #Constraints: 98132
3147.36/3156.06 c #Conflicts: 1258000 | #Constraints: 99132
3147.36/3156.06 c #Conflicts: 1259000 | #Constraints: 100132
3147.36/3156.06 c #Conflicts: 1260000 | #Constraints: 101132
3147.36/3156.06 c #Conflicts: 1261000 | #Constraints: 102132
3147.36/3156.06 c #Conflicts: 1262000 | #Constraints: 103132
3147.36/3156.06 c #Conflicts: 1263000 | #Constraints: 104132
3147.36/3156.06 c #Conflicts: 1264000 | #Constraints: 105132
3147.36/3156.06 c #Conflicts: 1265000 | #Constraints: 106132
3147.36/3156.06 c #Conflicts: 1266000 | #Constraints: 107132
3147.36/3156.06 c #Conflicts: 1267000 | #Constraints: 108132
3147.36/3156.06 c #Conflicts: 1268000 | #Constraints: 109132
3147.36/3156.06 c #Conflicts: 1269000 | #Constraints: 110132
3147.36/3156.06 c #Conflicts: 1270000 | #Constraints: 111132
3147.36/3156.06 c #Conflicts: 1271000 | #Constraints: 112132
3147.36/3156.06 c #Conflicts: 1272000 | #Constraints: 113132
3147.36/3156.06 c #Conflicts: 1273000 | #Constraints: 114132
3147.36/3156.06 c #Conflicts: 1274000 | #Constraints: 115132
3147.36/3156.06 c #Conflicts: 1275000 | #Constraints: 116132
3147.36/3156.06 c #Conflicts: 1276000 | #Constraints: 117132
3147.36/3156.06 c #Conflicts: 1277000 | #Constraints: 118132
3147.36/3156.06 c #Conflicts: 1278000 | #Constraints: 119132
3147.36/3156.06 c #Conflicts: 1279000 | #Constraints: 120132
3147.36/3156.06 c #Conflicts: 1280000 | #Constraints: 121132
3147.36/3156.06 c #Conflicts: 1281000 | #Constraints: 122132
3147.36/3156.06 c #Conflicts: 1282000 | #Constraints: 123132
3147.36/3156.06 c #Conflicts: 1283000 | #Constraints: 124132
3147.36/3156.06 c #Conflicts: 1284000 | #Constraints: 125132
3147.36/3156.06 c #Conflicts: 1285000 | #Constraints: 126132
3147.36/3156.06 c #Conflicts: 1286000 | #Constraints: 127132
3147.36/3156.06 c #Conflicts: 1287000 | #Constraints: 128132
3147.36/3156.06 c #Conflicts: 1288000 | #Constraints: 129132
3147.36/3156.06 c #Conflicts: 1289000 | #Constraints: 130132
3147.36/3156.06 c #Conflicts: 1290000 | #Constraints: 131132
3147.36/3156.06 c #Conflicts: 1291000 | #Constraints: 132132
3147.36/3156.06 c #Conflicts: 1292000 | #Constraints: 133132
3147.36/3156.06 c #Conflicts: 1293000 | #Constraints: 134132
3147.36/3156.06 c #Conflicts: 1294000 | #Constraints: 135132
3147.36/3156.06 c #Conflicts: 1295000 | #Constraints: 136132
3147.36/3156.06 c #Conflicts: 1296000 | #Constraints: 137132
3147.36/3156.06 c #Conflicts: 1297000 | #Constraints: 138132
3147.36/3156.06 c #Conflicts: 1298000 | #Constraints: 139132
3147.36/3156.06 c #Conflicts: 1299000 | #Constraints: 140132
3147.36/3156.06 c #Conflicts: 1300000 | #Constraints: 141132
3147.36/3156.06 c #Conflicts: 1301000 | #Constraints: 142132
3147.36/3156.06 c #Conflicts: 1302000 | #Constraints: 143132
3147.36/3156.06 c #Conflicts: 1303000 | #Constraints: 144132
3147.36/3156.06 c #Conflicts: 1304000 | #Constraints: 145132
3147.36/3156.06 c #Conflicts: 1305000 | #Constraints: 146132
3147.36/3156.06 c #Conflicts: 1306000 | #Constraints: 147132
3147.36/3156.06 c #Conflicts: 1307000 | #Constraints: 148132
3147.36/3156.06 c #Conflicts: 1308000 | #Constraints: 149132
3147.36/3156.06 c #Conflicts: 1309000 | #Constraints: 150132
3147.36/3156.06 c #Conflicts: 1310000 | #Constraints: 151132
3147.36/3156.06 c #Conflicts: 1311000 | #Constraints: 152132
3147.36/3156.06 c #Conflicts: 1312000 | #Constraints: 153132
3147.36/3156.06 c #Conflicts: 1313000 | #Constraints: 154132
3147.36/3156.06 c #Conflicts: 1314000 | #Constraints: 155132
3147.36/3156.06 c #Conflicts: 1315000 | #Constraints: 156132
3147.36/3156.06 c INPROCESSING
3147.36/3156.06 c GARBAGE COLLECT
3147.36/3156.06 c #Conflicts: 1316000 | #Constraints: 91161
3147.36/3156.06 c #Conflicts: 1317000 | #Constraints: 92161
3147.36/3156.06 c #Conflicts: 1318000 | #Constraints: 93161
3147.36/3156.06 c #Conflicts: 1319000 | #Constraints: 94161
3147.36/3156.06 c #Conflicts: 1320000 | #Constraints: 95161
3147.36/3156.06 c #Conflicts: 1321000 | #Constraints: 96161
3147.36/3156.06 c #Conflicts: 1322000 | #Constraints: 97161
3147.36/3156.06 c #Conflicts: 1323000 | #Constraints: 98161
3147.36/3156.06 c #Conflicts: 1324000 | #Constraints: 99161
3147.36/3156.06 c #Conflicts: 1325000 | #Constraints: 100161
3363.37/3372.61 c #Conflicts: 1326000 | #Constraints: 101161
3363.37/3372.61 c #Conflicts: 1327000 | #Constraints: 102161
3363.37/3372.61 c #Conflicts: 1328000 | #Constraints: 103161
3363.37/3372.61 c #Conflicts: 1329000 | #Constraints: 104161
3363.37/3372.61 c #Conflicts: 1330000 | #Constraints: 105161
3363.37/3372.61 c #Conflicts: 1331000 | #Constraints: 106161
3363.37/3372.61 c #Conflicts: 1332000 | #Constraints: 107161
3363.37/3372.61 c #Conflicts: 1333000 | #Constraints: 108161
3363.37/3372.61 c #Conflicts: 1334000 | #Constraints: 109161
3363.37/3372.61 c #Conflicts: 1335000 | #Constraints: 110161
3363.37/3372.61 c #Conflicts: 1336000 | #Constraints: 111161
3363.37/3372.61 c #Conflicts: 1337000 | #Constraints: 112161
3363.37/3372.61 c #Conflicts: 1338000 | #Constraints: 113161
3363.37/3372.61 c #Conflicts: 1339000 | #Constraints: 114161
3363.37/3372.61 c #Conflicts: 1340000 | #Constraints: 115161
3363.37/3372.61 c #Conflicts: 1341000 | #Constraints: 116161
3363.37/3372.61 c #Conflicts: 1342000 | #Constraints: 117161
3363.37/3372.61 c #Conflicts: 1343000 | #Constraints: 118161
3363.37/3372.61 c #Conflicts: 1344000 | #Constraints: 119161
3363.37/3372.61 c #Conflicts: 1345000 | #Constraints: 120161
3363.37/3372.61 c #Conflicts: 1346000 | #Constraints: 121161
3363.37/3372.61 c #Conflicts: 1347000 | #Constraints: 122161
3363.37/3372.61 c INPROCESSING
3363.37/3372.61 c GARBAGE COLLECT
3363.37/3372.61 c #Conflicts: 1348000 | #Constraints: 85123
3363.37/3372.61 c #Conflicts: 1349000 | #Constraints: 86123
3363.37/3372.61 c #Conflicts: 1350000 | #Constraints: 87123
3363.37/3372.61 c #Conflicts: 1351000 | #Constraints: 88123
3363.37/3372.61 c #Conflicts: 1352000 | #Constraints: 89123
3363.37/3372.61 c #Conflicts: 1353000 | #Constraints: 90123
3363.37/3372.61 c #Conflicts: 1354000 | #Constraints: 91123
3363.37/3372.61 c #Conflicts: 1355000 | #Constraints: 92123
3363.37/3372.61 c #Conflicts: 1356000 | #Constraints: 93123
3363.37/3372.61 c #Conflicts: 1357000 | #Constraints: 94123
3363.37/3372.61 c #Conflicts: 1358000 | #Constraints: 95123
3363.37/3372.61 c #Conflicts: 1359000 | #Constraints: 96123
3363.37/3372.61 c #Conflicts: 1360000 | #Constraints: 97123
3363.37/3372.61 c #Conflicts: 1361000 | #Constraints: 98123
3363.37/3372.61 c #Conflicts: 1362000 | #Constraints: 99123
3363.37/3372.61 c #Conflicts: 1363000 | #Constraints: 100123
3363.37/3372.61 c #Conflicts: 1364000 | #Constraints: 101123
3363.37/3372.61 c #Conflicts: 1365000 | #Constraints: 102123
3363.37/3372.61 c #Conflicts: 1366000 | #Constraints: 103123
3363.37/3372.61 c #Conflicts: 1367000 | #Constraints: 104123
3363.37/3372.61 c #Conflicts: 1368000 | #Constraints: 105123
3363.37/3372.61 c #Conflicts: 1369000 | #Constraints: 106123
3363.37/3372.61 c #Conflicts: 1370000 | #Constraints: 107123
3363.37/3372.61 c #Conflicts: 1371000 | #Constraints: 108123
3363.37/3372.61 c #Conflicts: 1372000 | #Constraints: 109123
3363.37/3372.61 c #Conflicts: 1373000 | #Constraints: 110123
3363.37/3372.61 c #Conflicts: 1374000 | #Constraints: 111123
3363.37/3372.61 c #Conflicts: 1375000 | #Constraints: 112123
3363.37/3372.61 c #Conflicts: 1376000 | #Constraints: 113123
3363.37/3372.61 c #Conflicts: 1377000 | #Constraints: 114123
3363.37/3372.61 c #Conflicts: 1378000 | #Constraints: 115123
3363.37/3372.61 c #Conflicts: 1379000 | #Constraints: 116123
3363.37/3372.61 c #Conflicts: 1380000 | #Constraints: 117123
3363.37/3372.61 c #Conflicts: 1381000 | #Constraints: 118123
3363.37/3372.61 c #Conflicts: 1382000 | #Constraints: 119123
3363.37/3372.61 c #Conflicts: 1383000 | #Constraints: 120123
3363.37/3372.61 c #Conflicts: 1384000 | #Constraints: 121123
3363.37/3372.61 c #Conflicts: 1385000 | #Constraints: 122123
3363.37/3372.61 c #Conflicts: 1386000 | #Constraints: 123123
3363.37/3372.61 c #Conflicts: 1387000 | #Constraints: 124123
3363.37/3372.61 c #Conflicts: 1388000 | #Constraints: 125124
3363.37/3372.61 c #Conflicts: 1389000 | #Constraints: 126124
3363.37/3372.61 c #Conflicts: 1390000 | #Constraints: 127124
3363.37/3372.61 c #Conflicts: 1391000 | #Constraints: 128124
3363.37/3372.61 c #Conflicts: 1392000 | #Constraints: 129124
3363.37/3372.61 c #Conflicts: 1393000 | #Constraints: 130124
3363.37/3372.61 c #Conflicts: 1394000 | #Constraints: 131124
3363.37/3372.61 c #Conflicts: 1395000 | #Constraints: 132124
3363.37/3372.61 c #Conflicts: 1396000 | #Constraints: 133124
3363.37/3372.61 c #Conflicts: 1397000 | #Constraints: 134124
3363.37/3372.61 c #Conflicts: 1398000 | #Constraints: 135124
3363.37/3372.61 c #Conflicts: 1399000 | #Constraints: 136124
3363.37/3372.61 c #Conflicts: 1400000 | #Constraints: 137124
3363.37/3372.61 c #Conflicts: 1401000 | #Constraints: 138124
3363.37/3372.61 c #Conflicts: 1402000 | #Constraints: 139124
3363.37/3372.61 c #Conflicts: 1403000 | #Constraints: 140124
3363.37/3372.61 c #Conflicts: 1404000 | #Constraints: 141124
3581.87/3591.79 c #Conflicts: 1405000 | #Constraints: 142124
3581.87/3591.79 c #Conflicts: 1406000 | #Constraints: 143124
3581.87/3591.79 c #Conflicts: 1407000 | #Constraints: 144124
3581.87/3591.79 c #Conflicts: 1408000 | #Constraints: 145124
3581.87/3591.79 c #Conflicts: 1409000 | #Constraints: 146124
3581.87/3591.79 c #Conflicts: 1410000 | #Constraints: 147124
3581.87/3591.79 c #Conflicts: 1411000 | #Constraints: 148124
3581.87/3591.79 c #Conflicts: 1412000 | #Constraints: 149124
3581.87/3591.79 c #Conflicts: 1413000 | #Constraints: 150124
3581.87/3591.79 c #Conflicts: 1414000 | #Constraints: 151124
3581.87/3591.79 c #Conflicts: 1415000 | #Constraints: 152124
3581.87/3591.79 c #Conflicts: 1416000 | #Constraints: 153124
3581.87/3591.79 c #Conflicts: 1417000 | #Constraints: 154124
3581.87/3591.79 c #Conflicts: 1418000 | #Constraints: 155124
3581.87/3591.79 c #Conflicts: 1419000 | #Constraints: 156124
3581.87/3591.79 c #Conflicts: 1420000 | #Constraints: 157124
3581.87/3591.79 c #Conflicts: 1421000 | #Constraints: 158124
3581.87/3591.79 c #Conflicts: 1422000 | #Constraints: 159124
3581.87/3591.79 c #Conflicts: 1423000 | #Constraints: 160124
3581.87/3591.79 c #Conflicts: 1424000 | #Constraints: 161124
3581.87/3591.79 c #Conflicts: 1425000 | #Constraints: 162124
3581.87/3591.79 c INPROCESSING
3581.87/3591.79 c GARBAGE COLLECT
3581.87/3591.79 c #Conflicts: 1426000 | #Constraints: 94187
3581.87/3591.79 c #Conflicts: 1427000 | #Constraints: 95187
3581.87/3591.79 c #Conflicts: 1428000 | #Constraints: 96187
3581.87/3591.79 c #Conflicts: 1429000 | #Constraints: 97187
3581.87/3591.79 c #Conflicts: 1430000 | #Constraints: 98187
3581.87/3591.79 c #Conflicts: 1431000 | #Constraints: 99187
3581.87/3591.79 c #Conflicts: 1432000 | #Constraints: 100187
3581.87/3591.79 c #Conflicts: 1433000 | #Constraints: 101187
3581.87/3591.79 c #Conflicts: 1434000 | #Constraints: 102187
3581.87/3591.79 c #Conflicts: 1435000 | #Constraints: 103187
3581.87/3591.79 c #Conflicts: 1436000 | #Constraints: 104187
3581.87/3591.79 c #Conflicts: 1437000 | #Constraints: 105187
3581.87/3591.79 c #Conflicts: 1438000 | #Constraints: 106187
3581.87/3591.79 c #Conflicts: 1439000 | #Constraints: 107187
3581.87/3591.79 c #Conflicts: 1440000 | #Constraints: 108187
3581.87/3591.79 c #Conflicts: 1441000 | #Constraints: 109187
3581.87/3591.79 c #Conflicts: 1442000 | #Constraints: 110187
3581.87/3591.79 c #Conflicts: 1443000 | #Constraints: 111187
3581.87/3591.79 c #Conflicts: 1444000 | #Constraints: 112187
3581.87/3591.79 c #Conflicts: 1445000 | #Constraints: 113187
3581.87/3591.79 c #Conflicts: 1446000 | #Constraints: 114187
3581.87/3591.79 c #Conflicts: 1447000 | #Constraints: 115187
3581.87/3591.79 c #Conflicts: 1448000 | #Constraints: 116187
3581.87/3591.79 c #Conflicts: 1449000 | #Constraints: 117187
3581.87/3591.79 c #Conflicts: 1450000 | #Constraints: 118187
3581.87/3591.79 c #Conflicts: 1451000 | #Constraints: 119187
3581.87/3591.79 c #Conflicts: 1452000 | #Constraints: 120187
3581.87/3591.79 c #Conflicts: 1453000 | #Constraints: 121187
3581.87/3591.79 c #Conflicts: 1454000 | #Constraints: 122187
3581.87/3591.79 c #Conflicts: 1455000 | #Constraints: 123187
3581.87/3591.79 c #Conflicts: 1456000 | #Constraints: 124187
3581.87/3591.79 c #Conflicts: 1457000 | #Constraints: 125187
3581.87/3591.79 c #Conflicts: 1458000 | #Constraints: 126187
3581.87/3591.79 c INPROCESSING
3581.87/3591.79 c GARBAGE COLLECT
3581.87/3591.79 c #Conflicts: 1459000 | #Constraints: 87820
3581.87/3591.79 c #Conflicts: 1460000 | #Constraints: 88820
3581.87/3591.79 c #Conflicts: 1461000 | #Constraints: 89820
3581.87/3591.79 c #Conflicts: 1462000 | #Constraints: 90820
3581.87/3591.79 c #Conflicts: 1463000 | #Constraints: 91820
3581.87/3591.79 c #Conflicts: 1464000 | #Constraints: 92820
3581.87/3591.79 c #Conflicts: 1465000 | #Constraints: 93820
3581.87/3591.79 c #Conflicts: 1466000 | #Constraints: 94820
3581.87/3591.79 c #Conflicts: 1467000 | #Constraints: 95820
3581.87/3591.79 c #Conflicts: 1468000 | #Constraints: 96820
3581.87/3591.79 c #Conflicts: 1469000 | #Constraints: 97820
3581.87/3591.79 c #Conflicts: 1470000 | #Constraints: 98820
3581.87/3591.79 c #Conflicts: 1471000 | #Constraints: 99820
3581.87/3591.79 c #Conflicts: 1472000 | #Constraints: 100820
3581.87/3591.79 c #Conflicts: 1473000 | #Constraints: 101820
3581.87/3591.79 c #Conflicts: 1474000 | #Constraints: 102820
3581.87/3591.79 c #Conflicts: 1475000 | #Constraints: 103820
3581.87/3591.79 c #Conflicts: 1476000 | #Constraints: 104820
3581.87/3591.79 c #Conflicts: 1477000 | #Constraints: 105820
3581.87/3591.79 c #Conflicts: 1478000 | #Constraints: 106820
3581.87/3591.79 c #Conflicts: 1479000 | #Constraints: 107820
3581.87/3591.79 c #Conflicts: 1480000 | #Constraints: 108820
3581.87/3591.79 c #Conflicts: 1481000 | #Constraints: 109820
3600.02/3609.90 c #Conflicts: 1482000 | #Constraints: 110820
3600.02/3609.90 c #Conflicts: 1483000 | #Constraints: 111820
3600.02/3609.90 c #Conflicts: 1484000 | #Constraints: 112820
3600.02/3609.90 c #Conflicts: 1485000 | #Constraints: 113820
3600.02/3609.90 c #Conflicts: 1486000 | #Constraints: 114820
3600.02/3609.90 c #Conflicts: 1487000 | #Constraints: 115820
3600.02/3609.90 c #Conflicts: 1488000 | #Constraints: 116820
3600.02/3609.90 c cpu time 3560.76 s
3600.02/3609.90 c deterministic time 266975632292 2.67e+11
3600.02/3609.90 c optimization time 58.8491 s
3600.02/3609.90 c total solve time 3501.81 s
3600.02/3609.90 c core-guided solve time 0 s
3600.02/3609.90 c propagation time 2009.61 s
3600.02/3609.90 c conflict analysis time 1207.2 s
3600.02/3609.90 c propagations 1499468612
3600.02/3609.90 c resolve steps 87124864
3600.02/3609.90 c decisions 37130447
3600.02/3609.90 c conflicts 1488898
3600.02/3609.90 c restarts 2906
3600.02/3609.90 c inprocessing phases 51
3600.02/3609.90 c garbage collections 51 ,( 100.00 )
3600.02/3609.90 c input clauses 20882 ,( 99.17 )
3600.02/3609.90 c input cardinalities 174 ,( 0.83 )
3600.02/3609.90 c input general constraints 0 ,( 0.00 )
3600.02/3609.90 c input average constraint length 6.43
3600.02/3609.90 c input average constraint degree 1.97
3600.02/3609.90 c learned clauses 1084286 ,( 72.82 )
3600.02/3609.90 c learned cardinalities 48630 ,( 3.27 )
3600.02/3609.90 c learned general constraints 355990 ,( 23.91 )
3600.02/3609.90 c learned average constraint length 675.57
3600.02/3609.90 c learned average constraint degree 19782072.22
3600.02/3609.90 c watched CF 32, 64, 128, Arb: 88519 , 0 , 0 , 0
3600.02/3609.90 c counting CF 32, 64, 128, Arb: 267471 , 0 , 0 , 0
3600.02/3609.90 c watched constraints 88519 ,( 24.87 )
3600.02/3609.90 c counting constraints 267471 ,( 75.13 )
3600.02/3609.90 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 1436746655 , 807428674 , 2115755859 ,( 93551410 , 2022204449 )
3600.02/3609.90 c gcd simplifications 734
3600.02/3609.90 c detected cardinalities 7169
3600.02/3609.90 c weakened non-implied lits 407733075
3600.02/3609.90 c weakened non-implying lits 205839
3600.02/3609.90 c original variables 20706
3600.02/3609.90 c clausal propagations 685402573
3600.02/3609.90 c cardinality propagations 554896970
3600.02/3609.90 c watched propagations 4551623
3600.02/3609.90 c counting propagations 240639307
3600.02/3609.90 c watch lookups 85947515893
3600.02/3609.90 c watch backjump lookups 0
3600.02/3609.90 c watch checks 36676646722
3600.02/3609.90 c propagation checks 136382297599
3600.02/3609.90 c constraint additions 4894201493
3600.02/3609.90 c trail pops 1538069002
3600.02/3609.90 c formula constraints 21056
3600.02/3609.90 c learned constraints 1488891
3600.02/3609.90 c bound constraints 0
3600.02/3609.90 c core-guided constraints 0
3600.02/3609.90 c encountered formula constraints 54508600
3600.02/3609.90 c encountered learned constraints 34104780
3600.02/3609.90 c encountered bound constraints 0
3600.02/3609.90 c encountered core-guided constraints 0
3600.02/3609.90 c LP total time 419.3 s
3600.02/3609.90 c LP solve time 406.22 s
3600.02/3609.90 c LP constraints added 21352
3600.02/3609.90 c LP constraints removed 61
3600.02/3609.90 c LP pivots internal 153681
3600.02/3609.90 c LP pivots root 148842
3600.02/3609.90 c LP calls 18
3600.02/3609.90 c LP optimalities 6
3600.02/3609.90 c LP no pivot count 0
3600.02/3609.90 c LP infeasibilities 6
3600.02/3609.90 c LP valid Farkas constraints 6
3600.02/3609.90 c LP learned Farkas constraints 6
3600.02/3609.90 c LP basis resets 0
3600.02/3609.90 c LP cycling count 0
3600.02/3609.90 c LP singular count 0
3600.02/3609.90 c LP no primal count 0
3600.02/3609.90 c LP no farkas count 0
3600.02/3609.90 c LP other issue count 0
3600.02/3609.90 c LP Gomory cuts 3
3600.02/3609.90 c LP learned cuts 293
3600.02/3609.90 c LP deleted cuts 61
3600.02/3609.90 c LP encountered Gomory constraints 319
3600.02/3609.90 c LP encountered Farkas constraints 45
3600.02/3609.90 c LP encountered learned Farkas constraints 12
3600.02/3609.90 c CG auxiliary variables introduced 0
3600.02/3609.90 c CG solutions found 0
3600.02/3609.90 c CG cores constructed 0
3600.02/3609.90 c CG core cardinality constraints returned 0
3600.02/3609.90 c CG unit cores 0
3600.02/3609.90 c CG single cores 0
3600.02/3609.90 c CG blocks removed during cardinality reduction 0
3600.02/3609.90 c CG first core best 0
3600.02/3609.90 c CG decision core best 0
3600.02/3609.90 c CG core reduction tie 0
3600.02/3609.90 c CG core degree average 0.00
3600.02/3609.90 c CG core slack average 0.00
3600.02/3609.90 c CG core upper bound improvements 0
3600.02/3609.90 c STR number of successful calls 0
3600.02/3609.90 c STR number of unsuccessful calls 0
3600.02/3609.90 c STR number of inconclusive calls 0
3600.02/3609.90 c STR number of successful attempts 0
3600.02/3609.90 c STR number of unsuccessful attempts 0
3600.02/3609.90 c STR number of inconclusive attempts 0
3600.02/3609.90 c STR average degree increase per successful call inf
3600.02/3609.90 c STR average degree increase per successful attempt inf
3600.02/3609.90 c STR total number of conflicts for successful attempts 0
3600.02/3609.90 c STR total number of conflicts for unsuccessful attempts 0
3600.02/3609.90 c STR total number of conflicts for inconclusive attempts 0
3600.02/3609.90 c STR average number of conflicts per successful attempt inf
3600.02/3609.90 c STR average number of conflicts per unsuccessful attempt inf
3600.02/3609.90 c STR average number of conflicts per inconclusive attempt inf
3600.02/3609.90 c AVG.sumWPerc 66.56
3600.02/3609.90 c bigint constraints 0
3600.02/3609.90 s UNKNOWN
3600.02/3609.90 c Program interrupted by user.
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63665 MiB (62915 MiB free)
memory of node 1: 64507 MiB (57859 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4507013-1751176591/watcher-4507013-1751176591 -o /tmp/evaluation-result-4507013-1751176591/solver-4507013-1751176591 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1751169346-22495 --watchdog 3760 --file-size-limit 100000 run-dec-log.sh HOME/instance-4507013-1751176591.opb PROOFDIR/proof-4507013-1751176591
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=23364, runsolver pid=23361
[startup+0.100058 s]*
/proc/loadavg: 4.08 4.12 4.11 5/272 23366
/proc/meminfo: memFree=123673616/131249996 swapFree=33010684/33010684
[pid=23364] ppid=23361 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/23364/stat : 23364 (run-dec-log.sh) S 23361 23364 22485 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 33336865 4292608 704 18446744073709551615 94532995657728 94532996552261 140730785603200 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94532996791312 94532996839056 94533008744448 140730785605921 140730785606116 140730785606116 140730785611718 0
/proc/23364/statm: 1048 704 672 219 0 110 0
[pid=23366] ppid=23364 vsize=70196 memory=25896 CPUtime=0.09 cores=0,2
/proc/23366/stat : 23366 (roundingsat) R 23364 23364 22485 0 -1 4194304 4084 0 0 0 7 2 0 0 20 0 1 0 33336865 71880704 6474 18446744073709551615 4227072 8923433 140737277446992 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 28635136 140737277454695 140737277454888 140737277454888 140737277460458 0
/proc/23366/statm: 17549 6474 2176 1147 0 4976 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 74388 KiB
Current children cumulated memory: 28712 KiB
[startup+0.20595 s]*
/proc/loadavg: 4.08 4.12 4.11 5/272 23366
/proc/meminfo: memFree=123636144/131249996 swapFree=33010684/33010684
[pid=23364] ppid=23361 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/23364/stat : 23364 (run-dec-log.sh) S 23361 23364 22485 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 33336865 4292608 704 18446744073709551615 94532995657728 94532996552261 140730785603200 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94532996791312 94532996839056 94533008744448 140730785605921 140730785606116 140730785606116 140730785611718 0
/proc/23364/statm: 1048 704 672 219 0 110 0
[pid=23366] ppid=23364 vsize=107948 memory=54208 CPUtime=0.19 cores=0,2
/proc/23366/stat : 23366 (roundingsat) R 23364 23364 22485 0 -1 4194304 10822 0 0 0 16 3 0 0 20 0 1 0 33336865 110538752 13552 18446744073709551615 4227072 8923433 140737277446992 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 28635136 140737277454695 140737277454888 140737277454888 140737277460458 0
/proc/23366/statm: 26987 13552 2208 1147 0 14414 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 112140 KiB
Current children cumulated memory: 57024 KiB
[startup+0.305838 s]*
/proc/loadavg: 4.08 4.12 4.11 5/272 23366
/proc/meminfo: memFree=123636144/131249996 swapFree=33010684/33010684
[pid=23364] ppid=23361 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/23364/stat : 23364 (run-dec-log.sh) S 23361 23364 22485 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 33336865 4292608 704 18446744073709551615 94532995657728 94532996552261 140730785603200 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94532996791312 94532996839056 94533008744448 140730785605921 140730785606116 140730785606116 140730785611718 0
/proc/23364/statm: 1048 704 672 219 0 110 0
[pid=23366] ppid=23364 vsize=109704 memory=56256 CPUtime=0.29 cores=0,2
/proc/23366/stat : 23366 (roundingsat) R 23364 23364 22485 0 -1 4194304 11356 0 0 0 25 4 0 0 20 0 1 0 33336865 112336896 14064 18446744073709551615 4227072 8923433 140737277446992 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 28635136 140737277454695 140737277454888 140737277454888 140737277460458 0
/proc/23366/statm: 27426 14064 2208 1147 0 14853 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 113896 KiB
Current children cumulated memory: 59072 KiB
[startup+0.700189 s]
/proc/loadavg: 4.08 4.12 4.11 5/272 23366
/proc/meminfo: memFree=123635388/131249996 swapFree=33010684/33010684
[pid=23364] ppid=23361 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/23364/stat : 23364 (run-dec-log.sh) S 23361 23364 22485 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 33336865 4292608 704 18446744073709551615 94532995657728 94532996552261 140730785603200 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94532996791312 94532996839056 94533008744448 140730785605921 140730785606116 140730785606116 140730785611718 0
/proc/23364/statm: 1048 704 672 219 0 110 0
[pid=23366] ppid=23364 vsize=111164 memory=58176 CPUtime=0.68 cores=0,2
/proc/23366/stat : 23366 (roundingsat) R 23364 23364 22485 0 -1 4194304 11795 0 0 0 64 4 0 0 20 0 1 0 33336865 113831936 14544 18446744073709551615 4227072 8923433 140737277446992 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 28635136 140737277454695 140737277454888 140737277454888 140737277460458 0
/proc/23366/statm: 27791 14544 2240 1147 0 15218 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 115356 KiB
Current children cumulated memory: 60992 KiB
[startup+1.50019 s]
/proc/loadavg: 4.08 4.12 4.11 5/272 23366
/proc/meminfo: memFree=123632364/131249996 swapFree=33010684/33010684
[pid=23364] ppid=23361 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/23364/stat : 23364 (run-dec-log.sh) S 23361 23364 22485 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 33336865 4292608 704 18446744073709551615 94532995657728 94532996552261 140730785603200 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94532996791312 94532996839056 94533008744448 140730785605921 140730785606116 140730785606116 140730785611718 0
/proc/23364/statm: 1048 704 672 219 0 110 0
[pid=23366] ppid=23364 vsize=112800 memory=59968 CPUtime=1.47 cores=0,2
/proc/23366/stat : 23366 (roundingsat) R 23364 23364 22485 0 -1 4194304 12241 0 0 0 143 4 0 0 20 0 1 0 33336865 115507200 14992 18446744073709551615 4227072 8923433 140737277446992 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 28635136 140737277454695 140737277454888 140737277454888 140737277460458 0
/proc/23366/statm: 28200 14992 2240 1147 0 15627 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 116992 KiB
Current children cumulated memory: 62784 KiB
[startup+3.10562 s]
/proc/loadavg: 4.08 4.12 4.11 5/272 23366
/proc/meminfo: memFree=123620284/131249996 swapFree=33010684/33010684
[pid=23364] ppid=23361 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/23364/stat : 23364 (run-dec-log.sh) S 23361 23364 22485 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 33336865 4292608 704 18446744073709551615 94532995657728 94532996552261 140730785603200 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94532996791312 94532996839056 94533008744448 140730785605921 140730785606116 140730785606116 140730785611718 0
/proc/23364/statm: 1048 704 672 219 0 110 0
[pid=23366] ppid=23364 vsize=112800 memory=60096 CPUtime=3.07 cores=0,2
/proc/23366/stat : 23366 (roundingsat) R 23364 23364 22485 0 -1 4194304 12253 0 0 0 301 6 0 0 20 0 1 0 33336865 115507200 15024 18446744073709551615 4227072 8923433 140737277446992 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 28635136 140737277454695 140737277454888 140737277454888 140737277460458 0
/proc/23366/statm: 28200 15024 2272 1147 0 15627 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 116992 KiB
Current children cumulated memory: 62912 KiB
[startup+6.30017 s]
/proc/loadavg: 4.07 4.12 4.11 5/272 23366
/proc/meminfo: memFree=123588256/131249996 swapFree=33010684/33010684
[pid=23364] ppid=23361 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/23364/stat : 23364 (run-dec-log.sh) S 23361 23364 22485 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 33336865 4292608 704 18446744073709551615 94532995657728 94532996552261 140730785603200 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94532996791312 94532996839056 94533008744448 140730785605921 140730785606116 140730785606116 140730785611718 0
/proc/23364/statm: 1048 704 672 219 0 110 0
[pid=23366] ppid=23364 vsize=123416 memory=71504 CPUtime=6.27 cores=0,2
/proc/23366/stat : 23366 (roundingsat) R 23364 23364 22485 0 -1 4194304 14583 0 0 0 597 30 0 0 20 0 1 0 33336865 126377984 17876 18446744073709551615 4227072 8923433 140737277446992 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 28635136 140737277454695 140737277454888 140737277454888 140737277460458 0
/proc/23366/statm: 30854 17876 2272 1147 0 18281 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 127608 KiB
Current children cumulated memory: 74320 KiB
[startup+12.7002 s]
/proc/loadavg: 4.06 4.11 4.11 5/272 23366
/proc/meminfo: memFree=123459616/131249996 swapFree=33010684/33010684
[pid=23364] ppid=23361 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/23364/stat : 23364 (run-dec-log.sh) S 23361 23364 22485 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 33336865 4292608 704 18446744073709551615 94532995657728 94532996552261 140730785603200 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94532996791312 94532996839056 94533008744448 140730785605921 140730785606116 140730785606116 140730785611718 0
/proc/23364/statm: 1048 704 672 219 0 110 0
[pid=23366] ppid=23364 vsize=150856 memory=94080 CPUtime=12.65 cores=0,2
/proc/23366/stat : 23366 (roundingsat) R 23364 23364 22485 0 -1 4194304 19212 0 0 0 1214 51 0 0 20 0 1 0 33336865 154476544 23520 18446744073709551615 4227072 8923433 140737277446992 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 28635136 140737277454695 140737277454888 140737277454888 140737277460458 0
/proc/23366/statm: 37714 23520 2272 1147 0 25141 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 155048 KiB
Current children cumulated memory: 96896 KiB
[startup+25.5002 s]
/proc/loadavg: 4.12 4.12 4.11 5/272 23367
/proc/meminfo: memFree=123272024/131249996 swapFree=33010684/33010684
[pid=23364] ppid=23361 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/23364/stat : 23364 (run-dec-log.sh) S 23361 23364 22485 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 33336865 4292608 704 18446744073709551615 94532995657728 94532996552261 140730785603200 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94532996791312 94532996839056 94533008744448 140730785605921 140730785606116 140730785606116 140730785611718 0
/proc/23364/statm: 1048 704 672 219 0 110 0
[pid=23366] ppid=23364 vsize=155924 memory=102092 CPUtime=25.41 cores=0,2
/proc/23366/stat : 23366 (roundingsat) R 23364 23364 22485 0 -1 4194304 20697 0 0 0 2467 74 0 0 20 0 1 0 33336865 159666176 25523 18446744073709551615 4227072 8923433 140737277446992 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 28635136 140737277454695 140737277454888 140737277454888 140737277460458 0
/proc/23366/statm: 38981 25523 2272 1147 0 26408 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 160116 KiB
Current children cumulated memory: 104908 KiB
[startup+51.1058 s]
/proc/loadavg: 4.08 4.11 4.11 5/272 23367
/proc/meminfo: memFree=122989616/131249996 swapFree=33010684/33010684
[pid=23364] ppid=23361 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/23364/stat : 23364 (run-dec-log.sh) S 23361 23364 22485 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 33336865 4292608 704 18446744073709551615 94532995657728 94532996552261 140730785603200 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94532996791312 94532996839056 94533008744448 140730785605921 140730785606116 140730785606116 140730785611718 0
/proc/23364/statm: 1048 704 672 219 0 110 0
[pid=23366] ppid=23364 vsize=215988 memory=149444 CPUtime=50.95 cores=0,2
/proc/23366/stat : 23366 (roundingsat) R 23364 23364 22485 0 -1 4194304 29565 0 0 0 4942 153 0 0 20 0 1 0 33336865 221171712 37361 18446744073709551615 4227072 8923433 140737277446992 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 28635136 140737277454695 140737277454888 140737277454888 140737277460458 0
/proc/23366/statm: 53997 37361 2272 1147 0 41424 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 220180 KiB
Current children cumulated memory: 152260 KiB
[startup+102.3 s]
/proc/loadavg: 4.08 4.11 4.10 5/272 23369
/proc/meminfo: memFree=122442760/131249996 swapFree=33010684/33010684
[pid=23364] ppid=23361 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/23364/stat : 23364 (run-dec-log.sh) S 23361 23364 22485 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 33336865 4292608 704 18446744073709551615 94532995657728 94532996552261 140730785603200 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94532996791312 94532996839056 94533008744448 140730785605921 140730785606116 140730785606116 140730785611718 0
/proc/23364/statm: 1048 704 672 219 0 110 0
[pid=23366] ppid=23364 vsize=236596 memory=175336 CPUtime=102.01 cores=0,2
/proc/23366/stat : 23366 (roundingsat) R 23364 23364 22485 0 -1 4194304 34587 0 0 0 9934 267 0 0 20 0 1 0 33336865 242274304 43834 18446744073709551615 4227072 8923433 140737277446992 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 28635136 140737277454695 140737277454888 140737277454888 140737277460458 0
/proc/23366/statm: 59149 43834 2272 1147 0 46576 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 240788 KiB
Current children cumulated memory: 178152 KiB
[startup+162.3 s]
/proc/loadavg: 4.17 4.13 4.11 5/271 23416
/proc/meminfo: memFree=128018160/131249996 swapFree=33010684/33010684
[pid=23364] ppid=23361 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/23364/stat : 23364 (run-dec-log.sh) S 23361 23364 22485 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 33336865 4292608 704 18446744073709551615 94532995657728 94532996552261 140730785603200 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94532996791312 94532996839056 94533008744448 140730785605921 140730785606116 140730785606116 140730785611718 0
/proc/23364/statm: 1048 704 672 219 0 110 0
[pid=23366] ppid=23364 vsize=256180 memory=204572 CPUtime=161.85 cores=0,2
/proc/23366/stat : 23366 (roundingsat) R 23364 23364 22485 0 -1 4194304 39839 0 0 0 15827 358 0 0 20 0 1 0 33336865 262328320 51143 18446744073709551615 4227072 8923433 140737277446992 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 28635136 140737277454695 140737277454888 140737277454888 140737277460458 0
/proc/23366/statm: 64045 51143 2304 1147 0 51472 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 260372 KiB
Current children cumulated memory: 207388 KiB
[startup+222.3 s]
/proc/loadavg: 4.15 4.14 4.11 5/274 23422
/proc/meminfo: memFree=127314600/131249996 swapFree=33010684/33010684
[pid=23364] ppid=23361 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/23364/stat : 23364 (run-dec-log.sh) S 23361 23364 22485 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 33336865 4292608 704 18446744073709551615 94532995657728 94532996552261 140730785603200 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94532996791312 94532996839056 94533008744448 140730785605921 140730785606116 140730785606116 140730785611718 0
/proc/23364/statm: 1048 704 672 219 0 110 0
[pid=23366] ppid=23364 vsize=314936 memory=246020 CPUtime=221.7 cores=0,2
/proc/23366/stat : 23366 (roundingsat) R 23364 23364 22485 0 -1 4194304 47132 0 0 0 21693 477 0 0 20 0 1 0 33336865 322494464 61505 18446744073709551615 4227072 8923433 140737277446992 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 28635136 140737277454695 140737277454888 140737277454888 140737277460458 0
################
# More data... #
################
/proc/23366/statm: 292620 266210 2304 1147 0 280047 0
Current children cumulated CPU time: 3093.8 s
Current children cumulated vsize: 1174672 KiB
Current children cumulated memory: 1067656 KiB
[startup+3162.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/271 23576
/proc/meminfo: memFree=103390208/131249996 swapFree=33010684/33010684
[pid=23364] ppid=23361 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/23364/stat : 23364 (run-dec-log.sh) S 23361 23364 22485 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 33336865 4292608 704 18446744073709551615 94532995657728 94532996552261 140730785603200 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94532996791312 94532996839056 94533008744448 140730785605921 140730785606116 140730785606116 140730785611718 0
/proc/23364/statm: 1048 704 672 219 0 110 0
[pid=23366] ppid=23364 vsize=1181348 memory=1073160 CPUtime=3153.64 cores=0,2
/proc/23366/stat : 23366 (roundingsat) R 23364 23364 22485 0 -1 4194304 139720 0 0 0 311851 3513 0 0 20 0 1 0 33336865 1209700352 268290 18446744073709551615 4227072 8923433 140737277446992 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 28635136 140737277454695 140737277454888 140737277454888 140737277460458 0
/proc/23366/statm: 295337 268290 2304 1147 0 282764 0
Current children cumulated CPU time: 3153.64 s
Current children cumulated vsize: 1185540 KiB
Current children cumulated memory: 1075976 KiB
[startup+3222.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/271 23578
/proc/meminfo: memFree=102988120/131249996 swapFree=33010684/33010684
[pid=23364] ppid=23361 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/23364/stat : 23364 (run-dec-log.sh) S 23361 23364 22485 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 33336865 4292608 704 18446744073709551615 94532995657728 94532996552261 140730785603200 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94532996791312 94532996839056 94533008744448 140730785605921 140730785606116 140730785606116 140730785611718 0
/proc/23364/statm: 1048 704 672 219 0 110 0
[pid=23366] ppid=23364 vsize=1182324 memory=1074184 CPUtime=3213.48 cores=0,2
/proc/23366/stat : 23366 (roundingsat) R 23364 23364 22485 0 -1 4194304 139975 0 0 0 317781 3567 0 0 20 0 1 0 33336865 1210699776 268546 18446744073709551615 4227072 8923433 140737277446992 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 28635136 140737277454695 140737277454888 140737277454888 140737277460458 0
/proc/23366/statm: 295581 268546 2304 1147 0 283008 0
Current children cumulated CPU time: 3213.48 s
Current children cumulated vsize: 1186516 KiB
Current children cumulated memory: 1077000 KiB
[startup+3282.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/270 23580
/proc/meminfo: memFree=102567752/131249996 swapFree=33010684/33010684
[pid=23364] ppid=23361 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/23364/stat : 23364 (run-dec-log.sh) S 23361 23364 22485 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 33336865 4292608 704 18446744073709551615 94532995657728 94532996552261 140730785603200 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94532996791312 94532996839056 94533008744448 140730785605921 140730785606116 140730785606116 140730785611718 0
/proc/23364/statm: 1048 704 672 219 0 110 0
[pid=23366] ppid=23364 vsize=1182324 memory=1074184 CPUtime=3273.31 cores=0,2
/proc/23366/stat : 23366 (roundingsat) R 23364 23364 22485 0 -1 4194304 139975 0 0 0 323692 3639 0 0 20 0 1 0 33336865 1210699776 268546 18446744073709551615 4227072 8923433 140737277446992 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 28635136 140737277454695 140737277454888 140737277454888 140737277460458 0
/proc/23366/statm: 295581 268546 2304 1147 0 283008 0
Current children cumulated CPU time: 3273.31 s
Current children cumulated vsize: 1186516 KiB
Current children cumulated memory: 1077000 KiB
[startup+3342.3 s]
/proc/loadavg: 4.14 4.11 4.09 5/272 23584
/proc/meminfo: memFree=102216292/131249996 swapFree=33010684/33010684
[pid=23364] ppid=23361 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/23364/stat : 23364 (run-dec-log.sh) S 23361 23364 22485 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 33336865 4292608 704 18446744073709551615 94532995657728 94532996552261 140730785603200 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94532996791312 94532996839056 94533008744448 140730785605921 140730785606116 140730785606116 140730785611718 0
/proc/23364/statm: 1048 704 672 219 0 110 0
[pid=23366] ppid=23364 vsize=1183932 memory=1075080 CPUtime=3333.15 cores=0,2
/proc/23366/stat : 23366 (roundingsat) R 23364 23364 22485 0 -1 4194304 140256 0 0 0 329626 3689 0 0 20 0 1 0 33336865 1212346368 268770 18446744073709551615 4227072 8923433 140737277446992 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 28635136 140737277454695 140737277454888 140737277454888 140737277460458 0
/proc/23366/statm: 295983 268770 2304 1147 0 283410 0
Current children cumulated CPU time: 3333.15 s
Current children cumulated vsize: 1188124 KiB
Current children cumulated memory: 1077896 KiB
[startup+3402.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/272 23586
/proc/meminfo: memFree=101930556/131249996 swapFree=33010684/33010684
[pid=23364] ppid=23361 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/23364/stat : 23364 (run-dec-log.sh) S 23361 23364 22485 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 33336865 4292608 704 18446744073709551615 94532995657728 94532996552261 140730785603200 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94532996791312 94532996839056 94533008744448 140730785605921 140730785606116 140730785606116 140730785611718 0
/proc/23364/statm: 1048 704 672 219 0 110 0
[pid=23366] ppid=23364 vsize=1187096 memory=1078536 CPUtime=3392.99 cores=0,2
/proc/23366/stat : 23366 (roundingsat) R 23364 23364 22485 0 -1 4194304 141139 0 0 0 335574 3725 0 0 20 0 1 0 33336865 1215586304 269634 18446744073709551615 4227072 8923433 140737277446992 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 28635136 140737277454695 140737277454888 140737277454888 140737277460458 0
/proc/23366/statm: 296774 269634 2304 1147 0 284201 0
Current children cumulated CPU time: 3392.99 s
Current children cumulated vsize: 1191288 KiB
Current children cumulated memory: 1081352 KiB
[startup+3462.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/272 23588
/proc/meminfo: memFree=101224364/131249996 swapFree=33010684/33010684
[pid=23364] ppid=23361 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/23364/stat : 23364 (run-dec-log.sh) S 23361 23364 22485 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 33336865 4292608 704 18446744073709551615 94532995657728 94532996552261 140730785603200 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94532996791312 94532996839056 94533008744448 140730785605921 140730785606116 140730785606116 140730785611718 0
/proc/23364/statm: 1048 704 672 219 0 110 0
[pid=23366] ppid=23364 vsize=1204612 memory=1092360 CPUtime=3452.83 cores=0,2
/proc/23366/stat : 23366 (roundingsat) R 23364 23364 22485 0 -1 4194304 144627 0 0 0 341516 3767 0 0 20 0 1 0 33336865 1233522688 273090 18446744073709551615 4227072 8923433 140737277446992 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 28635136 140737277454695 140737277454888 140737277454888 140737277460458 0
/proc/23366/statm: 301153 273090 2304 1147 0 288580 0
Current children cumulated CPU time: 3452.83 s
Current children cumulated vsize: 1208804 KiB
Current children cumulated memory: 1095176 KiB
[startup+3522.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/273 23595
/proc/meminfo: memFree=100854452/131249996 swapFree=33010684/33010684
[pid=23364] ppid=23361 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/23364/stat : 23364 (run-dec-log.sh) S 23361 23364 22485 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 33336865 4292608 704 18446744073709551615 94532995657728 94532996552261 140730785603200 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94532996791312 94532996839056 94533008744448 140730785605921 140730785606116 140730785606116 140730785611718 0
/proc/23364/statm: 1048 704 672 219 0 110 0
[pid=23366] ppid=23364 vsize=1204612 memory=1092360 CPUtime=3512.67 cores=0,2
/proc/23366/stat : 23366 (roundingsat) R 23364 23364 22485 0 -1 4194304 144635 0 0 0 347442 3825 0 0 20 0 1 0 33336865 1233522688 273090 18446744073709551615 4227072 8923433 140737277446992 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 28635136 140737277454695 140737277454888 140737277454888 140737277460458 0
/proc/23366/statm: 301153 273090 2304 1147 0 288580 0
Current children cumulated CPU time: 3512.67 s
Current children cumulated vsize: 1208804 KiB
Current children cumulated memory: 1095176 KiB
[startup+3582.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/273 23599
/proc/meminfo: memFree=100489560/131249996 swapFree=33010684/33010684
[pid=23364] ppid=23361 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/23364/stat : 23364 (run-dec-log.sh) S 23361 23364 22485 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 33336865 4292608 704 18446744073709551615 94532995657728 94532996552261 140730785603200 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94532996791312 94532996839056 94533008744448 140730785605921 140730785606116 140730785606116 140730785611718 0
/proc/23364/statm: 1048 704 672 219 0 110 0
[pid=23366] ppid=23364 vsize=1205844 memory=1093640 CPUtime=3572.51 cores=0,2
/proc/23366/stat : 23366 (roundingsat) R 23364 23364 22485 0 -1 4194304 144943 0 0 0 353357 3894 0 0 20 0 1 0 33336865 1234784256 273410 18446744073709551615 4227072 8923433 140737277446992 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 28635136 140737277454695 140737277454888 140737277454888 140737277460458 0
/proc/23366/statm: 301461 273410 2304 1147 0 288888 0
Current children cumulated CPU time: 3572.51 s
Current children cumulated vsize: 1210036 KiB
Current children cumulated memory: 1096456 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.9 s]
/proc/loadavg: 3.61 3.99 4.05 3/259 23661
/proc/meminfo: memFree=115583148/131249996 swapFree=33010684/33010684
[pid=23364] ppid=23361 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/23364/stat : 23364 (run-dec-log.sh) S 23361 23364 22485 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 33336865 4292608 704 18446744073709551615 94532995657728 94532996552261 140730785603200 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94532996791312 94532996839056 94533008744448 140730785605921 140730785606116 140730785606116 140730785611718 0
/proc/23364/statm: 1048 704 672 219 0 110 0
[pid=23366] ppid=23364 vsize=1205844 memory=1093640 CPUtime=3600.02 cores=0,2
/proc/23366/stat : 23366 (roundingsat) R 23364 23364 22485 0 -1 4194304 144943 0 0 0 356076 3926 0 0 20 0 1 0 33336865 1234784256 273410 18446744073709551615 4227072 8923433 140737277446992 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 28635136 140737277454695 140737277454888 140737277454888 140737277460458 0
/proc/23366/statm: 301461 273410 2304 1147 0 288888 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 1210036 KiB
Current children cumulated memory: 1096456 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.9 s]
# the end of solver process 23364 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0 s, system=0.001983 s
[startup+3609.94 s]
# the end of solver process 23366 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3560.78 s, system=39.2792 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.9 s]
/proc/loadavg: 3.61 3.99 4.05 3/259 23661
/proc/meminfo: memFree=115583148/131249996 swapFree=33010684/33010684
[pid=23364] ppid=23361 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/23364/stat : 23364 (run-dec-log.sh) S 23361 23364 22485 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 33336865 4292608 704 18446744073709551615 94532995657728 94532996552261 140730785603200 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94532996791312 94532996839056 94533008744448 140730785605921 140730785606116 140730785606116 140730785611718 0
/proc/23364/statm: 1048 704 672 219 0 110 0
[pid=23366] ppid=23364 vsize=1205844 memory=1093640 CPUtime=3600.02 cores=0,2
/proc/23366/stat : 23366 (roundingsat) R 23364 23364 22485 0 -1 4194304 144943 0 0 0 356076 3926 0 0 20 0 1 0 33336865 1234784256 273410 18446744073709551615 4227072 8923433 140737277446992 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 28635136 140737277454695 140737277454888 140737277454888 140737277460458 0
/proc/23366/statm: 301461 273410 2304 1147 0 288888 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 1210036 KiB
Current children cumulated memory: 1096456 KiB
Child status: 2
Real time (s): 3609.94
CPU time (s): 3600.06
CPU user time (s): 3560.78
CPU system time (s): 39.2792
CPU usage (%): 99.7262
Max. virtual memory (cumulated for all children) (KiB): 1210036
Max. memory (cumulated for all children) (KiB): 1096456
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3560.78
system time used= 39.2792
maximum resident set size= 1094024
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 145173
page faults= 0
swaps= 0
block input operations= 0
block output operations= 12118736
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 948
involuntary context switches= 5052
# summary of solver processes directly reported to runsolver:
# pid: 23364,23366
# total CPU time (s): 3600.06
# total CPU user time (s): 3560.78
# total CPU system time (s): 39.2792
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.76264 second user time and 16.4279 second system time
The end
Begin job on nodeC017 at 2025-06-29 07:56:31
IDJOB=4507013
IDBENCH=158316
IDSOLVER=3352
FILE ID=nodeC017/4507013-1751176591
RUNJOBID= nodeC017-1751169346-22495
SLURM_JOB_ID= 9587517
Free space on /tmp= 432992 MiB
SOLVER NAME= roundingsat-log 63f22ad
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathNG/normalized-NG_K174.opb
COMMAND LINE= run-dec-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4507013-1751176591/watcher-4507013-1751176591 -o /tmp/evaluation-result-4507013-1751176591/solver-4507013-1751176591 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1751169346-22495 --watchdog 3760 --file-size-limit 100000 run-dec-log.sh HOME/instance-4507013-1751176591.opb PROOFDIR/proof-4507013-1751176591
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= c4faa5671d3144bef53831284f041277
RANDOM SEED=1486830289
nodeC017 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.788
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.12
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.052
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.12
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.062
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.12
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3531.006
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.12
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.140
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.12
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.058
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.12
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3639.627
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.12
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3685.106
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.12
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 123673616 kB
MemAvailable: 128649388 kB
Buffers: 3280 kB
Cached: 5780080 kB
SwapCached: 0 kB
Active: 1461448 kB
Inactive: 5526508 kB
Active(anon): 1222700 kB
Inactive(anon): 0 kB
Active(file): 238748 kB
Inactive(file): 5526508 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 121928 kB
Writeback: 0 kB
AnonPages: 1207736 kB
Mapped: 115664 kB
Shmem: 18080 kB
KReclaimable: 99112 kB
Slab: 188136 kB
SReclaimable: 99112 kB
SUnreclaim: 89024 kB
KernelStack: 4432 kB
PageTables: 5620 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 1714108 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150600 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 944128 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 176852 kB
DirectMap2M: 6934528 kB
DirectMap1G: 128974848 kB
Free space on /tmp at the end= 433000 MiB
End job on nodeC017 at 2025-06-29 08:56:41