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