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