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