(1,12) (3,21) (4,23) (5,28) (6,16) (8,19) (9,13) (10,26) (11,29) (14,24) (15,20) (17,18) (22,30) (25,27) 
nodes: 9179  conflicts: 48  modelTime: 1200  solveTime: 37709  totalTime: 39012  modelSize: 72262  readTime: 103 size: 14