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