(2,28) (3,19) (4,17) (5,22) (6,18) (7,24) (8,12) (9,15) (10,30) (11,29) (13,21) (14,16) (23,26) (25,27) 
nodes: 2369  conflicts: 79  modelTime: 1719  solveTime: 9097  totalTime: 10836  modelSize: 72262  readTime: 20 size: 14