(1,22) (2,23) (3,16) (4,9) (5,21) (6,19) (8,14) (10,25) (12,26) (13,15) (18,24) (20,30) (27,29) 
nodes: 631  conflicts: 79  modelTime: 1722  solveTime: 5998  totalTime: 7741  modelSize: 72266  readTime: 21 size: 13