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