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