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