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