(1,18) (2,20) (3,27) (4,22) (5,19) (6,25) (7,26) (8,16) (10,17) (11,28) (12,29) (13,23) (15,24) 
nodes: 2421  conflicts: 30  modelTime: 657  solveTime: 3288  totalTime: 3951  modelSize: 41292  readTime: 6 size: 13