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