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