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