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