(1,27) (2,30) (3,19) (4,29) (5,21) (6,26) (7,17) (8,18) (9,22) (11,24) (12,28) (13,16) (14,23) (15,25) 
nodes: 8574  conflicts: 53  modelTime: 661  solveTime: 14651  totalTime: 15319  modelSize: 41299  readTime: 7 size: 14