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