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