(1,17) (2,23) (3,16) (4,14) (6,21) (7,20) (8,12) (9,30) (10,28) (11,15) (13,18) (19,24) (22,27) (26,29) 
nodes: 73572  conflicts: 21  modelTime: 934  solveTime: 324744  totalTime: 325689  modelSize: 72264  readTime: 11 size: 14