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