(1,22) (2,24) (3,11) (4,12) (5,17) (6,28) (7,10) (8,13) (9,15) (14,27) (16,20) (18,25) (19,21) (23,29) (26,30) 
nodes: 122939  conflicts: 33  modelTime: 1713  solveTime: 593288  totalTime: 595020  modelSize: 72268  readTime: 19 size: 15