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