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