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