(2,22) (3,24) (5,17) (6,23) (7,16) (8,26) (9,25) (10,30) (11,27) (13,20) (14,29) 
nodes: 395  conflicts: 74  modelTime: 676  solveTime: 714  totalTime: 1398  modelSize: 41300  readTime: 8 size: 11