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