(1,28) (2,20) (3,26) (4,22) (5,10) (7,12) (8,29) (9,18) (11,14) (16,23) (17,19) (21,27) (25,30) 
nodes: 730  conflicts: 108  modelTime: 940  solveTime: 4095  totalTime: 5046  modelSize: 72262  readTime: 11 size: 13