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