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