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