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