(1,14) (2,18) (4,15) (6,9) (7,26) (8,30) (10,24) (11,23) (12,16) (13,21) (17,27) (19,28) (20,29) (22,25) 
nodes: 1387  conflicts: 82  modelTime: 1716  solveTime: 6763  totalTime: 8501  modelSize: 72262  readTime: 21 size: 14