(1,10) (2,17) (3,27) (4,18) (5,24) (9,26) (11,25) (13,15) (14,16) (19,28) (20,23) (21,22) (29,30) 
nodes: 11113  conflicts: 71  modelTime: 976  solveTime: 52415  totalTime: 53403  modelSize: 72262  readTime: 11 size: 13