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