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