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