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