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