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