(1,26) (2,19) (3,27) (4,17) (5,28) (7,21) (8,23) (9,24) (10,30) (11,29) (12,25) (13,20) (14,18) (15,16) 
nodes: 4557  conflicts: 29  modelTime: 665  solveTime: 8269  totalTime: 8940  modelSize: 41298  readTime: 6 size: 14