(1,23) (2,26) (3,8) (4,6) (5,12) (7,28) (9,25) (10,14) (11,13) (15,30) (16,19) (17,18) (20,24) (21,29) (22,27) 
nodes: 149890  conflicts: 31  modelTime: 1117  solveTime: 540478  totalTime: 541615  modelSize: 72262  readTime: 19 size: 15