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