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