(1,24) (2,21) (3,27) (4,29) (5,30) (6,17) (8,18) (9,22) (10,20) (11,26) (12,19) (13,23) (14,25) (15,16) 
nodes: 1732  conflicts: 33  modelTime: 664  solveTime: 1822  totalTime: 2493  modelSize: 41292  readTime: 7 size: 14