(1,18) (2,19) (3,21) (4,27) (5,30) (6,29) (7,22) (9,20) (10,23) (11,25) (12,26) (13,17) (14,24) (15,16) 
nodes: 5281  conflicts: 29  modelTime: 657  solveTime: 8971  totalTime: 9633  modelSize: 41292  readTime: 5 size: 14