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