(1,17) (2,16) (3,22) (4,18) (5,24) (6,27) (7,20) (8,19) (10,25) (11,23) (12,26) (13,29) (14,30) 
nodes: 5657  conflicts: 66  modelTime: 659  solveTime: 9939  totalTime: 10604  modelSize: 41293  readTime: 6 size: 13