(1,24) (2,20) (3,26) (4,22) (5,21) (6,27) (7,18) (8,23) (9,29) (10,28) (11,16) (12,17) (14,19) (15,30) 
nodes: 709  conflicts: 22  modelTime: 664  solveTime: 1634  totalTime: 2305  modelSize: 41298  readTime: 7 size: 14