(1,19) (2,25) (3,18) (4,21) (5,23) (6,22) (7,30) (9,24) (11,28) (12,20) (13,29) (14,27) (15,16) 
nodes: 2324  conflicts: 37  modelTime: 659  solveTime: 3117  totalTime: 3799  modelSize: 41298  readTime: 22 size: 13