(2,19) (3,17) (4,16) (5,20) (8,23) (9,18) (10,22) (11,27) (13,25) (14,28) (15,29) 
nodes: 1484  conflicts: 59  modelTime: 664  solveTime: 1091  totalTime: 1763  modelSize: 41300  readTime: 7 size: 11