(1,10) (2,24) (3,6) (4,29) (5,18) (7,30) (8,11) (9,27) (12,23) (14,16) (15,26) (17,28) (20,22) 
nodes: 2336  conflicts: 80  modelTime: 924  solveTime: 5567  totalTime: 6502  modelSize: 72263  readTime: 11 size: 13