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