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