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