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