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