(2,10) (3,26) (4,29) (5,13) (6,11) (7,18) (8,12) (9,30) (14,20) (15,23) (16,22) (17,27) (19,25) (21,28) 
nodes: 19529  conflicts: 51  modelTime: 1581  solveTime: 63224  totalTime: 64817  modelSize: 72263  readTime: 12 size: 14