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