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