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