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