(1,19) (2,17) (3,23) (4,30) (5,16) (6,26) (7,28) (8,22) (9,20) (10,24) (11,21) (14,29) (15,27) 
nodes: 1497  conflicts: 36  modelTime: 660  solveTime: 2158  totalTime: 2825  modelSize: 41293  readTime: 7 size: 13