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