(1,6) (2,22) (3,7) (4,23) (5,14) (8,21) (9,13) (10,25) (11,18) (12,30) (15,16) (19,27) (28,29) 
nodes: 906  conflicts: 61  modelTime: 1719  solveTime: 6121  totalTime: 7861  modelSize: 72265  readTime: 21 size: 13