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