(2,19) (3,30) (4,18) (5,16) (6,17) (7,28) (8,21) (9,29) (10,24) (11,27) (12,23) (13,22) (15,20) 
nodes: 10389  conflicts: 27  modelTime: 659  solveTime: 23334  totalTime: 23999  modelSize: 41292  readTime: 6 size: 13