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