(1,24) (2,6) (3,4) (5,26) (7,28) (8,23) (9,22) (11,12) (13,19) (14,29) (16,17) (18,20) (21,25) (27,30) 
nodes: 19511  conflicts: 37  modelTime: 1048  solveTime: 48611  totalTime: 49673  modelSize: 72274  readTime: 14 size: 14