(1,10) (2,20) (3,25) (4,18) (5,26) (6,16) (7,29) (8,22) (9,27) (11,12) (13,28) (14,17) (15,24) (19,30) (21,23) 
nodes: 14257  conflicts: 9  modelTime: 966  solveTime: 75899  totalTime: 76930  modelSize: 72285  readTime: 65 size: 15