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