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