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