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