(1,2) (3,5) (4,12) (6,9) (7,19) (8,27) (10,18) (11,28) (13,26) (14,16) (15,30) (17,23) (20,25) (21,24) (22,29) 
nodes: 991  conflicts: 1  modelTime: 934  solveTime: 3510  totalTime: 4451  modelSize: 72264  readTime: 6 size: 15