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