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