(1,23) (2,30) (3,20) (4,27) (5,25) (6,18) (7,26) (8,22) (9,29) (10,21) (12,16) (13,28) (14,17) (15,19) 
nodes: 12985  conflicts: 42  modelTime: 657  solveTime: 21236  totalTime: 21899  modelSize: 41292  readTime: 6 size: 14