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