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