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