(2,16) (3,18) (5,17) (6,19) (7,24) (8,27) (10,22) (11,23) (13,29) (14,30) (15,26) 
nodes: 376  conflicts: 84  modelTime: 671  solveTime: 693  totalTime: 1371  modelSize: 41300  readTime: 7 size: 11