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