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