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