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