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