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