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