(1,24) (2,21) (3,19) (4,17) (5,16) (6,29) (7,26) (8,30) (9,25) (10,18) (11,27) (12,23) (13,22) (14,20) (15,28) 
nodes: 16469  conflicts: 18  modelTime: 657  solveTime: 39471  totalTime: 40133  modelSize: 41293  readTime: 5 size: 15