(1,28) (2,20) (3,26) (4,21) (5,16) (8,19) (9,29) (10,18) (11,17) (12,23) (13,24) (14,25) (15,22) 
nodes: 19995  conflicts: 24  modelTime: 656  solveTime: 40027  totalTime: 40689  modelSize: 41293  readTime: 6 size: 13