(1,29) (2,7) (3,12) (4,30) (5,20) (6,25) (8,14) (9,11) (10,15) (13,23) (16,21) (17,24) (18,28) (19,22) (26,27) 
nodes: 54633  conflicts: 15  modelTime: 969  solveTime: 248401  totalTime: 249381  modelSize: 72285  readTime: 11 size: 15