(1,12) (2,29) (3,28) (4,9) (5,7) (6,8) (10,24) (11,13) (14,27) (15,25) (16,20) (17,26) (18,23) (19,30) (21,22) 
nodes: 7249  conflicts: 3  modelTime: 927  solveTime: 45920  totalTime: 46854  modelSize: 72338  readTime: 7 size: 15