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