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