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