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