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