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