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