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