(1,25) (2,22) (3,10) (4,19) (5,16) (6,24) (7,12) (8,30) (11,27) (13,26) (14,28) (17,21) (18,29) (20,23) 
nodes: 18639  conflicts: 49  modelTime: 1709  solveTime: 78433  totalTime: 80162  modelSize: 72265  readTime: 20 size: 14