(1,12) (3,24) (4,10) (5,16) (6,11) (8,20) (9,28) (13,25) (14,26) (15,27) (17,30) (18,19) (21,29) (22,23) 
nodes: 14450  conflicts: 45  modelTime: 1694  solveTime: 45088  totalTime: 46809  modelSize: 72274  readTime: 27 size: 14