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