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