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