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