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