(1,14) (2,15) (3,4) (5,17) (6,25) (7,16) (9,23) (10,26) (11,30) (12,21) (18,27) (19,28) (22,24) 
nodes: 1514  conflicts: 108  modelTime: 1705  solveTime: 8819  totalTime: 10546  modelSize: 72266  readTime: 22 size: 13