(1,29) (2,30) (3,17) (4,28) (5,23) (6,21) (7,16) (8,24) (9,20) (10,19) (11,18) (13,25) (14,26) 
nodes: 37867  conflicts: 31  modelTime: 657  solveTime: 63507  totalTime: 64171  modelSize: 41293  readTime: 7 size: 13