(1,8) (2,15) (3,6) (4,17) (5,29) (7,13) (9,22) (10,14) (11,27) (16,20) (18,30) (19,28) (21,24) (25,26) 
nodes: 38066  conflicts: 55  modelTime: 937  solveTime: 84156  totalTime: 85104  modelSize: 72266  readTime: 11 size: 14