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