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