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