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