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