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