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