(1,30) (2,26) (4,20) (5,25) (6,18) (7,23) (8,27) (9,16) (10,15) (11,22) (12,19) (14,24) (17,21) 
nodes: 64439  conflicts: 60  modelTime: 1723  solveTime: 223864  totalTime: 225607  modelSize: 72263  readTime: 20 size: 13