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