(1,14) (2,28) (3,20) (4,19) (5,27) (8,26) (9,15) (11,23) (12,25) (13,22) (16,24) (18,21) (29,30) 
nodes: 10298  conflicts: 67  modelTime: 1713  solveTime: 41525  totalTime: 43259  modelSize: 72265  readTime: 20 size: 13