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