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