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