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