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