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