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