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