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