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