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