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