(1,7) (2,4) (3,10) (5,18) (6,26) (8,17) (9,25) (11,14) (12,21) (13,30) (15,23) (19,20) (22,24) (27,28) 
nodes: 397357  conflicts: 73  modelTime: 931  solveTime: 1476209  totalTime: 1477150  modelSize: 72275  readTime: 10 size: 14