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