(1,18) (2,16) (3,21) (4,27) (5,25) (6,29) (7,22) (8,19) (9,28) (10,26) (11,24) (12,30) (13,23) (15,20) 
nodes: 13189  conflicts: 21  modelTime: 687  solveTime: 32050  totalTime: 32743  modelSize: 41292  readTime: 6 size: 14