(2,21) (3,20) (4,22) (5,28) (6,29) (7,25) (8,19) (9,30) (11,17) (13,23) (14,26) (15,18) 
nodes: 729  conflicts: 56  modelTime: 657  solveTime: 621  totalTime: 1284  modelSize: 41293  readTime: 6 size: 12