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