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