(3,29) (4,7) (5,16) (6,26) (8,18) (9,17) (10,30) (11,12) (13,28) (14,22) (15,27) (19,20) (21,23) (24,25) 
nodes: 54987  conflicts: 76  modelTime: 957  solveTime: 183597  totalTime: 184585  modelSize: 72263  readTime: 31 size: 14