(1,9) (2,23) (3,10) (4,18) (5,13) (6,14) (7,8) (12,26) (15,28) (16,25) (17,19) (20,27) (21,30) (22,24) 
nodes: 7956  conflicts: 63  modelTime: 975  solveTime: 29108  totalTime: 30183  modelSize: 72262  readTime: 100 size: 14