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