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