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