(1,19) (2,28) (3,29) (4,26) (5,25) (6,18) (7,17) (8,24) (9,20) (10,21) (11,23) (13,16) (15,22) 
nodes: 1415  conflicts: 58  modelTime: 657  solveTime: 1821  totalTime: 2484  modelSize: 41292  readTime: 6 size: 13