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