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