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