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