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