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