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