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