(1,23) (2,3) (4,25) (5,29) (6,20) (8,17) (9,13) (10,12) (11,30) (14,16) (15,27) (18,21) (19,26) (22,28) 
nodes: 1890  conflicts: 54  modelTime: 944  solveTime: 4936  totalTime: 5891  modelSize: 72263  readTime: 11 size: 14