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