(1,11) (2,30) (3,6) (4,22) (5,12) (7,10) (8,29) (9,13) (15,16) (17,25) (18,23) (19,21) (20,24) (27,28) 
nodes: 125611  conflicts: 48  modelTime: 1730  solveTime: 448893  totalTime: 450644  modelSize: 72262  readTime: 20 size: 14