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