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