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