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