(1,21) (2,11) (3,10) (4,29) (5,23) (6,28) (7,16) (8,12) (9,24) (13,14) (15,19) (17,26) (18,30) (20,27) (22,25) 
nodes: 54454  conflicts: 9  modelTime: 1706  solveTime: 253374  totalTime: 255129  modelSize: 72264  readTime: 49 size: 15