(1,17) (2,29) (3,22) (4,16) (6,19) (7,20) (9,24) (10,30) (11,18) (12,27) (13,28) (14,23) (15,25) 
nodes: 7110  conflicts: 45  modelTime: 655  solveTime: 10729  totalTime: 11391  modelSize: 41298  readTime: 7 size: 13