(1,8) (2,12) (3,16) (4,14) (5,24) (6,26) (7,20) (9,15) (10,28) (11,21) (13,29) (17,25) (18,23) (19,22) (27,30) 
nodes: 349743  conflicts: 32  modelTime: 965  solveTime: 1712053  totalTime: 1713028  modelSize: 72285  readTime: 10 size: 15