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