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