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