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