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