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