(1,27) (2,19) (4,5) (6,22) (7,28) (8,11) (9,13) (10,21) (12,26) (14,17) (15,30) (18,24) 
nodes: 714  conflicts: 88  modelTime: 1717  solveTime: 5426  totalTime: 7165  modelSize: 72266  readTime: 22 size: 12