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