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