(1,28) (3,22) (4,21) (5,15) (7,29) (8,18) (9,25) (11,27) (13,17) (19,20) (24,30) 
nodes: 606  conflicts: 114  modelTime: 1710  solveTime: 5000  totalTime: 6731  modelSize: 72266  readTime: 21 size: 11