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