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