(2,16) (3,17) (5,21) (6,19) (7,27) (8,26) (10,18) (11,29) (12,23) (13,25) (14,30) 
nodes: 1369  conflicts: 77  modelTime: 660  solveTime: 1000  totalTime: 1666  modelSize: 41293  readTime: 6 size: 11