(1,27) (2,23) (3,19) (4,25) (5,29) (6,20) (7,16) (8,30) (9,18) (11,22) (12,26) (13,24) (14,21) (15,17) 
nodes: 1679  conflicts: 37  modelTime: 664  solveTime: 1976  totalTime: 2647  modelSize: 41298  readTime: 6 size: 14