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