(1,11) (2,9) (3,10) (4,15) (5,29) (6,13) (7,23) (8,16) (12,20) (14,24) (19,22) (21,27) (28,30) 
nodes: 22791  conflicts: 71  modelTime: 1034  solveTime: 73040  totalTime: 74095  modelSize: 72263  readTime: 21 size: 13