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