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