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