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