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