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