(1,23) (2,7) (3,17) (4,24) (5,14) (8,27) (9,13) (10,12) (11,22) (15,21) (16,18) (20,30) (25,26) (28,29) 
nodes: 10645  conflicts: 37  modelTime: 1116  solveTime: 44387  totalTime: 45547  modelSize: 72272  readTime: 44 size: 14