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