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