(1,21) (2,22) (3,19) (4,26) (5,20) (6,24) (7,23) (9,17) (11,27) (12,28) (13,29) (14,18) (15,16) 
nodes: 2138  conflicts: 28  modelTime: 657  solveTime: 3602  totalTime: 4265  modelSize: 41298  readTime: 6 size: 13