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